 | 2007 |
|---|
| 6 |       | Eyal Bin,
Avi Ziv,
Shmuel Ur:
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Springer 2007 |
| 2006 |
|---|
| 5 | | Shmuel Ur,
Eyal Bin,
Yaron Wolfsthal:
Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Springer 2006 |
| 2005 |
|---|
| 4 |  | Allon Adir,
Hezi Azatchi,
Eyal Bin,
Ofer Peled,
Kirill Shoikhet:
A generic micro-architectural test plan approach for microprocessor verification.
DAC 2005: 769-774 |
| 2004 |
|---|
| 3 | | Eyal Bin,
Laurent Fournier:
Micro-Architecture Verification for Microprocessors.
MTV 2004: 112-113 |
| 2002 |
|---|
| 2 | | Rina Dechter,
Kalev Kask,
Eyal Bin,
Roy Emek:
Generating Random Solutions for Constraint Satisfaction Problems.
AAAI/IAAI 2002: 15-21 |
| 1 | | Eyal Bin,
Roy Emek,
Gil Shurek,
Avi Ziv:
Using a constraint satisfaction formulation and solution techniques for random test program generation.
IBM Systems Journal 41(3): 386-402 (2002) |
