| 2021 | A Case Study on Parametric Verification of Failure Detectors. Thanh-Hai Tran, Igor Konnov, Josef Widder |
| 2021 | A Formalisation of SysML State Machines in mCRL2. Mark Bouwman, Bas Luttik, Djurre van der Wal |
| 2021 | A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia |
| 2021 | Better Late Than Never or: Verifying Asynchronous Components at Runtime. Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
| 2021 | Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. Roberto Gorrieri |
| 2021 | Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings Kirstin Peters, Tim A. C. Willemse |
| 2021 | Formal Verification of HotStuff. Leander Jehl |
| 2021 | How Adaptive and Reliable is Your Program? Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2021 | Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). Mark Bouwman, Bas Luttik, Tim A. C. Willemse |
| 2021 | On Bidirectional Runtime Enforcement. Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir |
| 2021 | Prioritise the Best Variation. Wen Kokke, Ornela Dardha |
| 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 | Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. Mathieu Montin, Marc Pantel |
| 2021 | Towards a Spatial Model Checker on GPU. Laura Bussi, Vincenzo Ciancia, Fabio Gadducci |
| 2021 | Tutorial: Designing Distributed Software in mCRL2. Jan Friso Groote, Jeroen J. A. Keiren |
| 2021 | π with Leftovers: A Mechanisation in Agda. Uma Zalakain, Ornela Dardha |