Volume
@proceedings{RV-CuBES2017,
title = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
year = {2017}}
Papers
@inproceedings{RV-CuBES2017:Report_RV_CuBES_2017,
author = {Giles Reger},
title = {A Report of RV-CuBES 2017},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/MVXk},
doi = {10.29007/2496},
pages = {1-9},
year = {2017}}
@inproceedings{RV-CuBES2017:Runtime_Verification_using_VALOUR,
author = {Shaun Azzopardi and Christian Colombo and Jean Paul Ebejer and Edward Mallia and Gordon Pace},
title = {Runtime Verification using VALOUR},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/wbSB},
doi = {10.29007/bwd4},
pages = {10-18},
year = {2017}}
@inproceedings{RV-CuBES2017:MonPoly_Monitoring_Tool,
author = {David Basin and Felix Klaedtke and Eugen Zalinescu},
title = {The MonPoly Monitoring Tool},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/62MC},
doi = {10.29007/89hs},
pages = {19-28},
year = {2017}}
@inproceedings{RV-CuBES2017:AERIAL_Almost_Event_Rate,
author = {David Basin and Srdjan Krstic and Dmitriy Traytel},
title = {AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/sgWQ},
doi = {10.29007/bm4c},
pages = {29-36},
year = {2017}}
@inproceedings{RV-CuBES2017:Risk_Tool_Over_tuning,
author = {Domenico Bianculli and Srdjan Krstic},
title = {On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper)},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/N6cC},
doi = {10.29007/l43m},
pages = {37-40},
year = {2017}}
@inproceedings{RV-CuBES2017:Suite_Monitoring_Tools_Erlang,
author = {Ian Cassar and Adrian Francalanza and Duncan Attard and Luca Aceto and Anna Ingolfsdottir},
title = {A Suite of Monitoring Tools for Erlang},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/cSzb},
doi = {10.29007/7lrd},
pages = {41-47},
year = {2017}}
@inproceedings{RV-CuBES2017:Generic_Instrumentation_Tool_Erlang,
author = {Ian Cassar and Adrian Francalanza and Duncan Paul Attard and Luca Aceto and Anna Ingolfsdottir},
title = {A Generic Instrumentation Tool for Erlang},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/XWsk},
doi = {10.29007/63tp},
pages = {48-54},
year = {2017}}
@inproceedings{RV-CuBES2017:Runtime_Verification_using_LARVA,
author = {Christian Colombo and Gordon Pace},
title = {Runtime Verification using LARVA},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/Jwmr},
doi = {10.29007/n7td},
pages = {55-63},
year = {2017}}
@inproceedings{RV-CuBES2017:TemPsy_Check_Tool_Model,
author = {Wei Dou and Domenico Bianculli and Lionel Briand},
title = {TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/jwLm},
doi = {10.29007/w2nj},
pages = {64-70},
year = {2017}}
@inproceedings{RV-CuBES2017:DANA_Description_Analysis_Networked,
author = {Christian Drabek and Gereon Weiss},
title = {DANA – Description and Analysis of Networked Applications},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/pWT7},
doi = {10.29007/zjn1},
pages = {71-80},
year = {2017}}
@inproceedings{RV-CuBES2017:Event_Stream_Processing_with,
author = {Sylvain Hallé and Raphael Khoury},
title = {Event Stream Processing with BeepBeep 3},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/5H1j},
doi = {10.29007/4cth},
pages = {81-88},
year = {2017}}
@inproceedings{RV-CuBES2017:Few_Things_We_Heard,
author = {Sylvain Hallé and Raphael Khoury and Sebastien Gaboury},
title = {A Few Things We Heard About RV Tools (Position Paper)},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/q246},
doi = {10.29007/zxc5},
pages = {89-95},
year = {2017}}
@inproceedings{RV-CuBES2017:COEMS_—_open_traces,
author = {Svetlana Jakšić and Martin Leucker and Dan Li and Volker Stolz},
title = {COEMS — open traces from the industry},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/QljX},
doi = {10.29007/gp13},
pages = {96-105},
year = {2017}}
@inproceedings{RV-CuBES2017:ARTiMon_Monitoring_Tool_Time,
author = {Nicolas Rapin},
title = {ARTiMon Monitoring Tool, The Time Domains},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/b417},
doi = {10.29007/wv9n},
pages = {106-122},
year = {2017}}
@inproceedings{RV-CuBES2017:Evaluation_Comparison_Runtime_Verification,
author = {Kristin Yvonne Rozier},
title = {On the Evaluation and Comparison of Runtime Verification Tools for Hardware and Cyber-Physical Systems},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/877G},
doi = {10.29007/pld3},
pages = {123-137},
year = {2017}}
@inproceedings{RV-CuBES2017:R2U2_Tool_Overview,
author = {Kristin Yvonne Rozier and Johann Schumann},
title = {R2U2: Tool Overview},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/Vncw},
doi = {10.29007/5pch},
pages = {138-156},
year = {2017}}
@inproceedings{RV-CuBES2017:Online_Runtime_Verification_Competitions,
author = {Julien Signoles},
title = {Online Runtime Verification Competitions: How To Possibly Deal With Their Issues (position paper)},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/m1vV},
doi = {10.29007/44mk},
pages = {157-163},
year = {2017}}
@inproceedings{RV-CuBES2017:E_ACSL_Runtime_Verification,
author = {Julien Signoles and Nikolai Kosmatov and Kostyantyn Vorobyov},
title = {E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper)},
booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
editor = {Giles Reger and Klaus Havelund},
series = {Kalpa Publications in Computing},
volume = {3},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/t6tV},
doi = {10.29007/fpdh},
pages = {164-173},
year = {2017}}
