Doron Bustan

Publication Activity (10 Years)

Years Active: 2000-2012
Publications (10 Years): 0

Top Topics

Historical Information

Past Observations

Multiresolution

Genetic Algorithm

Top Venues

IEEE Des. Test Comput.

Publications

Doron Bustan, Dmitry Korchemny, Erik Seligman, Jin Yang
SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience. IEEE Des. Test Comput. 29 (2) (2012)
Zurab Khasidashvili, Daher Kaiss, Doron Bustan
A compositional theory for post-reboot observational equivalence checking of hardware. FMCAD (2009)
Doron Bustan, John Havlicek
Some Complexity Results for SystemVerilog Assertions. CAV (2006)
Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi
Regular Vacuity. CHARME (2005)
Doron Bustan, Orna Kupferman, Moshe Y. Vardi
A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. STACS (2004)
Doron Bustan, Sasha Rubin, Moshe Y. Vardi
Verifying omega-Regular Properties of Markov Chains. CAV (2004)
Doron Bustan, Orna Grumberg
Applicability of fair simulation. Inf. Comput. 194 (1) (2004)
Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi
Resets vs. Aborts in Linear Temporal Logic. TACAS (2003)
Doron Bustan, Orna Grumberg
Simulation-based minimazation. ACM Trans. Comput. Log. 4 (2) (2003)
Doron Bustan, Orna Grumberg
Applicability of Fair Simulation. TACAS (2002)
Doron Bustan, Orna Grumberg
Simulation Based Minimization. CADE (2000)