| 2021 | A Debugger for Probabilistic Programs. Alexander Hoppen, Thomas Noll |
| 2021 | A Denotational Semantics of Solidity in Isabelle/HOL. Diego Marmsoler, Achim D. Brucker |
| 2021 | Active Model Learning of Stochastic Reactive Systems. Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill |
| 2021 | Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker |
| 2021 | Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. Stella Simic, Omar Inverso, Mirco Tribastone |
| 2021 | Checking Opacity and Durable Opacity with FDR. Brijesh Dongol, Jay Le-Papin |
| 2021 | Configuration Space Exploration for Digital Printing Systems. Jasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser |
| 2021 | Counterexample Classification. Cole Vick, Eunsuk Kang, Stavros Tripakis |
| 2021 | Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines. Niklas Krafczyk, Jan Peleska |
| 2021 | Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2021 | Hybrid Information Flow Control for Low-Level Code. Eduardo Geraldo, José Fragoso Santos, João Costa Seco |
| 2021 | Lightweight Nontermination Inference with CHCs. Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
| 2021 | Mining Shape Expressions with ShapeIt. Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin |
| 2021 | Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Fränzle |
| 2021 | Monitoring First-Order Interval Logic. Klaus Havelund, Moran Omer, Doron Peled |
| 2021 | OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks. Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio |
| 2021 | On the Security and Safety of AbU Systems. Michele Pasqua, Marino Miculan |
| 2021 | Parallelized Sequential Composition and Hardware Weak Memory Models. Robert J. Colvin |
| 2021 | Probabilistic BDI Agents: Actions, Plans, and Intentions. Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
| 2021 | Refining Privacy-Aware Data Flow Diagrams. Hanaa Alshareef, Sandro Stucki, Gerardo Schneider |
| 2021 | RoboWorld: Where Can My Robot Work? Ana Cavalcanti, James Baxter, Gustavo Carvalho |
| 2021 | Runtime Enforcement with Reordering, Healing, and Suppression. Yliès Falcone, Gwen Salaün |
| 2021 | Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings Radu Calinescu, Corina S. Pasareanu |
| 2021 | TACoS: A Tool for MTL Controller Synthesis. Till Hofmann, Stefan Schupp |
| 2021 | Translation of CCS into CSP, Correct up to Strong Bisimulation. Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
| 2021 | Upper Bound Computation of Information Leakages for Unbounded Recursion. Johannes Bechberger, Alexander Weigl |
| 2021 | Validating Safety Arguments with Lean. Logan Murphy, Torin Viger, Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
| 2021 | Verification of Programs with Exceptions Through Operator Precedence Automata. Francesco Pontiggia, Michele Chiari, Matteo Pradella |
| 2021 | nfer - A Tool for Event Stream Abstraction. Sean Kauffman |