Author of the publication

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

The Complexity of Propositional Linear Temporal Logics, and . STOC, page 159-168. ACM, (1982)Model Checking and Abstraction., , and . ACM Trans. Program. Lang. Syst., 16 (5): 1512-1542 (1994)A Theory of Consistency for Modular Synchronous Systems., , , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 486-504. Springer, (2000)Model Checking VHDL with CV., , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 508-514. Springer, (1998)Environment Abstraction for Parameterized Verification., , and . VMCAI, volume 3855 of Lecture Notes in Computer Science, page 126-141. Springer, (2006)Tutorial: Software Model Checking., and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 9-10. Springer, (2004)Statistical Model Checking for Cyber-Physical Systems., and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 1-12. Springer, (2011)Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic., and . 25 Years of Model Checking, volume 5000 of Lecture Notes in Computer Science, page 196-215. Springer, (2008)SATABS: SAT-Based Predicate Abstraction for ANSI-C., , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 570-574. Springer, (2005)Partial Order Reductions for Security Protocol Verification., , and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 503-518. Springer, (2000)