Doron Bustan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2000–2009
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | FMCAD | A compositional theory for post-reboot observational equivalence checking of hardware. | Zurab Khasidashvili, Daher Kaiss, Doron Bustan |
| 2006 | CAV | Some Complexity Results for SystemVerilog Assertions. | Doron Bustan, John Havlicek |
| 2004 | CAV | Verifying omega-Regular Properties of Markov Chains. | Doron Bustan, Sasha Rubin, Moshe Y. Vardi |
| 2004 | STACS | A Measured Collapse of the Modal -Calculus Alternation Hierarchy. | Doron Bustan, Orna Kupferman, Moshe Y. Vardi |
| 2003 | TACAS | Resets vs. Aborts in Linear Temporal Logic. | Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi |
| 2002 | TACAS | Applicability of Fair Simulation. | Doron Bustan, Orna Grumberg |
| 2000 | CADE | Simulation Based Minimization. | Doron Bustan, Orna Grumberg |