Call for Presentations: Workshop on Runtime Verification meets Diagnosis (RVmeetsMBD 2025)

[martin.sachenbacher]

Dear fellow DX community,

one week before DX'25, Martin Leucker and myself are organizing a one-day satellite workshop at the International Conference on Runtime Verification (RV 2025) in Graz (Austria) on Runtime Verification meets Diagnosis (RVmeetsMBD).

The aim is to investigate the challenges and open research questions at the intersection of runtime verification and model-based diagnosis through presentations and focused discussions. So it may be an interesting opportunity to meet people from both areas.

Please find a call for presentations below. There will be no formal proceedings, and submissions may include work that is already published or currently under review elsewhere.

Participants will be required to register through the RV 2025 main page, but the registration fee is quite moderate (50 Euro including lunch, coffee breaks, and all sessions on the workshop day).

Best regards & hope to see you,

Martin

-------------------------

Workshop on Runtime Verification meets Diagnosis (RVmeetsMBD 2025)

Co-located with 25th International Conference on Runtime Verification (RV 2025)
Monday, September 15, 2025
Graz (Austria)
https://rvmeetsmdb2025.digital-hub.sh/

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 aims to investigate the challenges and open research questions at the intersection of RV and MBD through presentations and focused discussions, bringing together experts from both fields.


Call for Presentations

We invite presentation abstracts (1–2 pages) describing ongoing research, recent results, or overviews of prior work within the workshop’s scope.
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. We also welcome practical applications in areas such as reliable software systems, cyber-physical and embedded systems, digital twins, and explainable AI.
Submissions may include work that is already published or currently under review. There will be no formal proceedings, but the accepted presentations will be listed on the workshop’s website.
Submissions are handled via EasyChair at https://easychair.org/conferences?conf=rvmeetsmbd2025


Dates

* Submission of presentation abstracts: until July 18, 2025
* Acceptance notification: July 25, 2025
* Workshop: September 15, 2025


Organizers

* Martin Sachenbacher <martin.sa...@oth-regensburg.de> (University of Applied Sciences Regensburg, Germany)
* Martin Leucker <leu...@isp.uni-luebeck.de> (University of Lübeck, Germany)


Website

For more details, please visit the RVmeetsMBD 2025 website at https://rvmeetsmdb2025.digital-hub.sh/