|
|
RV-CuBES 2017: Author Index| Author | Papers |
|---|
| A | | Aceto, Luca | A Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang | | Attard, Duncan Paul | A Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang | | Azzopardi, Shaun | Runtime Verification using VALOUR | | B | | Basin, David | The MonPoly Monitoring Tool
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties | | Bianculli, Domenico | On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties | | Briand, Lionel | TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties | | C | | Cassar, Ian | A Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang | | Colombo, Christian | Runtime Verification using VALOUR
Runtime Verification using LARVA | | D | | Dou, Wei | TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties | | Drabek, Christian | DANA – Description and Analysis of Networked Applications | | E | | Ebejer, Jean Paul | Runtime Verification using VALOUR | | F | | Francalanza, Adrian | A Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang | | G | | Gaboury, Sebastien | A Few Things We Heard About RV Tools (Position Paper) | | H | | Hallé, Sylvain | Event Stream Processing with BeepBeep 3
A Few Things We Heard About RV Tools (Position Paper) | | I | | Ingolfsdottir, Anna | A Suite of Monitoring Tools for Erlang
A Generic Instrumentation Tool for Erlang | | J | | Jakšić, Svetlana | COEMS — open traces from the industry | | K | | Khoury, Raphael | Event Stream Processing with BeepBeep 3
A Few Things We Heard About RV Tools (Position Paper) | | Klaedtke, Felix | The MonPoly Monitoring Tool | | Kosmatov, Nikolai | E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper) | | Krstic, Srdjan | AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper) | | L | | Leucker, Martin | COEMS — open traces from the industry | | Li, Dan | COEMS — open traces from the industry | | M | | Mallia, Edward | Runtime Verification using VALOUR | | P | | Pace, Gordon | Runtime Verification using VALOUR
Runtime Verification using LARVA | | R | | Rapin, Nicolas | ARTiMon Monitoring Tool, The Time Domains | | Reger, Giles | A Report of RV-CuBES 2017 | | Rozier, Kristin Yvonne | On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems
R2U2: Tool Overview | | S | | Schumann, Johann | R2U2: Tool Overview | | Signoles, Julien | Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper) | | Stolz, Volker | COEMS — open traces from the industry | | T | | Traytel, Dmitriy | AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties | | V | | Vorobyov, Kostyantyn | E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper) | | W | | Weiss, Gereon | DANA – Description and Analysis of Networked Applications | | Z | | Zalinescu, Eugen | The MonPoly Monitoring Tool |
|
|
|
