


default search action
30th 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














