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 Localization Reduction and Counterexample-Guided Abstraction Refinement., , and . Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 61-71. Springer, (2010)Empirical Software Metrics for Benchmarking of Verification Tools., , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 561-579. Springer, (2015)On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability., , and . Inf. Comput., (2017)Complexity of t-tautologies., , , and . Ann. Pure Appl. Log., 113 (1-3): 3-11 (2001)Parameterized model checking of rendezvous systems., , , , and . Distributed Comput., 31 (3): 187-222 (2018)Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)., , , and . Dagstuhl Reports, 1 (7): 23-35 (2011)Closure properties and complexity of rational sets of regular languages., , , and . Theor. Comput. Sci., (2015)Special Issue: Games in Verification.. J. Comput. Syst. Sci., 78 (2): 393 (2012)Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)., , , and . CoRR, (2019)Shape and Content: Incorporating Domain Knowledge into Shape Analysis., , , , and . CoRR, (2013)