Aspect-Oriented Runtime Monitor Certification
No abstract available.
DOI 10.1007/978-3-642-28756-5_10
Related papers
- Making trace monitors feasible OOPSLA 2007
- Parametric Runtime Verification of C Programs TACAS 2016
- Mop: an efficient and generic runtime verification framework OOPSLA 2007
- Explainable Online Monitoring of Metric Temporal Logic TACAS 2023
- Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests OOPSLA 2025
- Epi-aspects: aspect-oriented conscientious software OOPSLA 2007
- Monitoring aspects for the customization of automatically generated code for big-step models GPCE 2011
- Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming GPCE 2010