Publications in Scientific Journals:
E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, K Havelund, Y. Joshi, K. Felix 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,
21
(2019),
1;
31
- 70.
English abstract:
The first international Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference on Runtime Verification (RVī14). The event was organized in three tracks: (1) offline monitoring, (2) online monitoring of C programs, and (3) online monitoring of Java programs. In this paper, we report on the phases and rules, a description of the participating teams and their submitted benchmark, the (full) results, as well as the lessons learned from the competition.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10009-017-0454-5
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_282740.pdf