| 2008 |
|---|
| 4 | EE | Yoni Aizik,
Gila Kamhi,
Yael Zbar,
Hadas Ronen,
Muhammad Abozaed:
Power-Aware Design via Micro-architectural Link to Implementation.
PATMOS 2008: 72-81 |
| 2007 |
|---|
| 3 | EE | Roy Armoni,
Limor Fix,
Ranan Fraer,
Tamir Heyman,
Moshe Y. Vardi,
Yakir Vizel,
Yael Zbar:
Deeper Bound in BMC by Combining Constant Propagation and Abstraction.
ASP-DAC 2007: 304-309 |
| 2006 |
|---|
| 2 | EE | Roy Armoni,
Dmitry Korchemny,
Andreas Tiemeyer,
Moshe Y. Vardi,
Yael Zbar:
Deterministic Dynamic Monitors for Linear-Time Assertions.
FATES/RV 2006: 163-177 |
| 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 |
