Workshop RV-CuBES within RV 2017

An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

Held in conjunction with the 17th International Conference on Runtime Verification (RV 2017)

The goal of this workshop is to provide a venue to discuss ongoing efforts to improve how we evaluate and compare tools for runtime verification. This workshop invites submissions that contribute to this discussion (see below). The workshop replaces the Runtime Verification Competition this year, giving an opportunity for reflection and planning for the future.

Ylies Falcone, Associate Professor at LIG, is in the Program Committee.