| 2021 | A Practical Tool-Chain for the Development of Coordination Scenarios - Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator. | Eva Maria Kuehn |
| 2021 | Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices. | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Sabine Sachweh |
| 2021 | ReGraDa: Reactive Graph Data. | Leandro Galrinho, Joo Costa Seco, Sren Debois, Thomas T. Hildebrandt, Hkon Normann, Tijs Slaats |
| 2021 | Deconfined Global Types for Asynchronous Sessions. | Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini |
| 2021 | Safe Session-Based Asynchronous Coordination in Rust. | Zak Cutner, Nobuko Yoshida |
| 2021 | Tuple-Based Coordination in Large-Scale Situated Systems. | Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito |
| 2021 | Towards Probabilistic Session-Type Monitoring. | Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
| 2021 | Asynchronous Global Types in Co-logic Programming. | Riccardo Bianchini, Francesco Dagnino |
| 2021 | A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. | Davide Basile, Maurice H. ter Beek |
| 2021 | A Theory of Automated Market Makers in DeFi. | Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente |
| 2021 | A Session Subtyping Tool. | Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro |
| 2021 | Microservice Dynamic Architecture-Level Deployment Orchestration. | Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro |
| 2021 | ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming. | Gianluca Aguzzi, Roberto Casadei, Niccol Maltoni, Danilo Pianini, Mirko Viroli |
| 2020 | Towards a Formally Verified EVM in Production Environment. | Xiyue Zhang, Yi Li, Meng Sun |
| 2020 | Formal Modeling and Analysis of Medical Systems. | Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani |
| 2020 | SFJ: An Implementation of Semantic Featherweight Java. | Artem Usov, Ornela Dardha |
| 2020 | Quality of Service Ranking by Quantifying Partial Compliance of Requirements. | Agustn Eloy Martinez Su, Carlos Gustavo Lpez Pombo |
| 2020 | Combining SLiVER with CADP to Analyze Multi-agent Systems. | Luca Di Stefano, Frdric Lang, Wendelin Serwe |
| 2020 | Towards Energy-, Time- and Security-Aware Multi-core Coordination. | Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck |
| 2020 | ARx: Reactive Programming for Synchronous Connectors. | Jos Proena, Guillermina Cledou |
| 2020 | Architecture Modelling of Parametric Component-Based Systems. | Maria Pittou, George Rahonis |
| 2020 | Operational Representation of Dependencies in Context-Dependent Event Structures. | G. Michele Pinna |
| 2020 | Time-Fluid Field-Based Coordination. | Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli |
| 2020 | Event-Based Customization of Multi-tenant SaaS Using Microservices. | Espen Tnnessen Nordli, Phu Hong Nguyen, Franck Chauvel, Hui Song |
| 2020 | Implementing Multiparty Session Types in Rust. | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |