RV-CuBES 2017: Author Index

AuthorPapers
A
Aceto, LucaA Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang
Attard, Duncan PaulA Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang
Azzopardi, ShaunRuntime Verification using VALOUR
B
Basin, DavidThe MonPoly Monitoring Tool
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
Bianculli, DomenicoOn the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Briand, LionelTemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
C
Cassar, IanA Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang
Colombo, ChristianRuntime Verification using VALOUR
Runtime Verification using LARVA
D
Dou, WeiTemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Drabek, ChristianDANA – Description and Analysis of Networked Applications
E
Ebejer, Jean PaulRuntime Verification using VALOUR
F
Francalanza, AdrianA Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang
G
Gaboury, SebastienA Few Things We Heard About RV Tools (Position Paper)
H
Hallé, SylvainEvent Stream Processing with BeepBeep 3
A Few Things We Heard About RV Tools (Position Paper)
I
Ingolfsdottir, AnnaA Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang
J
Jakšić, SvetlanaCOEMS — open traces from the industry
K
Khoury, RaphaelEvent Stream Processing with BeepBeep 3
A Few Things We Heard About RV Tools (Position Paper)
Klaedtke, FelixThe MonPoly Monitoring Tool
Kosmatov, NikolaiE-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
Krstic, SrdjanAERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
L
Leucker, MartinCOEMS — open traces from the industry
Li, DanCOEMS — open traces from the industry
M
Mallia, EdwardRuntime Verification using VALOUR
P
Pace, GordonRuntime Verification using VALOUR
Runtime Verification using LARVA
R
Rapin, NicolasARTiMon Monitoring Tool, The Time Domains
Reger, GilesA Report of RV-CuBES 2017
Rozier, Kristin YvonneOn the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
R2U2: Tool Overview
S
Schumann, JohannR2U2: Tool Overview
Signoles, JulienOnline Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
Stolz, VolkerCOEMS — open traces from the industry
T
Traytel, DmitriyAERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
V
Vorobyov, KostyantynE-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
W
Weiss, GereonDANA – Description and Analysis of Networked Applications
Z
Zalinescu, EugenThe MonPoly Monitoring Tool