Fourth International Conference on
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.
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
- 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.
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.
The RV'13 proceedings will be published as a volume of the LNCS
series at Springer
. Submissions must be formatted according to Springer LNCS guidelines
. If necessary, the submission may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.
Submission of papers to RV'13 is handled through EasyChair. The submission link is https://www.easychair.org/conferences/?conf=rv13