Call for Papers - RV 2025

We are pleased to invite you to submit papers for the 25th International Conference on Runtime Verification (RV25), which will take place in Graz, Austria from September 15 to September 19, 2025.

Important Dates

• Paper submission: June 6, 2025 (updates possible until June 10)
• Tutorial proposal submission: June 6, 2025
• Notification: 11 July, 2025
• Camera-ready: 27 July, 2025
• Workshops: 15 September, 2025
• Conference: 16-19 September, 2025

All deadlines are anywhere on Earth (AoE).

Objectives and Scope

Runtime verification is concerned with the monitoring and analysis of the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness. They provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.

Runtime verification can be used prior to deployment for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security, and for providing fault containment and recovery as well as online system repair.

Topics of Interest

The topics of the conference include, but are not limited to:

• Specification languages for monitoring
• Monitor construction techniques
• Program instrumentation
• Logging, recording, and replay
• Combination of static and dynamic analysis
• Specification mining and machine learning over runtime traces
• Monitoring techniques for concurrent and distributed systems
• Runtime checking of privacy and security policies
• Metrics and statistical information gathering
• Program/system execution visualization
• Fault localization, containment, resilience, recovery, and repair
• Monitoring systems with learning-enabled components
• Dynamic type checking
• Runtime verification for autonomy and runtime assurance
• Runtime verification for assurance cases
• Out-of-distribution and anomaly detection in ML-based systems
• Safe reinforcement learning

Paper Categories

There are four categories of papers that can be submitted:

Regular Papers

• Page Limit: Up to 16 pages (excluding references).
• Content: Should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification.
• The Program Committee of RV 2025 will give a Springer-sponsored Best Paper Award to one eligible regular paper.

Short Papers

• Page Limit: Up to 8 pages (excluding references).
• Content: May present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains.

Tool Demonstration Papers

• Page Limit: Up to 8 pages (excluding references).
• Content: Should present a new tool, a new tool component, or novel extensions to existing tools supporting runtime verification.
• The paper must include information on tool availability, maturity, and selected experimental results, and it should provide a link to a website containing the theoretical background and user guide. Authors are strongly encouraged to make their tools and benchmarks available with their submission.

Benchmark Papers

• Page Limit: Up to 8 pages (excluding references).
• Content: Should describe a benchmark, suite of benchmarks, or benchmark generator useful for evaluating RV tools. Papers should include information on what the benchmark consists of and its purpose, how to obtain and use it, an argument for its usefulness to the broader RV community, and may include any existing results. Broader definitions of benchmarks are welcome, especially those that are tool-agnostic, contain verdict labels, and are demonstrably challenging.
• Papers will be evaluated by a separate benchmark evaluation panel.

Submission Instructions

• Format: Submitted papers must use the LNCS/Springer style.
• Originality: Papers must be original work and not submitted for publication elsewhere.
• Language: Papers must be written in English.
• Submission Platform: Submit electronically (in PDF format) using the EasyChair submission page.
• Appendices: Additional details omitted due to space limitations may be included in a clearly marked appendix, which will be reviewed at the discretion of reviewers but not included in the proceedings.
• Presentation: At least one author of each accepted paper must register and present the contribution at RV 2025.

Tutorial Track

• Tutorials are up-to-two-hour presentations on a selected topic.
• Publication: Tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings.
• Proposal Requirements: A proposal must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and biographies of the presenters. The proposal must not exceed 2 pages.
• Proposal Deadline: Same as regular papers (June 6, 2025).

Workshops

RV’25 hosts three co-located workshops on September 15, 2025:

• VASSAL
• RVmeetsMBD
• RVCase

For more information, visit the workshop page.

Organization

• General Chair: Ezio Bartocci (TU Wien, Austria)
• Program Chairs: Bettina Könighofer (Graz University of Technology, Austria), Hazem Torfah (Chalmers University of Technology, Sweden)
• Local Chair: Roderick Bloem (Graz University of Technology, Austria)
• Publicity Chair: Martin Tappler (TU Wien, Austria)

Sponsors

The RV 2025 conference is sponsored by: RV25