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 price ⋮ A brief account of runtime verification ⋮ Decentralised LTL monitoring ⋮ Monitorability for the Hennessy-Milner logic with recursion ⋮ Finite-trace linear temporal logic: coinductive completeness ⋮ A tableau construction for finite linear-time temporal logic ⋮ Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation ⋮ Quantitative safety and liveness ⋮ Assumption-based runtime verification ⋮ Bridging the gap between single- and multi-model predictive runtime verification ⋮ From LTL to rLTL monitoring: improved monitorability through robust semantics ⋮ Symbolic runtime verification for monitoring under uncertainties and assumptions ⋮ Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation ⋮ Impartial Anticipation in Runtime-Verification ⋮ Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited ⋮ Runtime verification of embedded real-time systems ⋮ Multi-head Monitoring of Metric Temporal Logic ⋮ Development of global specification for dynamically adaptive software ⋮ Almost Event-Rate Independent Monitoring of Metric Temporal Logic ⋮ Organising LTL monitors over distributed systems with a global clock ⋮ Time-triggered runtime verification ⋮ Computer says no: verdict explainability for runtime monitors using a local proof system ⋮ Introduction to the special issue on runtime verification ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Extended Nested Dual System Groups, Revisited ⋮ Determinizing monitors for HML with recursion ⋮ A Theory of Monitors ⋮ Unnamed Item ⋮ A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring ⋮ Contracts Violation: Justification via Argumentation ⋮ Runtime Verification of Component-Based Systems ⋮ Runtime Verification Using a Temporal Description Logic ⋮ Consistently-detecting monitors ⋮ Monitoring timed properties (revisited)
This page was built for publication: Comparing LTL Semantics for Runtime Verification