| 2020 | The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. | Clara Schneidewind, Markus Scherer, Matteo Maffei |
| 2020 | Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems. | Bernd-Holger Schlingloff |
| 2020 | Smart Derivatives: On-Chain Forwards for Digital Assets. | Alfonso D. D. M. Rius, Eamonn Gashier |
| 2020 | Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation. | Fernando Pastor Rics, Pekka Aho, Tanja E. J. Vos, Ismael Torres Boigues, Ernesto Cals Blasco, Hctor Martnez Martnez |
| 2020 | Composition of Component Models - A Key to Construct Big Systems. | Wolfgang Reisig |
| 2020 | A Case Study of Policy Synthesis for Swarm Robotics. | Paul Piho, Jane Hillston |
| 2020 | Centrality-Preserving Exact Reductions of Multi-Layer Networks. | Tatjana Petrov, Stefano Tognazzi |
| 2020 | Reliable Smart Contracts. | Gordon J. Pace, Csar Snchez, Gerardo Schneider |
| 2020 | Finding Idioms in Source Code Using Subtree Counting Techniques. | Dmitry Orlov |
| 2020 | Formally Proving Compositionality in Industrial Systems with Informal Specifications. | Mattias Nyberg, Jonas Westman, Dilian Gurov |
| 2020 | Adaptive Security Policies. | Flemming Nielson, Ren Rydhof Hansen, Hanne Riis Nielson |
| 2020 | Verifying AbC Specifications via Emulation. | Rocco De Nicola, Tan Duong, Omar Inverso |
| 2020 | Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History. | David A. Naumann |
| 2020 | Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling. | Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathfer, Daniel Groe, Rolf Drechsler |
| 2020 | Correctness by Construction for Probabilistic Programs. | Annabelle McIver, Carroll Morgan |
| 2020 | Engineering a Digital Twin for Manual Assembling. | Alexandru Matei, Nicolae-Adrian Tocu, Constantin-Bala Zamfirescu, Arpad Gellert, Mihai Neghina |
| 2020 | Accurate Smart Contract Verification Through Direct Modelling. | Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2020 | Parametric Timed Bisimulation. | Malte Lochau, Lars Luthmann, Hendrik Gttmann, Isabelle Bacher |
| 2020 | Towards Digital Twins for Knowledge-Driven Construction Progress and Predictive Safety Analysis on a Construction Site. | Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz |
| 2020 | Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. | Timm Liebrenz, Paula Herber, Sabine Glesner |
| 2020 | Ensuring Safety with System Level Formal Modelling. | Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier |
| 2020 | Digital Modelling in the Railways. | Thierry Lecomte |
| 2020 | Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL. | Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen |
| 2020 | 30 Years of Statistical Model Checking. | Kim G. Larsen, Axel Legay |
| 2020 | Formal Verification of an Industrial Distributed Algorithm: An Experience Report. | Nikolai Kosmatov, Delphine Longuet, Romain Soulat |