中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

会议文集

文集名	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 Kit	Marek Chalupa; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Sarac	2025
Automating Software Re-Engineering Introduction to the ISoLA 2024 Track	Serge Demeyer; Reiner Hahnle; Heiko Mantel	2025
On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice	Serge Autexier	2025
Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons Learned	Paolo Bellavista; Andrea Garbugli	2025
(Re-)Engineering Digital Twins Towards Federation: Vision and Roadmap	Hussein Marah; Moharram Challenger	2025
Threats to Instrument Validity Within "in Silico" Research: Software Engineering to the Rescue	Serge Demeyer; Coen De Roover; Mutlu Beyazit; Johannes Hartel	2025
Automated Clone Elimination in Python Tests	Sebastian Kingston; Violet Ka I Pun; Volker Stolz	2025
Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems	Jonas Becker-Kupczok; Paula Herber	2025
Towards a More Sustainable Re-engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors	Maximilian Gehring; Heiko Mantel	2025
X-by-Construction Meets AI	Maurice H. ter Beek; Loek Cleophas; Clemens Dubslaff; Ina Schaefer	2025
Intersymbolic AI Interlinking Symbolic AI and Subsymbolic AI	Andre Platzer	2025
Logic-Based Explainability: Past, Present and Future	Joao Marques-Silva	2025
Towards Hybrid-AI in Imaging Using VoxLogicA	Gina Belmonte; Laura Bussi; Vincenzo Ciancia; Diego Latella; Mieke Massink	2025
Towards AI-Assisted Correctness-by-Construction Software Development	Maximilian Kodetzki; Tabea Bordis; Michael Kirsten; Ina Schaefer	2025
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification	Bernhard Beckert; Jonas Klamroth; Wolfram Pfeifer; Patrick Roper; Samuel Teuber	2025
Traceability and Accountability by Construction	Julius Wenzel; Maximilian A. Kohl; Sarah Sterz; Hanwei Zhang; Andreas Schmidt; Christof Fetzer; Holger Hermanns	2025
Synthesis from Infinite-State Generalized Reactivity(1) Specifications	Benedikt Maderbacher; Felix Windisch; Roderick Bloem	2025
On Threat Model Repair	Roderick Bloem; Sebastian Chlup; Dejan Nickovic; Christoph Schmittner	2025
Towards Formal Design of FDIR Components with AI	Marco Bozzano; Alessandro Cimatti; Marco Cristoforetti; Alberto Griggio; Piergiorgio Svaizer; Stefano Tonetta	2025