TY - JOUR
T1 - First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
AU - Bartocci, Ezio
AU - Falcone, Yliès
AU - Bonakdarpour, Borzoo
AU - Colombo, Christian
AU - Decker, Normann
AU - Havelund, Klaus
AU - Joshi, Yogi
AU - Klaedtke, Felix
AU - Milewicz, Reed
AU - Reger, Giles
AU - Rosu, Grigore
AU - Signoles, Julien
AU - Thoma, Daniel
AU - Zalinescu, Eugen
AU - Zhang, Yi
N1 - Funding Information:
Open access funding provided by TU Wien (TUW). The competition organizers, E. Bartocci, B. Bonakdarpour, and Y. Falcone, are grateful to many people. The competition organizers would like to warmly thank all participants for their hard work, the members of the runtime verification community who encouraged them to initiate this work, the Laboratoire d?Informatique de Grenoble and its IT team for its support, Inria and its GitLab framework, and finally the DataMill team for providing us with such a nice experimentation platform to run all benchmarks. All the authors acknowledge the support of the ICT COST Action IC1402 Runtime Verification beyond Monitoring (ARVI). Ezio Bartocci acknowledges also the partial support of the Austrian FFG project HARMONIA (No. 845631) and the Austrian National Research Network (No. S 11405-N23) SHiNE funded by the Austrian Science Fund (FWF). The research performed by Klaus Havelund was carried out at Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration. The authors are grateful to the insightful reviewers who helped improving the quality of this paper.
Publisher Copyright:
© 2017, The Author(s).
Copyright:
Copyright 2019 Elsevier B.V., All rights reserved.
PY - 2019/2/6
Y1 - 2019/2/6
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85017167481&partnerID=8YFLogxK
U2 - 10.1007/s10009-017-0454-5
DO - 10.1007/s10009-017-0454-5
M3 - Journal articles
AN - SCOPUS:85017167481
SN - 1433-2779
VL - 21
SP - 31
EP - 70
JO - International Journal on Software Tools for Technology Transfer
JF - International Journal on Software Tools for Technology Transfer
IS - 1
ER -
