长垣产业园区科技文献服务平台

会议文集


文集名Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
会议名12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)
中译名《第十二届国际形式化方法、验证与确认的合理运用研讨会，卷4》
会议日期October 27-31, 2024
会议地点Crete, Greece
出版年2025
馆藏号356007


题名作者出版年
QuAK: Quantitative Automata KitMarek Chalupa; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Sarac2025
Automating Software Re-Engineering Introduction to the ISoLA 2024 TrackSerge Demeyer; Reiner Hahnle; Heiko Mantel2025
On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in PracticeSerge Autexier2025
Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons LearnedPaolo Bellavista; Andrea Garbugli2025
(Re-)Engineering Digital Twins Towards Federation: Vision and RoadmapHussein Marah; Moharram Challenger2025
Threats to Instrument Validity Within "in Silico" Research: Software Engineering to the RescueSerge Demeyer; Coen De Roover; Mutlu Beyazit; Johannes Hartel2025
Automated Clone Elimination in Python TestsSebastian Kingston; Violet Ka I Pun; Volker Stolz2025
Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus SystemsJonas Becker-Kupczok; Paula Herber2025
Towards a More Sustainable Re-engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time MonitorsMaximilian Gehring; Heiko Mantel2025
X-by-Construction Meets AIMaurice H. ter Beek; Loek Cleophas; Clemens Dubslaff; Ina Schaefer2025
Intersymbolic AI Interlinking Symbolic AI and Subsymbolic AIAndre Platzer2025
Logic-Based Explainability: Past, Present and FutureJoao Marques-Silva2025
Towards Hybrid-AI in Imaging Using VoxLogicAGina Belmonte; Laura Bussi; Vincenzo Ciancia; Diego Latella; Mieke Massink2025
Towards AI-Assisted Correctness-by-Construction Software DevelopmentMaximilian Kodetzki; Tabea Bordis; Michael Kirsten; Ina Schaefer2025
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam VerificationBernhard Beckert; Jonas Klamroth; Wolfram Pfeifer; Patrick Roper; Samuel Teuber2025
Traceability and Accountability by ConstructionJulius Wenzel; Maximilian A. Kohl; Sarah Sterz; Hanwei Zhang; Andreas Schmidt; Christof Fetzer; Holger Hermanns2025
Synthesis from Infinite-State Generalized Reactivity(1) SpecificationsBenedikt Maderbacher; Felix Windisch; Roderick Bloem2025
On Threat Model RepairRoderick Bloem; Sebastian Chlup; Dejan Nickovic; Christoph Schmittner2025
Towards Formal Design of FDIR Components with AIMarco Bozzano; Alessandro Cimatti; Marco Cristoforetti; Alberto Griggio; Piergiorgio Svaizer; Stefano Tonetta2025



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024