Pages that link to "Item:Q2436454"
From MaRDI portal
The following pages link to Distributed system contract monitoring (Q2436454):
Displaying 10 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)
- 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)
- Precision, recall, and sensitivity of monitoring partially synchronous distributed programs (Q2241299) (← links)
- A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring (Q2304020) (← links)
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- A Theory of Monitors (Q2811337) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)