The benefits of relaxing punctuality
Journal of the ACM (JACM)
Point vs. interval-based query languages for temporal databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Some Recent Results in Metric Temporal Logic
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Model-checking Timed Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Monitoring Algorithms for Metric Temporal Logic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
AMT: a property-based monitoring tool for analog systems
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Monitoring security policies with metric first-order temporal logic
Proceedings of the 15th ACM symposium on Access control models and technologies
A theory of sampling for continuous-time metric temporal logic
ACM Transactions on Computational Logic (TOCL)
Copilot: a hard real-time runtime monitor
RV'10 Proceedings of the First international conference on Runtime verification
Monitoring of real-time properties
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Enforceable Security Policies Revisited
ACM Transactions on Information and System Security (TISSEC)
Runtime verification of microcontroller binary code
Science of Computer Programming
| Hi-index | 0.00 |
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.