Efficient monitoring of timed properties

DOI10.1007/S10703-026-00498-5MaRDI QIDQ7313473zbMATH OpenFDO

Authors Thomas Møller Grosen, Sean Kauffman, Kim G. Larsen, Martin Zimmermann

Publication date 13 August 2026

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10703-026-00498-5

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• \textsc{MightyL}: a compositional translation from MITL to timed automata
• A theory of timed automata
• Algorithms for monitoring real-time properties
• First-Order Timed Runtime Verification Using BDDs
• Formal design and analysis of a gear controller
• Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3--5, 2007. Proceedings
• From \textsc{mtl} to deterministic timed automata
• Handbook of model checking
• scientific article; zbMATH DE number 1696514 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Model-checking for real-time systems
• Monitor-based statistical model checking for weighted metric temporal logic
• Monitoring of Real-Time Properties
• Monitoring timed properties (revisited)
• Online monitoring of metric temporal logic using sequential networks
• Online timed pattern matching using derivatives
• Robust safety of timed automata
• Runtime monitoring of metric first-order temporal properties
• The benefits of relaxing punctuality
• Time for timed monitorability
• Timed pattern matching
• What good are digital clocks?

This page was built for publication: Efficient monitoring of timed properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7313473)