LOLA
From MaRDI portal
Software:5973440
swMATH46322MaRDI QIDQ5973440FDOQ5973440
Author name not available (Why is that?)
Cited In (14)
- Property-Based Testing for Spark Streaming
- Monitoring of temporal first-order properties with aggregations
- Safer asynchronous runtime monitoring using compensations
- Foundations of Boolean stream runtime verification
- Almost event-rate independent monitoring
- Multi-head Monitoring of Metric Temporal Logic
- A Theory of Monitors
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Monitoring metric first-order temporal properties
- Synthesising correct concurrent runtime monitors
- A theory of monitors
- A brief account of runtime verification
- First-order temporal logic monitoring with BDDs
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for software: LOLA
