| 2021 | Towards a Spatial Model Checker on GPU. | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci |
| 2021 | Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). | Mark Bouwman, Bas Luttik, Tim A. C. Willemse |
| 2021 | A Formalisation of SysML State Machines in mCRL2. | Mark Bouwman, Bas Luttik, Djurre van der Wal |
| 2021 | Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. | Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico |
| 2021 | Better Late Than Never or: Verifying Asynchronous Components at Runtime. | Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2021 | A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. | Mrio S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia |
| 2021 | On Bidirectional Runtime Enforcement. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2020 | Typechecking Java Protocols with [St]Mungo. | Adriana Laura Voinea, Ornela Dardha, Simon J. Gay |
| 2020 | A Formal Framework for Consent Management. | Shukun Tokas, Olaf Owe |
| 2020 | Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities. | Jeremy Sproston |
| 2020 | Derivation of Heard-of Predicates from Elementary Behavioral Patterns. | Adam Shimi, Aurlie Hurault, Philippe Quinnec |
| 2020 | Trace Equivalence and Epistemic Logic to Express Security Properties. | Kiraku Minami |
| 2020 | Deep Statistical Model Checking. | Timo P. Gros, Holger Hermanns, Jrg Hoffmann, Michaela Klauck, Marcel Steinmetz |
| 2020 | Conformance-Based Doping Detection for Cyber-Physical Systems. | Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns |
| 2020 | Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas |
| 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 | Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. | Davide Basile, Maurice H. ter Beek, Axel Legay |
| 2020 | On Implementable Timed Automata. | Sergio Feo-Arenis, Milan Vujinovic, Bernd Westphal |
| 2020 | Towards Bridging Time and Causal Reversibility. | Marco Bernardo, Claudio Antares Mezzina |
| 2020 | Tutorial: Parameterized Verification with Byzantine Model Checker. | Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder |
| 2019 | On Certifying Distributed Algorithms: Problem of Local Correctness. | Kim Vllinger |
| 2019 | Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. | Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson |
| 2019 | Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework. | Jean-Bernard Stefani, Martin Vassor |
| 2019 | Psi-Calculi Revisited: Connectivity and Compositionality. | Johannes man Pohjola |
| 2019 | Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs. | The Anh Pham, Thierry Jron, Martin Quinson |