Monitoring of Real-Time Properties

DOI10.1007/11944836_25MaRDI QIDQ5385991zbMATH OpenOpenAlexFDO

Authors Andreas Bauer, Martin Leucker, Christian Schallhart

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

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

Recommendations

• Algorithms for monitoring real-time properties
• Monitoring hyperproperties
• Monitoring timed properties (revisited)
• Constraint-based monitoring of hyperproperties

Cited in

(32)

• Algorithms for monitoring real-time properties
• 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
• Runtime verification for biochemical programs
• An extended framework for passive asynchronous testing
• Impartial Anticipation in Runtime-Verification
• Run-Time Monitoring of Electronic Contracts
• Comparing LTL semantics for runtime verification
• 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
• scientific article; zbMATH DE number 2080059 (Why is no real title available?)
• Which security policies are enforceable by runtime monitors? A survey
• Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited
• Property-based testing for Spark Streaming
• Multi-valued verification of strategic ability
• Runtime verification monitor construction for three-valued PPTL
• On simulation-based probabilistic model checking of mixed-analog circuits
• A counting semantics for monitoring LTL specifications over finite traces
• On monitoring linear temporal properties
• 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
• Refining the safety-liveness classification of temporal properties according to monitorability
• Online causation monitoring of signal temporal logic
• Time for timed monitorability
• Efficient monitoring of timed properties

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

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