Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9851957 | Improving application code execution performance by consolidating accesses to shared resources | Aharon Abadi, Gabi Zodik | 2017-12-26 |
| 9396170 | Hyperlink data presentation | Idan Ben-Harrush, Anat Berkman, Alexander Dvinsky, Nili Guy, Samuel Kallner +4 more | 2016-07-19 |
| 7089534 | Model based test generation for validation of parallel and concurrent software | Alan Hartman, Kenneth Nagin, Sergey Olvovsky, Aviad Zlotnick | 2006-08-08 |
| 7024589 | Reducing the complexity of finite state machine test generation using combinatorial designs | Alan Hartman, Kenneth Nagin, Sergey Olvovsky | 2006-04-04 |