default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ISoLA 2024: Crete, Greece - Part IV
- Tiziana Margaria
, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV. Lecture Notes in Computer Science 15222, Springer 2025, ISBN 978-3-031-75386-2
Invited Paper
- Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç:
QuAK: Quantitative Automata Kit. 3-20
Automating Software Re-engineering
- Serge Demeyer, Reiner Hähnle, Heiko Mantel:
Automating Software Re-Engineering Introduction to the ISoLA 2024 Track. 23-29 - Serge Autexier:
On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice. 30-43 - Paolo Bellavista, Andrea Garbugli:
Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons Learned. 44-59 - Hussein Marah, Moharram Challenger:
(Re-)Engineering Digital Twins Towards Federation: Vision and Roadmap. 60-81 - Serge Demeyer, Coen De Roover, Mutlu Beyazit, Johannes Härtel:
Threats to Instrument Validity Within "in Silico" Research: Software Engineering to the Rescue. 82-96 - Sebastian Kingston, Violet Ka I Pun, Volker Stolz:
Automated Clone Elimination in Python Tests. 97-114 - Jonas Becker-Kupczok, Paula Herber:
Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems. 115-131 - Maximilian Gehring, Heiko Mantel:
Towards a More Sustainable Re-engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors. 132-152
X-By-Construction Meet AI
- Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer:
X-by-Construction Meets AI. 155-161 - André Platzer:
Intersymbolic AI - Interlinking Symbolic AI and Subsymbolic AI. 162-180 - João Marques-Silva:
Logic-Based Explainability: Past, Present and Future. 181-204 - Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink:
Towards Hybrid-AI in Imaging Using VoxLogicA. 205-221 - Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer:
Towards AI-Assisted Correctness-by-Construction Software Development. 222-241 - Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber:
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. 242-257 - Julius Wenzel, Maximilian A. Köhl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns:
Traceability and Accountability by Construction. 258-280 - Benedikt Maderbacher, Felix Windisch, Roderick Bloem:
Synthesis from Infinite-State Generalized Reactivity(1) Specifications. 281-301 - Roderick Bloem, Sebastian Chlup, Dejan Nickovic, Christoph Schmittner:
On Threat Model Repair. 302-310 - Marco Bozzano, Alessandro Cimatti, Marco Cristoforetti, Alberto Griggio, Piergiorgio Svaizer, Stefano Tonetta:
Towards Formal Design of FDIR Components with AI. 311-328
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-20 19:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
