| 2024 | Strategies in Spatio-Temporal Logics for Multi-agent Systems. | Paolo Bottoni, Anna Labella, Giuseppe Perelli |
| 2024 | Is Machine Learning Model Checking Privacy Preserving? | Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti |
| 2024 | Language Equivalence from Nondeterministic to Weighted Automata - and Back. | Michele Boreale, Luisa Collodi |
| 2024 | Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. | Pauline Blohm, Martin Frnzle, Paula Herber, Paul Krger, Anne Remke |
| 2024 | On Threat Model Repair. | Roderick Bloem, Sebastian Chlup, Dejan Nickovic, Christoph Schmittner |
| 2024 | Local Spaces in Soft Concurrent Constraint Programming Oriented to Security. | Stefano Bistarelli, Francesco Santini |
| 2024 | Klaim in the Making. | Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto |
| 2024 | Statistical Model Checking of Cooperative Autonomous Driving Systems. | Cinzia Bernardeschi, Giuseppe Lettieri, Federico Rossi |
| 2024 | Towards Hybrid-AI in Imaging Using VoxLogicA. | Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2024 | Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons Learned. | Paolo Bellavista, Andrea Garbugli |
| 2024 | Can AI Help with the Formalization of Railway Cybersecurity Requirements? | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi |
| 2024 | X-by-Construction Meets AI. | Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer |
| 2024 | Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. | Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Rper, Samuel Teuber |
| 2024 | Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems. | Jonas Becker-Kupczok, Paula Herber |
| 2024 | An Integrated Perspective on the Evaluation of Complex Railway Systems. | Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori |
| 2024 | The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops. | Ezio Bartocci |
| 2024 | Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday. | Franco Barbanera, Mariangiola Dezani-Ciancaglini |
| 2024 | On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice. | Serge Autexier |
| 2024 | Towards Real-Time Aggregate Computing. | Giorgio Audrito, Ferruccio Damiani, Gianluca Torta |
| 2024 | RailCabs and Birds in Julia - Context-Role Ensemble Engineering in Practice. | Uwe Amann, Christian Gutsche |
| 2024 | Deductively Verified Program Models for Software Model Checking. | Jesper Amilon, Dilian Gurov |
| 2024 | Emergence in Multi-agent Systems: A Safety Perspective. | Philipp Altmann, Julian Schnberger, Steffen Illium, Maximilian Zorn, Fabian Ritz, Tom Haider, Simon Burton, Thomas Gabor |
| 2024 | Attributed Point-to-Point Communication in R-CHECK. | Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 2024 | Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. | Shaukat Ali, Paolo Arcaini, Aitor Arrieta |
| 2024 | Preventing Out-of-Gas Exceptions by Typing. | Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa |