Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Veith, Helmut
 
Main Affiliation Organisations­zuordnung
 

Results 1-20 of 65 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Konnov, Igor ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
2John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
3Baaz, Matthias ; Eiter, Thomas ; Veith, Helmut Vienna Summer of LogicPräsentation Presentation2014
4Veith, Helmut Verfahren zur Komplexitätsreduktion im Model CheckingPräsentation Presentation2002
5Veith, Helmut Verfahren zur Komplexitätsreduktion im Model CheckingPräsentation Presentation2002
6Veith, Helmut Verfahren zur Komplexitätsreduktion im Model CheckingPräsentation Presentation2002
7Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsBuchbeitrag Book Contribution2014
8John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsKonferenzbeitrag Inproceedings 2013
9Schmid, Ulrich ; Steininger, Andreas ; Veith, Helmut Towards a Systematic Design of Fault-Tolerant Asynchronous CircuitsKonferenzbeitrag Inproceedings 2007
10Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Towards a Description Logic for Program Analysis: Extending ALCQIO with ReachabilityKonferenzbeitrag Inproceedings2014
11Franz, Martin ; Holzer, Andreas ; Majumdar, Rupak ; Parno, Bryan ; Veith, Helmut The first workshop on language support for privacy-enhancing technologies (PETShop'13)Konferenzbeitrag Inproceedings2013
12Konnov, Igor ; Veith, Helmut ; Widder, Josef SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed AlgorithmsKonferenzbeitrag Inproceedings 2015
13Calvanese, Diego ; Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content: Incorporating Domain Knowledge into Shape AnalysisKonferenzbeitrag Inproceedings2014
14Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian ; Albert, Elvira ; Sekerinski, Emil Shape and Content - A Database-Theoretic Perspective on the Analysis of Data StructuresKonferenzbeitrag Inproceedings2014
15Holzer, Andreas ; Franz, Martin ; Katzenbeisser, Stefan ; Veith, Helmut Secure two-party computations in ANSI CKonferenzbeitrag Inproceedings 2012
16Veith, Helmut Secure Two-Party Computation in ANSI CPräsentation Presentation2012
17Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Langer, Boris ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut ; Goos, G. ; Hartmanis, J. ; van Leeuwen, J. Seamless Testing for Models and CodeKonferenzbeitrag Inproceedings2011
18Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Reusing Information in Multi-Goal Reachability AnalysesKonferenzbeitrag Inproceedings 2014
19Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut ; Flanagan, Cormac ; König, Barbara Proving Reachability Using FShellKonferenzbeitrag Inproceedings 2012
20Farzan, Azadeh ; Holzer, Andreas ; Veith, Helmut Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic ExecutionKonferenzbeitrag Inproceedings2015

Results 1-9 of 9 (Search time: 0.006 seconds).



Results 1-2 of 2 (Search time: 0.001 seconds).