Software Engineering, System Software, and Programming Languages
RV
International Conference on Runtime Verification
Conference editions
3 indexedSource-attributed rosters checked 2026-09-13. 3 collected records; 3 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Official community events page exposes principal chairs only; full committee page unavailable.
2025 Partial roster coverageSource-attributed rosters checked 2026-09-13. 45 collected records; 38 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Official committee page parsed including PC; no reviewer/ERC roster or workshop pages.
2024 Partial roster coverageSource-attributed rosters checked 2026-09-13. 44 collected records; 40 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Official committee page parsed including PC; no reviewer/ERC roster or workshop pages.
2023–2026 collection coverage
Source coverage and identity linking are separate. Unlinked names remain visible in rosters, but do not contribute to personal histories or rankings.
| Year | Source coverage | Published appointments | Source gaps |
|---|---|---|---|
| 2023 | Unavailable | 0 | Official RV23 site certificate expired; no roster reached. Source / reference ↗ |
| 2024 | Partial | 44 | Official committee page parsed including PC; no reviewer/ERC roster or workshop pages. Source / reference ↗ |
| 2025 | Partial | 45 | Official committee page parsed including PC; no reviewer/ERC roster or workshop pages. Source / reference ↗ |
| 2026 | Partial | 3 | Official community events page exposes principal chairs only; full committee page unavailable. Source / reference ↗ |
Standing committees
Series-level snapshotObserved 2026-09-13. This source lists a standing committee without an appointment year; it is not an annual service record. Official source ↗
RV standing steering committee
7 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Houssam AbbasIdentity not yet linked | Steering Committee | Oregon State University | Conference website ↗Checked 2026-09-13 |
| Erika AbrahamIdentity not yet linked | Steering Committee | RWTH Aachen University | Conference website ↗Checked 2026-09-13 |
| Ezio BartocciIdentity not yet linked | Steering Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Yliès FalconeIdentity not yet linked | Steering Committee | Univ. Grenoble Alpes | Conference website ↗Checked 2026-09-13 |
| Klaus HavelundIdentity not yet linked | Steering Committee | NASA’s Jet Propulsion Laboratory | Conference website ↗Checked 2026-09-13 |
| Martin LeuckerIdentity not yet linked | Steering Committee | University of Lübeck | Conference website ↗Checked 2026-09-13 |
| Oleg SokolskyIdentity not yet linked | Steering Committee | University of Pennsylvania | Conference website ↗Checked 2026-09-13 |
CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.