The 17th International Conference on Runtime Verification(RV 2017)

September 13-16, Seattle, WA, USA

Call for Papers

Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.

Topics of Interest

• Specification languages
• Monitor construction techniques
• Program instrumentation
• Logging, recording, and replay
• Combination of static and dynamic analysis
• Specification mining and machine learning over runtime traces
• Monitoring techniques for concurrent and distributed systems
• Runtime checking of privacy and security policies
• Statistical model checking
• Metrics and statistical information gathering
• Program/system execution visualization
• Fault localization, containment, recovery and repair
• Integrated vehicle health management (IVHM)

Important Dates

• Abstract deadline : April 24, 2017
• Paper and tutorial deadline : May 1, 2017
• Tutorial notification : May 21, 2017
• Paper notification : June 26, 2017
• Camera-ready deadline : July 24, 2017
• Conference : September 13-16, 2017

User Name : Simon
Posted 23-01-2017 on 10:04:35 AEDT

Related CFPs

ECIJ   Electrical & Computer Engineering: An International Journal
AVC   Advances in Vision Computing: An International Journal
IJMPICT   International Journal of Managing Public Sector Information and Communication Technologies
IJITE   International Journal on Integrating Technology in Education