| | 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 | | Labai, Nadia ; Kotek, Tomer ; Ortiz de la Fuente, M.Magdalena ; Veith, Helmut | Pebble-Intervals Automata and FO2 with Two Orders (Extended Version | Bericht Report | 2019 |
| 3 | | Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut | Parameterized model checking of rendezvous systems | Artikel Article | 2018 |
| 4 | | 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 |
| 5 | | 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 |
| 6 | | Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian | Empirical software metrics for benchmarking of verification tools | Artikel Article | 2017 |
| 7 | | Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef | Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms | Artikel Article | 2017 |
| 8 | | Konnov, Igor ; Veith, Helmut ; Widder, Josef | On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability | Artikel Article | 2017 |
| 9 | | Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut | Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints | Article Artikel | 2017 |
| 10 | | Lazić, Marijana ; Konnov, Igor ; Veith, Helmut ; Widder, Josef | Model Checking of Threshold-based Fault-Tolerant Distributed Algorithms | Präsentation Presentation | 2016 |
| 11 | | Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef | Parameterized Verification of Liveness of Distributed Algorithms | Präsentation Presentation | 2016 |
| 12 | | Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian | Monadic Second Order Finite Satisfiability and Unbounded Tree-Width | Konferenzbeitrag Inproceedings | 2016 |
| 13 | | Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef | Decidability of Parameterized Verification | Artikel Article | 2016 |
| 14 | | Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Sifakis, Joseph | Parameterized Systems in BIP: Design and Model Checking | Konferenzbeitrag Inproceedings | 2016 |
| 15 | | Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian | Extending ALCQIO with Trees | Konferenzbeitrag Inproceedings | 2015 |
| 16 | | Konnov, Igor ; Veith, Helmut ; Widder, Josef | SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms | Konferenzbeitrag Inproceedings | 2015 |
| 17 | | Farzan, Azadeh ; Holzer, Andreas ; Veith, Helmut | Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution | Konferenzbeitrag Inproceedings | 2015 |
| 18 | | Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian | Empirical Software Metrics for Benchmarking of Verification Tools | Konferenzbeitrag Inproceedings | 2015 |
| 19 | | Sinn, Moritz ; Veith, Helmut ; Zuleger, Florian | Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs | Konferenzbeitrag Inproceedings | 2015 |
| 20 | | Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef | Decidability of Parameterized Verification | Buch Book | 2015 |