Han Yu

Person

Clifton Park, NY, 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
Systems and methods for arbitrary software logic modeling
- Patent number 10,402,173
- Issue date Sep 3, 2019
- General Electric Company
- Liling Ren
- 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 test generation from software specification m...
- Patent number 10,169,217
- Issue date Jan 1, 2019
- General Electric Company
- Han Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for safety-critical software automated requiremen...
- Patent number 9,940,222
- Issue date Apr 10, 2018
- General Electric Company
- Meng Li
- 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
Method for determining trajectory of multi-motor control system avo...
- Patent number 9,076,337
- Issue date Jul 7, 2015
- Mitsubishi Electric Research Laboratories, Inc.
- Yebin Wang
- G08 - SIGNALLING

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
SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING
- Publication number 20180246703
- Publication date Aug 30, 2018
- GENERAL ELECTRIC COMPANY
- Liling REN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMEN...
- Publication number 20180196739
- Publication date Jul 12, 2018
- GENERAL ELECTRIC COMPANY
- Meng LI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR TEST GENERATION FROM SOFTWARE SPECIFICATION M...
- Publication number 20170293549
- Publication date Oct 12, 2017
- GENERAL ELECTRIC COMPANY
- Han Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMEN...
- Publication number 20170147482
- Publication date May 25, 2017
- GENERAL ELECTRIC COMPANY
- Meng LI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR MANAGING PERSONNEL WORK DISRUPTION IN SAFETY...
- Publication number 20170011326
- Publication date Jan 12, 2017
- GENERAL ELECTRIC COMPANY
- Hongwei Liao
- 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
Information Patent Application
Method for Determining Trajectory of Multi-Motor Control System Avo...
- Publication number 20150081200
- Publication date Mar 19, 2015
- Mitsubishi Electric Research Laboratories, Inc.
- Yebin Wang
- G08 - SIGNALLING

Person

Patents Grantslast 30 patents

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

Systems and methods for arbitrary software logic modeling

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

System and method for test generation from software specification m...

System and method for safety-critical software automated requiremen...

Method and system of software specification modeling

Method for determining trajectory of multi-motor control system avo...

Patents Applicationslast 30 patents

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

SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING

SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMEN...

SYSTEM AND METHOD FOR TEST GENERATION FROM SOFTWARE SPECIFICATION M...

SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMEN...

METHOD AND SYSTEM FOR MANAGING PERSONNEL WORK DISRUPTION IN SAFETY...

METHOD AND SYSTEM OF SOFTWARE SPECIFICATION MODELING

Method for Determining Trajectory of Multi-Motor Control System Avo...