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 
- 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.
Last update Sat May 18 18:21:33 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
