| 2008 |
|---|
| 3 | EE | Tamarah Arons,
Elad Elster,
Shlomit Ozer,
Jonathan Shalev,
Eli Singerman:
Efficient Symbolic Simulation of Low Level Software.
DATE 2008: 825-830 |
| 2006 |
|---|
| 2 | EE | Tamarah Arons,
Elad Elster,
Terry Murphy,
Eli Singerman:
Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation.
MTV 2006: 45-51 |
| 2005 |
|---|
| 1 | EE | Tamarah Arons,
Elad Elster,
Limor Fix,
Sela Mador-Haim,
Michael Mishaeli,
Jonathan Shalev,
Eli Singerman,
Andreas Tiemeyer,
Moshe Y. Vardi,
Lenore D. Zuck:
Formal Verification of Backward Compatibility of Microcode.
CAV 2005: 185-198 |
