Simulation Based Minimization. - Doron Bustan; Orna Grumberg (CADE, 2000)

Equivalence-based reductions and checking for preorders. - Doron Bustan (2002)

Resets vs. Aborts in Linear Temporal Logic. - Roy Armoni; Doron Bustan; Orna Kupferman; Moshe Y. Vardi (TACAS, 2003)

Simulation-based minimazation. - Doron Bustan; Orna Grumberg (ACM Trans. Comput. Log., 2003)

Verifying omega-Regular Properties of Markov Chains. - Doron Bustan; Sasha Rubin; Moshe Y. Vardi (CAV, 2004)

A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. - Doron Bustan; Orna Kupferman; Moshe Y. Vardi (STACS, 2004)

Applicability of fair simulation. - Doron Bustan; Orna Grumberg (Inf. Comput., 2004)

Regular Vacuity. - Doron Bustan; Alon Flaisher; Orna Grumberg; Orna Kupferman; Moshe Y. Vardi (CHARME, 2005)

Some Complexity Results for SystemVerilog Assertions. - Doron Bustan; John Havlicek (CAV, 2006)

A compositional theory for post-reboot observational equivalence checking of hardware. - Zurab Khasidashvili; Daher Kaiss; Doron Bustan (FMCAD, 2009)

SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience. - Doron Bustan; Dmitry Korchemny; Erik Seligman; Jin Yang 006 (IEEE Des. Test Comput., 2012)