| 2006 |
|---|
| 5 | EE | Roy Armoni,
Dmitry Korchemny,
Andreas Tiemeyer,
Moshe Y. Vardi,
Yael Zbar:
Deterministic Dynamic Monitors for Linear-Time Assertions.
FATES/RV 2006: 163-177 |
| 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 | Roy Armoni,
Limor Fix,
Alon Flaisher,
Orna Grumberg,
Nir Piterman,
Andreas Tiemeyer,
Moshe Y. Vardi:
Enhanced Vacuity Detection in Linear Temporal Logic.
CAV 2003: 368-380 |
| 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 |
| 2000 |
|---|
| 1 | EE | Jin Yang,
Andreas Tiemeyer:
Lazy symbolic model checking.
DAC 2000: 35-38 |
