| 2023 | Certified Compilation of Choreographies with hacc. | Lus Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi |
| 2023 | On Bisimilarity for Polyhedral Models and SLCS. | Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2023 | With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. | Petra van den Bos, Marille Stoelinga |
| 2023 | Implementing a CTL Model Checker with μ | Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti |
| 2023 | An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. | Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, Jos Pereira, Paulo Srgio Almeida |
| 2022 | Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. | Germn Vidal |
| 2022 | Encodability Criteria for Quantum Based Systems. | Anna Schmitt, Kirstin Peters, Yuxin Deng |
| 2022 | Traits: Correctness-by-Construction for Free. | Tobias Runge, Alex Potanin, Thomas Thm, Ina Schaefer |
| 2022 | Effective Reductions of Mealy Machines. | Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet |
| 2022 | Fault-Tolerant Multiparty Session Types. | Kirstin Peters, Uwe Nestmann, Christoph Wagner |
| 2022 | LTL Under Reductions with Weaker Conditions Than Stutter Invariance. | Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg |
| 2022 | Co-engineering Safety-Security Using Statistical Model Checking. | Rajesh Kumar, Siddhant Singh, Bhavesh Narra, Rohan Kela |
| 2022 | Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. | Bineet Ghosh, tienne Andr |
| 2022 | Branch-Well-Structured Transition Systems and Extensions. | Benedikt Bollig, Alain Finkel, Amrita Suresh |
| 2022 | The Reversible Temporal Process Language. | Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen |
| 2022 | Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. | Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse |
| 2022 | Monitoring Hyperproperties with Circuits. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza |
| 2021 | π with Leftovers: A Mechanisation in Agda. | Uma Zalakain, Ornela Dardha |
| 2021 | A Case Study on Parametric Verification of Failure Detectors. | Thanh-Hai Tran, Igor Konnov, Josef Widder |
| 2021 | Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. | Mathieu Montin, Marc Pantel |
| 2021 | Prioritise the Best Variation. | Wen Kokke, Ornela Dardha |
| 2021 | Formal Verification of HotStuff. | Leander Jehl |
| 2021 | Tutorial: Designing Distributed Software in mCRL2. | Jan Friso Groote, Jeroen J. A. Keiren |
| 2021 | Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. | Roberto Gorrieri |
| 2021 | How Adaptive and Reliable is Your Program? | Valentina Castiglioni, Michele Loreti, Simone Tini |