 | 2006 |
|---|
| 9 |       | Doron Bustan,
John Havlicek:
Some Complexity Results for SystemVerilog Assertions.
CAV 2006: 205-218 |
| 2005 |
|---|
| 8 | | Doron Bustan,
Alon Flaisher,
Orna Grumberg,
Orna Kupferman,
Moshe Y. Vardi:
Regular Vacuity.
CHARME 2005: 191-206 |
| 2004 |
|---|
| 7 | | Doron Bustan,
Sasha Rubin,
Moshe Y. Vardi:
Verifying omega-Regular Properties of Markov Chains.
CAV 2004: 189-201 |
| 6 | | Doron Bustan,
Orna Kupferman,
Moshe Y. Vardi:
A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy.
STACS 2004: 522-533 |
| 5 | | Doron Bustan,
Orna Grumberg:
Applicability of fair simulation.
Inf. Comput. 194(1): 1-18 (2004) |
| 2003 |
|---|
| 4 | | Roy Armoni,
Doron Bustan,
Orna Kupferman,
Moshe Y. Vardi:
Resets vs. Aborts in Linear Temporal Logic.
TACAS 2003: 65-80 |
| 3 | | Doron Bustan,
Orna Grumberg:
Simulation-based minimazation.
ACM Trans. Comput. Log. 4(2): 181-206 (2003) |
| 2002 |
|---|
| 2 | | Doron Bustan,
Orna Grumberg:
Applicability of Fair Simulation.
TACAS 2002: 401-414 |
| 2000 |
|---|
| 1 | | Doron Bustan,
Orna Grumberg:
Simulation Based Minimization.
CADE 2000: 255-270 |
