| 2020 | LATA | Pebble-Intervals Automata and FO | Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith |
| 2017 | ICDT | On the Automated Verification of Web Applications with Embedded SQL. | Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger |
| 2017 | POPL | A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. | Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder |
| 2016 | CONCUR | Local Linearizability for Concurrent Container-Type Data Structures. | Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith |
| 2016 | CONCUR | Parameterized Systems in BIP: Design and Model Checking. | Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis |
| 2016 | CSL | Monadic Second Order Finite Satisfiability and Unbounded Tree-Width. | Tomer Kotek, Helmut Veith, Florian Zuleger |
| 2015 | CAV | Empirical Software Metrics for Benchmarking of Verification Tools. | Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger |
| 2015 | CAV | SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. | Igor Konnov, Helmut Veith, Josef Widder |
| 2015 | FMCAD | Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. | Moritz Sinn, Florian Zuleger, Helmut Veith |
| 2015 | ICST | Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. | Azadeh Farzan, Andreas Holzer, Helmut Veith |
| 2015 | LICS | Extending ALCQIO with Trees. | Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2014 | CAV | A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. | Moritz Sinn, Florian Zuleger, Helmut Veith |
| 2014 | CC | CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. | Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
| 2014 | CONCUR | Parameterized Model Checking of Rendezvous Systems. | Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith |
| 2014 | CONCUR | On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. | Igor Konnov, Helmut Veith, Josef Widder |
| 2014 | IFM | Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. | Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2014 | KR | Vienna Summer of Logic. | Matthias Baaz, Thomas Eiter, Helmut Veith |
| 2014 | MFCS | On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. | Gergely Kovsznai, Helmut Veith, Andreas Frhlich, Armin Biere |
| 2014 | SAT | iDQ: Instantiation-Based DQBF Solving. | Andreas Frhlich, Gergely Kovsznai, Armin Biere, Helmut Veith |
| 2014 | VMCAI | A Logic-Based Framework for Verifying Consensus Algorithms. | Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey |
| 2013 | CCS | The first workshop on language support for privacy-enhancing technologies (PETShop'13). | Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith |
| 2013 | CCS | Challenges in compiler construction for secure two-party computation. | Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz |
| 2013 | ESOP | Information Reuse for Multi-goal Reachability Analyses. | Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith |
| 2013 | FMCAD | On the concept of variable roles and its use in software analysis. | Yulia Demyanova, Helmut Veith, Florian Zuleger |
| 2013 | FMCAD | Parameterized model checking of fault-tolerant distributed algorithms by abstraction. | Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder |
| 2013 | PODC | Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. | Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder |
| 2012 | CCS | Secure two-party computations in ANSI C. | Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith |
| 2012 | TACAS | Proving Reachability Using FShell - (Competition Contribution). | Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2011 | FASE | Seamless Testing for Models and Code. | Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2011 | SAS | Bound Analysis of Imperative Programs with the Size-Change Abstraction. | Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith |
| 2010 | FMCAD | Precise static analysis of untrusted driver binaries. | Johannes Kinder, Helmut Veith |
| 2010 | ISoLA | New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. | Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith |
| 2009 | ICFEM | Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. | Pter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith |
| 2009 | SAT | Encoding Treewidth into SAT. | Marko Samer, Helmut Veith |
| 2009 | SYNASC | Embedding Formal Methods into Systems Engineering. | Helmut Veith |
| 2009 | SYNASC | Automated Software Analysis. | Helmut Veith |
| 2009 | VMCAI | Query-Driven Program Testing. | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2009 | VMCAI | An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. | Johannes Kinder, Florian Zuleger, Helmut Veith |
| 2008 | CAV | FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2008 | CAV | Jakstab: A Static Analysis Platform for Binaries. | Johannes Kinder, Helmut Veith |
| 2008 | TACAS | Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
| 2007 | CAV | Verification Across Intellectual Property Boundaries. | Sagar Chaki, Christian Schallhart, Helmut Veith |
| 2007 | LPAR | On the Notion of Vacuous Truth. | Marko Samer, Helmut Veith |
| 2007 | SP | Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. | Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney |
| 2006 | VMCAI | Environment Abstraction for Parameterized Verification. | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
| 2005 | DIMVA | Detecting Malicious Code by Model Checking. | Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
| 2005 | IFM | State/Event Software Verification for Branching-Time Specifications. | Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Jol Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith |
| 2005 | SEC | Ensuring Media Integrity on Third-Party Infrastructures. | Jana Dittmann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith |
| 2005 | TIME | Deterministic CTL Query Solving. | Marko Samer, Helmut Veith |
| 2004 | CONCUR | Verification by Network Decomposition. | Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith |
| 2004 | FMCAD | Parameterized Vacuity. | Marko Samer, Helmut Veith |
| 2004 | ICALP | A Syntactic Characterization of Distributive LTL Queries. | Marko Samer, Helmut Veith |
| 2003 | CSL | Validity of CTL Queries Revisited. | Marko Samer, Helmut Veith |
| 2003 | CSL | Friends or Foes? Communities in Software Verification (Invited Lecture). | Helmut Veith |
| 2003 | ICSE | Modular Verification of Software Components in C. | Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith |
| 2003 | SEKE | Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. | Sagar Chaki, Pascal Fenkam, Harald C. Gall, Somesh Jha, Engin Kirda, Helmut Veith |
| 2003 | SAT | SAT Based Predicate Abstraction for Hardware Verification. | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang |
| 2002 | FMCAD | Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. | Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang |
| 2002 | LICS | Tree-Like Counterexamples in Model Checking. | Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith |
| 2001 | ICCAD | Non-linear Quantification Scheduling in Image Computation. | Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang |
| 2001 | ICSE | Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. | Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith |
| 2000 | CAV | Counterexample-Guided Abstraction Refinement. | Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith |
| 2000 | FMCAD | Executable Protocol Specification in ESL. | Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang |
| 2000 | TABLEAUX | An Analytic Calculus for Quantified Propositional Gdel Logic. | Matthias Baaz, Christian G. Fermller, Helmut Veith |
| 1998 | CSL | Quantifier Elimination in Fuzzy Logic. | Matthias Baaz, Helmut Veith |
| 1998 | MFCS | Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. | Matthias Baaz, Agata Ciabattoni, Christian G. Fermller, Helmut Veith |
| 1997 | LPNMR | Modular Logic Programming and Generalized Quantifiers. | Thomas Eiter, Georg Gottlob, Helmut Veith |
| 1995 | MFCS | Second Order Logic and the Weak Exponential Hierarchies. | Georg Gottlob, Nicola Leone, Helmut Veith |