, Lectures on Runtime Verification -Introductory and Advanced Topics, vol.10457, 2018.
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
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