Runtime Verification

RV

Events 2001 - 2013


Background

The Runtime verification workshop series was initiated in 2001, and workshops have occurred each year since then. The objective of these events is to bring scientists from both academia and industry together to debate on how to monitor, analyze and guide the execution of programs. The ultimate longer term goal is to investigate the use of lightweight formal methods applied during the execution of programs from the following two points of view. On the one hand, whether runtime application of formal methods is a viable complement to the traditional methods proving programs correct before their execution, such as model checking and theorem proving. On the other hand, whether formality improves traditional ad-hoc monitoring techniques used in performance monitoring, distributed debugging, etc. Dynamic program monitoring and analysis can occur during testing or during operation.

The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS.

Starting with year 2010, RV has become an international yearly conference.

Future Events

RV'13 Fourth International Conference on Runtime Verification, Rennes, France, September 24-27, 2013

Past Conferences

RV'10 First International Conference on Runtime Verification, St. Julians, Malta, November 1-4, 2010
RV'11 Second International Conference on Runtime Verification, San Francisco, California, USA, September 27-30, 2011
RV'12 Third International Conference on Runtime Verification, Istanbul, Turkey, September 25-28, 2012

Past Workshops

RV'01 First Workshop on Runtime Verification, Paris, France, July 2001
RV'02 Second Workshop on Runtime Verification, Copenhagen, Denmark, July 2002
RV'03 Third Workshop on Runtime Verification, Boulder, USA, July 2003
RV'04 Fourth Workshop on Runtime Verification, Barcelona, Spain, April 2004
RV'05 Fifth Workshop on Runtime Verification, Edinburgh, Scotland, July 2005
FATES/RV'06 First Joint Workshop on Formal Aspects of Testing and Runtime Verification, Seattle, USA, August 2006
RV'07 Seventh Workshop on Runtime Verification, Vancouver, Canada, March 2007
RV'08 Eighth Workshop on Runtime Verification, Budapest, Hungary, March 2008
RV'09 Ninth Workshop on Runtime Verification, Grenoble, France, June 2009

Other Past Events

Dagstuhl'07 Dagstuhl seminar on Runtime Verification, Schloss Dagstuhl, Saarland, Germany, January 3-6, 2007
Dagstuhl'10 Dagstuhl seminar on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, Schloss Dagstuhl, Saarland, Germany, November 7-12, 2010


Discussion Lists etc.

RV discussion list

Wikipedia (add your information/view)

Steering Committee

Howard Barringer University of Manchester
Saddek Bensalem Verimag and University Joseph Fourier
Klaus Havelund (co-chair) NASA's Jet Propulsion Laboratory
Gerard Holzmann NASA's Jet Propulsion Laboratory
Insup Lee University of Pennsylvania
Grigore Rosu (co-chair) University of Illinois, Urbana-Champaign
Oleg Sokolsky University of Pennsylvania