The following pages link to Decentralised LTL monitoring (Q346789):
Displaying 12 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)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- Formal analysis and offline monitoring of electronic exams (Q2402552) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- (Q4647832) (redirect page) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
- Assumption-based runtime verification (Q6102167) (← links)
