Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rv/cubes2017.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-26 20:18 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
