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 21-40 of 80 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut Closure properties and complexity of rational sets of regular languagesArtikel Article2015
22Pani, Thomas ; Veith, Helmut ; Zuleger, Florian Loop Patterns in C ProgramsArtikel Article2015
23Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut Compilation for Secure Two-Party ComputationsKonferenzbeitrag Inproceedings 2015
24Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsPräsentation Presentation2014
25Veith, Helmut History of Model CheckingPräsentation Presentation2014
26Veith, Helmut Model Checking of Fault-Tolerant Distributed AlgorithmsPräsentation Presentation2014
27Baaz, Matthias ; Eiter, Thomas ; Veith, Helmut Vienna Summer of LogicPräsentation Presentation2014
28Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Concolic Testing of Concurrent ProgramsPräsentation Presentation2014
29Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsKonferenzbeitrag Inproceedings 2014
30Konnov, Igor ; Veith, Helmut ; Widder, Josef On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: ReachabilityKonferenzbeitrag Inproceedings 2014
31Drăgoi, Cezara ; Henzinger, Thomas A. ; Veith, Helmut ; Widder, Josef ; Zufferey, Damien A Logic-Based Framework for Verifying Consensus AlgorithmsKonferenzbeitrag Inproceedings 2014
32Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut Concolic Testing of Concurrent ProgramsKonferenzbeitrag Inproceedings 2014
33Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity AnalysisKonferenzbeitrag Inproceedings 2014
34Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content - A Database-Theoretic Perspective on the Analysis of Data StructuresKonferenzbeitrag Inproceedings2014
35Fröhlich, Andreas ; Kovasznai, Gergely ; Biere, Armin ; Veith, Helmut On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicKonferenzbeitrag Inproceedings2014
36Kovásznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicKonferenzbeitrag Inproceedings 2014
37Kovasznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicPräsentation Presentation2014
38Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut CBMC-GC: An ANSI C Compiler for Secure Two-Party ComputationsKonferenzbeitrag Inproceedings 2014
39Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Reusing Information in Multi-Goal Reachability AnalysesKonferenzbeitrag Inproceedings 2014
40Calvanese, Diego ; Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content: Incorporating Domain Knowledge into Shape AnalysisKonferenzbeitrag Inproceedings2014

Contributing Publications Mitbeteiligte Publikationen

Results 21-23 of 23 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Oberhofer, Jürgen The architecture of SAT solvers and their applicability to NP-complete problemsThesis Hochschulschrift2003
22Plaickner, Andreas Symbolic model checking using NuSMVThesis Hochschulschrift2003
23Samer, Marko Temporal logic queries in model checkingThesis Hochschulschrift2002