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, Venkatesh-Prasad Ranganath | 2014-11-18 |
| 8538909 | Temporal rule-based feature definition and extraction | Venkatesh-Prasad Ranganath, Piyush Goyal, Ganesan Ramalingam | 2013-09-17 |