RV-CuBES

Keyphrases

Publications

2017

Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Suite of Monitoring Tools for Erlang. RV-CuBES (2017)
Kristin Yvonne Rozier, Johann Schumann
R2U2: Tool Overview. RV-CuBES (2017)
Sylvain Hallé, Raphaël Khoury
Event Stream Processing with BeepBeep 3. RV-CuBES (2017)
Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz
COEMS - open traces from the industry. RV-CuBES (2017)
Nicolas Rapin
ARTiMon Monitoring Tool, The Time Domains. RV-CuBES (2017)
Shaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace
Runtime Verification using VALOUR. RV-CuBES (2017)
Julien Signoles
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). RV-CuBES (2017)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
The MonPoly Monitoring Tool. RV-CuBES (2017)
Wei Dou, Domenico Bianculli, Lionel C. Briand
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. RV-CuBES (2017)
Domenico Bianculli, Srdjan Krstic
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper). RV-CuBES (2017)
Giles Reger
A Report of RV-CuBES 2017. RV-CuBES (2017)
Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). RV-CuBES (2017)
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Generic Instrumentation Tool for Erlang. RV-CuBES (2017)
Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury
A Few Things We Heard About RV Tools (Position Paper). RV-CuBES (2017)
Christian Colombo, Gordon J. Pace
Runtime Verification using LARVA. RV-CuBES (2017)
David A. Basin, Srdjan Krstic, Dmitriy Traytel
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. RV-CuBES (2017)
Kristin Yvonne Rozier
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems. RV-CuBES (2017)
Christian Drabek, Gereon Weiss
DANA - Description and Analysis of Networked Applications. RV-CuBES (2017)

volume 3, 2017

RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA RV-CuBES 3 (2017)