Dagstuhl Seminar Proceedings: Runtime Verification 2007

Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (Eds.): Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 BibTeX

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