| |
| 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 |
| 2005 | ||
| 1 | Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi: Efficient LTL compilation for SAT-based model checking. ICCAD 2005: 877-884 | |
| 1 | Roy Armoni | [1] [2] |
| 2 | Sergey Egorov | [1] |
| 3 | Ranan Fraer | [1] |
| 4 | Andreas Tiemeyer | [2] |
| 5 | Moshe Y. Vardi | [1] [2] |
| 6 | Yael Zbar | [2] |