RV-CuBES 2017:BibTeX Entries

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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/t6tV},
  doi       = {10.29007/fpdh}}