| 2007 |
|---|
| 4 | EE | Alon Flaisher,
Alon Gluska,
Eli Singerman:
Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor.
FMCAD 2007: 192-195 |
| 2005 |
|---|
| 3 | EE | Doron Bustan,
Alon Flaisher,
Orna Grumberg,
Orna Kupferman,
Moshe Y. Vardi:
Regular Vacuity.
CHARME 2005: 191-206 |
| 2003 |
|---|
| 2 | 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 |
|---|
| 1 | 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 |
