H. Barringer, Y. Falcone, K. Havelund, G. Reger, and D. Rydeheard, Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors, FM 2012: Formal Methods, pp.68-84, 2012.
DOI : 10.1007/978-3-642-32759-9_9
URL : https://hal.archives-ouvertes.fr/hal-00857285

D. Basin, M. Harvan, F. Klaedtke, and E. , MONPOLY: Monitoring Usagecontrol Policies, Proceedings of RV 2011: the Second International Conference on Runtime Verification, pp.360-364, 2012.
DOI : 10.1007/978-3-642-29860-8_27

D. Bianculli, C. Ghezzi, and P. San-pietro, The Tale of SOLOIST: A Specification Language for Service Compositions Interactions, Lecture Notes in Computer Science, vol.7684, pp.55-72, 2013.
DOI : 10.1007/978-3-642-35861-6_4

C. Colombo, G. J. Pace, and G. Schneider, LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper), 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, p.13, 2009.
DOI : 10.1109/SEFM.2009.13

D. Angelo, B. Sankaranarayanan, S. Sanchez, C. Robinson, W. Finkbeiner et al., LOLA: runtime monitoring of synchronous systems, Proceedings of TIME 2005: the 12th International Symposium on Temporal Representation and Reasoning, pp.166-174, 2005.

N. Decker, M. Leucker, and D. Thoma, jUnitRV???Adding Runtime Verification to jUnit, Proceedings of NFM 2013: 5th International Symposium of NASA Formal Methods, pp.459-464, 2013.
DOI : 10.1007/978-3-642-38088-4_34

N. Decker, M. Leucker, and D. Thoma, Monitoring Modulo Theories, Proceedings of TACAS 2014: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2014.
DOI : 10.1007/s10009-015-0380-3

M. Delahaye, N. Kosmatov, and J. Signoles, Common specification language for static and dynamic analysis of C programs, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1230-1235, 2013.
DOI : 10.1145/2480362.2480593
URL : https://hal.archives-ouvertes.fr/hal-00853721

A. Donzé, Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems, In: Proceedings of CAV, pp.978-981, 2010.
DOI : 10.1007/978-3-642-14295-6_17

K. Havelund, Rule-based runtime verification revisited, International Journal on Software Tools for Technology Transfer, vol.4, issue.3, 2014.
DOI : 10.1007/s10009-014-0309-2

D. Jin, P. O. Meredith, C. Lee, and G. Ro¸suro¸su, JavaMOP: Efficient parametric runtime monitoring framework, 2012 34th International Conference on Software Engineering (ICSE), pp.1427-1430, 2012.
DOI : 10.1109/ICSE.2012.6227231

S. Navabpour, Y. Joshi, C. W. Wu, S. Berkovich, R. Medhat et al., RiTHM: a tool for enabling time-triggered runtime verification for C programs, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pp.603-606, 2013.
DOI : 10.1145/2491411.2494596

M. Parzonska, A Library-Based Approach to Efficient Parametric Runtime Monitoring of Java Programs, 2013.