The following pages link to A Theory of Monitors (Q2811337):
Displaying 14 items.
- The not-so-secret-agent: professional monitors, hierarchies and implementation. (Q1862638) (← links)
- Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops (Q1923109) (← 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)
- A theory of monitors (Q2051767) (← links)
- On the complexity of determinizing monitors (Q2399244) (← links)
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- A versatile supervisor with one monitor based on macro-tokens (Q2877762) (← 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)
- On probabilistic monitorability (Q6113983) (← links)
- Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642) (← links)
