| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Bogomolov, Sergiy ; Frehse, Goran ; Grosu, Radu ; Ladan, Hamed ; Podelski, Andreas | A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx | Konferenzbeitrag Inproceedings | 2012 |
| 2 | | Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut | A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis | Konferenzbeitrag Inproceedings | 2014 |
| 3 | | Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian | ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures | Konferenzbeitrag Inproceedings | 2022 |
| 4 | | Damian, Andrei ; Drăgoi, Cezara ; Militaru, Alexandru ; Widder, Josef | Communication-Closed Asynchronous Protocols | Konferenzbeitrag Inproceedings | 2019 |
| 5 | | Birgmeier, Johannes ; Bradley, Aaron R. ; Weissenbacher, Georg | Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) | Konferenzbeitrag Inproceedings | 2014 |
| 6 | | Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian | Empirical Software Metrics for Benchmarking of Verification Tools | Konferenzbeitrag Inproceedings | 2015 |
| 7 | | Kovács, Laura ; Voronkov, Andrei | First-Order Theorem Proving and Vampire | Konferenzbeitrag Inproceedings | 2013 |
| 8 | | Gishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara | Foundations and Tools for the Static Analysis of Ethereum Smart Contracts | Konferenzbeitrag Inproceedings | 2018 |
| 9 | | Grosu, Radu ; Batt, Gregory ; Fenton, Flavio H. ; Glimm, James ; Le Guernic, Colas ; Smolka, Scott A. ; Bartocci, Ezio | From Cardiac Cells to Genetic Regulatory Networks | Konferenzbeitrag Inproceedings | 2011 |
| 10 | | Slivovsky, Friedrich | Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing | Konferenzbeitrag Inproceedings | 2020 |
| 11 | | Cyranka, Jacek ; Islam, Md. Ariful ; Byrne, Greg ; Jones, Paul ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachabililty | Konferenzbeitrag Inproceedings | 2017 |
| 12 | | Girol, Guillaume ; Farinier, Benjamin ; Bardin, Sébastien | Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference | Konferenzbeitrag Inproceedings | 2021 |
| 13 | | Selyunin, Konstantin ; Jaksic, Stefan ; Nguyen, Thang ; Reidl, Christian ; Hafner, Udo ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu | Runtime Monitoring with Recovery of the SENT Communication Protocol | Konferenzbeitrag Inproceedings | 2017 |
| 14 | | Konnov, Igor ; Veith, Helmut ; Widder, Josef | SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms | Konferenzbeitrag Inproceedings | 2015 |
| 15 | | Elad, Neta ; Rain, Sophie ; Immerman, Neil ; Sagiv, Mooly ; Kovacs, Laura | Summing up Smart Transitions | Konferenzbeitrag Inproceedings | 2021 |
| 16 | | Kroening, Daniel ; Lewis, Matt ; Weissenbacher, Georg | Under-Approximating Loops in C Programs for Fast Counterexample Detection | Konferenzbeitrag Inproceedings | 2013 |