Bartocci, E., Falcone, Y., Bonakdarpour, B. et al.
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
In Int J Softw Tools Technol Transfer (2017). doi:10.1007/s10009-017-0454-5
Bartocci E., Bonakdarpour B., Falcone Y. (2014)
First International Competition on Software for Runtime Verification.
In: Bonakdarpour B., Smolka S.A. (eds) Runtime Verification. RV 2014. Lecture Notes in Computer Science, vol 8734. Springer, Cham
Falcone Y., Ničković D., Reger G., Thoma D. (2015)
Second International Competition on Runtime Verification.
In: Bartocci E., Majumdar R. (eds) Runtime Verification. Lecture Notes in Computer Science, vol 9333. Springer, Cham
Reger G., Hallé S., Falcone Y. (2016)
Third International Competition on Runtime Verification.
In: Falcone Y., Sánchez C. (eds) Runtime Verification. RV 2016. Lecture Notes in Computer Science, vol 10012. Springer, Cham
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Falcone Y., Krstić S., Reger G., Traytel D. (2018)
A Taxonomy for Classifying Runtime Verification Tools.
In: Colombo C., Leucker M. (eds) Runtime Verification. RV 2018. Lecture Notes in Computer Science, vol 11237. Springer, Cham