Issued Patents 2018
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10133649 | System and methods for model-based analysis of software | John Steven | 2018-11-20 |
| 10127386 | Systems and methods for adaptive analysis of software | John Steven | 2018-11-13 |
| 10127135 | Systems and methods for incremental analysis of software | John Steven | 2018-11-13 |
| 10122749 | Systems and methods for analyzing software using queries | John Steven | 2018-11-06 |
| 10081610 | Efficient and scalable synthesis of 2-(1′h-indole-3′-carbonyl)-thiazole-4-carboxylic acid methyl ester and its structural analogs | Jiasheng Song, Suoming Zhang, Luquing Yang | 2018-09-25 |
| 10017075 | Device for controlling electric automobile | — | 2018-07-10 |
| 9956890 | Device for controlling electric automobile | — | 2018-05-01 |
| 9892027 | Event-driven software testing | Indradeep Ghosh | 2018-02-13 |
| 9855858 | Control device for electric vehicle | YiQing Liu | 2018-01-02 |