Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9710427 | Verification of distributed symmetric multi-processing systems | Alex Goryachev, Tali Rabetti, Sergey Shusterman | 2017-07-18 |
| 9633155 | Circuit modification | Wesam Saleem Ibraheem, Tom Kolan, Anatoly Koyfman, Vitali Sokhin, Elena Tsanko | 2017-04-25 |
| 9298670 | Verification of distributed symmetric multi-processing systems | Alex Goryachev, Tali Rabetti | 2016-03-29 |
| 9218273 | Automatic generation of a resource reconfiguring test | Erez Lev Meir Bilgory, Alex Goryachev, Tali Rabetti | 2015-12-22 |
| 8868976 | System-level testcase generation | Shimon Ben-Yehuda, Shady Copty, Alex Goryachev, John D. Jabusch | 2014-10-21 |
| 8601418 | Instruction-by-instruction checking on acceleration platforms | Debapriya Chatterjee, Anatoly Koyfman, Avi Ziv | 2013-12-03 |
| 8397217 | Integrating templates into tests | Alex Goryachev, Wisam Kadry, Sergey Shusterman | 2013-03-12 |
| 8327323 | Automatic copying by ancestor in object-oriented languages | Karen Holtz, Eitan Marcus | 2012-12-04 |
| 7523445 | Method for generating an explanation of a CSP solution | Felix Geller | 2009-04-21 |