@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 = {Tue, 16 Jan 2018 18:09:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2017cubes},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"nHMyXZerbHTWYGsPj","bibbaseid":"reger-havelund-rvcubes2017aninternationalworkshoponcompetitionsusabilitybenchmarksevaluationandstandardisationforruntimeverificationtoolsseptember152017seattlewausa-2017","downloads":0,"creationDate":"2019-03-14T12:11:49.508Z","title":"RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA","author_short":null,"year":2017,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Klaus"],"propositions":[],"lastnames":["Havelund"],"suffixes":[]}],"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":"Tue, 16 Jan 2018 18:09:01 +0100","biburl":"https://dblp.org/rec/bib/conf/rv/2017cubes","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/rv/2017cubes,\n editor = {Giles Reger and\n Klaus Havelund},\n title = {RV-CuBES 2017. An International Workshop on Competitions, Usability,\n Benchmarks, Evaluation, and Standardisation for Runtime Verification\n Tools, September 15, 2017, Seattle, WA, {USA}},\n series = {Kalpa Publications in Computing},\n volume = {3},\n publisher = {EasyChair},\n year = {2017},\n url = {http://www.easychair.org/publications/volume/RV-CuBES\\_2017},\n timestamp = {Tue, 16 Jan 2018 18:09:01 +0100},\n biburl = {https://dblp.org/rec/bib/conf/rv/2017cubes},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Reger, G.","Havelund, K."],"key":"DBLP:conf/rv/2017cubes","id":"DBLP:conf/rv/2017cubes","bibbaseid":"reger-havelund-rvcubes2017aninternationalworkshoponcompetitionsusabilitybenchmarksevaluationandstandardisationforruntimeverificationtoolsseptember152017seattlewausa-2017","role":"editor","urls":{"Paper":"http://www.easychair.org/publications/volume/RV-CuBES_2017"},"downloads":0},"search_terms":["cubes","2017","international","workshop","competitions","usability","benchmarks","evaluation","standardisation","runtime","verification","tools","september","2017","seattle","usa"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}