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},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762}}
Papers
@inproceedings{RV-CuBES2017:Report_of_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},
pages = {1--9},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/MVXk},
doi = {10.29007/2496}}
@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},
pages = {10--18},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/wbSB},
doi = {10.29007/bwd4}}
@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},
pages = {19--28},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/62MC},
doi = {10.29007/89hs}}
@inproceedings{RV-CuBES2017:AERIAL_Almost_Event_Rate_Independent,
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},
pages = {29--36},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/sgWQ},
doi = {10.29007/bm4c}}
@inproceedings{RV-CuBES2017:On_Risk_of_Tool,
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},
pages = {37--40},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/N6cC},
doi = {10.29007/l43m}}
@inproceedings{RV-CuBES2017:Suite_of_Monitoring_Tools,
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},
pages = {41--47},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/cSzb},
doi = {10.29007/7lrd}}
@inproceedings{RV-CuBES2017:Generic_Instrumentation_Tool_for,
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},
pages = {48--54},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/XWsk},
doi = {10.29007/63tp}}
@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},
pages = {55--63},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/Jwmr},
doi = {10.29007/n7td}}
@inproceedings{RV-CuBES2017:TemPsy_Check_Tool_for_Model_driven,
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},
pages = {64--70},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/jwLm},
doi = {10.29007/w2nj}}
@inproceedings{RV-CuBES2017:DANA_Description_and,
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},
pages = {71--80},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/pWT7},
doi = {10.29007/zjn1}}
@inproceedings{RV-CuBES2017:Event_Stream_Processing_with,
author = {Sylvain Hall\textbackslash{}'e 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},
pages = {81--88},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/5H1j},
doi = {10.29007/4cth}}
@inproceedings{RV-CuBES2017:Few_Things_We_Heard,
author = {Sylvain Hall\textbackslash{}'e 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},
pages = {89--95},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/q246},
doi = {10.29007/zxc5}}
@inproceedings{RV-CuBES2017:COEMS_open_traces,
author = {Svetlana Jak\textbackslash{}v\{s\}i\textbackslash{}'c 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},
pages = {96--105},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/QljX},
doi = {10.29007/gp13}}
@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},
pages = {106--122},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/b417},
doi = {10.29007/wv9n}}
@inproceedings{RV-CuBES2017:On_Evaluation_and_Comparison,
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},
pages = {123--137},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/877G},
doi = {10.29007/pld3}}
@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},
pages = {138--156},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/Vncw},
doi = {10.29007/5pch}}
@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},
pages = {157--163},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/m1vV},
doi = {10.29007/44mk}}
@inproceedings{RV-CuBES2017:E_ACSL_Runtime_Verification_Tool,
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},
pages = {164--173},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/t6tV},
doi = {10.29007/fpdh}}