2nd International Conference on


RV 2011, September 27 - September 30, 2011

San Francisco, California

at the Historic Fairmont Hotel


Important Dates

June 12: Papers due (Firm)

(Deadline Extended)

June 19: Tutorial and tool demo proposals due

(Deadline Extended)

July 31: Author notification

Aug 21: Camera ready due


Dawson Engler,

    Stanford University

Cormac Flanagan,

    UC Santa Cruz

Wolfgang Grieskamp,


Sharad Malik,

    Princeton University

Steven P. Reiss,

    Brown University




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.


  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.


Welcome to RV 2011

Historic Fairmont Hotel

San Francisco