The following pages link to A Theory of Monitors (Q2811337):
Displaying 10 items.
- 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)
- A theory of monitors (Q2051767) (← links)
- On the complexity of determinizing monitors (Q2399244) (← links)
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- (Q5009452) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Monitoring for Silent Actions (Q5136296) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
- Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642) (← links)