Author of the publication

A Framework for Inherent Vacuity.

, , , and . Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, page 7-22. Springer, (2008)

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

Flow Logic., and . CoRR, (2018)Lattice Automata., and . VMCAI, volume 4349 of Lecture Notes in Computer Science, page 199-213. Springer, (2007)Better Under-Approximation of Programs by Hiding Variables., and . VMCAI, volume 4349 of Lecture Notes in Computer Science, page 314-328. Springer, (2007)An Abstraction-Refinement Framework for Trigger Querying., and . SAS, volume 6887 of Lecture Notes in Computer Science, page 263-279. Springer, (2011)Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction., and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 84-99. Springer, (2012)A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking., , and . CONCUR, volume 1119 of Lecture Notes in Computer Science, page 514-529. Springer, (1996)Sensing as a Complexity Measure., , and . DCFS, volume 10316 of Lecture Notes in Computer Science, page 3-15. Springer, (2017)On the Complexity of Parity Word Automata., , and . FoSSaCS, volume 2030 of Lecture Notes in Computer Science, page 276-286. Springer, (2001)Network-Formation Games with Regular Objectives., , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 119-133. Springer, (2014)Parameterized Weighted Containment., and . FoSSaCS, volume 7794 of Lecture Notes in Computer Science, page 369-384. Springer, (2013)