Kit Yan SIU

Person

Niskayuna, NY, US

People

Patents Grantslast 30 patents

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

Patents Applicationslast 30 patents

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
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 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
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
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

Kit Yan SIU

Person

Patents Grantslast 30 patents

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

Patents Applicationslast 30 patents

SYSTEMS AND METHODS FOR ARBITRARY SOFTWARE LOGIC MODELING

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

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

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

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

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

METHOD AND SYSTEM OF SOFTWARE SPECIFICATION MODELING