E. Bartocci, B. Bonakdarpour, and Y. Falcone, First international competition on software for runtime verification, Runtime Verification-5th International Conference, 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, J. V. Deshmukh, A. Donzé, G. E. Fainekos, O. Maler et al., Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications, Bartocci and Falcone, pp.135-175

E. Bartocci and Y. Falcone, RV-TheToP: Runtime verification from theory to the industry practice (track introduction), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications-8th International Symposium, 2018.
DOI : 10.1007/978-3-319-47169-3_24

E. Bartocci and Y. Falcone, Runtime verification and enforcement, the (industrial) application perspective (track introduction). In: Margaria and Steffen [30, pp.333-338
DOI : 10.1007/978-3-319-47169-3_24

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.
URL : https://hal.archives-ouvertes.fr/cea-01845191

E. Bartocci, Y. Falcone, A. Francalanza, and G. Reger, Introduction to runtime verification, Bartocci and Falcone, pp.1-33
DOI : 10.1007/978-3-319-75632-5_1
URL : https://hal.archives-ouvertes.fr/hal-01762297

E. Bartocci, Runtime Verification-6th International Conference, Proceedings, vol.9333, 2015.

E. Bartocci and R. Majumdar, Introduction to the special issue on runtime verification. Formal, Methods in System Design, vol.51, issue.1, pp.1-4, 2017.

D. Bianculli and S. Krstic, On the risk of tool over-tuning in run-time verification competitions (position paper), Reger and Havelund, vol.34, pp.37-40

S. Colin and L. Mariani, Run-time verification, Model-based Testing of Reactive Systems, vol.3472, pp.525-556, 2005.

C. Colombo and Y. Falcone, First international summer school on runtime verification-as part of the ArVi COST action 1402, Falcone and Sánchez, pp.17-20
DOI : 10.1007/978-3-319-46982-9_2
URL : https://hal.archives-ouvertes.fr/hal-01428838

C. Colombo and Y. Falcone, Second school on runtime verification, Runtime Verification-18th International Conference, 2018.
DOI : 10.1007/978-3-319-46982-9_2

C. Colombo and G. J. Pace, Industrial experiences with runtime verification of financial transaction systems: Lessons learnt and standing challenges, Bartocci and Falcone, pp.211-232
DOI : 10.1007/978-3-319-75632-5_7

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, S. Kristc, G. Reger, and D. Traytel, A taxonomy for classifying runtime verification tools, Proceedings of the 18th International Conference on Runtime Verification
URL : https://hal.archives-ouvertes.fr/hal-01882410

Y. Falcone, L. Mariani, A. Rollet, and S. Saha, Runtime failure prevention and reaction, Bartocci and Falcone, pp.103-134
DOI : 10.1007/978-3-319-75632-5_4
URL : https://hal.archives-ouvertes.fr/hal-01723606

Y. Falcone, D. Nickovic, G. Reger, and D. Thoma, Second international competition on runtime verification CRV, Bartocci and Majumdar, 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.

Y. Falcone and C. Sánchez, Introduction to the special issue on runtime verification. Formal, Methods in System Design, vol.53, issue.1, pp.1-5, 2018.

S. Hallé, R. Khoury, and S. Gaboury, A few things we heard about RV tools (position paper), Reger and Havelund, vol.34, pp.89-95

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

K. Havelund, M. Leucker, G. Reger, and V. Stolz, A shared challenge in behavioural specification (Dagstuhl seminar 17462), Dagstuhl Reports, vol.7, issue.11, pp.59-85, 2017.

K. Havelund, G. Reger, L. Aceto, G. Bacci, G. Bacci et al., Models, Algorithms, Logics and Tools-Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol.10460, pp.310-338, 2017.

K. Havelund, G. Reger, D. Thoma, and E. Zalinescu, Monitoring events that carry data, Bartocci and Falcone, pp.61-102

S. Jak?i´jak?i´c, M. Leucker, D. Li, and V. Stolz, COEMS-open traces from the industry, Reger and Havelund, vol.34, pp.96-105

S. K. Lahiri and G. Reger, Runtime Verification-17th International Conference, vol.10548, 2017.

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.

P. Mallozzi, R. Pardo, V. Duplessis, P. Pelliccione, and G. Schneider, MoVEMo: A Structured Approach for Engineering Reward Functions, Second IEEE International Conference on Robotic Computing (IRC'18), pp.250-257, 2018.

, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications-7th International Symposium, vol.9953, 2016.

G. Reger, A report of RV-CuBES, Reger and Havelund, vol.34, 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.

G. Reger and K. Havelund, What is a trace? A runtime verification perspective, vol.30, pp.339-355

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

G. Reger and D. Rydeheard, From parametric trace slicing to rule systems, Proceedings of the 18th International Conference on Runtime Verification

G. Reger and D. E. Rydeheard, From first-order temporal logic to parametric trace slicing, Bartocci and Majumdar, pp.216-232

K. Y. Rozier, On the evaluation and comparison of runtime verification tools for hardware and cyber-physical systems, Reger and Havelund, vol.34, pp.123-137

C. Sánchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli et al., A survey of challenges for runtime verification from advanced application domains, 2018.

J. Signoles, Online runtime verification competitions: How to possibly deal with their issues (position paper), Reger and Havelund, vol.34, pp.157-163