C. Barrett, M. Deters, L. De-moura, A. Oliveras, and A. Stump, 6 Years of SMT-COMP, Journal of Automated Reasoning, pp.1-35, 2012.

H. Barringer, Y. Falcone, K. Havelund, G. Reger, and D. E. Rydeheard, Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors, Proc. of FM 2012: the 18th International Symposium on Formal Methods, vol.7436, pp.68-84, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00857285

E. Bartocci, B. Bonakdarpour, and Y. Falcone, First international competition on software for runtime verification, Proc. of RV 2014: the 5th International Conference on Runtime Verification, vol.8734, pp.1-9, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01120552

E. Bartocci and Y. Falcone, Lectures on Runtime Verification -Introductory and Advanced Topics, vol.10457, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01762298

E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker et al., First International Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014, International Journal on Software Tools for Technology Transfer, vol.21, pp.31-70, 2019.
URL : https://hal.archives-ouvertes.fr/cea-01845191

E. Bartocci, Y. Falcone, A. Francalanza, and G. Reger, Introduction to runtime verification, Lectures on Runtime Verification -Introductory and Advanced Topics, vol.10457, pp.1-33, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01762297

D. Basin, M. Harvan, F. Klaedtke, and E. Z?linescu, MONPOLY: Monitoring usage-control policies, Proc. of RV 2011: the 2nd Internat. Conference on Runtime Verification, vol.7186, pp.360-364, 2012.

D. Beyer, Software verification and verifiable witnesses -(report on SV-COMP 2015), Proc. of TACAS 2015: the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol.9035, pp.401-416, 2015.

C. Colombo, G. J. Pace, and G. Schneider, Larva -safer monitoring of real-time java programs (tool paper), Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM '09, pp.33-37, 2009.

J. Deantoni and F. Mallet, TimeSquare: Treat your Models with Logical Time, TOOLS -50th International Conference on Objects, Models, Components, Patterns -2012, vol.7304, pp.34-41, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00688590

N. Decker, J. Harder, T. Scheffel, M. Schmitz, and D. Thoma, Runtime monitoring with union-find structures, Proc. of TACAS 2016: the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol.9636, 2016.

N. Decker, M. Leucker, and D. Thoma, jUnit RV -adding runtime verification to jUnit, NASA Formal Methods, 5th International Symposium, NFM 2013, vol.7871, pp.459-464, 2013.

. Springer, , 2013.

M. Delahaye, N. Kosmatov, and J. Signoles, Common Specification Language for Static and Dynamic Analysis of C Programs, Proceedings of SAC '13: the 28th
URL : https://hal.archives-ouvertes.fr/hal-00853721

, Annual ACM Symposium on Applied Computing, pp.1230-1235, 2013.

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.

W. Dou, D. Bianculli, and L. Briand, A model-driven approach to offline trace checking of temporal properties with ocl, 2014.

Y. Falcone, You should better enforce than verify, Runtime Verification -First International Conference, RV 2010, St. Julians, Malta, pp.89-105, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00523653

Y. Falcone, K. Havelund, and G. Reger, A tutorial on runtime verification, D: Information and Communication Security, vol.34, pp.141-175, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00853727

Y. Falcone, D. Nickovic, G. Reger, and D. Thoma, Second international competition on runtime verification CRV 2015, Proc. of RV 2015: the 6th International Conference on Runtime Verification, pp.405-422, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01248351

S. Hallé, When RV meets CEP, Runtime Verification -16th International Conference, vol.10012, pp.68-91, 2016.

K. Havelund, Rule-based Runtime Verification Revisited, International Journal on Software Tools for Technology Transfer (STTT), 2014.

F. Howar, M. Isberner, M. Merten, B. Steffen, D. Beyer et al., Rigorous examination of reactive systems -the RERS challenges, STTT, vol.16, issue.5, pp.457-464, 2012.

M. Huisman, V. Klebanov, and R. Monahan, Verifythis 2012 -A program verification competition, STTT, vol.17, issue.6, pp.647-657, 2015.

M. Järvisalo, D. L. Berre, O. Roussel, and L. Simon, The international SAT solver competitions. AI Magazine, vol.33, 2012.

D. Jin, P. O. Meredith, C. Lee, and G. Ro?u, JavaMOP: Efficient Parametric Runtime Monitoring Framework, Proceedings of ICSE 2012: THE 34th International Conference on Software Engineering, pp.1427-1430, 2012.

A. Kane, T. E. Fuhrman, and P. Koopman, Monitor based oracles for cyberphysical system testing: Practical experience report, 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, pp.148-155, 2014.

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

R. Milewicz, R. Vanka, J. Tuck, D. Quinlan, and P. Pirkelbauer, Runtime checking c programs, Proceedings of the 30th Annual ACM Symposium on Applied Computing, pp.2107-2114, 2015.

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, ACM Symposium on the Foundations of Software Engineering (FSE), pp.603-606, 2013.

J. Petkovich, A. B. De-oliveira, Y. Zhang, T. Reidemeister, and S. Fischmeister, Datamill: a distributed heterogeneous infrastructure for robust experimentation, Softw., Pract. Exper, vol.46, issue.10, pp.1411-1440, 2016.

A. Piel, Reconnaissance de comportements complexes par traitement en ligne de flux d'événements. (Online event flow processing for complex behaviour recognition), 2014.

G. Reger, S. Hallé, and Y. Falcone, Third international competition on runtime verification -CRV 2016, Proc. of RV 2016: the 16th International Conference on Runtime Verification, vol.10012, pp.21-37, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01428834

G. Reger and K. Havelund, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, An International Workshop on Competitions, vol.3, 2017.

G. Sutcliffe, The 5th IJCAR automated theorem proving system competition -CASC-J5, AI Commun, vol.24, issue.1, pp.75-89, 2011.