Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9152385 | Systems and methods for generating high-quality formal executable software feature requirements | Arun Chakrapani Rao, Ramesh Sethu | 2015-10-06 |
| 8484009 | Timing analysis using formal methods | Swarup Kumar MOHALIK, Rajeev Ariyattu Chandrasekharan, Ramesh Sethu, Devesh B Chokshi | 2013-07-09 |
| 8082140 | Parametric analysis of real time response guarantees on interacting software components | Ramesh Sethu, Pallab Dasgupta | 2011-12-20 |