| 2023 | ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. | Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli |
| 2023 | RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. | Loc Desgeorges, Loc Germerie Guizouarn |
| 2023 | Reasoning About Choreographic Programs. | Lus Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti |
| 2023 | A Formal MDE Framework for Inter-DSL Collaboration. | Salim Chehida, Akram Idani, Mario Cortes Cornax, Germn Vega |
| 2023 | Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2023 | Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli |
| 2023 | MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. | Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
| 2022 | MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. | Wang Yi, Morteza Mohaqeqi, Susanne Graf |
| 2022 | Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies). | Luca Vigan |
| 2022 | Sibilla: A Tool for Reasoning about Collective Systems. | Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti |
| 2022 | Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher |
| 2022 | Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. | Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli |
| 2022 | Soft Concurrent Constraint Programming with Local Variables. | Laura Bussi, Fabio Gadducci, Francesco Santini |
| 2022 | A Model of Actors and Grey Failures. | Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea |
| 2022 | A Sound Up-to-n, δ Bisimilarity for PCTL. | Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2022 | Formal Choreographic Languages. | Franco Barbanera, Ivan Lanese, Emilio Tuosto |
| 2022 | Extensible 3D Simulation of Aggregated Systems with FCPP. | Giorgio Audrito, Luigi Rapetta, Gianluca Torta |
| 2022 | Towards Reinforcement Learning-based Aggregate Computing. | Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
| 2022 | A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. | Antonis Achilleos, Lo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb |
| 2022 | A Monitoring Tool for Linear-Time μHML. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. | Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa |
| 2021 | Manifestly Phased Communication via Shared Session Types. | Chuta Sano, Stephanie Balzer, Frank Pfenning |
| 2021 | Relating Functional and Imperative Session Types. | Hannes Saffrich, Peter Thiemann |
| 2021 | The Structure of Concurrent Process Histories. | Chad Nester |
| 2021 | Java Typestate Checker. | Joo Mota, Marco Giunti, Antnio Ravara |