Monitoring of Real-Time Properties
Top Cited Papers
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 260-272
- https://doi.org/10.1007/11944836_25
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- 18 Run-Time VerificationLecture Notes in Computer Science, 2005
- Efficient Monitoring of ω-LanguagesLecture Notes in Computer Science, 2005
- Fault Diagnosis Using Timed AutomataLecture Notes in Computer Science, 2005
- Generating online test oracles from temporal logic specificationsInternational Journal on Software Tools for Technology Transfer, 2003
- A Logical Characterisation of Event Clock AutomataInternational Journal of Foundations of Computer Science, 2003
- Reasoning with Temporal Logic on Truncated PathsLecture Notes in Computer Science, 2003
- Synthesizing Monitors for Safety PropertiesLecture Notes in Computer Science, 2002
- Model-checking in finite state-space systems with fine-grained abstractions using SPINLecture Notes in Computer Science, 2001
- Event-clock automata: a determinizable class of timed automataTheoretical Computer Science, 1999
- A theory of timed automataTheoretical Computer Science, 1994