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

E. Bartocci, B. Bonakdarpour, and Y. Falcone, First International Competition on Software for Runtime Verification, Runtime Verification -5th International Conference, RV 2014, pp.1-9, 2014.
DOI : 10.1007/978-3-319-11164-3_1
URL : https://hal.archives-ouvertes.fr/hal-01120552

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, 50th International Conference on Objects, Models, Components, Patterns -2012, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590

N. Decker, M. Leucker, and D. Thoma, Monitoring Modulo Theories, TACAS. Lecture Notes in Computer Science, vol.8413, pp.341-356, 2014.
DOI : 10.1007/978-3-642-54862-8_23

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. Díaz, P. Merino, and A. Salmeron, Obtaining Models for Realistic Mobile Network Simulations using Real Traces, IEEE Communications Letters, vol.15, issue.7, pp.782-784, 2011.
DOI : 10.1109/LCOMM.2011.060111.102514

W. Dou, D. Bianculli, and L. Briand, A model-driven approach to o?ine trace checking of temporal properties with ocl, Interdisciplinary Centre for Security, Reliability and Trust, p.16112, 2014.

Y. Falcone, K. Havelund, and G. Reger, A tutorial on runtime verification, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853727

C. Forgy, Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982.
DOI : 10.1016/0004-3702(82)90020-0

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

G. Juniwal, A. Donzé, J. C. Jensen, and S. A. Seshia, CPSGrader, Proceedings of the 14th International Conference on Embedded Software, EMSOFT '14, pp.1-2410, 2014.
DOI : 10.1145/2656045.2656053

A. Kane, T. E. Fuhrman, and P. Koopman, Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pp.148-155, 2014.
DOI : 10.1109/DSN.2014.28

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2008.
DOI : 10.1016/j.jlap.2008.08.004

Q. Luo, Y. Zhang, C. Lee, D. Jin, P. O. Meredith et al., Rvmonitor: Ecient parametric runtime verification with simultaneous properties, Runtime Verification -5th International Conference Proceedings. pp, pp.285-300, 2014.

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

D. J. Quinlan, M. Schordan, B. Miller, and M. Kowarschik, Parallel object-oriented framework optimization, Concurrency and Computation: Practice and Experience, vol.16, issue.23, pp.293-302, 2004.
DOI : 10.1002/cpe.775

G. Reger, H. C. Cruz, and D. E. Rydeheard, MarQ: Monitoring at Runtime with QEA, 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, pp.596-610, 2015.
DOI : 10.1007/978-3-662-46681-0_55