Java-MOP: A monitoring oriented programming environment for Java
From MaRDI portal
Recommendations
Cited in
(16)- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
- Java-MaC: A run-time assurance approach for Java programs
- Runtime verification for dynamic architectures
- Time-triggered runtime verification
- Provably correct runtime monitoring
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
- Java-MOP
- Kieker: continuous monitoring and on demand visualization of Java software behavior
- Towards a monitoring interface specification for distributed Java applications
- Monitoring system for distributed Java applications
- Sound concurrent traces for online monitoring
- Lang-n-Send Extended: Sending Regular Expressions to Monitors
- Opportunistic monitoring of multithreaded programs
- Uncertainty in runtime verification: a survey
- Model-checking structured context-free languages
- Runtime verification with minimal intrusion through parallelism
This page was built for publication: Java-MOP: A monitoring oriented programming environment for Java
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5703785)
