DC Field
Value
Language
dc.contributor.author
Bartocci, Ezio
-
dc.contributor.author
Falcone, Yliès
-
dc.contributor.author
Bonakdarpour, Borzoo
-
dc.contributor.author
Colombo, Christian
-
dc.contributor.author
Decker, Normann
-
dc.contributor.author
Havelund, Klaus
-
dc.contributor.author
Joshi, Yogi
-
dc.contributor.author
Klaedtke, Felix
-
dc.contributor.author
Milewicz, Reed
-
dc.contributor.author
Reger, Giles
-
dc.contributor.author
Rosu, Grigore
-
dc.contributor.author
Signoles, Julien
-
dc.contributor.author
Thoma, Daniel
-
dc.contributor.author
Zalinescu, Eugen
-
dc.contributor.author
Zhang, Yi
-
dc.date.accessioned
2020-06-27T15:05:13Z
-
dc.date.issued
2019
-
dc.identifier.citation
<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., &#38; 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>
-
dc.identifier.issn
1433-2779
-
dc.identifier.uri
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-4142
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/51
-
dc.description.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.
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
Université Grenoble Alpes, France
-
dc.contributor.affiliation
McMaster University, Canada
-
dc.contributor.affiliation
University of Malta, Malta
-
dc.contributor.affiliation
University of Lübeck, Germany
-
dc.contributor.affiliation
National Aeronautics and Space Administration, United States of America (the)
-
dc.contributor.affiliation
University of Waterloo, Canada
-
dc.contributor.affiliation
NEC (Germany), Germany
-
dc.contributor.affiliation
University of Alabama at Birmingham, United States of America (the)
-
dc.contributor.affiliation
University of Manchester, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
University of Illinois Urbana-Champaign, United States of America (the)
-
dc.contributor.affiliation
Software Security Laboratory, France
-
dc.contributor.affiliation
University of Lübeck, Germany
-
dc.contributor.affiliation
ETH Zurich, Switzerland
-
dc.contributor.affiliation
University of Illinois Urbana-Champaign, United States of America (the)
-
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.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.openairetype
research article
-
item.openaccessfulltext
Open Access
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.fulltext
with Fulltext
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
Université Grenoble Alpes
-
crisitem.author.dept
McMaster University
-
crisitem.author.dept
University of Malta
-
crisitem.author.dept
University of Lübeck
-
crisitem.author.dept
National Aeronautics and Space Administration
-
crisitem.author.dept
University of Waterloo
-
crisitem.author.dept
NEC (Germany)
-
crisitem.author.dept
University of Alabama at Birmingham
-
crisitem.author.dept
University of Manchester
-
crisitem.author.dept
University of Illinois Urbana-Champaign
-
crisitem.author.dept
Software Security Laboratory, France
-
crisitem.author.dept
University of Lübeck
-
crisitem.author.dept
ETH Zurich
-
crisitem.author.dept
University of Illinois Urbana-Champaign
-
crisitem.author.orcid
0000-0002-8004-6601
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
Appears in Collections:
Article
Thumbnail
Bartocci Ezio - 2017 - First international Competition on Runtime Verification...pdf
Adobe PDF
(1.41 MB)
Open Access
Show simple item record

Page view(s)

744
checked on Nov 21, 2023

Download(s)

404
checked on Nov 21, 2023

Google ScholarTM

Check