|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Giles Reger, Klaus Havelund (eds.) |
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![EasyChair The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir |
A Suite of Monitoring Tools for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 41-47, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kristin Yvonne Rozier, Johann Schumann |
R2U2: Tool Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 138-156, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Raphaël Khoury |
Event Stream Processing with BeepBeep 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 81-88, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz |
COEMS - open traces from the industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 96-105, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Rapin |
ARTiMon Monitoring Tool, The Time Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 106-122, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shaun Azzopardi, Christian Colombo 0001, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace |
Runtime Verification using VALOUR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 10-18, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julien Signoles |
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 157-163, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
The MonPoly Monitoring Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 19-28, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wei Dou 0001, Domenico Bianculli, Lionel C. Briand |
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 64-70, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Bianculli, Srdjan Krstic |
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 37-40, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger |
A Report of RV-CuBES 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 1-9, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov |
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 164-173, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir |
A Generic Instrumentation Tool for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 48-54, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury |
A Few Things We Heard About RV Tools (Position Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 89-95, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Gordon J. Pace |
Runtime Verification using LARVA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 55-63, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Srdjan Krstic, Dmitriy Traytel |
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 29-36, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kristin Yvonne Rozier |
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 123-137, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christian Drabek, Gereon Weiss |
DANA - Description and Analysis of Networked Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 71-80, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|