RV-CuBES 2017:Keyword Index

KeywordPapers
A
actor systemsA Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang
adaptationA Suite of Monitoring Tools for Erlang
aspect-oriented programmingA Generic Instrumentation Tool for Erlang
B
BeepBeepEvent Stream Processing with BeepBeep 3
BenchmarksOnline Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
C
case studiesRuntime Verification using LARVA
code instrumentationA Generic Instrumentation Tool for Erlang
competitionOn the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
Complex Event ProcessingEvent Stream Processing with BeepBeep 3
cyber-physical system verificationOn the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
R2U2: Tool Overview
D
Data Management PlanCOEMS — open traces from the industry
E
EnforcementA Suite of Monitoring Tools for Erlang
ErlangA Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang
Event Stream ProcessingEvent Stream Processing with BeepBeep 3
event-rate independenceAERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
F
Formal Specification LanguageE-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
H
hardware verificationR2U2: Tool Overview
L
layered reference modelDANA – Description and Analysis of Networked Applications
logic-basedThe MonPoly Monitoring Tool
M
Memory DebuggerE-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
metric dynamic logicAERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
Metric Temporal LogicAERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
MFOTLThe MonPoly Monitoring Tool
Model-Driven EngineeringTemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
monitoringThe 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 applicationsDANA – Description and Analysis of Networked Applications
O
online runtime verificationOnline Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
open dataCOEMS — open traces from the industry
over-tuningOn the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
P
pattern-based languageTemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
position paperA Few Things We Heard About RV Tools (Position Paper)
propertyARTiMon Monitoring Tool, The Time Domains
R
real-timeARTiMon Monitoring Tool, The Time Domains
resumptionDANA – Description and Analysis of Networked Applications
run-time verificationOn the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
runtime assertion checkingE-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
runtime benchmarksOn the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
runtime verificationRuntime 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 toolRuntime Verification using VALOUR
Runtime Verification using LARVA
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)
S
semanticsARTiMon Monitoring Tool, The Time Domains
software interface behaviorDANA – Description and Analysis of Networked Applications
System Health ManagementR2U2: Tool Overview
T
temporal logicOn the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
R2U2: Tool Overview
time domainsARTiMon Monitoring Tool, The Time Domains
Time FunctionARTiMon Monitoring Tool, The Time Domains
tool competitionsOnline Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
tool extensionsRuntime Verification using LARVA
tool paperEvent Stream Processing with BeepBeep 3
toolsA Few Things We Heard About RV Tools (Position Paper)
trace checkingTemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
trace formatCOEMS — open traces from the industry
trace-rate independenceAERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
V
verificationRuntime Verification using VALOUR
A Suite of Monitoring Tools for Erlang