Skip to content

RV 2026

International Conference on Runtime Verification

Software Engineering

Cycle closed, awaiting the next call

All deadlines

Paper submissionJun 16, 2026est.

From past proceedings

Papers in RV's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

27

main DBLP volume

5-year change

-7%

vs 2020

Papers, all years

490

19 years since 2007

Authors per paper

3.7

3.5 in 2015

By an entirely new team

22%

of 2025 papers

Papers per year2007 to 2025
2007: 17 papers2008: 11 papers2009: 13 papers2010: 39 papers2011: 35 papers2012: 30 papers2013: 31 papers2014: 28 papers2015: 28 papers2016: 35 papers2017: 29 papers2018: 28 papers2019: 25 papers2020: 29 papers2021: 19 papers2022: 22 papers2023: 26 papers2024: 18 papers2025: 27 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

monitoringruntimeruntime verificationconformallogicdynamicallyenforcementfairnessimage segmentationllmsrtlola

Venues like RV

  1. FM International Symposium on Formal Methods0.16verification tooltemporal logicverificationruntime verification
  2. ICFEM International Conference on Formal Engineering Methods0.14runtime verificationverificationlogictimed
  3. CAV International Conference on Computer-Aided Verification0.12verification toolverificationtemporal logicspecification
  4. ATVA International Symposium on Automated Technology for Verification and Analysis0.09temporal logicverificationfirst-ordermonitors

Most published at RV

  1. Yliès Falcone2009 to 202326
  2. Klaus Havelund2007 to 202517
  3. Bernd Finkbeiner2009 to 202514
  4. Sanjit A. Seshia2012 to 202412
  5. César Sánchez2014 to 202312

Who publishes here

2025 · papers count once per institution on them

Academia 85%Industry 3%Government and other 12%

Institutions

  1. 1Institute of Science and Technology Austria🇦🇹4
  2. 2University of Trieste🇮🇹3
  3. 3Helmholtz Center for Information Security🇩🇪2
  4. 4Technical University of Munich🇩🇪2
  5. 5Chalmers University of Technology🇸🇪2
  6. 6University of Lübeck🇩🇪2
  7. 7Università di Camerino🇮🇹1
  8. 8University of Southern California🇺🇸1

Countries

  1. Germany7
  2. Austria6
  3. United States6
  4. Italy3
  5. Denmark2
  6. United Kingdom2

Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.