Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8892493 | Compatibility testing using traces, linear temporal rules, and behavioral models | Randall E. Aull, Pankaj Gupta, Robert Harris, Jane Evguenia Lawrence, Pradip Harindran Vallathol | 2014-11-18 |
| 8538909 | Temporal rule-based feature definition and extraction | Piyush Goyal, Pradip Harindran Vallathol, Ganesan Ramalingam | 2013-09-17 |
| 8280899 | Abstracting events for data mining | David Lo, Ganesan Ramalingam, Kapil Vaswani | 2012-10-02 |
| 7941616 | System to reduce interference in concurrent programs | Sriram K. Rajamani, Ganesan Ramalingam, Kapil Vaswani | 2011-05-10 |