Monitoring of Real-Time Properties
From MaRDI portal
Publication:5385991
DOI10.1007/11944836_25zbMath1177.68141MaRDI QIDQ5385991
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
Related Items
On simulation-based probabilistic model checking of mixed-analog circuits, 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, 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