Prof. Eric Bodden, Ph.D. » RV 2011 – Call for Papers

RV 2011 – Call for Papers

Eric | March 18, 2011

Deadline is May 8th, still more than six weeks to go!

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.  Topics of interest include, but are not limited to:
  • program instrumentation techniques
  • specification languages for writing monitors
  • dynamic program slicing
  • record-and-replay
  • trace simplification for debugging
  • extraction of monitors from specifications
  • APIs for writing monitors
  • programming language constructs for monitoring
  • model-based monitoring and reconfiguration
  • the use of aspect oriented programming for dynamic analysis
  • algorithmic solutions to minimize runtime monitoring impact
  • combination of static and dynamic analysis
  • full program verification based on runtime verification
  • intrusion detection, security policies, policy enforcement
  • log file analysis
  • model-based test oracles
  • observation-based debugging techniques
  • fault detection and recovery
  • model-based integrated health management and diagnosis
  • program steering and adaptation
  • dynamic concurrency analysis
  • dynamic specification mining
  • metrics and statistical information gathered during runtime
  • program execution visualization
  • data structure repair for error recovery
  • parallel algorithms for efficient monitoring
  • monitoring for effective fault localization and program repair

Read more here. Happy paper writing!