QuAK: Quantitative Automata Kit.- Automating Software Re-Engineering: Introduction to the ISoLA 2024 Track.- On using large language models pre-trained on digital twins as oracles to foster the use of formal methods in practice.- Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons Learned.- (Re-)Engineering Digital Twins Towards Federation: Vision and Roadmap.- Threats to Instrument Validity within "in Silico" Research: Software Engineering to the Rescue.- Automated Clone Elimination in Python Tests.- Towards Automated Security Hardening using Timed Path Conditions in Shared Bus Systems.

- Towards a More Sustainable Re-Engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors.- X-by-Construction Meets AI.- Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI.- Logic-Based Explainability: Past, Present & Future.- Towards Hybrid-AI in Imaging using VoxLogicA.- Towards AI-assisted Correctness-by-Construction Software Development.- Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification.- Traceability and Accountability by Construction.

- Synthesis from Infinite-State Generalized Reactivity(1) Specifications.- On Threat Model Repair.- Towards Formal Design of FDIR Components with AI.