default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRV-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
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.
last updated on 2025-02-21 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
