RV-CUBES 2017: AN INTERNATIONAL WORKSHOP ON COMPETITIONS, USABILITY, BENCHMARKS, EVALUATION, AND STANDARDISATION FOR RUNTIME VERIFICATION TOOLS

This page contains an index consisting of author-provided keywords.

B
BeepBeep	Event Stream Processing with BeepBeep 3
benchmarks	Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
C
competition	On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
complex event processing	Event Stream Processing with BeepBeep 3
cyber-physical system verification	R2U2: Tool Overview On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
D
data management plan	COEMS — open traces from the industry
Declarative specifications	Lola: A Tool for Stream-based Monitoring
E
event stream processing	Event Stream Processing with BeepBeep 3
event-rate independence	Aerial: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
F
Formal Specification Language	E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
H
hardware verification	R2U2: Tool Overview
L
logic-based	The MonPoly Monitoring Tool
M
Memory Debugger	E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
metric dynamic logic	Aerial: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
metric temporal logic	Aerial: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
MFOTL	The MonPoly Monitoring Tool
monitoring	Lola: A Tool for Stream-based Monitoring Aerial: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties The MonPoly Monitoring Tool
O
online runtime verification	Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
open data	COEMS — open traces from the industry
over-tuning	On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
P
position paper	A Few Things We Heard About RV Tools (Position Paper)
R
run-time verification	On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
Runtime Assertion Checking	E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
runtime benchmarks	On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
runtime verification	R2U2: Tool Overview On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems COEMS — open traces from the industry A Few Things We Heard About RV Tools (Position Paper)
Runtime Verification Tool	E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
S
Stream-based languages	Lola: A Tool for Stream-based Monitoring
system health management	R2U2: Tool Overview
T
temporal logic	R2U2: Tool Overview On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
tool competitions	Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
tool paper	Event Stream Processing with BeepBeep 3
tools	A Few Things We Heard About RV Tools (Position Paper)
trace format	COEMS — open traces from the industry
trace-rate independence	Aerial: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties

Disclaimer | Powered by EasyChair Smart Program