1. RuleR website.
http://www.CB.man.ac.uk/~howard/LPA.html
.
2. CSRV 2of4.
http://rv2014.imag.fr/monitoring-competition
.
3. C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhot8.k, O. de Moor, D. Sereni, G. Sittamplao, aod J. Tibble. Adding trace matching with free variables to AspectJ. In OOPSLA '05. ACM Press, 2005.
4. H. Barringer, Y. Faleone, K. Havelund, G. Reger, and D. Rydeheard. Quaotified Event Automata – towards expressive and efficient runtime monitors. In
18
th
International Symposium on Formal Methoos (FM'12), Paris, F'rance, August
27-
91, 2offt. Proceedings, volume 7436 of LNCS. Springer, 2of2.
5. H. Barringer, M. Fisher, D. M. Gabbay, G. Gough, and R. Owens. Metatem: An introduction. Formal Asp. Comput., 7(5):533–549, 1995.