| 2023 | A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. | S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan |
| 2023 | MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. | S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic |
| 2023 | Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis. | S. Akshay, Supratik Chakraborty, Sahil Jain |
| 2023 | Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala |
| 2022 | STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. | Geunyeol Yu, Jia Lee, Kyungmin Bae |
| 2022 | End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers. | Shenghao Yuan, Frdric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli |
| 2022 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2022 | Synthesizing Fair Decision Trees via Iterative Constraint Solving. | Jingbo Wang, Yannan Li, Chao Wang |
| 2022 | VPN: Verification of Poisoning in Neural Networks. | Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu |
| 2022 | Differentiable Logics for Neural Network Training and Verification. | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart |
| 2022 | A Billion SMT Queries a Day (Invited Paper). | Neha Rungta |
| 2022 | Minimal Multi-Layer Modifications of Deep Neural Networks. | Idan Refaeli, Guy Katz |
| 2022 | UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. | Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia |
| 2022 | Verifying Neural Networks Against Backdoor Attacks. | Long H. Pham, Jun Sun |
| 2022 | Example Guided Synthesis of Linear Approximations for Neural Network Verification. | Brandon Paulsen, Chao Wang |
| 2022 | Synthesis and Analysis of Petri Nets from Causal Specifications. | Mateus de Oliveira Oliveira |
| 2022 | Even Faster Conflicts and Lazier Reductions for String Solvers. | Andres Ntzli, Andrew Reynolds, Haniel Barbosa, Clark W. Barrett, Cesare Tinelli |
| 2022 | Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers. | Aina Niemetz, Mathias Preiner, Clark W. Barrett |
| 2022 | CEG4N: Counter-Example Guided Neural Network Quantization Refinement. | Joo Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro |
| 2022 | A Cascade of Checkers for Run-time Certification of Local Robustness. | Ravi Mangal, Corina S. Pasareanu |
| 2022 | Divide-and-Conquer Determinization of Bchi Automata Based on SCC Decomposition. | Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang |
| 2022 | Automated Expected Amortised Cost Analysis of Probabilistic Data Structures. | Lorenz Leutgeb, Georg Moser, Florian Zuleger |
| 2022 | Self-correcting Neural Networks for Safe Classification. | Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
| 2022 | The Lattice-Theoretic Essence of Property Directed Reachability Analysis. | Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo |
| 2022 | Verified Numerical Methods for Ordinary Differential Equations. | Ariel E. Kellison, Andrew W. Appel |