Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions.  The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, runtime symbolic analysis, trace analysis, log file analysis, etc.  RV can be used for many purposes, such as security or safety policy monitoring, debugging, testing, verification, validation, profiling, fault protection, behavior modification (e.g., recovery), etc.  A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formal specifications, analyzed with special algorithms, visualized, etc.

Accepted papers will be published in LNCS.

Topics:

1. •program instrumentation techniques
   

2. •specification languages for writing monitors
   

3. •fault localization
   

4. •dynamic program slicing
   

5. •record-and-replay
   

6. •trace simplification for debugging
   

7. •extraction of monitors from specifications
   

8. •APIs for writing monitors
   

9. •programming language constructs for monitoring
   

10. •model-based monitoring and reconfiguration
    

11. •the use of aspect oriented programming for dynamic analysis
    

12. •algorithmic solutions to minimize runtime monitoring impact
    

13. •combination of static and dynamic analysis
    

14. •full program verification based on runtime verification
    

15. •intrusion detection, security policies, policy enforcement
    

16. •log file analysis
    

17. •model-based test oracles
    

18. •observation-based debugging techniques
    

19. •fault detection and recovery
    

20. •model-based integrated health management and diagnosis
    

21. •program steering and adaptation
    

22. •dynamic concurrency analysis
    

23. •dynamic specification mining
    

24. •metrics and statistical information gathered during runtime
    

25. •program execution visualization
    

26. •data structure repair for error recovery
    

27. •parallel algorithms for efficient monitoring
    

28. •monitoring for effective fault localization and program repair
    

History: The RV series of events started in 2001, as an annual workshop.  The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS.  Starting with year 2010, RV is an international conference. The permanent http://runtime-verification.org/ page contains links to past RV events.