Runtime Verification Case-Studies Workshop 2025 (RVCase'25)

Call for Papers

Despite the growing popularity of Runtime Verification (RV) in both safety-critical and non-safety-critical applications, few publicly available examples exist of formally-specified systems for RV. Published examples of system specifications can provide a shared vehicle for researchers and practitioners to discuss the applicability of their ideas, and can assist in comparing the viability of approaches. The Runtime Verification Case-Studies Workshop (RVCase) is a forum to share and discuss sample applications and their specifications that have been collected by the RV community. The goal of the workshop is to identify specifications in various formalisms for a range of systems. The workshop is open to submissions from both researchers and practitioners and aims to include as many examples of systems and their specifications as possible.

Topics of Interest

Program for the Workshop - September 15, 2025

08:55-9:00 Opening
09:00-10:00 Session 1: Attend the first VASSAL keynote
A Box Full of Diamonds: The Many Facets of Runtime Verification
Dejan Nickovic
10:00-10:30 Coffee break
10:30-12:10 Session 2: RV case studies (4 x 25 min)
  • A Case Study on Runtime Verification of Continuous Deployment Process
    Shoma Ansai and Masaki Waga
  • Bug Finding in Dräger's Medical Devices: Field Experience with LoLa 4D
    Normann Decker, Martin Leucker, Torben Scheffel, Michael Schulz and Daniel Thoma
  • Case Study: Adaptive Extension to Safety Monitoring for a Cobot
    Morten Haahr Kristensen, Yannick Bollmann, Lukas Esterle, Cláudio Gomes, Peter Gorm Larsen, Robert Scharping and Thomas Wright
  • Tiny Drone, Tiny Resources: Deploying RTLola Monitors on the Crazyflie Platform
    Bernd Finkbeiner, Jan Baumeister, Florian Kohn, Frederik Scheerer and Vihaan Bhaduri
12:10-13:30 Lunch break
13:30-14:45 Session 3: RV in the context of Formal Methods (3 x 25 min)
  • SpecMon: Unifying Verification and Monitoring for WireGuard
    Kevin Morio and Robert Künnemann
  • Recombinable Benchmarks and Tools
    Simon Dierl and Falk Howar
  • Quint Specifications for Design and Testing
    Ivan Gavran
14:45-15:15 Coffee break
15:15-15:45 Discussion on the future of RV Case Studies

Submissions

Artifacts of Interest

Submission

Submissions are handled via EasyChair. All accepted submissions will be informally published via the RVCase website. RVCase accepts submission of any format and length, including presentation abstracts (1-2 pages in LNCS style). There are no page limits. Authors of all accepted submissions will present their work at the workshop (in person).

Artifact submission should be via link to a public URI. Artifacts will be published on the RVCase website.

Timeline

Organizers