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

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