Runtime monitoring of metric first-order temporal properties
From MaRDI portal
Recommendations
Cited in
(24)- Algorithms for monitoring real-time properties
- Almost event-rate independent monitoring
- Algebraic quantitative semantics for efficient online temporal monitoring
- Monitoring timed properties (revisited)
- Runtime verification of temporal properties over out-of-order data streams
- Static checking of GDPR-related privacy compliance for object-oriented distributed systems
- Monitoring metric first-order temporal properties
- Extended Nested Dual System Groups, Revisited
- Monitoring parametric temporal logic
- Adaptive online first-order monitoring
- Multi-head monitoring of metric temporal logic
- Almost event-rate independent monitoring of metric temporal logic
- Trace-length independent runtime monitoring of quantitative policies in LTL
- Efficient Runtime Verification of First-Order Temporal Properties
- Monitoring first-order interval logic
- Multi-head Monitoring of Metric Dynamic Logic
- Verified first-order monitoring with recursive rules
- Explainable online monitoring of metric temporal logic
- Scalable offline monitoring of temporal specifications
- Runtime enforcement of CPS against signal temporal logic
- Efficient monitoring of timed properties
- Collecting statistics over runtime executions
- Monitoring of temporal first-order properties with aggregations
- The ins and outs of first-order runtime verification
This page was built for publication: Runtime monitoring of metric first-order temporal properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3165946)
