2005 |
4 | 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 |
2003 |
3 | EE | Marcelo Glusman,
Gila Kamhi,
Sela Mador-Haim,
Ranan Fraer,
Moshe Y. Vardi:
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.
TACAS 2003: 176-191 |
2002 |
2 | EE | Roy Armoni,
Limor Fix,
Alon Flaisher,
Rob Gerth,
Boris Ginsburg,
Tomer Kanza,
Avner Landver,
Sela Mador-Haim,
Eli Singerman,
Andreas Tiemeyer,
Moshe Y. Vardi,
Yael Zbar:
The ForSpec Temporal Logic: A New Temporal Property-Specification Language.
TACAS 2002: 296-211 |
1998 |
1 | EE | Sela Mador-Haim,
Limor Fix:
Input Elimination and Abstraction in Model Checking.
FMCAD 1998: 304-320 |