| 2020 | Tendermint Blockchain Synchronization: Formal Specification and Model Checking. | Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir |
| 2020 | Writing Robotics Applications with X-Klaim. | Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi |
| 2020 | Making Tezos Smart Contracts More Reliable with Coq. | Bruno Bernardo, Raphal Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson |
| 2020 | X-by-Construction - Correctness Meets Probability. | Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson |
| 2020 | Specifying Framing Conditions for Smart Contracts. | Bernhard Beckert, Jonas Schiffl |
| 2020 | Modular Verification of JML Contracts Using Bounded Model Checking. | Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich |
| 2020 | 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Mbius and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo |
| 2020 | Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. | Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini |
| 2020 | Bitcoin Covenants Unchained. | Massimo Bartoletti, Stefano Lande, Roberto Zunino |
| 2020 | Composing Communicating Systems, Synchronously. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2020 | Improving Secure and Robust Patient Service Delivery. | Eduard Baranov, Thomas Given-Wilson, Axel Legay |
| 2020 | Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. | Michael Bar-Sinai, Gera Weiss |
| 2020 | From Verification to Explanation (Track Introduction). | Christel Baier, Holger Hermanns |
| 2020 | Components in Probabilistic Systems: Suitable by Construction. | Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klppelholz, Maximilian A. Khl |
| 2020 | Statistical Model Checking: Black or White? | Pranav Ashok, Przemyslaw Daca, Jan Kretnsk, Maximilian Weininger |
| 2020 | A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. | Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi |
| 2020 | Step-Wise Development of Provably Correct Actor Systems. | Bernhard K. Aichernig, Benedikt Maderbacher |
| 2020 | Functional Verification of Smart Contracts via Strong Data Integrity. | Wolfgang Ahrendt, Richard Bubel |
| 2020 | Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs. | Bart Jacobs |
| 2020 | Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles. | Stefano Mariani, Franco Zambonelli |
| 2020 | Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. | Dirk Beyer, Heike Wehrheim |
| 2020 | An Interface Theory for Program Verification. | Dirk Beyer, Sudeep Kanav |
| 2020 | Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker. | Dirk Beyer, Karlheinz Friedberger |
| 2020 | New Distribution Paradigms for Railway Interlocking. | Jan Peleska |
| 2018 | Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma. | Natalia Zon, Stephen Gilmore |