Dagstuhl Seminar Proceedings: Runtime Verification 2007

• Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
  07011 Executive Summary -- Runtime Verification.
  
• Stavros Tripakis:
  Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks.
  
• Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee:
  Runtime Verification for Wireless Sensor Network Applications.
  
• Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky:
  07011 Abstracts Collection -- Runtime Verification.