First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; Daniel Thoma; Eugen Zalinescu; Yi Zhang

doi:10.1007/s10009-017-0454-5

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci
, Yliès Falcone
, Borzoo Bonakdarpour
, Christian Colombo
, Normann Decker
, Klaus Havelund
, Yogi Joshi
, Felix Klaedtke
, Reed Milewicz
, Giles Reger
, Grigore Rosu
, Julien Signoles
, Daniel Thoma
, Eugen Zalinescu
, Yi Zhang

Vienna University of Technology
LTHE (UMR 5564 CNRS/IRD/Université de Grenoble)
University of Illinois at Urbana-Champaign
McMaster University
University of Malta
Universität zu Lübeck
GSFC Laboratory for Atmopsheres
University of Waterloo
NEC Laboratories Europe GmbH
University of Alabama at Birmingham
University of Manchester
CEA/UVSQ/CNRS
ETH Zurich

Research output: Contribution to journal › Article › peer-review

56 Citations (Scopus)

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.

Original language	English
Pages (from-to)	31-70
Number of pages	40
Journal	International Journal on Software Tools for Technology Transfer
Volume	21
Issue number	1
DOIs	https://doi.org/10.1007/s10009-017-0454-5
Publication status	Published - 6 Feb 2019
Externally published	Yes

Keywords

Benchmarks
Monitoring
Runtime Verification
Software competition

Access to Document

10.1007/s10009-017-0454-5

Cite this

Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E., & Zhang, Y. (2019). First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. International Journal on Software Tools for Technology Transfer, 21(1), 31-70. https://doi.org/10.1007/s10009-017-0454-5

@article{6138ea4430ce40d3bd2fbee92c31338f,

title = "First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014",

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{\textquoteright}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.",

keywords = "Benchmarks, Monitoring, Runtime Verification, Software competition",

author = "Ezio Bartocci and Yli{\`e}s Falcone and Borzoo Bonakdarpour and Christian Colombo and Normann Decker and Klaus Havelund and Yogi Joshi and Felix Klaedtke and Reed Milewicz and Giles Reger and Grigore Rosu and Julien Signoles and Daniel Thoma and Eugen Zalinescu and Yi Zhang",

note = "Publisher Copyright: {\textcopyright} 2017, The Author(s).",

year = "2019",

month = feb,

day = "6",

doi = "10.1007/s10009-017-0454-5",

language = "English",

volume = "21",

pages = "31--70",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "1",

}

Bartocci, E, Falcone, Y, Bonakdarpour, B, Colombo, C, Decker, N, Havelund, K, Joshi, Y, Klaedtke, F, Milewicz, R, Reger, G, Rosu, G, Signoles, J, Thoma, D, Zalinescu, E & Zhang, Y 2019, 'First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014', International Journal on Software Tools for Technology Transfer, vol. 21, no. 1, pp. 31-70. https://doi.org/10.1007/s10009-017-0454-5

TY - JOUR

T1 - First international Competition on Runtime Verification

T2 - 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

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.

KW - Benchmarks

KW - Monitoring

KW - Runtime Verification

KW - Software competition

U2 - 10.1007/s10009-017-0454-5

DO - 10.1007/s10009-017-0454-5

M3 - Article

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 -

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Abstract

Keywords

Access to Document

Fingerprint

Cite this