Issued Patents 2011
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8019824 | Remotely operating computer software applications using low bandwidth | Ishai Rabinovitz, Shmuel Ur | 2011-09-13 |
| 7990980 | Modeling non-deterministic priority queues for efficient model checking | Janees Elamkulam, Satish Chandra Gupta, Sandeep Kohli, Ishai Rabinovitz | 2011-08-02 |
| 7921411 | Model checking of non-terminating software programs | Hana Chockler, Benyamin Godlin, Sharon Keidar-Barner | 2011-04-05 |