Doron Bustan

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