14th International Conference on Runtime Verification
September 22 - September 25, 2014 Toronto, Canada
General Chair:
Ylies Falcone (Université Joseph Fourier, France)
Web Chair:
Ayoub Nouri (Verimag, France)
Co-Chairs:
Andreas Bauer (NICTA, Software Systems Research Group)
Klaus Havelund (NASA Jet Propulsion Laboratory)
Pengcheng Zhang (Nanjing University, China)
General Chair:
Sebastian Fischmeister
(University of Waterloo, Canada)
PC co-Chairs:
Borzoo Bonakdarpour
(McMaster University, Canada)
Scott Smolka
(Stony Brook Universtiy, USA)
Tools Track Chair:
Ezio Bartocci
(TU Vienna, Austria)
Runtime Monitoring Competition Co-Chairs:
Ezio Bartocci
(TU Vienna, Austria)
Borzoo Bonakdarpour
(McMaster University, Canada)
Ylies Falcone
(Université Joseph Fourier, France)
Publicity Chair:
Ylies Falcone
(Université Joseph Fourier, France)
Local Arrangements Chair:
Patrick Lam
(University of Waterloo, Canada)
Tutorials and Publications Chair:
Nadia Polikarpova
(ETH Zurich, Switreland)
Kevin Driscoll
(Honeywell, USA)
Assaf Schuster
(Technion, Israel)
Jeannette Wing
(Carnegie Mellon University, USA)
RV’14 gratefully acknowledges the support from the following sponsors:
