| 11999366 |
System and methods thereof for monitoring proper behavior of an autonomous vehicle |
Yoav Hollander, Oded Doron HIRSCHFELD |
2024-06-04 |
| 8478575 |
Automatic anomaly detection for HW debug |
— |
2013-07-02 |
| 8448112 |
System, method, and computer program product for automatic power management verification |
John Paul Decker, Neyaz Khan, Efrat Shneydor |
2013-05-21 |
| 8352906 |
Method, system, and computer program product for implementing external domain independent modeling framework in a system design |
Stavros Tripakis, Felice Balarin |
2013-01-08 |
| 7895156 |
Method, system, and computer program product for implementing a model exchange framework generating a synchronization record in response to a model exchange request using fusion technology |
Gilad Bracha |
2011-02-22 |
| 7665067 |
Method and system for automatically creating tests |
Yoav Hollander |
2010-02-16 |
| 7284177 |
Method and apparatus for functionally verifying a physical device under test |
Yoav Hollander |
2007-10-16 |
| 6920583 |
System and method for compiling temporal expressions |
Matthew John Morley |
2005-07-19 |
| 6907599 |
Synthesis of verification languages |
Matthew John Morley |
2005-06-14 |
| 6675138 |
System and method for measuring temporal coverage detection |
Yoav Hollander, Lev Plotnikov |
2004-01-06 |
| 6499132 |
System and method for analyzing temporal expressions |
Matthew John Morley |
2002-12-24 |