Dagstuhl Seminar 07011 “Runtime Verification” January 2–6, 2007

Bernd Finkbeiner, Klaus Havelund, Grigore Roşu, Oleg Sokolsky

Research output: Contribution to journalConference articlepeer-review


From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 ‘Runtime Verification’ was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. Over the past few years, runtime verification has emerged as a focused subject in program analysis that bridges the gap between the complexity-haunted field of fully formal verification methods and the ad-hoc field of testing. Other terms for this subject are: program monitoring, dynamic program analysis, and runtime analysis. Thirty researchers participated in the seminar and discussed their recent work and recent trends in runtime verification.

Original languageEnglish (US)
JournalDagstuhl Seminar Proceedings
StatePublished - 2008
EventRuntime Verification 2007 - Wadern, Germany
Duration: Jan 2 2007Jan 6 2007


  • Program monitoring
  • aspect-oriented programming
  • combining static
  • concurrency errors
  • dynamic analysis
  • dynamic program analysis
  • dynamic specification learning
  • fault protection
  • program instrumentation
  • specification languages and logics
  • test oracles

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Control and Systems Engineering


Dive into the research topics of 'Dagstuhl Seminar 07011 “Runtime Verification” January 2–6, 2007'. Together they form a unique fingerprint.

Cite this