RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools18 articles•173 pages•Published: December 14, 2017 PapersPages 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 |
Keyphrasesactor 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 |
|