( en | de | ru )

 

Disambiguation of "Veith, Helmut"

Author of the publication

copydeleteadd this publication to your clipboard
Decidability of Parameterized Verification

, , , , , , and . Synthesis Lectures on Distributed Computing Theory Morgan & Claypool Publishers, (2015)

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.

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

 

Other publications of authors with the same name

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability., , and . Inf. Comput., (2017)Shape and Content: Incorporating Domain Knowledge into Shape Analysis., , , , and . CoRR, (2013)How did you specify your test suite., , , and . ASE, page 407-416. ACM, (2010)Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)., , , and . Dagstuhl Reports, 1 (7): 23-35 (2011)Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)., , , and . CoRR, (2019)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)A Syntactic Characterization of Distributive LTL Queries., and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 1099-1110. Springer, (2004)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms., , , , and . SFM, volume 8483 of Lecture Notes in Computer Science, page 122-171. Springer, (2014)On the Undecidability of some Sub-Classical First-Order Logics., , , and . FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 258-268. Springer, (1999)Empirical Software Metrics for Benchmarking of Verification Tools., , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 561-579. Springer, (2015)