14th International Conference on Runtime Verification
September 22 - September 25, 2014 Toronto, Canada
Ezio Bartocci, (TU-Vienna, Austria), Chair
Alastair Donaldson (Imperial College London, UK)
Dawson Engler (Stanford University, USA)
Ylies Falcone (Université Joseph Fourier, France)
Klaus Havelund (NASA/JPL, USA)
Leonardo Mariani (University of Milano Bicocca, Italy)
Michael Whalen (University of Minnesota, USA)
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:
