Abstract | ||
---|---|---|
We present and analyze monitoring algorithms for a safety fragment of metric temporal logics, which differ in their underlying time model. The time models considered have either dense or discrete time domains and are point-based or interval-based. Our analysis reveals differences and similarities between the time models for monitoring and highlights key concepts underlying our and prior monitoring algorithms. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/s00236-017-0295-4 | Acta Inf. |
Keywords | Field | DocType |
key concept,safety fragment,prior monitoring algorithm,discrete time domain,real-time property,time model,metric temporal logic,underlying time model | Data mining,Computer science,Algorithm,Real-time computing,Theoretical computer science,Time model,Temporal logic,Discrete time and continuous time | Conference |
Volume | Issue | ISSN |
55 | 4 | 1432-0525 |
Citations | PageRank | References |
20 | 0.76 | 30 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
David A. Basin | 1 | 4930 | 281.93 |
Felix Klaedtke | 2 | 403 | 23.65 |
Eugen Zălinescu | 3 | 150 | 6.04 |