Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12418508 | Inferring cloud network connectivity as a minimal list of firewall rules | Adi Sosnovich, Ziv Nevo, Shai Doron, Karen Frida Yorav | 2025-09-16 |
| 11928051 | Test space sampling for model-based biased random system test through rest API | Vitali Sokhin, Shiri Moran, Tom Kolan | 2024-03-12 |
| 11748238 | Model-based biased random system test through rest API | Vitali Sokhin, Dean G. Bair, Shiri Moran, Tom Kolan | 2023-09-05 |
| 11119895 | Risk-focused testing | Raviv Gal, Giora Simchoni, Avi Ziv | 2021-09-14 |
| 9286426 | Method and apparatus for testing | Gabor Bobok, Shlomit Koyfman, Shiri Moran, Ziv Nevo | 2016-03-15 |
| 8832502 | Hardware verification using acceleration platform | Manoj Dusanapudi, Wisam Kadry, Shakti Kapoor, Dimtry Krestyashyn, Shimon Landa +3 more | 2014-09-09 |
| 8516229 | Two pass test case generation using self-modifying instruction replacement | Allon Adir, Brad L. Herold, John Martin Ludden, Pedro Martin-de-Nicolas, Charles Leverett Meissner | 2013-08-20 |
| 8458652 | Device, system and method of modeling homogeneous information | Allon Adir, Roy Emek, Eitan Marcus | 2013-06-04 |
| 8359456 | Generating random addresses for verification of distributed computerized devices | Allon Adir | 2013-01-22 |
| 7945888 | Model-based hardware exerciser, device, system and method thereof | Allon Adir | 2011-05-17 |
| 7571201 | Method for distributed joint pseudo random decision making | Allon Adir | 2009-08-04 |
| 7085748 | Hyper-arc consistency in a contraint satisfaction network | Roy Emek, Alan Hartman, Michael Veksler | 2006-08-01 |