Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11907646 | HTML element based rendering supporting interactive objects | Kerri Shotts, Aditya Vikram | 2024-02-20 |
| 9208338 | Method and apparatus for securely executing multiple actions using less than a corresponding multiple of privilege elevation prompts | Mansukh Patidar, Saurabh Gupta, Aditya Falodiya, Gaurav Modi, Amit Batra +1 more | 2015-12-08 |
| 7810056 | Method and system for implementing context aware synthesis of assertions | Vinaya Kumar Singh | 2010-10-05 |
| 7712060 | Method and system for handling assertion libraries in functional verification | Vinaya Kumar Singh, Pratik Mahajan, Mohamad Shaved | 2010-05-04 |
| 7386813 | Transformation of simple subset of PSL into SERE implication formulas for verification with model checking and simulation engines using semantic preserving rewrite rules | Vinaya Kumar Singh | 2008-06-10 |