Dagstuhl Seminar Proceedings, Volume 7011,

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