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},
  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}}