Scope:
Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:
Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.
Technical Research Papers Track:
Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV’14 to present the paper. Papers must be submitted electronically using theEasyChair system.
Program committee
Borzoo Bonakdarpour (University of Waterloo, Canada), co-chair
Scott Smolka (Stony Brook Universtiy, USA), co-chair
Gul Agha (University of Illinois at Urbana-Champaign, USA)
Thomas Ball (Microsoft Research, Redmond, USA)
Howard Barringer (The University of Manchester, UK)
Ezio Bartocci (TU Wien, Austria)
David Basin (ETH Zurich, Switzerland)
Saddek Bensalem (Verimag, France)
Eric Bodden (TU – Darmstadt, Germany)
Ivona Brandic (TU Wien, Austria)
Marsha Chechik (University of Toronto, Canada)
Michael Clarkson (George Washington University, USA)
Laura Dillon (Michigan State University, USA)
Shlomi Dolev (Ben Gurion University, Israel)
Alastair Donaldson (Imperial College London, UK)
Dawson Engler (Stanford University, USA)
Ylies Falcone (Université Joseph Fourier, France)
Vijay Garg (University of Texas at Austin, USA)
Steve Goddard (University of Nebraska-Lincoln, USA)
Ganesh Gopalakrishnan (University of Utah, USA)
Wolfgang Grieskamp (Google, USA)
Radu Grosu (TU- Wien, Austria)
Klaus Havelund (NASA/JPL, USA)
Mats Heimdahl (University of Minnesota, USA)
Laurie Hendren (McGill University, Canada)
Gerard Holzmann (NASA/JPL, USA)
Daniel Keren (Haifa University, Israel)
Sandeep Kulkarni (Michigan State University, USA)
Marta Kwiatkowska (University of Oxford, UK)
Insup Lee (University of Pennsylvania, USA)
Axel Legay (IRISA/INRIA, France)
Martin Leucker (University of Lübeck, Germany)
Leonardo Mariani (University of Milano Bicocca, Italy)
Patrick Meredith (University of Illinois at Urbana-Champaign, USA)
David Naumann (Stevens Institute of Technology, USA)
Doron Peled (Bar Ilan University, Israel)
Mauro Pezze (University of Lugano, Switzerland)
Lee Pike (Galois Inc., USA)
Zvonimir Rakamaric (University of Utah, USA)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Andrey Rybalchenko (TU-Munich, Germany)
Andre Schiper (EPFL, Switzerland)
Oleg Sokolsky (University of Pennsylvania, USA)
Scott Stoller (Stony Brook University, USA)
Serdar Tasiran (Koc University, Turkey)
Michael Whalen (University of Minnesota, USA)
Lenore Zuck (University of Illinois at Chicago, USA)
Tool Demonstrations Track:
The aim of the RV 2014 tool demonstration track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV’14 to present the paper. Papers must be submitted electronically using the EasyChair system.
Tool papers should meet the following criteria:
Evaluation
Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include:
Tool Demonstration Committee
Ezio Bartocci, (TU-Vienna, Austria), Chair
Eric Bodden (TU – Darmstadt, Germany)
Alastair Donaldson (Imperial College London, UK)
Dawson Engler (Stanford University, USA)
Ylies Falcone (Université Joseph Fourier, France)
Klaus Havelund (NASA/JPL, USA)
Michael Whalen (University of Minnesota, USA)
Important Dates:
Both research papers and tool demonstration tracks will follow the following timeline:
Competition on Software for Runtime Verification (CSRV-2014)
A satellite event of RV’14 is the first International Competition on Software for Runtime Verification (CRVS’14). The main aims of CSRV-2014 competition are to:
CRVS’14 will follow the following time line:
For more information, visit http://rv2014.imag.fr/monitoring-competition or contact the event organizers: