swMATH20000MaRDI QIDQ31823FDOQ31823
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=972567
Cited In (21)
- A theory of monitors (extended abstract)
- Introduction to the special issue on runtime verification
- Tools and Algorithms for the Construction and Analysis of Systems
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Provably correct runtime monitoring
- Computer Aided Verification
- AspectWerkz
- evt
- JPAX
- InterAspect
- Java-MOP
- MOP
- Charon
- jPredictor
- Copilot
- J-LO
- TXP
- A theory of monitors
- Efficient abstraction algorithms for predicate detection
- Time-triggered runtime verification
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for software: Java-MaC
