Issued Patents All Time
Showing 26–50 of 53 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |
| 9619362 | Event sequence construction of event-driven software by combinational computations | Indradeep Ghosh | 2017-04-11 |
| 9586484 | Electric-vehicle control device | — | 2017-03-07 |
| 9501331 | Satisfiability checking | Indradeep Ghosh, Sreeranga P. Rajan | 2016-11-22 |
| 9483380 | Parameterized states in symbolic execution for software testing | Indradeep Ghosh | 2016-11-01 |
| 9244928 | Systems and methods for directory snapshot | Haiyang Zhang, Guoxian Shang, Shaorong Li | 2016-01-26 |
| 9239870 | Multiple instance database auto-configuration for high availability | Guoxian Shang, Haiyang Zhang | 2016-01-19 |
| 9152543 | Symbolic execution with automatic abstractions | Indradeep Ghosh | 2015-10-06 |
| 9100384 | Method and apparatus for accessing heterogeneous networks via wireless local area network | — | 2015-08-04 |
| 9038032 | Symbolic execution and automatic test case generation for JavaScript programs | Praveen K. Murthy, Indradeep Ghosh, Sreeranga P. Rajan | 2015-05-19 |
| 9033851 | Motor drive assembly for a vehicle and a motor vehicle | Yoshinori Itakura | 2015-05-19 |
| 8996922 | Mixed numeric and string constraint analysis | Indradeep Ghosh | 2015-03-31 |
| 8984318 | System and method to avoid resynchronization when protecting multiple servers | Zhenghua Xu, Ran Shuai, Min Yan | 2015-03-17 |
| 8972949 | Rule-based method for proving unsatisfiable conditions in a mixed numeric and string solver | Indradeep Ghosh | 2015-03-03 |
| 8943487 | Optimizing libraries for validating C++ programs using symbolic execution | Sreeranga P. Rajan, Indradeep Ghosh | 2015-01-27 |
| 8869113 | Software architecture for validating C++ programs using symbolic execution | Sreeranga P. Rajan, Indradeep Ghosh | 2014-10-21 |
| 8856751 | Abstract symbolic execution for scaling symbolic execution generation and automatic test generation | Indradeep Ghosh, Sreeranga P. Rajan | 2014-10-07 |
| 8645924 | Lossless path reduction for efficient symbolic execution and automatic test generation | Sreeranga P. Rajan, Indradeep Ghosh | 2014-02-04 |
| 8595701 | Symbolic execution and test generation for GPU programs | Sreeranga P. Rajan, Indradeep Ghosh | 2013-11-26 |
| 8578202 | System and method for providing high availability for distributed application | Hailin Peng, Zhenghua Xu, Ran Shuai | 2013-11-05 |
| 8003395 | Non-signal imidazole reagents for mass spectrometry analysis of phosphomonoesters | Poguang Wang, Roger W. Giese | 2011-08-23 |