Cited in
(14)- Introduction to the special issue on runtime verification
- Foundations of Boolean stream runtime verification
- FoCs
- LUSTRE
- JPAX
- Java-MOP
- Yampa
- DReX
- Java-MaC
- LOLA
- Runtime verification of embedded real-time systems
- Fault-tolerant functional reactive programming (extended version)
- Time-triggered runtime verification
- Algorithms for monitoring real-time properties
This page was built for software: Copilot