Monitoring of Real-Time Properties
- 1 January 2006
- book chapter
- Published by Springer Nature
- 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 VerificationPublished by Springer Nature ,2005
- Efficient Monitoring of ω-LanguagesPublished by Springer Nature ,2005
- Fault Diagnosis Using Timed AutomataPublished by Springer Nature ,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 PathsPublished by Springer Nature ,2003
- A theory of timed automataPublished by Elsevier ,2002
- Synthesizing Monitors for Safety PropertiesPublished by Springer Nature ,2002
- Model-checking in finite state-space systems with fine-grained abstractions using SPINPublished by Springer Nature ,2001
- Event-clock automata: a determinizable class of timed automataTheoretical Computer Science, 1999