Comparing LTL Semantics for Runtime Verification

From MaRDI portal
Publication:3569195

DOI10.1093/logcom/exn075zbMath1213.68363OpenAlexW1975880855MaRDI QIDQ3569195

Andreas Bauer, Martin Leucker, Christian Schallhart

Publication date: 17 June 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/17d419d93c0800c84edbb2b7228ba42bc22b83e2




Related Items (34)

Incorporating monitors in reactive synthesis without paying the priceA brief account of runtime verificationDecentralised LTL monitoringMonitorability for the Hennessy-Milner logic with recursionFinite-trace linear temporal logic: coinductive completenessA tableau construction for finite linear-time temporal logicConcurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluationQuantitative safety and livenessAssumption-based runtime verificationBridging the gap between single- and multi-model predictive runtime verificationFrom LTL to rLTL monitoring: improved monitorability through robust semanticsSymbolic runtime verification for monitoring under uncertainties and assumptionsObservation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentationImpartial Anticipation in Runtime-VerificationRuntime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisitedRuntime verification of embedded real-time systemsMulti-head Monitoring of Metric Temporal LogicDevelopment of global specification for dynamically adaptive softwareAlmost Event-Rate Independent Monitoring of Metric Temporal LogicOrganising LTL monitors over distributed systems with a global clockTime-triggered runtime verificationComputer says no: verdict explainability for runtime monitors using a local proof systemIntroduction to the special issue on runtime verificationMonitoring Metric First-Order Temporal PropertiesExtended Nested Dual System Groups, RevisitedDeterminizing monitors for HML with recursionA Theory of MonitorsUnnamed ItemA lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoringContracts Violation: Justification via ArgumentationRuntime Verification of Component-Based SystemsRuntime Verification Using a Temporal Description LogicConsistently-detecting monitorsMonitoring timed properties (revisited)




This page was built for publication: Comparing LTL Semantics for Runtime Verification