@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 = {Sun, 15 Aug 2021 10:46:48 +0200},
  biburl    = {https://dblp.org/rec/conf/rv/BasinKT17a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"MkZ9Atuymkqu72zCg","bibbaseid":"basin-krstic-traytel-aerialalmosteventrateindependentalgorithmsformonitoringmetricregularproperties-2017","author_short":["Basin, D. A.","Krstic, S.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["David","A."],"propositions":[],"lastnames":["Basin"],"suffixes":[]},{"firstnames":["Srdjan"],"propositions":[],"lastnames":["Krstic"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"editor":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Klaus"],"propositions":[],"lastnames":["Havelund"],"suffixes":[]}],"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":"Sun, 15 Aug 2021 10:46:48 +0200","biburl":"https://dblp.org/rec/conf/rv/BasinKT17a.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rv/BasinKT17a,\n author = {David A. Basin and\n Srdjan Krstic and\n Dmitriy Traytel},\n editor = {Giles Reger and\n Klaus Havelund},\n title = {{AERIAL:} Almost Event-Rate Independent Algorithms for Monitoring\n Metric Regular Properties},\n booktitle = {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 pages = {29--36},\n publisher = {EasyChair},\n year = {2017},\n url = {https://doi.org/10.29007/bm4c},\n doi = {10.29007/bm4c},\n timestamp = {Sun, 15 Aug 2021 10:46:48 +0200},\n biburl = {https://dblp.org/rec/conf/rv/BasinKT17a.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Basin, D. A.","Krstic, S.","Traytel, D."],"editor_short":["Reger, G.","Havelund, K."],"key":"DBLP:conf/rv/BasinKT17a","id":"DBLP:conf/rv/BasinKT17a","bibbaseid":"basin-krstic-traytel-aerialalmosteventrateindependentalgorithmsformonitoringmetricregularproperties-2017","role":"author","urls":{"Paper":"https://doi.org/10.29007/bm4c"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["aerial","event","rate","independent","algorithms","monitoring","metric","regular","properties","basin","krstic","traytel"],"title":"AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties","year":2017}