|
|
RV-CuBES 2017:Keyword IndexKeyword | 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 |
|
|
|