| | Preview | Author(s) | Title | Type | Issue Date |
| 21 | | Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian | Thread-modular Counter Abstraction for Parameterized Program Safety | Konferenzbeitrag Inproceedings | 2020 |
| 22 | | Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian | Thread-modular Counter Abstraction for Parameterized Program Safety | Konferenzbeitrag Inproceedings | 2020 |
| 23 | | Pagel, Jens ; Matheja, Christoph ; Zuleger, Florian | Effective Entailment Checking for Separation Logic with Inductive Definitions | Konferenzbeitrag Inproceedings | 2019 |
| 24 | | Sighireanu, Mihaela ; Pagel, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian | SL-COMP: Competition of Solvers for Separation Logic | Konferenzbeitrag Inproceedings | 2019 |
| 25 | | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking | Konferenzbeitrag Inproceedings | 2019 |
| 26 | | Brázdil, Tomáš ; Chatterjee, Krishnendu ; Kučera, Antonín ; Novotný, Petr ; Velan, Dominik ; Zuleger, Florian | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS | Konferenzbeitrag Inproceedings | 2018 |
| 27 | | Radiček, Ivan ; Barthe, Gilles ; Gaboardi, Marco ; Garg, Deepak ; Zuleger, Florian | Monadic refinements for relational cost analysis | Konferenzbeitrag Inproceedings | 2018 |
| 28 | | Zuleger, Florian | Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction | Konferenzbeitrag Inproceedings | 2018 |
| 29 | | Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian | Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms | Konferenzbeitrag Inproceedings | 2018 |
| 30 | | Radicek, Ivan ; Gulwani, Sumit ; Zuleger, Florian | Automated clustering and program repair for introductory programming assignments | Konferenzbeitrag Inproceedings | 2018 |
| 31 | | Cadek, Pavel ; Danninger, Clemens ; Sinn, Moritz ; Zuleger, Florian | Using Loop Bound Analysis For Invariant Generation | Konferenzbeitrag Inproceedings | 2018 |
| 32 | | Aminof, Benjamin ; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef ; Zuleger, Florian | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction | Inproceedings Konferenzbeitrag | 2018 |
| 33 | | Fiedor, Tomáš ; Holík, Lukáš ; Rogalewicz, Adam ; Sinn, Moritz ; Vojnar, Tomáš ; Zuleger, Florian | From Shapes to Amortized Complexity | Inproceedings Konferenzbeitrag | 2018 |
| 34 | | 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 |
| 35 | | Daviaud, Laure ; Colcombet, Thomas ; Zuleger, Florian | Automata and Program Analysis | Konferenzbeitrag Inproceedings | 2017 |
| 36 | | Zuleger, Florian | Automated analysis of progress properties | Thesis Hochschulschrift | 2017 |
| 37 | | Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian | Empirical software metrics for benchmarking of verification tools | Artikel Article | 2017 |
| 38 | | Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut | Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints | Article Artikel | 2017 |
| 39 | | Demyanova, Yulia ; Rümmer, Philipp ; Zuleger, Florian | Systematic Predicate Abstraction using Variable Roles | Inproceedings Konferenzbeitrag | 2017 |
| 40 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Prompt Alternating-Time Epistemic Logics | Konferenzbeitrag Inproceedings | 2016 |