| 2023 | AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference. Zitong Zhou, Zixin Huang, Sasa Misailovic |
| 2023 | AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization. Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov |
| 2023 | Automated Property Directed Self Composition. Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas |
| 2023 | Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II Étienne André, Jun Sun |
| 2023 | Automatic Verification of High-Level Executable Models Running on FPGAs. Morgan McColl, Callum McColl, René Hexel |
| 2023 | Better Predicates and Heuristics for Improved Commutativity Synthesis. Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen |
| 2023 | Checking and Sketching Causes on Temporal Sequences. Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2023 | Fast Equivalence Checking of Quantum Circuits of Clifford Gates. Dimitrios Thanos, Tim Coopmans, Alfons Laarman |
| 2023 | Leveraging Static Analysis: An IDE for RTLola. Bernd Finkbeiner, Florian Kohn, Malte Schledjewski |
| 2023 | Lightweight Verification of Hyperproperties. Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang |
| 2023 | Minimally Comparing Relational Abstract Domains. Kenny Ballou, Elena Sherman |
| 2023 | On the Difficulty of Intersection Checking with Polynomial Zonotopes. Yushen Huang, Ertai Luo, Stanley Bak, Yifan Sun |
| 2023 | Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts. Steffan Christ Sølvsten, Jaco van de Pol |
| 2023 | RTAEval: A Framework for Evaluating Runtime Assurance Logic. Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra |
| 2023 | Specification Sketching for Linear Temporal Logic. Simon Lutz, Daniel Neider, Rajarshi Roy |
| 2023 | Structure-Guided Solution of Constrained Horn Clauses. Omer Rappoport, Orna Grumberg, Yakir Vizel |
| 2023 | Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas |
| 2023 | ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae. Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider |
| 2023 | pymwp: A Static Analyzer Determining Polynomial Growth Bounds. Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |