RV-CUBES 2017: AN INTERNATIONAL WORKSHOP ON COMPETITIONS, USABILITY, BENCHMARKS, EVALUATION, AND STANDARDISATION FOR RUNTIME VERIFICATION TOOLS
TALK AUTHOR INDEX
Shortcuts: BFGHJKLRSTVZ
B
Basin, David
The MonPoly Monitoring Tool
Aerial: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
Bianculli, Domenico
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
F
Faymonville, Peter
Lola: A Tool for Stream-based Monitoring
Finkbeiner, Bernd
Lola: A Tool for Stream-based Monitoring
G
Gaboury, Sebastien
A Few Things We Heard About RV Tools (Position Paper)
H
Hallé, Sylvain
Event Stream Processing with BeepBeep 3
A Few Things We Heard About RV Tools (Position Paper)
J
Jaksic, Svetlana
COEMS — open traces from the industry
K
Khoury, Raphael
Event Stream Processing with BeepBeep 3
A Few Things We Heard About RV Tools (Position Paper)
Klaedtke, Felix
The MonPoly Monitoring Tool
Kosmatov, Nikolai
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
Krstic, Srdjan
Aerial: 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, Martin
COEMS — open traces from the industry
Li, Dan
COEMS — open traces from the industry
R
Rozier, Kristin Yvonne
R2U2: Tool Overview
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
S
Schirmer, Sebastian
Lola: A Tool for Stream-based Monitoring
Schumann, Johann
R2U2: Tool Overview
Schwenger, Maximilian
Lola: A Tool for Stream-based Monitoring
Signoles, Julien
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
Stolz, Volker
COEMS — open traces from the industry
T
Torfah, Hazem
Lola: A Tool for Stream-based Monitoring
Traytel, Dmitriy
Aerial: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
V
Vorobyov, Kostyantyn
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
Z
Zalinescu, Eugen
The MonPoly Monitoring Tool