| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut | Pebble-Intervals Automata and FO$$^2$$ with Two Orders | Konferenzbeitrag Inproceedings | 2020 |
| 2 | | Shachar, Itzhaky ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian | On the Automated Verification of Web Applications with Embedded SQL | Konferenzbeitrag Inproceedings | 2017 |
| 3 | | Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef | A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms | Konferenzbeitrag Inproceedings | 2017 |
| 4 | | Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian | Monadic Second Order Finite Satisfiability and Unbounded Tree-Width | Konferenzbeitrag Inproceedings | 2016 |
| 5 | | Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Sifakis, Joseph | Parameterized Systems in BIP: Design and Model Checking | Konferenzbeitrag Inproceedings | 2016 |
| 6 | | Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian | Extending ALCQIO with Trees | Konferenzbeitrag Inproceedings | 2015 |
| 7 | | Konnov, Igor ; Veith, Helmut ; Widder, Josef | SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms | Konferenzbeitrag Inproceedings | 2015 |
| 8 | | Farzan, Azadeh ; Holzer, Andreas ; Veith, Helmut | Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution | Konferenzbeitrag Inproceedings | 2015 |
| 9 | | Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian | Empirical Software Metrics for Benchmarking of Verification Tools | Konferenzbeitrag Inproceedings | 2015 |
| 10 | | Sinn, Moritz ; Veith, Helmut ; Zuleger, Florian | Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs | Konferenzbeitrag Inproceedings | 2015 |
| 11 | | Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut | Compilation for Secure Two-Party Computations | Konferenzbeitrag Inproceedings | 2015 |
| 12 | | Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut | Parameterized Model Checking of Rendezvous Systems | Konferenzbeitrag Inproceedings | 2014 |
| 13 | | Konnov, Igor ; Veith, Helmut ; Widder, Josef | On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability | Konferenzbeitrag Inproceedings | 2014 |
| 14 | | Drăgoi, Cezara ; Henzinger, Thomas A. ; Veith, Helmut ; Widder, Josef ; Zufferey, Damien | A Logic-Based Framework for Verifying Consensus Algorithms | Konferenzbeitrag Inproceedings | 2014 |
| 15 | | Farzan, Azadeh ; Holzer, Andreas ; Razavi, Niloofar ; Veith, Helmut | Concolic Testing of Concurrent Programs | Konferenzbeitrag Inproceedings | 2014 |
| 16 | | Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut | A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis | Konferenzbeitrag Inproceedings | 2014 |
| 17 | | Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian | Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures | Konferenzbeitrag Inproceedings | 2014 |
| 18 | | Fröhlich, Andreas ; Kovasznai, Gergely ; Biere, Armin ; Veith, Helmut | On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic | Konferenzbeitrag Inproceedings | 2014 |
| 19 | | Kovásznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin | On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic | Konferenzbeitrag Inproceedings | 2014 |
| 20 | | Franz, Martin ; Holzer, Andreas ; Katzenbeisser, Stefan ; Schallhart, Christian ; Veith, Helmut | CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations | Konferenzbeitrag Inproceedings | 2014 |