| 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 |
