Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

RV-CuBES 2017: Volume Information

RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

Editors: Giles Reger and Klaus Havelund

Kalpa Publications in Computing•Volume 3

18 articles•173 pages•Published: December 14, 2017

Papers

A Report of RV-CuBES 2017

1-9

Runtime Verification using VALOUR

Shaun Azzopardi, Christian Colombo, Jean Paul Ebejer, Edward Mallia and Gordon Pace

10-18

The MonPoly Monitoring Tool

David Basin, Felix Klaedtke and Eugen Zalinescu

19-28

AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties

David Basin, Srdjan Krstic and Dmitriy Traytel

29-36

On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)

Domenico Bianculli and Srdjan Krstic

37-40

A Suite of Monitoring Tools for Erlang

Ian Cassar, Adrian Francalanza, Duncan Attard, Luca Aceto and Anna Ingolfsdottir

41-47

A Generic Instrumentation Tool for Erlang

Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto and Anna Ingolfsdottir

48-54

Runtime Verification using LARVA

Christian Colombo and Gordon Pace

55-63

TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties

Wei Dou, Domenico Bianculli and Lionel Briand

64-70

DANA – Description and Analysis of Networked Applications

Christian Drabek and Gereon Weiss

71-80

Event Stream Processing with BeepBeep 3

Sylvain Hallé and Raphael Khoury

81-88

A Few Things We Heard About RV Tools (Position Paper)

Sylvain Hallé, Raphael Khoury and Sebastien Gaboury

89-95

COEMS — open traces from the industry

Svetlana Jakšić, Martin Leucker, Dan Li and Volker Stolz

96-105

ARTiMon Monitoring Tool, The Time Domains

106-122

On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems

Kristin Yvonne Rozier

123-137

R2U2: Tool Overview

Kristin Yvonne Rozier and Johann Schumann

138-156

Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)

Julien Signoles

157-163

E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)

Julien Signoles, Nikolai Kosmatov and Kostyantyn Vorobyov

164-173

Keyphrases

actor systems², adaptation, aspect-oriented programming, BeepBeep, Benchmarks, case studies, code instrumentation, competition, Complex Event Processing, cyber-physical system verification², Data Management Plan, Enforcement, Erlang², event-rate independence, Event Stream Processing, Formal Specification Language, hardware verification, layered reference model, logic-based, Memory Debugger, metric dynamic logic, Metric Temporal Logic, MFOTL, Model-Driven Engineering, monitoring⁵, Networked applications, online runtime verification, open data, over-tuning, pattern-based language, position paper, property, real-time, resumption, run-time verification, runtime assertion checking, runtime benchmarks, runtime verification⁷, runtime verification tool³, semantics, software interface behavior, System Health Management, temporal logic², time domains, Time Function, tool competitions, tool extensions, tool paper, tools, trace checking, trace format, trace-rate independence, verification².