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

被引：0
|
作者：
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
机构：
[1] TU Wien,Inria, CNRS, Laboratoire d’Informatique de Grenoble
[2] Univ. Grenoble-Alpes,undefined
[3] University of Illinois at Urbana-Champaign,undefined
[4] McMaster University,undefined
[5] University of Malta,undefined
[6] Lübeck University,undefined
[7] Jet Propulsion Laboratory,undefined
[8] NASA,undefined
[9] University of Waterloo,undefined
[10] NEC Laboratories Europe,undefined
[11] University of Alabama at Birmingham,undefined
[12] University of Manchester,undefined
[13] CEA,undefined
[14] LIST,undefined
[15] Software Security Laboratory,undefined
[16] ETH Zurich,undefined
来源：
International Journal on Software Tools for Technology Transfer | 2019年 / 21卷
关键词：
Runtime Verification; Software competition; Monitoring; Benchmarks;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：31 / 70
页数：39
相关论文
共 35 条
  • [1] First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
    Bartocci, Ezio
    Falcone, Ylies
    Bonakdarpour, Borzoo
    Colombo, Christian
    Decker, Normann
    Havelund, Klaus
    Joshi, Yogi
    Klaedtke, Felix
    Milewicz, Reed
    Reger, Giles
    Rosu, Grigore
    Signoles, Julien
    Thoma, Daniel
    Zalinescu, Eugen
    Zhang, Yi
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 21 (01) : 31 - 70
  • [2] International Competition on Runtime Verification (CRV)
    Bartocci, Ezio
    Falcone, Ylies
    Reger, Giles
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 41 - 49
  • [3] Third International Competition on Runtime Verification CRV 2016
    Reger, Giles
    Halle, Sylvain
    Falcone, Ylies
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 21 - 37
  • [4] Second International Competition on Runtime Verification CRV 2015
    Falcone, Ylies
    Nickovic, Dejan
    Reger, Giles
    Thoma, Daniel
    RUNTIME VERIFICATION, RV 2015, 2015, 9333 : 405 - 422
  • [5] First International Competition on Software for Runtime Verification
    1600, Springer Verlag (8734):
  • [6] First International Competition on Software for Runtime Verification
    Bartocci, Ezio
    Bonakdarpour, Borzoo
    Falcone, Ylies
    RUNTIME VERIFICATION, RV 2014, 2014, 8734 : 1 - 9
  • [7] First international competition on software for runtime verification
    1600, Springer Verlag (8734):
  • [8] An extension of first-order LTL with rules with application to runtime verification
    Klaus Havelund
    Doron Peled
    International Journal on Software Tools for Technology Transfer, 2021, 23 : 547 - 563
  • [9] An extension of first-order LTL with rules with application to runtime verification
    Havelund, Klaus
    Peled, Doron
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021, 23 (04) : 547 - 563
  • [10] SVC2004: First international signature verification competition
    Yeung, DY
    Chang, H
    Xiong, YM
    George, S
    Kashi, R
    Matsumoto, T
    Rigoll, G
    BIOMETRIC AUTHENTICATION, PROCEEDINGS, 2004, 3072 : 16 - 22
1234