Algorithms for monitoring real-time properties

DOI10.1007/s00236-017-0295-4zbMath1395.68185OpenAlexW2593263671MaRDI QIDQ1647773

Eugen Zălinescu, Felix Klaedtke, David A. 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)

Related Items (8)

Monitoring of temporal first-order properties with aggregations ⋮ Unnamed Item ⋮ Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ Runtime enforcement of timed properties using games ⋮ Multi-head Monitoring of Metric Temporal Logic ⋮ Runtime enforcement of timed properties revisited ⋮ Almost Event-Rate Independent Monitoring of Metric Temporal Logic ⋮ Almost event-rate independent monitoring

Uses Software

• Copilot
• AMT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Runtime verification of embedded real-time systems
• Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3--5, 2007. Proceedings
• The complexity of propositional linear temporal logics in simple cases
• Fast multiplication of large numbers
• Monitoring Metric First-Order Temporal Properties
• A theory of sampling for continuous-time metric temporal logic
• Some Recent Results in Metric Temporal Logic
• Time, clocks, and the ordering of events in a distributed system
• The benefits of relaxing punctuality
• Model-checking Timed Temporal Logics
• What good are digital clocks?
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

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