THE PEOPLE BEHIND THE CONFERENCE
RV 2025
International Conference on Runtime Verification
Source-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.
RV 2025 committees
45 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Ezio BartocciIdentity not yet linked | General Chair | TU Wien, Austria | Conference website ↗Checked 2026-09-13 |
| Bettina KönighoferIdentity not yet linked | Program Chairs | Graz University of Technology, Austria | Conference website ↗Checked 2026-09-13 |
| Hazem TorfahIdentity not yet linked | Program Chairs | Chalmers University of Technology, Sweden | Conference website ↗Checked 2026-09-13 |
| Roderick BloemIdentity not yet linked | Local Chair | Graz University of Technology, Austria | Conference website ↗Checked 2026-09-13 |
| Martin TapplerIdentity not yet linked | Publicity Chair | TU Wien, Austria | Conference website ↗Checked 2026-09-13 |
| Houssam AbbasIdentity not yet linked | PC Members | Oregon State University | Conference website ↗Checked 2026-09-13 |
| Erika AbrahamIdentity not yet linked | PC Members | RWTH Aachen University | Conference website ↗Checked 2026-09-13 |
| Borzoo BonakdarpourIdentity not yet linked | PC Members | Michigan State University | Conference website ↗Checked 2026-09-13 |
| Francesca CairoliIdentity not yet linked | PC Members | University of Trieste | Conference website ↗Checked 2026-09-13 |
| Marek ChalupaIdentity not yet linked | PC Members | IST Austria | Conference website ↗Checked 2026-09-13 |
| Chih-Hong ChengIdentity not yet linked | PC Members | Chalmers University of Technology | Conference website ↗Checked 2026-09-13 |
| Michele ChiariIdentity not yet linked | PC Members | TU Wien | Conference website ↗Checked 2026-09-13 |
| Thao DangIdentity not yet linked | PC Members | CNRS | Conference website ↗Checked 2026-09-13 |
| Jyotirmoy V. DeshmukhIdentity not yet linked | PC Members | University of Southern California | Conference website ↗Checked 2026-09-13 |
| Ylies FalconeIdentity not yet linked | PC Members | Université Grenoble Alpes | Conference website ↗Checked 2026-09-13 |
| Chuchu FanIdentity not yet linked | PC Members | MIT | Conference website ↗Checked 2026-09-13 |
| Marie FarrellIdentity not yet linked | PC Members | The University of Manchester | Conference website ↗Checked 2026-09-13 |
| Bernd Finkbeiner | PC Members | CISPA Helmholtz Center for Information Security | Conference website ↗Checked 2026-09-13 |
| Daniel J. FremontIdentity not yet linked | PC Members | University of California, Santa Cruz | Conference website ↗Checked 2026-09-13 |
| Klaus HavelundIdentity not yet linked | PC Members | NASA’s Jet Propulsion Laboratory | Conference website ↗Checked 2026-09-13 |
| Bardh Hoxha | PC Members | Toyota Research Institute North America | Conference website ↗Checked 2026-09-13 |
| Sebastian Junges | PC Members | Radboud University | Conference website ↗Checked 2026-09-13 |
| Violet Ka I PunIdentity not yet linked | PC Members | Western Norway University of Applied Sciences | Conference website ↗Checked 2026-09-13 |
| Michaela KlauckIdentity not yet linked | PC Members | Bosch | Conference website ↗Checked 2026-09-13 |
| Jan KretinskyIdentity not yet linked | PC Members | Masaryk University Brno | Conference website ↗Checked 2026-09-13 |
| Kim Guldstrand LarsenIdentity not yet linked | PC Members | Aalborg University | Conference website ↗Checked 2026-09-13 |
| Martin LeuckerIdentity not yet linked | PC Members | University of Luebeck | Conference website ↗Checked 2026-09-13 |
| Konstantinos Mamouras | PC Members | Rice University | Conference website ↗Checked 2026-09-13 |
| Umang Mathur | PC Members | National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Anastasia Mavridou | PC Members | KBR / NASA Ames Research Center KBR · NASA Ames Research Center | Conference website ↗Checked 2026-09-13 |
| Stefan MitschIdentity not yet linked | PC Members | DePaul University | Conference website ↗Checked 2026-09-13 |
| Laura NenziIdentity not yet linked | PC Members | University of Trieste | Conference website ↗Checked 2026-09-13 |
| Dejan NickovicIdentity not yet linked | PC Members | Austrian Institute of Technology AIT | Conference website ↗Checked 2026-09-13 |
| Gordon PaceIdentity not yet linked | PC Members | University of Malta | Conference website ↗Checked 2026-09-13 |
| Nicola PaolettiIdentity not yet linked | PC Members | King’s College London | Conference website ↗Checked 2026-09-13 |
| Corina PasareanuIdentity not yet linked | PC Members | Carnegie Mellon University Silicon Valley, NASA Ames Carnegie Mellon University Silicon Valley · Ames Research Center | Conference website ↗Checked 2026-09-13 |
| Doron PeledIdentity not yet linked | PC Members | Bar Ilan University | Conference website ↗Checked 2026-09-13 |
| Cesar SanchezIdentity not yet linked | PC Members | IMDEA Software Institute | Conference website ↗Checked 2026-09-13 |
| Gerardo SchneiderIdentity not yet linked | PC Members | Chalmers University of Technology and University of Gothenburg Chalmers University of Technology · University of Gothenburg | Conference website ↗Checked 2026-09-13 |
| Sanjit A. SeshiaIdentity not yet linked | PC Members | UC Berkeley | Conference website ↗Checked 2026-09-13 |
| Oleg SokolskyIdentity not yet linked | PC Members | University of Pennsylvania | Conference website ↗Checked 2026-09-13 |
| Dmitriy Traytel | PC Members | University of Copenhagen | Conference website ↗Checked 2026-09-13 |
| Masaki WagaIdentity not yet linked | PC Members | Kyoto University | Conference website ↗Checked 2026-09-13 |
| Changshun WuIdentity not yet linked | PC Members | Université Grenoble Alpes | Conference website ↗Checked 2026-09-13 |
| Teng ZhangIdentity not yet linked | PC Members | Aptos Labs | Conference website ↗Checked 2026-09-13 |