| 2020 | A Formal Framework for Consent Management. Shukun Tokas, Olaf Owe |
| 2020 | Conformance-Based Doping Detection for Cyber-Physical Systems. Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns |
| 2020 | Deep Statistical Model Checking. Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2020 | Derivation of Heard-of Predicates from Elementary Behavioral Patterns. Adam Shimi, Aurélie Hurault, Philippe Quéinnec |
| 2020 | Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings Alexey Gotsman, Ana Sokolova |
| 2020 | On Implementable Timed Automata. Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal |
| 2020 | Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities. Jeremy Sproston |
| 2020 | Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. Davide Basile, Maurice H. ter Beek, Axel Legay |
| 2020 | Towards Bridging Time and Causal Reversibility. Marco Bernardo, Claudio Antares Mezzina |
| 2020 | Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas |
| 2020 | Trace Equivalence and Epistemic Logic to Express Security Properties. Kiraku Minami |
| 2020 | Tutorial: Parameterized Verification with Byzantine Model Checker. Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder |
| 2020 | Typechecking Java Protocols with [St]Mungo. Adriana Laura Voinea, Ornela Dardha, Simon J. Gay |