Issued Patents All Time
Showing 1–25 of 51 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11102067 | Method and system providing automated support for cross-cloud hybridity services | Hemanth Kumar Pannem, Sachin Thakkar, Furkan Shaikh, Kim Tran, Lu Yu +1 more | 2021-08-24 |
| 11095709 | Cross-cloud object mapping for hybrid clouds | Sachin Thakkar, Debashis Basak, Serge Maskalik, Mark Whipple | 2021-08-17 |
| 11095511 | Virtual network operations center for cross-cloud hybrid services upgradability | Hemanth Kumar Pannem, Sachin Thakkar, Furkan Shaikh, Kim Tran, Lu Yu | 2021-08-17 |
| 10382532 | Cross-cloud object mapping for hybrid clouds | Sachin Thakkar, Debashis Basak, Serge Maskalik, Mark Whipple | 2019-08-13 |
| 9723065 | Cross-cloud object mapping for hybrid clouds | Sachin Thakkar, Debashis Basak, Serge Maskalik, Mark Whipple | 2017-08-01 |
| 8799194 | Probabilistic model checking of systems with ranged probabilities | Parasara Sridhar Duggirala, Khalil Ghorbal, Franjo Ivancic, Vineet Kahlon | 2014-08-05 |
| 8719802 | Interprocedural exception method | Naoto Maeda, Prakash Prabhu, Gogul Balakrishnan, Franjo Ivancic | 2014-05-06 |
| 8719793 | Scope bounding with automated specification inference for scalable software model checking | Naoto Maeda, Franjo Ivancic, Sriram Sankaranarayanan | 2014-05-06 |
| 8707278 | Embedding class hierarchy into object models for multiple class inheritance | Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Nishant Sinha, Jing Yang | 2014-04-22 |
| 8601459 | Control structure refinement of loops using static analysis | Sriram Sankaranarayanan, Gogul Balakrishnan | 2013-12-03 |
| 8538900 | Integrating interval constraint propagation with nonlinear real arithmetic | Malay Ganai, Sicun Gao, Franjo Ivancic | 2013-09-17 |
| 8539451 | Systems and methods for model checking the precision of programs employing floating-point operations | Franjo Ivancic, Malay Ganai, Sriram Sankaranarayanan | 2013-09-17 |
| 8527976 | System and method for generating error traces for concurrency bugs | Vineet Kahlon, Sriram Sankarnarayanan | 2013-09-03 |
| 8522226 | Control structure refinement of loops using static analysis | Sriram Sankaranarayanan, Gogul Balakrishnan | 2013-08-27 |
| 8402440 | Program verification through symbolic enumeration of control path programs | Sriram Sankaranarayanan, Franjo Ivancic, William R. Harris, Gogul Balakrishnan | 2013-03-19 |
| 8381226 | System and method for monotonic partial order reduction | Vineet Kahlon, Chao Wang | 2013-02-19 |
| 8374840 | System and method for feedback-guided test generation for cyber-physical systems using monte-carlo | Sriram Sankaranarayanan, Franjo Ivancic, Truong X. Nghiem | 2013-02-12 |
| 8365152 | Path-sensitive analysis through infeasible-path detection and syntactic language refinement | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic | 2013-01-29 |
| 8359578 | Symbolic reduction of dynamic executions of concurrent programs | Chao Wang, Swarat Chaudhuri, Yu Yang | 2013-01-22 |
| 8286137 | Accelerating model checking via synchrony | Vineet Kahlon | 2012-10-09 |
| 8266600 | Model checking of multi threaded software | Vineet Kahlon | 2012-09-11 |
| 8200474 | Dynamic model checking with property driven pruning to detect race conditions | Chao Wang | 2012-06-12 |
| 8191045 | Mining library specifications using inductive learning | Sriram Sankaranarayanan, Franjo Ivancic | 2012-05-29 |
| 8185875 | Fast and accurate static data-race detection for concurrent programs | Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan | 2012-05-22 |
| 8176496 | Partial order reduction using guarded independence relations | Chao Wang, Zijian YANG, Vineet Kahlon | 2012-05-08 |