| 2025 | A Choreographic View of Smart Contracts. Emilio Tuosto |
| 2025 | An Approach to Formalize Information-Theoretic Security of Multiparty Computation Protocols. Cheng-Hui Weng, Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa |
| 2025 | Assessing Code Understanding in LLMs. Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi |
| 2025 | Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. Marco Comini, Luca Gemolotto, Marino Miculan |
| 2025 | Choreographies for Program Understanding. Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germán Vidal |
| 2025 | Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings Carla Ferreira, Claudio Antares Mezzina |
| 2025 | LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. Melane Navaratnarajah, Ma'ayan Armony, Sebastian Biewer, Holger Hermanns, Mohammad Reza Mousavi |
| 2025 | Noninterference Analysis ofStochastically Timed Reversible Systems. Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2025 | Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. Bineet Ghosh, Étienne André |
| 2025 | Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm. Karine Altisen, Marius Bozga |
| 2025 | SNexpression: A New Component for SN Matrix-Based Structural Analysis. Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
| 2025 | Scaling Information Flow Control By-Construction to Component-Based Software Architectures. Rasmus C. Rønneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer |
| 2025 | Sequential Composition of BDD Transition Systems for Model-Based Testing. Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink |
| 2025 | Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. Hugo Araújo, Mohammad Reza Mousavi, Shiva Nejati |
| 2025 | Towards Efficient Verification of Parallel Applications with Mc SimGrid. Mathieu Laurent, Thierry Jéron, Martin Quinson |