| 2020 | A Formal Modeling Approach for Portable Low-Level OS Functionality. Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach |
| 2020 | A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2020 | Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification. Jonathan Julián Huerta y Munive |
| 2020 | Difference Verification with Conditions. Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger |
| 2020 | End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. Laura R. Humphrey, James Hamil, Joffrey Huguet |
| 2020 | FRed: Conditional Model Checking via Reducers and Folders. Dirk Beyer, Marie-Christine Jakobs |
| 2020 | Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods. Daniel Schnetzer Fava |
| 2020 | Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. Fatima Shokri-Manninen, Jüri Vain, Marina Waldén |
| 2020 | Formal Verification of Human-Robot Interaction in Healthcare Scenarios. Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi |
| 2020 | Hoare-Style Logic for Unstructured Programs. Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam |
| 2020 | Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study. Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed |
| 2020 | Model-Based Testing Under Parametric Variability of Uncertain Beliefs. Matteo Camilli, Barbara Russo |
| 2020 | Multi-purpose Syntax Definition with SDF3. Luís Eduardo de Souza Amorim, Eelco Visser |
| 2020 | Runtime Verification of Contracts with Themulus. Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 2020 | Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings Frank S. de Boer, Antonio Cerone |
| 2020 | Sound C Code Decompilation for a Subset of x86-64 Binaries. Freek Verbeek, Pierre Olivier, Binoy Ravindran |
| 2020 | Statically Checking REST API Consumers. Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos |
| 2020 | Synthesis of P-Stable Abstractions. Anna Becchi, Alessandro Cimatti, Enea Zaffanella |