Abstract is missing.
- QuAK: Quantitative Automata KitMarek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç. 3-20 [doi]
- Automating Software Re-Engineering Introduction to the ISoLA 2024 TrackSerge Demeyer, Reiner Hähnle, Heiko Mantel. 23-29 [doi]
- On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in PracticeSerge Autexier. 30-43 [doi]
- Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons LearnedPaolo Bellavista, Andrea Garbugli. 44-59 [doi]
- (Re-)Engineering Digital Twins Towards Federation: Vision and RoadmapHussein Marah, Moharram Challenger. 60-81 [doi]
- Threats to Instrument Validity Within "in Silico" Research: Software Engineering to the RescueSerge Demeyer, Coen De Roover, Mutlu Beyazit, Johannes Härtel. 82-96 [doi]
- Automated Clone Elimination in Python TestsSebastian Kingston, Violet Ka I Pun, Volker Stolz. 97-114 [doi]
- Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus SystemsJonas Becker-Kupczok, Paula Herber. 115-131 [doi]
- Towards a More Sustainable Re-engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time MonitorsMaximilian Gehring, Heiko Mantel. 132-152 [doi]
- X-by-Construction Meets AIMaurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer. 155-161 [doi]
- Intersymbolic AI - Interlinking Symbolic AI and Subsymbolic AIAndré Platzer. 162-180 [doi]
- Logic-Based Explainability: Past, Present and FutureJoão Marques-Silva 0001. 181-204 [doi]
- Towards Hybrid-AI in Imaging Using VoxLogicAGina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink. 205-221 [doi]
- Towards AI-Assisted Correctness-by-Construction Software DevelopmentMaximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer. 222-241 [doi]
- Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam VerificationBernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber. 242-257 [doi]
- Traceability and Accountability by ConstructionJulius Wenzel, Maximilian A. Köhl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt 0003, Christof Fetzer, Holger Hermanns. 258-280 [doi]
- Synthesis from Infinite-State Generalized Reactivity(1) SpecificationsBenedikt Maderbacher, Felix Windisch, Roderick Bloem. 281-301 [doi]
- On Threat Model RepairRoderick Bloem, Sebastian Chlup, Dejan Nickovic, Christoph Schmittner. 302-310 [doi]
- Towards Formal Design of FDIR Components with AIMarco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta. 311-328 [doi]