| 2024 | Rigorous Engineering of Collective Adaptive Systems Introduction to the 5 | Martin Wirsing, Rocco De Nicola, Stefan Jhnichen, Mirco Tribastone |
| 2024 | Traceability and Accountability by Construction. | Julius Wenzel, Maximilian A. Khl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns |
| 2024 | Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70 | Mirco Tribastone, Stefan Jhnichen, Martin Wirsing |
| 2024 | How Well Do LLMs Understand DEECo Ensemble-Based Component Architectures. | Michal Tpfer, Danylo Khalyeyev, Toms Bures, Petr Hnetynka, Frantisek Plsil |
| 2024 | Matching Expectations in Ensembles: Connecting Verifiable Credentials and the Semantic Web. | Jan Srmeli, Sergen Yilmaz |
| 2024 | Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. | Luca Di Stefano, Omar Inverso |
| 2024 | No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited. | Rik van Spreuwel, Anton Wijs |
| 2024 | Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem. | Tiago Lopes Soares, Ion Chirica, Mrio Pereira |
| 2024 | Context-Aware Contracts as a Lingua Franca for Behavioral Specification. | Marco Scaletta, Reiner Hhnle |
| 2024 | An Abstract Account of Up-to Techniques for Inductive Behavioural Relations. | Davide Sangiorgi |
| 2024 | Engineering Ethical-Aware Collective Adaptive Systems. | Martina De Sanctis, Paola Inverardi |
| 2024 | Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING. | Francesco Rubino, Chiara Bodei, Gian-Luigi Ferrari |
| 2024 | High-Level Program Properties in Frama-C: Definition, Verification and Deduction. | Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall |
| 2024 | Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems. | Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi |
| 2024 | Intersymbolic AI - Interlinking Symbolic AI and Subsymbolic AI. | Andr Platzer |
| 2024 | Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems. | Michele Pasqua, Marino Miculan |
| 2024 | Formal Foundations of Consistency in Model-Driven Development. | Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer |
| 2024 | Function-as-a-Service Allocation Policies Made Formal. | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 2024 | Towards a Formal Testing Theory for Quantum Processes. | Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt |
| 2024 | Small Scale, Big Impact: Experiences from a Miniature ViL Testbed and Digital Twin Development. | Elias Modrakowski, Niklas Rahenbrock, Eike Mhlmann, Henning Schlender |
| 2024 | Logic-Based Explainability: Past, Present and Future. | Joo Marques-Silva |
| 2024 | (Re-)Engineering Digital Twins Towards Federation: Vision and Roadmap. | Hussein Marah, Moharram Challenger |
| 2024 | Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic. | Marco Maggesi, Cosimo Perini Brogi |
| 2024 | Synthesis from Infinite-State Generalized Reactivity(1) Specifications. | Benedikt Maderbacher, Felix Windisch, Roderick Bloem |
| 2024 | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update. | Yun-Rong Luo, Aman Goel, Karem A. Sakallah |