
Search the dblp DataBase
Doron Bustan:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Doron Bustan, Orna Grumberg
Simulation Based Minimization. [Citation Graph (0, 0)][DBLP] CADE, 2000, pp:255270 [Conf]
 Doron Bustan, John Havlicek
Some Complexity Results for SystemVerilog Assertions. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:205218 [Conf]
 Doron Bustan, Sasha Rubin, Moshe Y. Vardi
Verifying omegaRegular Properties of Markov Chains. [Citation Graph (0, 0)][DBLP] CAV, 2004, pp:189201 [Conf]
 Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi
Regular Vacuity. [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:191206 [Conf]
 Doron Bustan, Orna Kupferman, Moshe Y. Vardi
A Measured Collapse of the Modal µCalculus Alternation Hierarchy. [Citation Graph (0, 0)][DBLP] STACS, 2004, pp:522533 [Conf]
 Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi
Resets vs. Aborts in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:6580 [Conf]
 Doron Bustan, Orna Grumberg
Applicability of Fair Simulation. [Citation Graph (0, 0)][DBLP] TACAS, 2002, pp:401414 [Conf]
 Doron Bustan, Orna Grumberg
Applicability of fair simulation. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:194, n:1, pp:118 [Journal]
 Doron Bustan, Orna Grumberg
Simulationbased minimazation. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2003, v:4, n:2, pp:181206 [Journal]
A compositional theory for postreboot observational equivalence checking of hardware. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
