E.M. Clarke

Hybrid decision diagrams. Overcoming the limitations of MTBDDs and BMDs

E.M. Clarke, M. Fujita, X. Zhao, 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Model checking in-the-loop: Finding counterexamples by systematic simulation

B.H. Krogh, E.M. Clarke, F. Lerda, 2008, 2008 American Control Conference.

Formal verification of VHDL: the model checker CV

D. Deharbe, E.M. Clarke, S. Shankar, 1998, Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216).

Verifying IP-core based system-on-chip designs

E.M. Clarke, P. Chauhan, Y. Lu, 1999, Twelfth Annual IEEE International ASIC/SOC Conference (Cat. No.99TH8454).