Time for timed monitorability

DOI10.4230/LIPICS.CONCUR.2025.19MaRDI QIDQ7310290zbMATH OpenFDO

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

Publication date 5 August 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2025.19

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• \textsc{MightyL}: a compositional translation from MITL to timed automata
• A note on monitors and Büchi automata
• A theory of timed automata
• Formal Approaches to Software Testing
• Formal Methods for the Design of Real-Time Systems
• From LTL to rLTL monitoring: improved monitorability through robust semantics
• scientific article; zbMATH DE number 1303059 (Why is no real title available?)
• scientific article; zbMATH DE number 1157649 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Monitorability for the Hennessy-Milner logic with recursion
• Monitoring of Real-Time Properties
• Monitoring the Full Range of ω-Regular Properties of Stochastic Systems
• Monitoring timed properties (revisited)
• On distributed monitoring of asynchronous systems
• Refining the safety-liveness classification of temporal properties according to monitorability
• The benefits of relaxing punctuality
• The computational complexity of universality problems for prefixes, suffixes, factors, and subwords of regular languages
• Topology, monitorable properties and runtime verification

Cited in

(1)

• Efficient monitoring of timed properties

This page was built for publication: Time for timed monitorability

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