| 2009 |
|---|
| 7 | EE | Amotz Bar-Noy,
Sudipto Guha,
Yoav Katz,
Joseph Naor,
Baruch Schieber,
Hadas Shachnai:
Throughput maximization of real-time scheduling with batching.
ACM Transactions on Algorithms 5(2): (2009) |
| 2007 |
|---|
| 6 | EE | Shady Copty,
Itai Jaeger,
Yoav Katz,
Michael Vinov:
Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation.
DAC 2007: 891-895 |
| 2006 |
|---|
| 5 | | Yehuda Naveh,
Michal Rimon,
Itai Jaeger,
Yoav Katz,
Michael Vinov,
Eitan Marcus,
Gil Shurek:
Constraint-Based Random Stimuli Generation for Hardware Verification.
AAAI 2006 |
| 2005 |
|---|
| 4 | EE | Shady Copty,
Itai Jaeger,
Yoav Katz:
Path-Based System Level Stimuli Generation.
Haifa Verification Conference 2005: 1-13 |
| 2004 |
|---|
| 3 | EE | Roy Emek,
Itai Jaeger,
Yoav Katz,
Yehuda Naveh:
Quality Improvement Methods for System-Level Stimuli Generation.
ICCD 2004: 204-206 |
| 2003 |
|---|
| 2 | EE | Allon Adir,
Roy Emek,
Yoav Katz,
Anatoly Koyfman:
DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms.
MTV 2003: 3-6 |
| 2002 |
|---|
| 1 | EE | Amotz Bar-Noy,
Sudipto Guha,
Yoav Katz,
Joseph Naor,
Baruch Schieber,
Hadas Shachnai:
Throughput maximization of real-time scheduling with batching.
SODA 2002: 742-751 |
