Cited in
(48)- Monitoring of temporal first-order properties with aggregations
- A theory of monitors (extended abstract)
- Safer asynchronous runtime monitoring using compensations
- Foundations of Boolean stream runtime verification
- TeSSLa
- Almost event-rate independent monitoring
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Monitoring metric first-order temporal properties
- Synthesising correct concurrent runtime monitors
- FoCs
- ConSpec
- BeepBeep
- StreamIt
- SIGNAL
- AspectWerkz
- LUSTRE
- evt
- InterAspect
- Java-MOP
- MOP
- DReX
- SOLOIST
- Java-MaC
- SCIFF
- Fran
- LARVA
- CoCaml
- Flapjax
- HLIO
- contractLarva
- coFJ
- TelegraphCQ
- Montre
- Copilot
- Naiad
- aerial
- AMT
- MonPoly
- Property-based testing for Spark Streaming
- A theory of monitors
- LARS
- A brief account of runtime verification
- First-order temporal logic monitoring with BDDs
- ROSMonitoring
- Cayuga
- DejaVu
- Multi-head monitoring of metric temporal logic
- ModelPlex: verified runtime validation of verified cyber-physical system models
This page was built for software: LOLA