RV-CuBES 2017:Editor's Preface

This volume contains the papers presented at RV-CuBES 2017: An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools 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. 

We would like to thank the PC, authors, and participants in the workshop for making the workshop a successful event. Our thanks are also extended to EasyChair for its help in organising the workshop and these proceedings.


Giles Reger
Klaus Havelund
November, 2017
Manchester