RV 2013 - Fourth International Conference on Runtime Verification

Fourth International Conference on
Runtime Verification
RV'13
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.
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
Invited Speakers
To be announced.
Important Dates
Abstract submission: 28 April 2013, 23:00 UTC
Paper submission: 5 May 2013, 23:00 UTC
Notification: 17 June 2013
Final version: 15 July 2013
Submission and Publication
The RV'13 proceedings will be published as a volume of the LNCS series at Springer.
Submission of papers to RV'13 is handled through EasyChair. The submission link is https://www.easychair.org/conferences/?conf=rv13