Josefine Graebener, Apurva Badithela and Richard Murray. Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems (paper #48)

Gilles Nies and Holger Hermanns. Quantification of Battery Depletion Risk Made Efficient (paper #64)

Timothy Wang, Zamira Daw, Pierluigi Nuzzo and Alessandro Pinto. Hierarchical Contract-based Synthesis for Assurance Cases (paper #58)

Edoardo Bacci and David Parker. Verified Probabilistic Policies for Deep Reinforcement Learning (paper #73)

Ulices Santa Cruz Leal and Yasser Shoukry. NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing (paper #123)

Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott Smolka and Scott Stoller. The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS (paper #47)

Yue Meng, Zeng Qiu, Md Tawhid Bin Waez and Chuchu Fan. Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning (paper #3)

Marie Farrell, Matt Luckcuck, Oisin Sheridan and Rosemary Monahan. Towards Refactoring FRETish Requirements (Short paper #21)

Stanley Bak and Hoang Dung Tran. Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability (paper #55)

Christopher Strong, Sydney Katz, Anthony Corso and Mykel Kochenderfer. ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs (paper #143)

Diganta Mukhopadhyay, Kumar Madhukar and Mandayam Srivas. Permutation Invariance of Deep Neural Networks with ReLUs (paper #41)

Xaver Fink, Philipp Berger and Joost-Pieter Katoen. Configurable Benchmarks for C Model Checkers (paper #66)

Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren Cofer and Eric Mercer. Assume-Guarantee Reasoning with Scheduled Components (paper #34)

Andrea Pferscher and Bernhard K. Aichernig. Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning (paper #62)

Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer and Filip Schramka. From Verified Scala to STIX File System Embedded Code using Stainless (paper #4)

Etienne Payet, David J. Pearce and Fausto Spoto. On the Termination of Borrow Checking in Featherweight Rust (paper #42)

James Noble, David Streader, Isaac Oscar Gariano and Miniruwani Samarakoon. More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme (paper #15)

Johan Arcile and Étienne André. Zone extrapolations in parametric timed automata (paper #14)

Étienne André, Masaki Waga, Natsuki Urabe and Ichiro Hasuo. Exemplifying parametric timed specifications over signals with bounded behavior (paper #79)

Martin Tappler, Bernhard K. Aichernig and Florian Lorber. Timed Automata Learning via SMT Solving (paper #67)

Alberto Bombardelli and Stefano Tonetta. Asynchronous Composition of Local Interface LTL Properties (paper #75)

Zachary Luppen, Michael Jacks, Nathan Baughman, Muhamed Stilic, Ryan Nasers, Benjamin Hertz, James Cutler, Dae Young Lee and Kristin Yvonne Rozier. Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry (Short paper #113)

Satya Prakash Nayak, Daniel Neider, Rajarshi Roy and Martin Zimmermann. Robust Computation Tree Logic (paper #11)

Ruiyang Xu and Karl Lieberherr. On-the-Fly Model Checking with Neural MCTS (paper #35)

Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan and Natarajan Shankar. Requirements-Driven Model Checking and Test Generation for Comprehensive Verification (paper #96)

Paul Attie. Operational annotations: a new method for sequential program verification (paper #6)

Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo and Lisandra Silva. Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda (paper #30)

Xiaoxin An, Freek Verbeek and Binoy Ravindran. DSV: Disassembly Soundness Validation without Assuming a Ground Truth (paper #54)

Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci and Borzoo Bonakdarpour. Probabilistic Hyperproperties with Rewards (paper #97)

Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli and Sanjit Seshia. Hypercontracts (paper #102)

Felipe Gorostiaga and Cesar Sanchez. Monitorability of Expressive Verdicts (paper #82)

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan and Marielle Stoelinga. BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees (paper #76)

Daisuke Ishii, Takashi Tomita and Toshiaki Aoki. Approximate Translation from Floating-Point to Real-Interval Arithmetic (paper #56)

Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu and Michael Durling. Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT (paper #147)

Michal Konecny, Sewon Park and Holger Thies. Certified Computation of Nondeterministic Limits (paper #139)

Lieuwe Vinkhuijzen and Alfons Laarman. The Power of Disjoint Support Decompositions in Decision Diagrams (Short paper #127)

Kenny Ballou and Elena Sherman. Incremental Transitive Closure for Zonal Abstract Domain (Short paper #122)

Paolo Masci and Aaron Dutle. Proof Mate: an Interactive Proof Helper for PVS (Short paper #133)

Alexis Aurandt, Phillip Jones and Kristin Yvonne Rozier. Runtime Verification Triggers Real-time, Autonomous Fault Recovery on the CySat-I (Short paper #117)