Panagiotis Manolios

Person

Sharon, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for equivalence class analysis-based automated re...
- Patent number 10,437,713
- Issue date Oct 8, 2019
- General Electric Company
- Panagiotis Manolios
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for model based technology and process for safety...
- Patent number 10,346,140
- Issue date Jul 9, 2019
- General Electric Company
- Timothy Lee Johnson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for equivalence class analysis-based automated re...
- Patent number 10,025,696
- Issue date Jul 17, 2018
- General Electric Company
- Panagiotis Manolios
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for multi-level real-time scheduling analyses
- Patent number 9,983,902
- Issue date May 29, 2018
- General Electric Company
- Gregory Reed Sykes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system of software specification modeling
- Patent number 9,747,079
- Issue date Aug 29, 2017
- General Electric Company
- Kit Yan Siu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable methods for analyzing formalized requirements and localizi...
- Patent number 9,639,450
- Issue date May 2, 2017
- General Electric Company
- Panagiotis Manolios
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Quantifier elimination by dependency sequents
- Patent number 8,438,513
- Issue date May 7, 2013
- Northeastern University
- Evgueni I. Goldberg
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED RE...
- Publication number 20180300226
- Publication date Oct 18, 2018
- GENERAL ELECTRIC COMPANY
- Panagiotis MANOLIOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS AND APPARATUS TO FACILITATE EFFICIENT SCHEDULING OF DIGITAL...
- Publication number 20180039514
- Publication date Feb 8, 2018
- GENERAL ELECTRIC COMPANY
- Hongwei LIAO
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED RE...
- Publication number 20170228309
- Publication date Aug 10, 2017
- GENERAL ELECTRIC COMPANY
- Panagiotis MANOLIOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY...
- Publication number 20170039039
- Publication date Feb 9, 2017
- GENERAL ELECTRIC COMPANY
- Timothy Lee Johnson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE METHODS FOR ANALYZING FORMALIZED REQUIREMENTS AND LOCALIZI...
- Publication number 20160371167
- Publication date Dec 22, 2016
- GENERAL ELECTRIC COMPANY
- Panagiotis Manolios
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MULTI-LEVEL REAL-TIME SCHEDULING ANALYSES
- Publication number 20160335115
- Publication date Nov 17, 2016
- GENERAL ELECTRIC COMPANY
- Gregory Reed Sykes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM OF SOFTWARE SPECIFICATION MODELING
- Publication number 20160170714
- Publication date Jun 16, 2016
- GENERAL ELECTRIC COMPANY
- Kit Yan Siu
- G06 - COMPUTING CALCULATING COUNTING

Panagiotis Manolios

Person

Patents Grantslast 30 patents

System and method for equivalence class analysis-based automated re...

System and method for model based technology and process for safety...

System and method for equivalence class analysis-based automated re...

System and method for multi-level real-time scheduling analyses

Method and system of software specification modeling

Scalable methods for analyzing formalized requirements and localizi...

Quantifier elimination by dependency sequents

Patents Applicationslast 30 patents

SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED RE...

METHODS AND APPARATUS TO FACILITATE EFFICIENT SCHEDULING OF DIGITAL...

SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED RE...

SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY...

SCALABLE METHODS FOR ANALYZING FORMALIZED REQUIREMENTS AND LOCALIZI...

SYSTEM AND METHOD FOR MULTI-LEVEL REAL-TIME SCHEDULING ANALYSES

METHOD AND SYSTEM OF SOFTWARE SPECIFICATION MODELING