Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9563535 | Intermediate representation construction for static analysis | Henning Korsholm Rohde | 2017-02-07 |
| 8930913 | Intermediate representation construction for static analysis | Henning Korsholm Rohde | 2015-01-06 |
| 8510722 | Detecting data race and atomicity violation via typestate-guided static analysis | Yue Yang, Dinghao Wu, Henning Korsholm Rohde | 2013-08-13 |
| 8443342 | Static analysis using interactive and integration tools | Henning Korsholm Rohde | 2013-05-14 |
| 7146301 | Efficient production of disjoint multiple traces | Shoham Ben-David | 2006-12-05 |
| 6957404 | Model checking with layered localization reduction | Danny Geist, Sharon Keidar | 2005-10-18 |
| 6691078 | Target design model behavior explorer | Ilan Beer, Eli Dichterman, Leonid Gluhovsky, Yossi Malka, Yaron Wolfsthal +1 more | 2004-02-10 |