Decentralised LTL monitoring
From MaRDI portal
Publication:346789
DOI10.1007/s10703-016-0253-8zbMath1392.68229arXiv1111.5133OpenAlexW1519460009MaRDI QIDQ346789
Publication date: 30 November 2016
Published in: Formal Methods in System Design, FM 2012: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1111.5133
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (12)
Decentralised LTL monitoring ⋮ Formal analysis and offline monitoring of electronic exams ⋮ Synthesising correct concurrent runtime monitors ⋮ Runtime enforcement with reordering, healing, and suppression ⋮ Decentralized runtime verification of message sequences in message-based systems ⋮ Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation ⋮ Assumption-based runtime verification ⋮ Organising LTL monitors over distributed systems with a global clock ⋮ Computer says no: verdict explainability for runtime monitors using a local proof system ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Efficient abstraction algorithms for predicate detection
Cites Work
- Unnamed Item
- Unnamed Item
- Decentralised LTL monitoring
- Diagnosis of discrete event systems using decentralized architectures
- Planning for temporally extended goals.
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC
- Timing analysis of the flexRay communication protocol
- Comparing LTL Semantics for Runtime Verification
- Rule Systems for Run-time Monitoring: from EAGLE to RULER
- The complexity of propositional linear temporal logics
- The Complexity of Codiagnosability for Discrete Event and Timed Systems
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Model checking of safety properties
This page was built for publication: Decentralised LTL monitoring
