Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12112162 | Method and system for mapping intermediate representation objects for facilitating incremental analysis | Ankita Shamrao Khadsare, Vaidehi Manoj Ghime, Bharti Chimdyalwar | 2024-10-08 |
| 12099822 | Method and system for identifying static analysis alarms based on semantics of changed source code | Ankita Shamrao Khadsare, Vaidehi Manoj Ghime, Ramanathan Venkatesh, Bharti Chimdyalwar, Shrawan Kumar | 2024-09-24 |
| 12050906 | Method and system for identifying relevant changes for incremental verification of evolving software | Bharti Chimdyalwar, Shrawan Kumar | 2024-07-30 |
| 10534689 | Data structure abstraction for model checking | Venkatesh Ramanathan | 2020-01-14 |