, Lectures on Runtime Verification -Introductory and Advanced Topics, vol.10457, 2018.

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, STTT, vol.21, issue.1, pp.31-70, 2014.
URL : https://hal.archives-ouvertes.fr/cea-01845191

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