Author of the publication

Improved verification of hardware designs through antecedent conditioned slicing.

, , and . STTT, 9 (1): 89-101 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modalities for Model Checking: Branching Time Logic Strikes Back., and . Sci. Comput. Program., 8 (3): 275-306 (1987)Modularity and Rule-Based Programming., , , , , , , , and . International Journal on Artificial Intelligence Tools, 4 (1-2): 201-218 (1995)Verification of recursive methods on tree-like data structures., and . FMCAD, page 33-40. IEEE, (2009)On Model Checking for Non-Deterministic Infinite-State Systems., and . LICS, page 70-80. IEEE Computer Society, (1998)Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems., and . SCCC, page 95-104. IEEE Computer Society, (2012)Tree Automata, Mu-Calculus and Determinacy (Extended Abstract), and . FOCS, page 368-377. IEEE Computer Society, (1991)On partitioning and symbolic model checking., , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 25 (5): 780-788 (2006)Symmetry Reductions inModel Checking., , , and . CAV, volume 1427 of Lecture Notes in Computer Science, page 147-158. Springer, (1998)Methods for Mu-calculus Model Checking: A Tutorial (Abstract).. CAV, volume 939 of Lecture Notes in Computer Science, page 141. Springer, (1995)On Model-Checking for Fragments of µ-Calculus., , and . CAV, volume 697 of Lecture Notes in Computer Science, page 385-396. Springer, (1993)