Search the dblp DataBase

Publications of Author

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