Pages that link to "Item:Q888412"
From MaRDI portal
The following pages link to Synthesising correct concurrent runtime monitors (Q888412):
Displaying 14 items.
- 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)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- A theory of monitors (Q2051767) (← links)
- Gaining trust by tracing security protocols (Q2095430) (← links)
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- A Theory of Monitors (Q2811337) (← links)
- (Q5009452) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Monitoring for Silent Actions (Q5136296) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
- ElixirST: a session-based type system for elixir modules (Q6052942) (← links)
- Compositional runtime enforcement revisited (Q6108437) (← links)
