| 11704580 |
Automated combination of predictions made by different prediction systems |
Naftali Liberman, Yoav Kantor |
2023-07-18 |
| 9208451 |
Automatic identification of information useful for generation-based functional verification |
Michal Rimon, Elad Yom-Tov, Avi Ziv |
2015-12-08 |
| 9117023 |
Dynamic generation of test segments |
Oz Dov Hershkovitz |
2015-08-25 |
| 8930759 |
Stream generation |
Michal Rimon, Avi Ziv |
2015-01-06 |
| 8826075 |
Solving constraint satisfaction problems having loosely interconnected sub-problems |
Michal Rimon, Avi Ziv |
2014-09-02 |
| 8683282 |
Automatic identification of information useful for generation-based functional verification |
Michal Rimon, Elad Yom-Tov, Avi Ziv |
2014-03-25 |
| 8438000 |
Dynamic generation of tests |
Ron Maharik |
2013-05-07 |
| 8245164 |
Method of verification of address translation mechanisms |
Anatoly Koyfman, Elena Tsanko |
2012-08-14 |
| 8140457 |
Determining compliance rates for probabilistic requests |
Shady Copty, Roy Emek, Itai Jaeger, Shai Lubliner |
2012-03-20 |
| 7788610 |
Random stimuli generation of memory maps and memory allocations |
Roy Emek, Itai Jaeger |
2010-08-31 |
| 7415444 |
Determining compliance rates for probabilistic requests |
Shady Copty, Roy Emek, Itai Jaeger, Shai Lubliner |
2008-08-19 |
| 7370296 |
Modeling language and method for address translation design mechanisms in test generation |
Anatoly Koyfman, Allon Adir, Roy Emek, Michael Vinov |
2008-05-06 |
| 7266534 |
System and method and product of manufacture for automated test generation via constraint satisfaction with duplicated sub-problems |
Roy Emek, Itai Jaeger |
2007-09-04 |
| 6600401 |
Magnetic apparatus for MRI |
Yuval Zuk, Ehud Katznelson, Haim Rotem |
2003-07-29 |
| 6467157 |
Apparatus for construction of annular segmented permanent magnet |
Avinoam Livni |
2002-10-22 |
| 6315783 |
Surgical head support |
Hanan Katz, Arkadi Skibinsky |
2001-11-13 |
| 6163240 |
Magnetic apparatus for MRI |
Yuval Zuk, Ehud Katznelson, Haim Rotem |
2000-12-19 |
