|
|
|
|
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  |
RV-CuBES  |
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. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristin Yvonne Rozier, Johann Schumann |
R2U2: Tool Overview. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé, Raphaël Khoury |
Event Stream Processing with BeepBeep 3. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz |
COEMS - open traces from the industry. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Rapin |
ARTiMon Monitoring Tool, The Time Domains. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaun Azzopardi, Christian Colombo 0001, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace |
Runtime Verification using VALOUR. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Signoles |
Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper). |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Felix Klaedtke, Eugen Zalinescu |
The MonPoly Monitoring Tool. |
RV-CuBES |
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. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Bianculli, Srdjan Krstic |
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper). |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger |
A Report of RV-CuBES 2017. |
RV-CuBES |
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). |
RV-CuBES |
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. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury |
A Few Things We Heard About RV Tools (Position Paper). |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo 0001, Gordon J. Pace |
Runtime Verification using LARVA. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Srdjan Krstic, Dmitriy Traytel |
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristin Yvonne Rozier |
On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Drabek, Gereon Weiss |
DANA - Description and Analysis of Networked Applications. |
RV-CuBES |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license