Monitoring of Real-Time Properties

DOI10.1007/11944836_25zbMath1177.68141OpenAlexW1535889317MaRDI QIDQ5385991

Andreas Bauer, Christian Schallhart, Martin Leucker

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_25

Mathematics Subject Classification ID

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

Related Items (22)

Runtime verification for biochemical programs ⋮ A brief account of runtime verification ⋮ An extended framework for passive asynchronous testing ⋮ Bridging the gap between single- and multi-model predictive runtime verification ⋮ Runtime Verification with Imperfect Information Through Indistinguishability Relations ⋮ Symbolic runtime verification for monitoring under uncertainties and assumptions ⋮ Optimized temporal monitors for SystemcC ⋮ Which security policies are enforceable by runtime monitors? A survey ⋮ Impartial Anticipation in Runtime-Verification ⋮ Run-Time Monitoring of Electronic Contracts ⋮ Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited ⋮ Topology, monitorable properties and runtime verification ⋮ Runtime verification for dynamic architectures ⋮ Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming ⋮ On simulation-based probabilistic model checking of mixed-analog circuits ⋮ Property-Based Testing for Spark Streaming ⋮ Matching Trace Patterns with Regular Policies ⋮ A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring ⋮ Safe Runtime Verification of Real-Time Properties ⋮ Multi-valued Verification of Strategic Ability ⋮ Runtime Verification Using a Temporal Description Logic ⋮ Monitoring timed properties (revisited)

This page was built for publication: Monitoring of Real-Time Properties