Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12229526 | Smart translation systems | Prakash Ghatage, Naveen Kumar Thangaraj, Kaustubh Kurhekar, Sreevidya Prasad | 2025-02-18 |
| 8924938 | Software testing using machine learning | Richard Chang, Guofei Jiang, Franjo Ivancic | 2014-12-30 |
| 8719793 | Scope bounding with automated specification inference for scalable software model checking | Naoto Maeda, Franjo Ivancic, Aarti Gupta | 2014-05-06 |
| 8601459 | Control structure refinement of loops using static analysis | Aarti Gupta, Gogul Balakrishnan | 2013-12-03 |
| 8539451 | Systems and methods for model checking the precision of programs employing floating-point operations | Franjo Ivancic, Malay Ganai, Aarti Gupta | 2013-09-17 |
| 8522226 | Control structure refinement of loops using static analysis | Aarti Gupta, Gogul Balakrishnan | 2013-08-27 |
| 8402440 | Program verification through symbolic enumeration of control path programs | Franjo Ivancic, 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 | Franjo Ivancic, Aarti Gupta, Truong X. Nghiem | 2013-02-12 |
| 8365152 | Path-sensitive analysis through infeasible-path detection and syntactic language refinement | Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta | 2013-01-29 |
| 8352222 | Methods and systems for efficient analysis of hybrid systems using template polyhedra | Franjo Ivancic | 2013-01-08 |
| 8191045 | Mining library specifications using inductive learning | Franjo Ivancic, Aarti Gupta | 2012-05-29 |
| 8185875 | Fast and accurate static data-race detection for concurrent programs | Vineet Kahlon, Yu Yang, Aarti Gupta | 2012-05-22 |
| 8126831 | System and method for dynamically inferring data preconditions over predicates by tree learning | Franjo Ivancic, Aarti Gupta | 2012-02-28 |
| 8006239 | Program analysis using symbolic ranges | Aarti Gupta, Franjo Ivancic, Ilya SHLYAKHTER | 2011-08-23 |