Issued Patents All Time
Showing 1–24 of 24 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12182269 | Automatic generation of patches for security violations | Domagoj Babic, Omer Tripp, Sam Kerner, Markus Kusano, Timothy King +3 more | 2024-12-31 |
| 10095610 | Testing applications with a defined input format | László Szekeres, Domagoj Babic | 2018-10-09 |
| 9977729 | Testing applications with a defined input format | László Szekeres, Domagoj Babic | 2018-05-22 |
| 9736064 | Offline queries in software defined networks | Hui Zhang, Behnaz ARZANI, Junghwan Rhee, Nipun Arora, Guofei Jiang | 2017-08-15 |
| 8924938 | Software testing using machine learning | Richard Chang, Sriram Sankaranarayanan, Guofei Jiang | 2014-12-30 |
| 8799194 | Probabilistic model checking of systems with ranged probabilities | Parasara Sridhar Duggirala, Khalil Ghorbal, Vineet Kahlon, Aarti Gupta | 2014-08-05 |
| 8719790 | Donut domains—efficient non-convex domains for abstract interpretation | Khalil Ghorbal, Gogul Balakrishnan, Naoto Maeda | 2014-05-06 |
| 8719793 | Scope bounding with automated specification inference for scalable software model checking | Naoto Maeda, Sriram Sankaranarayanan, Aarti Gupta | 2014-05-06 |
| 8719802 | Interprocedural exception method | Naoto Maeda, Prakash Prabhu, Gogul Balakrishnan, Aarti Gupta | 2014-05-06 |
| 8707278 | Embedding class hierarchy into object models for multiple class inheritance | Gogul Balakrishnan, Naoto Maeda, Nishant Sinha, Aarti Gupta, Jing Yang | 2014-04-22 |
| 8538900 | Integrating interval constraint propagation with nonlinear real arithmetic | Malay Ganai, Sicun Gao, Aarti Gupta | 2013-09-17 |
| 8539451 | Systems and methods for model checking the precision of programs employing floating-point operations | Malay Ganai, Sriram Sankaranarayanan, Aarti Gupta | 2013-09-17 |
| 8539013 | Efficient decision method for real non-linear arithmetic constraints | Malay Ganai | 2013-09-17 |
| 8402440 | Program verification through symbolic enumeration of control path programs | Sriram Sankaranarayanan, William R. Harris, Aarti Gupta, Gogul Balakrishnan | 2013-03-19 |
| 8374840 | System and method for feedback-guided test generation for cyber-physical systems using monte-carlo | Sriram Sankaranarayanan, Aarti Gupta, Truong X. Nghiem | 2013-02-12 |
| 8365152 | Path-sensitive analysis through infeasible-path detection and syntactic language refinement | Gogul Balakrishnan, Sriram Sankaranarayanan, Aarti Gupta | 2013-01-29 |
| 8352222 | Methods and systems for efficient analysis of hybrid systems using template polyhedra | Sriram Sankaranarayanan | 2013-01-08 |
| 8191045 | Mining library specifications using inductive learning | Sriram Sankaranarayanan, Aarti Gupta | 2012-05-29 |
| 8131532 | Software verification using range analysis | Srihari Cadambi, Aleksandr Zaks, Ilya SHLYAKHTER, Zijiang Yang, Malay Ganai +2 more | 2012-03-06 |
| 8126831 | System and method for dynamically inferring data preconditions over predicates by tree learning | Sriram Sankaranarayanan, Aarti Gupta | 2012-02-28 |
| 8006239 | Program analysis using symbolic ranges | Sriram Sankaranarayanan, Aarti Gupta, Ilya SHLYAKHTER | 2011-08-23 |
| 7930659 | Software verification | Aarti Gupta, Malay Ganai, Himanshu Jain | 2011-04-19 |
| 7693690 | Disjunctive image computation for sequential systems | Chao Wang, Aarti Gupta, Zijiang Yang | 2010-04-06 |
| 7346486 | System and method for modeling, abstraction, and analysis of software | Pranav Ashar, Malay Ganai, Aarti Gupta, Zijiang Yang | 2008-03-18 |