RV 2013 : Fourth International Conference on Runtime Verification
Conference Series : Runtime Verification
Call For Papers
RV'13, the Fourth International Conference on Runtime Verification, will take place at INRIA Rennes, France, from 24 to 27 September 2013.
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.
specification languages and formalisms for traces
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
To be announced.
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