Comparing LTL semantics for runtime verification
From MaRDI portal
Recommendations
Cited in
(48)- Decentralized asynchronous crash-resilient runtime verification
- An Operational Guide to Monitorability
- Impartial Anticipation in Runtime-Verification
- A tableau construction for finite linear-time temporal logic
- A theory of monitors (extended abstract)
- Introduction to the special issue on runtime verification
- An LTL proof system for runtime verification
- Computer says no: verdict explainability for runtime monitors using a local proof system
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation
- Refining the safety-liveness classification of temporal properties according to monitorability
- Almost event-rate independent monitoring of metric temporal logic
- Trace-length independent runtime monitoring of quantitative policies in LTL
- Monitorability for the Hennessy-Milner logic with recursion
- A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring
- scientific article; zbMATH DE number 7056237 (Why is no real title available?)
- A counting semantics for monitoring LTL specifications over finite traces
- Monitoring timed properties (revisited)
- Assumption-based runtime verification
- The ins and outs of first-order runtime verification
- Comparing trace expressions and linear temporal logic for runtime verification
- Decentralized Asynchronous Crash-resilient Runtime Verification
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
- Incorporating monitors in reactive synthesis without paying the price
- Monitoring metric first-order temporal properties
- Symbolic runtime verification for monitoring under uncertainties and assumptions
- Towards the exact complexity of realizability for safety LTL
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited
- Finite-trace linear temporal logic: coinductive completeness
- From LTL to rLTL monitoring: improved monitorability through robust semantics
- Runtime verification of embedded real-time systems
- Development of global specification for dynamically adaptive software
- Quantitative safety and liveness
- A brief account of runtime verification
- Determinizing monitors for HML with recursion
- Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
- First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
- Extended Nested Dual System Groups, Revisited
- Consistently-detecting monitors
- Contracts Violation: Justification via Argumentation
- Time-triggered runtime verification
- Runtime verification using a temporal description logic
- Runtime verification of partially-synchronous distributed system
- Bridging the gap between single- and multi-model predictive runtime verification
- On monitoring linear temporal properties
- Runtime verification of component-based systems
- Multi-head monitoring of metric temporal logic
- Organising LTL monitors over distributed systems with a global clock
- Semantics for linear-time temporal logic with finite observations
This page was built for publication: Comparing LTL semantics for runtime verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569195)
