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

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	31-70
Nombre de pages	40
journal	International Journal on Software Tools for Technology Transfer
Volume	21
Numéro de publication	1
Les DOIs	https://doi.org/10.1007/s10009-017-0454-5
état	Publié - 6 févr. 2019
Modification externe	Oui

Accès au document

10.1007/s10009-017-0454-5

Contient cette citation

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",

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, Numéro 1, p. 31-70. https://doi.org/10.1007/s10009-017-0454-5

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. / Bartocci, Ezio; Falcone, Yliès; Bonakdarpour, Borzoo et al.
Dans: International Journal on Software Tools for Technology Transfer, Vol 21, Numéro 1, 06.02.2019, p. 31-70.

Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

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

Résumé

Accès au document

Empreinte digitale

Contient cette citation