<div class="csl-bib-body">
<div class="csl-entry">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. <i>International Journal on Software Tools for Technology Transfer</i>, <i>21</i>, 31–70. https://doi.org/10.1007/s10009-017-0454-5</div>
</div>
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.
en
dc.description.sponsorship
ICT COST Action
-
dc.description.sponsorship
FFG HARMONIA
-
dc.description.sponsorship
Austrian Science Fund (FWF)
-
dc.language
English
-
dc.language.iso
en
-
dc.publisher
SPRINGER HEIDELBERG
-
dc.relation.ispartof
International Journal on Software Tools for Technology Transfer
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
Runtime Verification
en
dc.subject
Software competition
en
dc.subject
Monitoring
en
dc.subject
Benchmarks
en
dc.title
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
en
dc.type
Article
en
dc.type
Artikel
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.contributor.affiliation
Univ. Grenoble-Alpes, France
-
dc.contributor.affiliation
McMaster University, Canada
-
dc.contributor.affiliation
University of Malta, Malta
-
dc.contributor.affiliation
Lübeck University, Germany
-
dc.contributor.affiliation
NASA, USA
-
dc.contributor.affiliation
University of Waterloo, Canada
-
dc.contributor.affiliation
NEC Laboratories Europe, Germany
-
dc.contributor.affiliation
University of Alabama at Birmingham, USA
-
dc.contributor.affiliation
University of Manchester, UK
-
dc.contributor.affiliation
University of Illinois at Urbana-Champaign, USA
-
dc.contributor.affiliation
Software Security Laboratory, France
-
dc.contributor.affiliation
Lübeck University, Germany
-
dc.contributor.affiliation
ETH Zurich, Switzerland
-
dc.contributor.affiliation
University of Illinois at Urbana-Champaign, USA
-
dc.description.startpage
31
-
dc.description.endpage
70
-
dc.relation.grantno
IC1402
-
dc.relation.grantno
845631
-
dc.relation.grantno
S 11405-N23
-
dc.rights.holder
The Author(s) 2017
-
dc.type.category
Original Research Article
-
tuw.container.volume
21
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
tuw.version
vor
-
dcterms.isPartOf.title
International Journal on Software Tools for Technology Transfer
-
tuw.publication.orgunit
E191 - Institut für Computer Engineering
-
tuw.publisher.doi
10.1007/s10009-017-0454-5
-
dc.date.onlinefirst
2017-04
-
dc.identifier.eissn
1433-2787
-
dc.identifier.libraryid
AC15187487
-
dc.description.numberOfPages
40
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-4142
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.openairetype
research article
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems