Julien Signoles. Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). In Giles Reger, Klaus Havelund, editors, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA. Volume 3 of Kalpa Publications in Computing, pages 157-163, EasyChair, 2017. [doi]
@inproceedings{Signoles17,
title = {Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)},
author = {Julien Signoles},
year = {2017},
url = {http://www.easychair.org/publications/paper/m1vV},
researchr = {https://researchr.org/publication/Signoles17},
cites = {0},
citedby = {0},
pages = {157-163},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA},
editor = {Giles Reger and Klaus Havelund},
volume = {3},
series = {Kalpa Publications in Computing},
publisher = {EasyChair},
}