One critical issue in runtime verification is the monitoring overhead caused by monitors. We have evaluated the performance of the monitoring code generated by JavaMOP using the Dacapo benchmark and many monitoring-intensive properties (most of them are listed below in the online interface). Our evaluation shows that JavaMOP generates very efficient monitoring code, as can be seen below.
in Garbage Collection for Monitoring Parametric Properties, PLDI'11
in Efﬁcient Formalism-Independent Monitoring of Parametric Properties, ASE'09
- Apr 2008 - Monitoring Context-Free Properties
in Efficient Monitoring of Parametric Context-Free Patterns, ASE'08