- Claude Stolze, Marino Miculan and Pietro Di Gianantonio. Composable Partial Multiparty Session Types
- Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Pawel Sobocinski. A Canonical Algebra of Open Transition Systems
- Frederic Dadeau, Jean-Philippe Gros and Olga Kouchnarenko. Automated Generation of Initial Configurations for Testing Component Systems
- Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma and Anton Wijs. A linear parallel algorithm to compute bisimulation and relational coarsest partitions
- Marius Bozga and Radu Iosif. Specification and Verification of Parametric Systems with Recursive Architectures
- Salim Chehida, Saddek Bensalem and Abdelhakim Baouya. Component-based Approach Combining UML and BIP for Rigorous System Design
- Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese and Emilio Tuosto. Corinne, a Tool for the Composition of Choreography Automata
- Yliès Falcone, Hosein Nazarpour, Saddek Bensalem and Marius Bozga. Monitoring Distributed Component-Based Systems
