Fourth International Conference on
Runtime Verification
INRIA Rennes, France
24-27 September 2013
RV'13, the Fourth International Conference on Runtime Verification, will take place at INRIA Rennes, France, from 24 to 27 September 2013.
New: Deadline extension until 28 May
About
Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness and reliability; 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 verification and debugging purposes, and after deployment for ensuring reliability, safety and security, and for providing fault containment and recovery.
Topics
- specification languages and formalisms for traces
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- fault detection, localization, recovery and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
Workshop SMC 2013
The First Workshop on Statistical Model Checking will be associated with RV 2013. It will be held the day before RV, 23 September 2013.
Invited Speakers
- Klaus Ostermann, University of Marburg, Germany
- Viktor Kuncak, EPFL, Lausanne, Switzerland
- Martin Leucker, University of Lübeck, Germany
Important Dates
- Abstract submission: 28 May 2013, 23:00 UTC EXTENDED
- Paper submission: 28 May 2013, 23:00 UTC EXTENDED
- Short Paper submission: 30 May 2013, 23:00 UTC
- Notification: 17 June 2013
- Final version: 15 July 2013
Submission and Publication
RV'13 will have three paper categories: regular and tool demonstration papers, and short presentations. Papers in all categories will be reviewed by the program committee.
- Regular papers (page limit 15 pages) must present original, unpublished results. Applications of runtime verification are particularly welcome.
- Tool demonstration papers (page limit 5 pages) should briefly introduce the problem solved by the tool and give the outline of the demonstration.
- Short papers (page limit 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (5-10 minutes) and poster sessions.
Submission of papers to RV'13 is handled through EasyChair. The submission link is https://www.easychair.org/conferences/?conf=rv13
RV'13 Sponsors
