The following pages link to Decentralised LTL monitoring (Q346789):
Displaying 19 items.
- Decentralised LTL monitoring (Q346789) (← links)
- Organising LTL monitors over distributed systems with a global clock (Q681471) (← links)
- Synthesising correct concurrent runtime monitors (Q888412) (← links)
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
- Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring (Q2304020) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- Formal analysis and offline monitoring of electronic exams (Q2402552) (← links)
- Distributed system contract monitoring (Q2436454) (← links)
- Monitoring metric first-order temporal properties (Q2796403) (← links)
- (Q4583844) (← links)
- (Q4647832) (redirect page) (← links)
- Runtime enforcement with reordering, healing, and suppression (Q6041274) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
- Assumption-based runtime verification (Q6102167) (← links)
- Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption (Q6487325) (← links)
- Decentralized LTL enforcement (Q6649520) (← links)
- Runtime verification of partially-synchronous distributed system (Q6661752) (← links)
