RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

18 articles173 pagesPublished: December 14, 2017

Papers

Pages 1-9
Pages 10-18
Pages 19-28
Pages 29-36
Pages 37-40
Pages 41-47
Pages 48-54
Pages 55-63
Pages 64-70
Pages 71-80
Pages 81-88
Pages 89-95
Pages 96-105
Pages 106-122
Pages 123-137
Pages 138-156
Pages 157-163
Pages 164-173

Keyphrases

actor systems2, adaptation, aspect-oriented programming, BeepBeep, Benchmarks, case studies, code instrumentation, competition, Complex Event Processing, cyber-physical system verification2, Data Management Plan, Enforcement, Erlang2, Event Stream Processing, event-rate independence, Formal Specification Language, hardware verification, layered reference model, logic-based, Memory Debugger, metric dynamic logic, Metric Temporal Logic, MFOTL, Model-Driven Engineering, monitoring5, Networked applications, online runtime verification, open data, over-tuning, pattern-based language, position paper, property, real-time, resumption, run-time verification, runtime assertion checking, runtime benchmarks, runtime verification7, runtime verification tool3, semantics, software interface behavior, System Health Management, temporal logic2, time domains, Time Function, tool competitions, tool extensions, tool paper, tools, trace checking, trace format, trace-rate independence, verification2