posted by user: gauwin || 4609 views || tracked by 13 users: [display]

RV 2013 : Fourth International Conference on Runtime Verification

FacebookTwitterLinkedInGoogle


Conference Series : Runtime Verification
 
Link: http://rv2013.gforge.inria.fr/
 
When Sep 24, 2013 - Sep 27, 2013
Where Rennes, France
Abstract Registration Due Apr 28, 2013
Submission Deadline May 5, 2013
Notification Due Jun 17, 2013
Final Version Due Jul 15, 2013
Categories    verification   formal methods
 

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.


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

Related Resources

CAV 2020   Computer Aided Verification
CONISOFT 2020   The 8th IEEE International Conference on Software Engineering Research and Innovation
CPP 2021   Certified Programs and Proofs
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ARCS 2020   33RD INTERNATIONAL CONFERENCE ON ARCHITECTURE OF COMPUTING SYSTEMS
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
SETTA 2020   Symposium on Dependable Software Engineering Theories, Tools and Applications
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)