Photo by Maxime Dufour

Accepted papers

COORDINATION

Regular Papers

• Christopher Esterhuyse, Benjamin Lion, Hans-Dieter Hiep and Farhad Arbab. Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming.
• Alessandro Aldini and Claudio Antares Mezzina. Formalizing Errors in CCS with 3-Valued Logic.
• Robert Rubbens, Petra van den Bos and Marieke Huisman. Verified Parameterized Choreographies.
• Fabio Gadducci, Carlos Olarte and Frank Valencia. A Constraint Opinion Model.
• Nikolaus Huber, Susanne Graf, Philipp Rümmer and Wang Yi. MIMOSA: A Language for Asynchronous Implementation of Embedded Systems Software
• Antonio Brogi, Roberto Casadei, Nicolas Farabegoli, Stefano Forti and Mirko Viroli. Declarative Deployment Planning for Green Pulverised Collective Computational Systems.
• Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier and Gianluigi Zavattaro. Decidability Problems for Micro-Stipula.
• Carlos Gustavo Lopez Pombo, Agustín Eloy Martinez-Suñé, Hernan Melgratti, Diego Senarruzza Anabia and Emilio Tuosto. Behavioural, Functional, and Non-Functional Contracts for Dynamic Selection of Services.
• Carolyn Talcott. Dialects for the CoAP IoT Messaging Protocol.
• Tilman Zuckmantel, Thomas Hildebrandt, Yongluan Zhou and Boris Düdder. DACEO: Declarative Asynchronous Choreographies with Data-dependent Event Ordering.

  Tool Papers

• José Proença and Maurice H. ter Beek. RebeCaos.
• Gianluca Aguzzi, Lorenzo Bacchini, Martina Baiardi, Roberto Casadei, Angela Cortecchia, Davide Domini, Nicolas Farabegoli, Danilo Pianini and Mirko Viroli. A Demonstrator Toolchain for Self-organizing Robot Teams.

DAIS

Regular Papers

• Donatien Schmitz, Guillaume Rosinosky and Etienne Rivière. Justin: Hybrid CPU/Memory Elastic Scaling for Distributed Stream Processing
• Maryam Rahmani, Suzanne Crumeyrolle, Nadege Martiny and Romain Rouvoy. GT-LSTM: Integrating High-Resolution Particulate Matter Data for Urban Air Quality Forecasting
• Pierre-Louis Aublin and Arne Vogel. Mitigating Cryptographic Bottlenecks of Low-latency BFT Protocols
• Lyla Naghipour Vijouyeh, Luís Veiga and Paulo Ferreira. BCProf: Battery Consumption Profiler for Android Applications

  Short Paper

• Hanyue Xu, Yuanxin Su, Jasmine Seng, Chenghao Li, Han Lu, Jianfei He and Li-Minn Ang. AIoRT: AI-driven distributed system for heterogenous Internet of Robotic things in Sustainable Ecosystem

  Tutorial and Tool Paper

  *Baptiste Jonglez, Matthieu Simonin, Jolan Philippe and Sidi Mohammed Kaddour. Multi-provider capabilities in EnOSlib: driving distributed system experiments on the edge-to-cloud continuum

Invited paper

• Lauric Desauw, Adrien Luxey-Bitri, Rémy Raes, Romain Rouvoy, Olivier Ruas and Walter Rudametkin. A critical review of mobile device-to-device communication

FORTE

Regular Papers

• Hugo Araujo, Mohammad Reza Mousavi and Shiva Nejati. Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems.
• Tannaz Zameni, Petra van den Bos, Johan Foederer and Arend Rensink. Sequential Composition of BDD Transition Systems for Model-Based Testing. (Tool)
• Rasmus Carl Rønneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar and Ina Schaefer. Scaling Information Flow Control by-Construction to Component-based Software Architectures.
• Andrea Esposito, Alessandro Aldini and Marco Bernardo. Noninterference Analysis of Stochastically Timed Reversible Systems.
• Marco Comini, Luca Gemolotto and Marino Miculan. Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems.
• Bineet Ghosh and Étienne André. Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring.
• Mathieu Laurent, Thierry Jéron and Martin Quinson. Towards Efficient Verification of Parallel Applications with Mc SimGrid.
• Karine Altisen and Marius Bozga. Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm.

Short Papers

• Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto and German Vidal. Choreographies for Program Understanding.
• Cheng-Hui Weng, Reynald Affeldt, Jacques Garrigue and Takafumi Saikawa. An Approach to Formalize Information-theoretic Security of Multiparty Computation Protocols.
• Lorenzo Capra, Massimiliano De Pierro and Giuliana Franceschinis. SNexpression: a new component for SN matrix-based structural analysis.
• Cosimo Laneve, Alvise Spano’, Dalila Ressi, Sabina Rossi and Michele Bugliesi. Assessing Code Understanding in LLMs.
• Ma’Ayan Armony, Sebastian Biewer, Holger Hermanns, Mohammad Reza Mousavi and Melane Navaratnaraja. LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. (Tool)