| 2022 | A Model of Actors and Grey Failures. Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea |
| 2022 | A Monitoring Tool for Linear-Time μHML. Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir |
| 2022 | A Sound Up-to-n, δ Bisimilarity for PCTL. Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2022 | A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb |
| 2022 | Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings Maurice H. ter Beek, Marjan Sirjani |
| 2022 | Extensible 3D Simulation of Aggregated Systems with FCPP. Giorgio Audrito, Luigi Rapetta, Gianluca Torta |
| 2022 | Formal Choreographic Languages. Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2022 | Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). Luca Viganò |
| 2022 | MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. Wang Yi, Morteza Mohaqeqi, Susanne Graf |
| 2022 | Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher |
| 2022 | Sibilla: A Tool for Reasoning about Collective Systems. Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti |
| 2022 | Soft Concurrent Constraint Programming with Local Variables. Laura Bussi, Fabio Gadducci, Francesco Santini |
| 2022 | Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli |
| 2022 | Towards Reinforcement Learning-based Aggregate Computing. Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |