![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
RV-CuBES 2017: Seattle, WA, USA
- Giles Reger, Klaus Havelund:
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA. Kalpa Publications in Computing 3, EasyChair 2017 - Giles Reger:
A Report of RV-CuBES 2017. 1-9 - Shaun Azzopardi
, Christian Colombo, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace
:
Runtime Verification using VALOUR. 10-18 - David A. Basin, Felix Klaedtke, Eugen Zalinescu:
The MonPoly Monitoring Tool. 19-28 - David A. Basin, Srdjan Krstic, Dmitriy Traytel
:
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. 29-36 - Domenico Bianculli
, Srdjan Krstic:
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper). 37-40 - Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Suite of Monitoring Tools for Erlang. 41-47 - Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir:
A Generic Instrumentation Tool for Erlang. 48-54 - Christian Colombo, Gordon J. Pace
:
Runtime Verification using LARVA. 55-63 - Wei Dou, Domenico Bianculli
, Lionel C. Briand:
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. 64-70 - Christian Drabek
, Gereon Weiss:
DANA - Description and Analysis of Networked Applications. 71-80 - Sylvain Hallé, Raphaël Khoury:
Event Stream Processing with BeepBeep 3. 81-88 - Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury:
A Few Things We Heard About RV Tools (Position Paper). 89-95 - Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz:
COEMS - open traces from the industry. 96-105 - Nicolas Rapin:
ARTiMon Monitoring Tool, The Time Domains. 106-122 - Kristin Yvonne Rozier:
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems. 123-137 - Kristin Yvonne Rozier, Johann Schumann:
R2U2: Tool Overview. 138-156 - Julien Signoles:
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). 157-163 - Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov:
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). 164-173
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.