The following pages link to A theory of monitors (Q2051767):
Displaying 11 items.
- Synthesising correct concurrent runtime monitors (Q888412) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- On bidirectional runtime enforcement (Q2117010) (← links)
- Selective monitoring (Q2221805) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
- A versatile supervisor with one monitor based on macro-tokens (Q2877762) (← links)
- Selective monitoring (Q5009434) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- ElixirST: a session-based type system for elixir modules (Q6052942) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
- On probabilistic monitorability (Q6113983) (← links)