|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 |  | Georgiou, Pamina ; Hajdu, Marton ; Kovacs, 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 |  | Coward, Samuel ; Morini, Emiliano ; Tan, Bryan ; Drane, Theo ; Constantinides, George | Datapath Verification via Word-Level E-Graph Rewriting | Inproceedings Konferenzbeitrag | Oct-2023 |
| 11 |  | Nadel, Alexander ; Rozier, Kristin Yvonne | Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 | Proceedings Tagungsband | Oct-2023 |
| 12 |  | Park, Kanghee ; Johnson, Keith ; D'Antoni, Loris ; Reps, Thomas | Modular System Synthesis | Inproceedings Konferenzbeitrag | Oct-2023 |
| 13 |  | Godbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A. ; Seshia, Sanjit | Modelling and Verification of Security-Oriented Resource Partitioning Schemes | Inproceedings Konferenzbeitrag | Oct-2023 |
| 14 |  | Zhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki ; Li, Jessica G. ; Heule, Marijn ; Parno, Bryan | Mariposa: Measuring SMT Instability in Automated Program Verification | Inproceedings Konferenzbeitrag | Oct-2023 |
| 15 |  | Mohamed, Abdalrhman ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare | A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery | Konferenzbeitrag Inproceedings | Oct-2023 |
| 16 |  | Li, Bohan ; Cai, Shaowei | Local Search For SMT On Linear and Multilinear Real Arithmetic | Inproceedings Konferenzbeitrag | Oct-2023 |
| 17 |  | Froleyks, Nils ; Yu, Emily ; Biere, Armin | BIG Backbones | Inproceedings Konferenzbeitrag | Oct-2023 |
| 18 |  | Ryan, Kaki ; Sturton, Cynthia | Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs | Inproceedings Konferenzbeitrag | Oct-2023 |
| 19 |  | Pastva, Samuel ; Henzinger, Thomas A. | Binary decision diagrams on modern hardware | Konferenzbeitrag Inproceedings | Oct-2023 |
| 20 |  | Tollec, Simon ; Asavoae, Mihail ; Couroussé, Damien ; Heydemann, Karine ; Jan, Mathieu | µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections | Inproceedings Konferenzbeitrag | Oct-2023 |
