Workshop at RV 2025 Conference
Monday, September 15, 2025
Graz (Austria)
Model-Based Diagnosis (MBD) focuses on identifying the root causes of system failures when deviations from expected behavior occur. Going beyond the detection of incorrect behavior, MBD extends and complements Runtime Verification (RV) through techniques for localizing faults and determining their possible nature.
This workshop investigates the challenges and open research questions at the intersection of RV and MBD. The topics include formal models, theoretical foundations, and computational approaches specifically designed for integrated RV and diagnosis tasks, covering logic-based, temporal, discrete-event, qualitative, continuous, hybrid, and probabilistic methods. The workshop will also highlight applications in areas such as resilient cyber-physical systems, digital twins, and explainable AI.
Call for Presentations
We invite presentations describing ongoing research, recent results, or overviews of prior work within the workshop’s scope. See the call for presentations for details.
All workshop participants will be required to register for the workshop through the RV 2025 main registration page.
Dates
- Submission of presentation abstracts: until July 18, 2025
- Notification: July 25, 2025
- Workshop: September 15, 2025
Location
The workshop will take place at Inffeldgasse campus of Graz University of Technology in Graz, Austria.
Organizers
- Martin Sachenbacher
University of Applied Sciences Regensburg, Germany - Martin Leucker
University of Lübeck, Germany