Monitoring of Real-Time Properties

DOI10.1007/11944836_25zbMath1177.68141MaRDI 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

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic

Related Items

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