Dagstuhl Seminar Proceedings 07011

Runtime Verification

B. Finkbeiner, K. Havelund, G. Rosu, O. Sokolsky (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 07011, 02.01. - 06.01.2007
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Finkbeiner, Bernd
  • Havelund, Klaus
  • Lee, Insup
  • Regehr, John
  • Rosu, Grigore
  • Sammapun, Usa
  • Sokolsky, Oleg
  • Tripakis, Stavros
    		•

    		  
    07011 Abstracts Collection -- Runtime Verification
    Authors: Finkbeiner, Bernd ; Havelund, Klaus ; Rosu, Grigore ; Sokolsky, Oleg

    Abstract | Document (192 KB) | BibTeX

    07011 Executive Summary -- Runtime Verification
    Authors: Finkbeiner, Bernd ; Havelund, Klaus ; Rosu, Grigore ; Sokolsky, Oleg

    Abstract | Document (99 KB) | BibTeX

    Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks
    Authors: Tripakis, Stavros

    Abstract | Document (76 KB) | BibTeX

    Runtime Verification for Wireless Sensor Network Applications
    Authors: Sokolsky, Oleg ; Sammapun, Usa ; Regehr, John ; Lee, Insup

    Abstract | Document (212 KB) | BibTeX

    		  



    DROPS-Home | Imprint | Privacy
    Published by LZI