| 2024 | SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs. | Frdric Loulergue, Jordan Ischard |
| 2024 | Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. | Christophe Limbre, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi |
| 2024 | Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL. | Jaehun Lee, Kyungmin Bae, Peter Csaba lveczky |
| 2024 | Formal Validation and ERTMS Simulation. | Thierry Lecomte |
| 2024 | Optimality-Preserving Reduction of Chemical Reaction Networks. | Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2024 | An Approach for Extended Swarm Formation Flight with Drones: tt PROTEASE | Oliver Kosak, Philipp Kastenmller, Constantin Wanninger, Wolfgang Reif |
| 2024 | Attack Tree Generation via Process Mining. | Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch-Lafuente, Andrea Burattin |
| 2024 | Towards AI-Assisted Correctness-by-Construction Software Development. | Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer |
| 2024 | Exploring Consensus Robustness in Swarms with Disruptive Individuals. | Julia Klein, Alberto d'Onofrio, Tatjana Petrov |
| 2024 | Automated Clone Elimination in Python Tests. | Sebastian Kingston, Violet Ka I Pun, Volker Stolz |
| 2024 | Flocks of Birds: A Quantitative Evaluation. | Emilio Incerto, Catia Trubiani |
| 2024 | Composition and Merging of Assume-Guarantee Contracts Are Tensor Products. | Inigo Incer |
| 2024 | Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). | Marieke Huisman, Stephan Merz, Cristina Seceleanu |
| 2024 | Epistemic Ensembles in Semantic and Symbolic Environments. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2024 | Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. | Simon Thrane Hansen, Eduard Kamburjan, Zahra Kazemi |
| 2024 | A Theory of Probabilistic Contracts. | Anton Hampus, Mattias Nyberg |
| 2024 | CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. | Rong Gu, Kaige Tan, Andreas Holck Heg-Petersen, Lei Feng, Kim Guldstrand Larsen |
| 2024 | The EM-BDD Algorithm For Learning Hidden Markov Models. | Eva sk Gunnarsdttir, Anna Inglfsdttir |
| 2024 | Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges. | George Granberry, Wolfgang Ahrendt, Moa Johansson |
| 2024 | Monitoring Local and Global Properties of Collective Adaptive Systems. | Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman |
| 2024 | Towards a More Sustainable Re-engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors. | Maximilian Gehring, Heiko Mantel |
| 2024 | Challenges of Multilingual Program Specification and Analysis. | Carlo A. Furia, Abhishek Tiwari |
| 2024 | Railway Switch Control Modeling in European Train Control System Level 3. | Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini |
| 2024 | Digital Twin Engineering. | John S. Fitzgerald, Cludio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock |
| 2024 | SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models. | Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodrguez-Navas, Oscar Ljungkrantz, Henrik Lnn |