Monitoring timed properties (revisited)

DOI10.1007/978-3-031-15839-1_3OpenAlexW4293399542MaRDI QIDQ2112101

Sean Kauffman, Thomas Møller Grosen, Kim Guldstrand Larsen, Martín G. Zimmermann

Publication date: 18 January 2023

Full work available at URL: https://arxiv.org/abs/2206.14590

zbMATH Keywords

timed automatamonitoringmetric temporal logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Casaal

Cites Work

• Unnamed Item
• Unnamed Item
• Robust safety of timed automata
• A theory of timed automata
• \textsc{MightyL}: a compositional translation from MITL to timed automata
• Online timed pattern matching using derivatives
• Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
• Comparing LTL Semantics for Runtime Verification
• From Mtl to Deterministic Timed Automata
• The benefits of relaxing punctuality
• Failure-aware Runtime Verification of Distributed Systems
• Monitoring of Real-Time Properties
• Timed Pattern Matching
• Formal Approaches to Software Testing
• Lectures on Concurrency and Petri Nets
• CONCUR 2005 – Concurrency Theory