 |
Journal articles
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
E. Bartocci
1
Y. Falcone
2, 3
B. Bonakdarpour
4
C. Colombo
5
N. Decker
6
K. Havelund
7
Y. Joshi
8
F. Klaedtke
9
R. Milewicz
10
G. Reger
11
G. Rosu
3
J. Signoles
12
D. Thoma
6
E. Zalinescu
13
Y. Zhang
3
1
TU WIEN - Technical University of Vienna [Vienna] (Karlsplatz 13, 1040 Vienna - Austria)
2
LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères
Adresse postale : CS 40700 - 38058 Grenoble cedex 9
Tél. : 04 57 42 14 00 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France)
- UGA [2016-2019] - Université Grenoble Alpes [2016-2019] (38058 Grenoble cedex - France)
3
University of Illinois at Urbana-Champaign [Urbana] (205 N. Mathews Ave., Urbana-Champaign, IL 61801 - United States)
- University of Illinois System (108 Henry Administration Bldg. Urbana, IL 61801 - United States)
4
McMaster University [Hamilton, Ontario] (1280 Main Street West
Hamilton, Ontario L8S 4L8 - Canada)
5
University of Malta [Malta] (Msida MSD 2080
MALTA - Malta)
6
Lübeck University of Applied Sciences (Mönkhofer Weg 239 23562 Lübeck Germany - Germany)
7
JPL - Jet Propulsion Laboratory (4800 Oak Grove Drive, Pasadena, CA 91109-8099, USA - United States)
- CALTECH - California Institute of Technology (1200 East California Blvd, Pasadena, California 91125 - United States)
- NASA (www.nasa.gov - United States)
8
University of Waterloo [Waterloo] (200 University Avenue West, Waterloo, ON, Canada N2L 3G1 - Canada)
9
NEC Europe Ltd., Network Laboratories (Kurfuersten-Anlage 36 69115 Heidelberg Germany - Germany)
- NEC Corporation (Japan)
10
UAB - University of Alabama at Birmingham [ Birmingham] (1720 2nd Ave S, Birmingham, AL 35233 - United States)
11
University of Manchester [Manchester] (Oxford Rd, Manchester M13 9PL - United Kingdom)
12
DILS - Département Ingénierie Logiciels et Systèmes (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - France)
13
ETH Zürich - Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (Hauptgebäude, Rämistrasse 101, 8092 Zürich - Switzerland)
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.
Document type :
Journal articles
Domain :
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-01845191
Contributor : Léna Le Roy <>
Submitted on : Friday, July 20, 2018 - 11:10:48 AM
Last modification on : Friday, June 25, 2021 - 9:52:03 AM
Contributor : Léna Le Roy <>
Submitted on : Friday, July 20, 2018 - 11:10:48 AM
Last modification on : Friday, June 25, 2021 - 9:52:03 AM
Links full text
Identifiers
- HAL Id : cea-01845191, version 1
- DOI : 10.1007/s10009-017-0454-5
Collections
CEA | CNRS | CEA-UPSAY | DRT | LIST | LIG | UGA | GS-COMPUTER-SCIENCE | GS-ENGINEERING
Citation
E. Bartocci, Y. Falcone, B. Bonakdarpour, C. Colombo, N. Decker, 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, Springer Verlag, 2017, pp.1-40. ⟨10.1007/s10009-017-0454-5⟩. ⟨cea-01845191⟩
Metrics
Record views