Veith, Helmut

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Veith, Helmut
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 41-60 of 80 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Towards a Description Logic for Program Analysis: Extending ALCQIO with ReachabilityKonferenzbeitrag Inproceedings2014
42Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsBuchbeitrag Book Contribution2014
43Franz, Martin ; Holzer, Andreas ; Majumdar, Rupak ; Parno, Bryan ; Veith, Helmut The first workshop on language support for privacy-enhancing technologies (PETShop'13)Konferenzbeitrag Inproceedings2013
44John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Brief announcementKonferenzbeitrag Inproceedings 2013
45John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized model checking of fault-tolerant distributed algorithms by abstractionKonferenzbeitrag Inproceedings 2013
46Demyanova, Yulia ; Veith, Helmut ; Zuleger, Florian On the concept of variable roles and its use in software analysisKonferenzbeitrag Inproceedings 2013
47Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Con2colic testingKonferenzbeitrag Inproceedings 2013
48John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsKonferenzbeitrag Inproceedings 2013
49Chaki, Sagar ; Schallhart, Christian ; Veith, Helmut Verification across Intellectual Property BoundariesArtikel Article2013
50Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut On the Structure and Complexity of Rational Sets of Regular LanguagesKonferenzbeitrag Inproceedings 2013
51Holzer, Andreas ; Karvelas, Nikolaos ; Katzenbeisser, Stefan ; Veith, Helmut Challenges in compiler construction for secure two-party computationKonferenzbeitrag Inproceedings2013
52Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Information Reuse for Multi-goal Reachability AnalysesKonferenzbeitrag Inproceedings 2013
53Konnov, Igor ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
54John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Counter Attack against Byzantine GeneralsPräsentation Presentation2012
55Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Proving Reachability Using FShellKonferenzbeitrag Inproceedings 2012
56Veith, Helmut Special Issue: Games in Verification (foreword)Artikel Article2012
57John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
58Veith, Helmut Secure Two-Party Computation in ANSI CPräsentation Presentation2012
59John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsPräsentation Presentation2012
60Dawar, Anuj ; Veith, Helmut Selected Papers of the Conference "Computer Science Logic CSL 2010": PrefaceArtikel Article2012