Patents by Inventor Musab A. Alturki

Musab A. Alturki has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20200210306
    Abstract: A computer-implemented method includes: collecting, by a processor of a computer, analysis information from a source code of a computer program; tracing, by the processor of the computer, program behavior starting with a main entry point to produce trace data; and visualizing, by the processor of the computer, the trace data as a sequence diagram, wherein the trace data comprises a representation corresponding to a sequence diagram.
    Type: Application
    Filed: January 31, 2020
    Publication date: July 2, 2020
    Applicant: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALS
    Inventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
  • Publication number: 20200167257
    Abstract: A computer-implemented method includes: collecting, by a processor of a computer, analysis information from a source code of a computer program; tracing, by the processor of the computer, program behavior starting with a main entry point to produce trace data; and visualizing, by the processor of the computer, the trace data as a sequence diagram, wherein the trace data comprises a representation corresponding to a sequence diagram.
    Type: Application
    Filed: January 31, 2020
    Publication date: May 28, 2020
    Applicant: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALS
    Inventors: Taher Ahmed GHALEB, Khalid Abdullah ALJASSER, Musab A. ALTURKI
  • Publication number: 20200057615
    Abstract: Methods, systems, and computer readable media for compiling concise expressive design patterns within computer software source code are described. Some implementations can include methods and systems that resolve some problems of implementing design patterns in an OO and/or AO program. The disclosed technique facilitates writing programs that apply design patterns to its structure and behavior, in an easy manner. Some programming language constructs (associated with new keywords, syntax, and semantics) are disclosed that convey the goal of some design patterns in order to allow programmers to implement design patterns simply and concisely. These constructs are added as extensions to a compiler and a compiler-based approach to concise expressive design pattern source code is described.
    Type: Application
    Filed: August 28, 2019
    Publication date: February 20, 2020
    Applicant: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALS
    Inventors: Taher Ahmed GHALEB, Khalid Abdullah Aljasser, Musab A. Alturki
  • Publication number: 20200057616
    Abstract: Methods, systems, and computer readable media for compiling concise expressive design patterns within computer software source code are described. Some implementations can include methods and systems that resolve some problems of implementing design patterns in an OO and/or AO program. The disclosed technique facilitates writing programs that apply design patterns to its structure and behavior, in an easy manner. Some programming language constructs (associated with new keywords, syntax, and semantics) are disclosed that convey the goal of some design patterns in order to allow programmers to implement design patterns simply and concisely. These constructs are added as extensions to a compiler and a compiler-based approach to concise expressive design pattern source code is described.
    Type: Application
    Filed: August 28, 2019
    Publication date: February 20, 2020
    Applicant: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALS
    Inventors: Taher Ahmed GHALEB, Khalid Abdullah ALJASSER, Musab A. ALTURKI
  • Patent number: 10552286
    Abstract: A computer-implemented method includes: collecting, by a processor of a computer, analysis information from a source code of a computer program; tracing, by the processor of the computer, program behavior starting with a main entry point to produce trace data; and visualizing, by the processor of the computer, the trace data as a sequence diagram, wherein the trace data comprises a representation corresponding to a sequence diagram.
    Type: Grant
    Filed: July 25, 2018
    Date of Patent: February 4, 2020
    Assignee: King Fahd University of Petroleum and Minerals
    Inventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
  • Publication number: 20200034265
    Abstract: A computer-implemented method includes: collecting, by a processor of a computer, analysis information from a source code of a computer program; tracing, by the processor of the computer, program behavior starting with a main entry point to produce trace data; and visualizing, by the processor of the computer, the trace data as a sequence diagram, wherein the trace data comprises a representation corresponding to a sequence diagram.
    Type: Application
    Filed: July 25, 2018
    Publication date: January 30, 2020
    Applicant: King Fahd University of Petroleum and Minerals
    Inventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
  • Patent number: 10437572
    Abstract: Methods, systems, and computer readable media for compiling concise expressive design patterns within computer software source code are described. Some implementations can include methods and systems that resolve some problems of implementing design patterns in an OO and/or AO program. The disclosed technique facilitates writing programs that apply design patterns to its structure and behavior, in an easy manner. Some programming language constructs (associated with new keywords, syntax, and semantics) are disclosed that convey the goal of some design patterns in order to allow programmers to implement design patterns simply and concisely. These constructs are added as extensions to a compiler and a compiler-based approach to concise expressive design pattern source code is described.
    Type: Grant
    Filed: August 3, 2018
    Date of Patent: October 8, 2019
    Assignee: King Fahd University of Petroleum and Minerals
    Inventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
  • Publication number: 20100088678
    Abstract: A method and apparatus is disclosed herein for formal specification and analysis of timing properties. In one embodiment, the method comprises receiving a software design that includes timing behaviors expressed in a specification language; analyzing the timing behaviors; and using abstract interpretation based static analysis to detect misuses of one or more timing constructs.
    Type: Application
    Filed: September 29, 2009
    Publication date: April 8, 2010
    Inventors: Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura