A Report of RV-CuBES 2017

9 pages•Published: December 14, 2017

Abstract

RV-CuBES was an international workshop that took place alongside the 17th International Conference on Runtime Verification in Seattle during 13-16th September, 2017. The focus of the competition was to consider tools for Runtime Verification (RV). The acronym CuBES stands for Competitions, usability, Benchmarks, Evaluation, and Standardisation. The workshop consisted of poster presentations of tool overview papers and a discussion session of position papers. This report gives an overview of submissions and discussions.

In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 1-9.

Links:	https://easychair.org/publications/paper/MVXk
	https://doi.org/10.29007/2496

BibTeX entry

@inproceedings{RV-CuBES2017:Report_RV_CuBES_2017,
  author    = {Giles Reger},
  title     = {A Report of RV-CuBES 2017},
  booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
  editor    = {Giles Reger and Klaus Havelund},
  series    = {Kalpa Publications in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/MVXk},
  doi       = {10.29007/2496},
  pages     = {1-9},
  year      = {2017}}

Download PDF Open PDF in browser