|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Georgiou, Pamina ; Hajdu, Márton ; Kovács, Laura | Saturating Sorting without Sorts | Preprint Preprint   | 6-Mar-2024 |
| 2 | | Sochor, Hannes ; Ferrarotti, Flavio ; Kaufmann, Daniela | Fuzzing-based grammar learning from a minimal set of seed inputs | Article Artikel  | Mar-2024 |
| 3 |  | Nießen, Tobias ; Weissenbacher, Georg | Finding counterexamples to ∀∃ hyperproperties | Presentation Vortrag | 16-Jan-2024 |
| 4 | | Müllner, Julian ; Moosbrugger, Marcel ; Kovács, Laura | Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs | Article Artikel | 5-Jan-2024 |
| 5 |  | Eisenhofer, Clemens ; Kovacs, Laura ; Rawson, Michael | Embedding the Connection Calculus in Satisfiability Modulo Theories | Inproceedings Konferenzbeitrag | Jan-2024 |
| 6 |  | Brugger, Lea Salome ; Kovács, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael | CheckMate: Automated Game-Theoretic Security Reasoning | Inproceedings Konferenzbeitrag | 21-Nov-2023 |
| 7 | | Moosbrugger, Marcel ; Müllner, Julian ; Kovács, Laura | Automated Sensitivity Analysis for Probabilistic Loops | Inproceedings Konferenzbeitrag | 6-Nov-2023 |
| 8 | | Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian | A Formalization of Heisenbugs and Their Causes | Inproceedings Konferenzbeitrag  | 31-Oct-2023 |
| 9 |  | Martina Landman ; Sophie Rain ; Laura Kovács ; Gerald Futschek | Reshaping Unplugged Computer Science Workshops for Primary School Education | Inproceedings Konferenzbeitrag | 1-Oct-2023 |
| 10 |  | Kiesl-Reiter, Benjamin ; Whalen, Michael W. | Proofs for Incremental SAT with Inprocessing | Inproceedings Konferenzbeitrag | Oct-2023 |
| 11 |  | Bernardes Fernandes Ferreira, Nikson ; Moscato, Mariano ; Titolo, Laura ; Ayala-Rincon, Mauricio | A provably correct floating-point implementation of Well Clear Avionics Concepts | Inproceedings Konferenzbeitrag | Oct-2023 |
| 12 |  | Fazekas, Katalin ; Aman, Goel ; Sakallah, Karem | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols | Inproceedings Konferenzbeitrag | Oct-2023 |
| 13 |  | Coward, Samuel ; Morini, Emiliano ; Tan, Bryan ; Drane, Theo ; Constantinides, George | Datapath Verification via Word-Level E-Graph Rewriting | Inproceedings Konferenzbeitrag | Oct-2023 |
| 14 |  | Codel, Cayden ; Avigad, Jeremy ; Heule, Marijn | Verified Encodings for SAT Solvers | Inproceedings Konferenzbeitrag | Oct-2023 |
| 15 |  | Tollec, Simon ; Asavoae, Mihail ; Couroussé, Damien ; Heydemann, Karine ; Jan, Mathieu | µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections | Inproceedings Konferenzbeitrag | Oct-2023 |
| 16 |  | Marmanis, Iason ; Vafeiadis, Viktor | Optimal Bounded Partial Order Reduction | Inproceedings Konferenzbeitrag | Oct-2023 |
| 17 |  | Froleyks, Nils ; Yu, Emily ; Biere, Armin | BIG Backbones | Inproceedings Konferenzbeitrag | Oct-2023 |
| 18 |  | Bassan, Shahaf ; Amir, Guy ; Corsi, Davide ; Refaeli, Idan ; Katz, Guy | Formally Explaining Neural Networks within Reactive Systems | Inproceedings Konferenzbeitrag | Oct-2023 |
| 19 |  | Janota, Mikoláš ; Narodytska, Nina | The FMCAD 2023 Student Forum | Inproceedings Konferenzbeitrag | Oct-2023 |
| 20 |  | Stuckey, Peter J. | MiniZinc for Formal Methods | Inproceedings Konferenzbeitrag | Oct-2023 |
