Doron Bustan

According to our database, Doron Bustan authored at least 11 papers between 2000 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

SystemVerilog Assertions: Past, Present, and Future SVA Standardization Experience.

Doron Bustan, Dmitry Korchemny, Erik Seligman, Jin Yang

IEEE Des. Test Comput., 2012

2009

A compositional theory for post-reboot observational equivalence checking of hardware.

Zurab Khasidashvili, Daher Kaiss, Doron Bustan

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2006

Some Complexity Results for SystemVerilog Assertions.

Doron Bustan, John Havlicek

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Regular Vacuity.

Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Applicability of fair simulation.

Doron Bustan, Orna Grumberg

Inf. Comput., 2004

A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy.

Doron Bustan, Orna Kupferman, Moshe Y. Vardi

Proceedings of the STACS 2004, 2004

Verifying omega-Regular Properties of Markov Chains.

Doron Bustan, Sasha Rubin, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Simulation-based minimazation.

Doron Bustan, Orna Grumberg

ACM Trans. Comput. Log., 2003

Resets vs. Aborts in Linear Temporal Logic.

Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Equivalence-based reductions and checking for preorders.

Doron Bustan

PhD thesis, 2002

2000

Simulation Based Minimization.

Doron Bustan, Orna Grumberg

Proceedings of the Automated Deduction, 2000