|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Sextl, Florian ; Rogalewicz, Adam ; Vojnar, Tomáš ; Zuleger, Florian | Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Abstract) | Presentation Vortrag | 21-Jan-2025 |
| 2 |  | Ait El Manssour, Rida ; Kenison, George ; Shirmohammadi, Mahsa ; Varonka, Anton | Simple Linear Loops: Algebraic Invariants and Applications | Inproceedings Konferenzbeitrag    | 2025 |
| 3 | | Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura | Polar: An Algebraic Analyzer for (Probabilistic) Loops | Book Contribution Buchbeitrag | 2025 |
| 4 | | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | Satisfiability Modulo User Propagators | Article Artikel | 27-Dec-2024 |
| 5 | | Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian | Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification | Article Artikel | Dec-2024 |
| 6 | | Brechelmacher, Otto ; Ničković, Dejan ; Nießen, Tobias ; Sallinger, Sarah Sophie ; Weissenbacher, Georg | Differential Property Monitoring for Backdoor Detection | Inproceedings Konferenzbeitrag  | 29-Nov-2024 |
| 7 | | Loitzl, Alexander ; Zuleger, Florian | Modeling Register Pairs in CompCert | Inproceedings Konferenzbeitrag | 13-Nov-2024 |
| 8 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel | 11-Nov-2024 |
| 9 | | Aminof, Benjamin ; De Giacomo, Guiseppe ; Rubin, Sasha ; Zuleger, Florian | Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis | Inproceedings Konferenzbeitrag | Nov-2024 |
| 10 | | Fazekas, Katalin | SAT modulo IPASIR-UP | Presentation Vortrag | 14-Oct-2024 |
| 11 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Presentation Vortrag | 14-Oct-2024 |
| 12 | | Correnson, Arthur ; Nießen, Tobias ; Finkbeiner, Bernd ; Weissenbacher, Georg | Finding ∀∃ Hyperbugs using Symbolic Execution | Article Artikel | 8-Oct-2024 |
| 13 |  | Nukala, Karthik ; Choudhuri, Soumyaditya ; Bryant, Randal ; Heule, Marijn J. H. | Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs | Inproceedings Konferenzbeitrag | Oct-2024 |
| 14 |  | Lahiri, Shuvendu K. | Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages | Inproceedings Konferenzbeitrag | Oct-2024 |
| 15 |  | Dardik, Ian ; Porter, April ; Kang, Eunsuk | Recomposition: A New Technique for Efficient Compositional Verification | Inproceedings Konferenzbeitrag | Oct-2024 |
| 16 |  | Leino, Rustan | Writing Proofs in Dafny | Inproceedings Konferenzbeitrag | Oct-2024 |
| 17 |  | D’Antoni, Loris ; Gacek, Andrew ; Goel, Amit ; Jovanovic, Dejan ; Kıcı, Rami Gökhan ; Peebles, Dan ; Rungta, Neha ; Sharoda, Yasmine ; Sung, Chungha | Projective Model Counting for IP Addresses in Access Control Policies | Inproceedings Konferenzbeitrag | Oct-2024 |
| 18 |  | Codel, Cayden ; Avigad, Jeremy ; Heule, Marijn J. H. | Verified Substitution Redundancy Checking | Inproceedings Konferenzbeitrag | Oct-2024 |
| 19 |  | Urban, Josef | Some Adventures in Learning Proving, Instantiation and Synthesis | Inproceedings Konferenzbeitrag | Oct-2024 |
| 20 |  | Nepeivoda, Antonina | Word Equations as Abstract Domain for String Manipulating Programs | Inproceedings Konferenzbeitrag | Oct-2024 |
