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: 20210295222Abstract: A research analytics system and method, includes an Internet-based data storage service maintaining, using an integrated database scheme, standardized research process flows, organizational tasks, and research outcomes for a plurality of research programs. The system maintains definitions of research performance indicators, identifies targets for the research performance indicators that are aligned with goals associated with a research organization, maps performance-related data from various data sources to the integrated database scheme and stores the standardized research process flows, the organizational tasks, and the research outcomes, grouped by the research programs.Type: ApplicationFiled: March 17, 2020Publication date: September 23, 2021Applicant: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALSInventors: Nasser Mohammed AL-AQEELI, Musab ALTURKI, Hamdi Ali AL-JAMIMI, Imran ul HAQ
-
Patent number: 11126526Abstract: 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: GrantFiled: January 31, 2020Date of Patent: September 21, 2021Assignee: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALSInventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
-
Patent number: 11126527Abstract: 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: GrantFiled: January 31, 2020Date of Patent: September 21, 2021Assignee: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALSInventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
-
Patent number: 10901711Abstract: 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: GrantFiled: August 28, 2019Date of Patent: January 26, 2021Assignee: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALSInventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
-
Patent number: 10901712Abstract: 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: GrantFiled: August 28, 2019Date of Patent: January 26, 2021Assignee: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALSInventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
-
Publication number: 20200210306Abstract: 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: ApplicationFiled: January 31, 2020Publication date: July 2, 2020Applicant: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALSInventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
-
Publication number: 20200167257Abstract: 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: ApplicationFiled: January 31, 2020Publication date: May 28, 2020Applicant: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALSInventors: Taher Ahmed GHALEB, Khalid Abdullah ALJASSER, Musab A. ALTURKI
-
Publication number: 20200057615Abstract: 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: ApplicationFiled: August 28, 2019Publication date: February 20, 2020Applicant: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALSInventors: Taher Ahmed GHALEB, Khalid Abdullah Aljasser, Musab A. Alturki
-
Publication number: 20200057616Abstract: 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: ApplicationFiled: August 28, 2019Publication date: February 20, 2020Applicant: KING FAHD UNIVERSITY OF PETROLEUM AND MINERALSInventors: Taher Ahmed GHALEB, Khalid Abdullah ALJASSER, Musab A. ALTURKI
-
Patent number: 10552286Abstract: 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: GrantFiled: July 25, 2018Date of Patent: February 4, 2020Assignee: King Fahd University of Petroleum and MineralsInventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
-
Publication number: 20200034265Abstract: 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: ApplicationFiled: July 25, 2018Publication date: January 30, 2020Applicant: King Fahd University of Petroleum and MineralsInventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
-
Patent number: 10437572Abstract: 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: GrantFiled: August 3, 2018Date of Patent: October 8, 2019Assignee: King Fahd University of Petroleum and MineralsInventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
-
Publication number: 20100088678Abstract: 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: ApplicationFiled: September 29, 2009Publication date: April 8, 2010Inventors: Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura