default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th FMICS 2025: Aarhus, Denmark
- Anne Remke
, Bernhard Steffen:
Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings. Lecture Notes in Computer Science 16040, Springer 2026, ISBN 978-3-032-00941-8
Invited Talks
- Ina K. Schieferdecker:
Navigating the Growing Field of Research on AI for Software Testing - The Taxonomy for AI-Augmented Software Testing and an Ontology-Driven Literature Survey. 3-20 - Arnd Hartmanns:
An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space. 21-36
Verification
- Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin:
Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification. 39-58 - Lukas Armborst, Dirk Beyer, Marieke Huisman, Marian Lingsch Rosenfeld:
AutoSV-Annotator: Integrating Deductive and Automatic Software Verification. 59-77 - Niklas van de Sand, Marcus Völker:
IC3 for Loop Invariant Generation in Deductive Analysis. 78-104 - Christel Baier, Rio Klatt, Sascha Klüppelholz, Johannes Lehmann:
Backward Responsibility in Transition Systems Beyond Safety. 105-123
Automotive and Railway
- Émilie Thomé, Xavier Denis, Christine Tasson:
GRust: A Programming Language for Automotive Engineering. 127-143 - Tiago F. Sequeira, André de Matos Pedro:
Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification. 144-161 - Laura Carnevali, Alessandro Fantechi, Gloria Gori, Denis Vreshtazi, Alessandro Borselli, Maria Rosaria Cefaloni, Lucio Rota:
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles. 162-181
Cyber-Physical Systems
- Felix Schaber, Atif Mashkoor, Michael Leuschel:
Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems. 185-202 - Janis Kröger, Ingo Stierand, Martin Fränzle:
Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime. 203-221
Embedded Systems
- Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard, Mark Bouwman:
A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier. 225-240 - John Hatcliff, Jason Belt, Robby, Clint McKenzie, Catalina Liang:
End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR. 241-260 - Federico Bonafini, Roberto Cavada, Alessandro Cimatti, Guillermo Gomez, Stefano Tonetta:
A Specification-Driven Approach to Embedded FDIR Code Generation. 261-279 - Andreas Kjeldgaard Brandhøj, Tobias Worm Bøgedal, René Rydhof Hansen, Kim Guldstrand Larsen, Danny Bøgsted Poulsen:
Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs. 280-296
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 2026-05-25 00:12 CEST 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:
