|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Aumayr, Lukas | Virtual Payment Channel Networks in Cryptocurrencies | Presentation Vortrag | 12-Oct-2023 |
| 2 |  | Ryan, Kaki ; Sturton, Cynthia ; Nadel, Alexander ; Rozier, Kristin Yvonne | Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs | Inproceedings Konferenzbeitrag    | Oct-2023 |
| 3 |  | Tollec, Simon ; Asavoae, Mihail ; Couroussé, Damien ; Heydemann, Karine ; Jan, Mathieu ; Nadel, Alexander ; Rozier, Kristin Yvonne | µArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections | Inproceedings Konferenzbeitrag | Oct-2023 |
| 4 |  | Bhat, Shreesha G. ; Nagar, Kartik ; Nadel, Alexander ; Rozier, Kristin Yvonne | Automating Cutoff-based Verification of Distributed Protocols | Inproceedings Konferenzbeitrag | Oct-2023 |
| 5 |  | Coward, Samuel ; Morini, Emiliano ; Tan, Bryan ; Drane, Theo ; Constantinides, George ; Nadel, Alexander ; Rozier, Kristin Yvonne | Datapath Verification via Word-Level E-Graph Rewriting | Inproceedings Konferenzbeitrag | Oct-2023 |
| 6 |  | Marmanis, Iason ; Vafeiadis, Viktor ; Nadel, Alexander ; Rozier, Kristin Yvonne | Optimal Bounded Partial Order Reduction | Inproceedings Konferenzbeitrag | Oct-2023 |
| 7 |  | Wu, Haoze ; Hahn, Christopher ; Lonsing, Florian Matthias ; Mann, Makai ; Ramanujan, Raghuram ; Barrett, Clark ; Nadel, Alexander ; Rozier, Kristin Yvonne | Lightweight Online Learning for Sets of Related Problems in Automated Reasoning | Inproceedings Konferenzbeitrag | Oct-2023 |
| 8 |  | Bassan, Shahaf ; Amir, Guy ; Corsi, Davide ; Refaeli, Idan ; Katz, Guy ; Nadel, Alexander ; Rozier, Kristin Yvonne | Formally Explaining Neural Networks within Reactive Systems | Inproceedings Konferenzbeitrag | Oct-2023 |
| 9 |  | Fazekas, Katalin ; Aman, Goel ; Sakallah, Karem ; Nadel, Alexander ; Rozier, Kristin Yvonne | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols | Inproceedings Konferenzbeitrag | Oct-2023 |
| 10 |  | Codel, Cayden ; Avigad, Jeremy ; Heule, Marijn ; Nadel, Alexander ; Rozier, Kristin Yvonne | Verified Encodings for SAT Solvers | Inproceedings Konferenzbeitrag | Oct-2023 |
| 11 |  | Kiesl-Reiter, Benjamin ; Whalen, Michael W. ; Nadel, Alexander ; Rozier, Kristin Yvonne | Proofs for Incremental SAT with Inprocessing | Inproceedings Konferenzbeitrag | Oct-2023 |
| 12 |  | Li, Bohan ; Cai, Shaowei ; Nadel, Alexander ; Rozier, Kristin Yvonne | Local Search For SMT On Linear and Multilinear Real Arithmetic | Inproceedings Konferenzbeitrag | Oct-2023 |
| 13 |  | Froleyks, Nils ; Yu, Emily ; Biere, Armin ; Nadel, Alexander ; Rozier, Kristin Yvonne | BIG Backbones | Inproceedings Konferenzbeitrag | Oct-2023 |
| 14 |  | Rozier, Kristin Yvonne ; Shankar, Natarajan ; Tinelli, Cesare ; Vardi, Moshe ; Nadel, Alexander ; Rozier, Kristin Yvonne | Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community | Konferenzbeitrag Inproceedings | Oct-2023 |
| 15 |  | Bonacina, Maria Paola ; Nadel, Alexander ; Rozier, Kristin Yvonne | Reasoning about quantifiers in SMT: the QSMA algorithm | Konferenzbeitrag Inproceedings | Oct-2023 |
| 16 |  | Könighofer, Bettina ; Nadel, Alexander ; Rozier, Kristin Yvonne | Formal Methods for Trusted AI | Konferenzbeitrag Inproceedings | Oct-2023 |
| 17 |  | Meel, Kuldeep ; Nadel, Alexander ; Rozier, Kristin Yvonne | Distribution Testing: The New Frontier for Formal Methods | Konferenzbeitrag Inproceedings | Oct-2023 |
| 18 |  | Elsaleh, Raya ; Katz, Guy ; Nadel, Alexander ; Rozier, Kristin Yvonne | DelBugV: Delta-Debugging Neural Network Verifiers | Inproceedings Konferenzbeitrag | Oct-2023 |
| 19 |  | Tafese, Joseph ; Gurfinkel, Arie ; Garcia-Contreras, Isabel ; Nadel, Alexander ; Rozier, Kristin Yvonne | Btor2MLIR: A Format for Hardware Verification | Inproceedings Konferenzbeitrag | Oct-2023 |
| 20 |  | Janota, Mikoláš ; Narodytska, Nina ; Nadel, Alexander ; Rozier, Kristin Yvonne | The FMCAD 2023 Student Forum | Inproceedings Konferenzbeitrag | Oct-2023 |
