Runtime Verification 2014 (RV'14)

14th International Conference on Runtime Verification

September 22 - September 25, 2014 Toronto, Canada

Results of the Offline track:

Results of the C track:

Results of the Java track:

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)

Due to an error, potentially a timed-out connection to Twitter, this user's tweets are unable to be displayed.

RV’14 gratefully acknowledges the support from the following sponsors:

Results