Pages that link to "Item:Q4647831"
From MaRDI portal
The following pages link to Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (Q4647831):
Displaying 16 items.
- Runtime enforcement of timed properties revisited (Q487258) (← links)
- Monitoring hyperproperties (Q2008281) (← links)
- A theory of monitors (Q2051767) (← links)
- A formally verified, optimized monitor for metric first-order dynamic logic (Q2096466) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains (Q2331081) (← links)
- On the complexity of determinizing monitors (Q2399244) (← links)
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- Formal analysis and offline monitoring of electronic exams (Q2402552) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- A Theory of Monitors (Q2811337) (← links)
- (Q5020942) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- From LTL to rLTL monitoring: improved monitorability through robust semantics (Q6108436) (← links)
- Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines (Q6116186) (← links)
- Early detection of temporal constraint violations (Q6178450) (← links)
