Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/rv/cubes2017.bht:"
@inproceedings{DBLP:conf/rv/0001BB17, author = {Wei Dou and Domenico Bianculli and Lionel C. Briand}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {64--70}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/w2nj}, doi = {10.29007/W2NJ}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/0001BB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/AzzopardiCEMP17, author = {Shaun Azzopardi and Christian Colombo and Jean{-}Paul Ebejer and Edward Mallia and Gordon J. Pace}, editor = {Giles Reger and Klaus Havelund}, title = {Runtime Verification using {VALOUR}}, booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {10--18}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/bwd4}, doi = {10.29007/BWD4}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/AzzopardiCEMP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/BasinKT17a, author = {David A. Basin and Srdjan Krstic and Dmitriy Traytel}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {29--36}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/bm4c}, doi = {10.29007/BM4C}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/BasinKT17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/BasinKZ17, author = {David A. Basin and Felix Klaedtke and Eugen Zalinescu}, editor = {Giles Reger and Klaus Havelund}, title = {The MonPoly Monitoring Tool}, booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {19--28}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/89hs}, doi = {10.29007/89HS}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/BasinKZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/BianculliK17, author = {Domenico Bianculli and Srdjan Krstic}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {37--40}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/l43m}, doi = {10.29007/L43M}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/BianculliK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/CassarFAAI17, author = {Ian Cassar and Adrian Francalanza and Duncan Paul Attard and Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {41--47}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/7lrd}, doi = {10.29007/7LRD}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/CassarFAAI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/CassarFAAI17a, author = {Ian Cassar and Adrian Francalanza and Duncan Paul Attard and Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {48--54}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/63tp}, doi = {10.29007/63TP}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/CassarFAAI17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/ColomboP17, author = {Christian Colombo and Gordon J. Pace}, editor = {Giles Reger and Klaus Havelund}, title = {Runtime Verification using {LARVA}}, booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {55--63}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/n7td}, doi = {10.29007/N7TD}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/ColomboP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/DrabekW17, author = {Christian Drabek and Gereon Weiss}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {71--80}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/zjn1}, doi = {10.29007/ZJN1}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/DrabekW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/HalleK17, author = {Sylvain Hall{\'{e}} and Rapha{\"{e}}l Khoury}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {81--88}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/4cth}, doi = {10.29007/4CTH}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/HalleK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/HalleKG17a, author = {Sylvain Hall{\'{e}} and Rapha{\"{e}}l Khoury and S{\'{e}}bastien Gaboury}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {89--95}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/zxc5}, doi = {10.29007/ZXC5}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/HalleKG17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/JaksicLLS17, author = {Svetlana Jaksic and Martin Leucker and Dan Li and Volker Stolz}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {96--105}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/gp13}, doi = {10.29007/GP13}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/JaksicLLS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/Rapin17, author = {Nicolas Rapin}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {106--122}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/wv9n}, doi = {10.29007/WV9N}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/Rapin17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/Reger17, author = {Giles Reger}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {1--9}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/2496}, doi = {10.29007/2496}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/Reger17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/Rozier17, author = {Kristin Yvonne Rozier}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {123--137}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/pld3}, doi = {10.29007/PLD3}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/Rozier17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/RozierS17, author = {Kristin Yvonne Rozier and Johann Schumann}, editor = {Giles Reger and Klaus Havelund}, title = {{R2U2:} Tool Overview}, booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {138--156}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/5pch}, doi = {10.29007/5PCH}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/RozierS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/Signoles17, author = {Julien Signoles}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {157--163}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/44mk}, doi = {10.29007/44MK}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/Signoles17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/SignolesKV17, author = {Julien Signoles and Nikolai Kosmatov and Kostyantyn Vorobyov}, editor = {Giles Reger and Klaus Havelund}, 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, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, pages = {164--173}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/fpdh}, doi = {10.29007/FPDH}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/SignolesKV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2017cubes, editor = {Giles Reger and Klaus Havelund}, title = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, {USA}}, series = {Kalpa Publications in Computing}, volume = {3}, publisher = {EasyChair}, year = {2017}, url = {http://www.easychair.org/publications/volume/RV-CuBES\_2017}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/2017cubes.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.