Clara
From MaRDI portal
Cited in
(13)- Runtime verification with minimal intrusion through parallelism
- TaskChecker
- SingleTrack
- Fugue
- Java-MOP
- MarQ
- StaRVOOrS
- J-LO
- IncA
- Semantics and algorithms for parametric monitoring
- Near-optimal large-scale k-medoids clustering
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Runtime verification of component-based systems
This page was built for software: Clara
