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

researchr

You are not signed in
Sign in
Sign up

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, EasyChair, 2017. [doi]

Conference: RV2017

Abstract is missing.

A Report of RV-CuBES 2017Giles Reger. 1-9 [doi]

Runtime Verification using VALOURShaun Azzopardi, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace. 10-18 [doi]

The MonPoly Monitoring ToolDavid A. Basin, Felix Klaedtke, Eugen Zalinescu. 19-28 [doi]

AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular PropertiesDavid A. Basin, Srdjan Krstic, Dmitriy Traytel. 29-36 [doi]

On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)Domenico Bianculli, Srdjan Krstic. 37-40 [doi]

A Suite of Monitoring Tools for ErlangIan Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir. 41-47 [doi]

A Generic Instrumentation Tool for ErlangIan Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir. 48-54 [doi]

Runtime Verification using LARVAChristian Colombo, Gordon J. Pace. 55-63 [doi]

TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal PropertiesWei Dou 0001, Domenico Bianculli, Lionel C. Briand. 64-70 [doi]

DANA - Description and Analysis of Networked ApplicationsChristian Drabek, Gereon Weiss. 71-80 [doi]

Event Stream Processing with BeepBeep 3Sylvain Hallé, Raphaël Khoury. 81-88 [doi]

A Few Things We Heard About RV Tools (Position Paper)Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury. 89-95 [doi]

COEMS - open traces from the industrySvetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz. 96-105 [doi]

ARTiMon Monitoring Tool, The Time DomainsNicolas Rapin. 106-122 [doi]

On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical SystemsKristin Yvonne Rozier. 123-137 [doi]

R2U2: Tool OverviewKristin Yvonne Rozier, Johann Schumann. 138-156 [doi]

Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)Julien Signoles. 157-163 [doi]

E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov. 164-173 [doi]

runs on WebDSL