RV-CuBES 2017: Keyword Index

Keyword	Papers
a
actor systems	A Suite of Monitoring Tools for Erlang A Generic Instrumentation Tool for Erlang
adaptation	A Suite of Monitoring Tools for Erlang
aspect-oriented programming	A Generic Instrumentation Tool for Erlang
b
BeepBeep	Event Stream Processing with BeepBeep 3
Benchmarks	Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
c
case studies	Runtime Verification using LARVA
code instrumentation	A Generic Instrumentation Tool for Erlang
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	On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems R2U2: Tool Overview
d
Data Management Plan	COEMS — open traces from the industry
e
Enforcement	A Suite of Monitoring Tools for Erlang
Erlang	A Suite of Monitoring Tools for Erlang A Generic Instrumentation Tool for Erlang
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
layered reference model	DANA – Description and Analysis of Networked Applications
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
Model-Driven Engineering	TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
monitoring	The MonPoly Monitoring Tool AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties A Suite of Monitoring Tools for Erlang A Generic Instrumentation Tool for Erlang ARTiMon Monitoring Tool, The Time Domains
n
Networked applications	DANA – Description and Analysis of Networked Applications
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
pattern-based language	TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
position paper	A Few Things We Heard About RV Tools (Position Paper)
property	ARTiMon Monitoring Tool, The Time Domains
r
real-time	ARTiMon Monitoring Tool, The Time Domains
resumption	DANA – Description and Analysis of Networked Applications
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	Runtime Verification using VALOUR A Suite of Monitoring Tools for Erlang DANA – Description and Analysis of Networked Applications A Few Things We Heard About RV Tools (Position Paper) COEMS — open traces from the industry On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems R2U2: Tool Overview
runtime verification tool	Runtime Verification using VALOUR Runtime Verification using LARVA E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
s
semantics	ARTiMon Monitoring Tool, The Time Domains
software interface behavior	DANA – Description and Analysis of Networked Applications
System Health Management	R2U2: Tool Overview
t
temporal logic	On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems R2U2: Tool Overview
time domains	ARTiMon Monitoring Tool, The Time Domains
Time Function	ARTiMon Monitoring Tool, The Time Domains
tool competitions	Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
tool extensions	Runtime Verification using LARVA
tool paper	Event Stream Processing with BeepBeep 3
tools	A Few Things We Heard About RV Tools (Position Paper)
trace checking	TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
trace format	COEMS — open traces from the industry
trace-rate independence	AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
v
verification	Runtime Verification using VALOUR A Suite of Monitoring Tools for Erlang