14th International Conference on Runtime Verification
September 22 - September 25, 2014 Toronto, Canada
Intermediate Phase (April 1, 2014 -> April 15, 2014)
The organizers collect the benchmarks from participants and index the contributions so that the participants are provided with a list of pairs (program_id, property_id).
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:
