E. Bartocci, B. Bonakdarpour, and Y. Falcone, First international competition on software for runtime verification, Proc. of the Fifth International Conference on Runtime Verification (RV 2014), vol.8734, pp.1-9, 2014.
DOI : 10.1007/978-3-319-11164-3_1
URL : https://hal.archives-ouvertes.fr/hal-01120552

E. Bartocci, 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, 2017.
DOI : 10.1007/s10009-017-0454-5
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.
DOI : 10.1007/978-3-319-75632-5_1
URL : https://hal.archives-ouvertes.fr/hal-01762297

S. Colin, L. Mariani, M. Broy, B. Jonsson, J. Katoen et al., Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was

, Lecture Notes in Computer Science, vol.3472, pp.525-555, 2004.

C. Colombo and Y. Falcone, First international summer school on Runtime Verification-as part of the ArVi COST action 1402, Runtime Verification-16th International Conference, vol.10012, pp.17-20, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01428838

Y. Falcone, K. Havelund, and G. Reger, A tutorial on runtime verification, Engineering Dependable Software Systems, NATO Science for Peace and Security Series, 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, Proc. of the 6th International Conference on Runtime Verification (RV 2015), vol.9333, pp.405-422, 2015.
DOI : 10.1007/978-3-319-23820-3_27
URL : https://hal.archives-ouvertes.fr/hal-01248351

, Runtime Verification-16th International Conference, vol.10012, 2016.

K. Havelund and A. Goldberg, Revised Selected Papers and Discussions, Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, vol.4171, pp.374-383, 2005.

M. Leucker and C. Schallhart, A brief account of runtime verification, Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2008.

G. Reger, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol.3, pp.1-9, 2017.

G. Reger, S. Hallé, and Y. Falcone, Third international competition on runtime verificationCRV, Falcone and Sánchez, pp.21-37, 2016.

O. Sokolsky, K. Havelund, and I. Lee, Introduction to the special section on runtime verification, STTT, vol.14, issue.3, pp.243-247, 2012.