| 2020 | Automated Validation of State-Based Client-Centric Isolation with TLA | Tim Soethout, Tijs van der Storm, Jurgen J. Vinju |
| 2020 | From Requirements to Verifiable Executable Models Using Rebeca. | Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam |
| 2020 | Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems. | Fatima Shokri-Manninen, Jri Vain, Marina Waldn |
| 2020 | Model Translation from Papyrus-RT into the nuXmv Model Checker. | Sneha Sahu, Ruth Schorr, Inmaculada Medina-Bulo, Matthias F. Wagner |
| 2020 | Against the Illusory Will Hypothesis - A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment. | Robert Reimer |
| 2020 | Personal Identity and False Memories. | Danil Razeev |
| 2020 | An Interdisciplinary Model for Graphical Representation. | Giuseppe Antonio Pierro, Alexandre Bergel, Roberto Tonelli, Stphane Ducasse |
| 2020 | Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification. | Jonathan Julin Huerta y Munive |
| 2020 | Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence. | Yoshihiro Maruyama |
| 2020 | Hoare-Style Logic for Unstructured Programs. | Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam |
| 2020 | Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains. | Karim Lounis, Samir Ouchani |
| 2020 | A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS. | Giovanni Liboni, Julien Deantoni |
| 2020 | Formal Verification of Human-Robot Interaction in Healthcare Scenarios. | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi |
| 2020 | The Intensional Structure of Epistemic Convictions. | Reinhard Kahle |
| 2020 | End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK. | Laura R. Humphrey, James Hamil, Joffrey Huguet |
| 2020 | An FMI-Based Initialization Plugin for INTO-CPS Maestro 2. | Simon Thrane Hansen, Casper Thule, Cludio Gomes |
| 2020 | A Formal Modeling Approach for Portable Low-Level OS Functionality. | Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach |
| 2020 | A Pragmatic Model of Justification for Social Epistemology. | Raffaela Giovagnoli |
| 2020 | Runtime Verification of Contracts with Themulus. | Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 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 | Modelling Train Driver Behaviour in Railway Co-simulations. | Tomas Hotzel Escardo, Ken G. Pierce, David Golightly, Roberto Palacin |
| 2020 | A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. | Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2020 | Cosimulation-Based Control Synthesis. | Adrien Le Cont, Julien Alexandre Dit Sandretto, Alexandre Chapoutot |
| 2020 | A Multi-Agent Depth Bounded Boolean Logic. | Giorgio Cignarale, Giuseppe Primiero |
| 2020 | Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation. | Antonio Cerone, Diana Murzagaliyeva |