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