The following pages link to (Q5009452):
Displayed 7 items.
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- A theory of monitors (Q2051767) (← links)
- On bidirectional runtime enforcement (Q2117010) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
- Determinizing monitors for HML with recursion (Q2291832) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)