Algorithms for monitoring real-time properties

DOI10.1007/S00236-017-0295-4MaRDI QIDQ1647773zbMATH OpenOpenAlexFDO

Authors Felix Klaedtke, Eugen Zălinescu, David Basin

Publication date 26 June 2018

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-017-0295-4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Monitoring temporal logic with clock variables
• Monitoring of Real-Time Properties
• Monitoring metric first-order temporal properties
• Runtime monitoring of metric first-order temporal properties

Cites work

• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• A theory of sampling for continuous-time metric temporal logic
• Fast multiplication of large numbers
• Faster integer multiplication
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3--5, 2007. Proceedings
• Model-checking timed temporal logics
• Monitoring metric first-order temporal properties
• Runtime monitoring of metric first-order temporal properties
• Runtime verification of embedded real-time systems
• Some Recent Results in Metric Temporal Logic
• The benefits of relaxing punctuality
• The complexity of propositional linear temporal logics in simple cases
• Time, clocks, and the ordering of events in a distributed system
• What good are digital clocks?

Cited in

(16)

• Monitoring Temporal Properties of Stochastic Systems
• Monitoring of temporal first-order properties with aggregations
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 7589526 (Why is no real title available?)
• Monitoring temporal logic with clock variables
• Runtime enforcement of timed properties revisited
• Monitoring of Real-Time Properties
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• Almost event-rate independent monitoring of metric temporal logic
• Almost event-rate independent monitoring
• Algebraic quantitative semantics for efficient online temporal monitoring
• Symbolic monitoring against specifications parametric in time and data
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Runtime enforcement of timed properties using games
• Explainable online monitoring of metric temporal logic
• Multi-head monitoring of metric temporal logic

Describes a project that uses

Uses Software

• AMT
• Copilot

This page was built for publication: Algorithms for monitoring real-time properties

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