Scalable Online First-Order Monitoring. Schneider, J., Basin, D. A., Brix, F., Krstic, S., & Traytel, D. In Colombo, C. & Leucker, M., editors, Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, volume 11237, of Lecture Notes in Computer Science, pages 353–371, 2018. Springer. Paper doi bibtex @inproceedings{DBLP:conf/rv/SchneiderBBKT18,
author = {Joshua Schneider and
David A. Basin and
Frederik Brix and
Srdan Krstic and
Dmitriy Traytel},
editor = {Christian Colombo and
Martin Leucker},
title = {Scalable Online First-Order Monitoring},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {353--371},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_20},
doi = {10.1007/978-3-030-03769-7\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/SchneiderBBKT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"4gTbxNpjdiiFCHawR","bibbaseid":"schneider-basin-brix-krstic-traytel-scalableonlinefirstordermonitoring-2018","author_short":["Schneider, J.","Basin, D. A.","Brix, F.","Krstic, S.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Joshua"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]},{"firstnames":["David","A."],"propositions":[],"lastnames":["Basin"],"suffixes":[]},{"firstnames":["Frederik"],"propositions":[],"lastnames":["Brix"],"suffixes":[]},{"firstnames":["Srdan"],"propositions":[],"lastnames":["Krstic"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"editor":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Colombo"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Leucker"],"suffixes":[]}],"title":"Scalable Online First-Order Monitoring","booktitle":"Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings","series":"Lecture Notes in Computer Science","volume":"11237","pages":"353–371","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-030-03769-7_20","doi":"10.1007/978-3-030-03769-7_20","timestamp":"Fri, 09 Apr 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/rv/SchneiderBBKT18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rv/SchneiderBBKT18,\n author = {Joshua Schneider and\n David A. Basin and\n Frederik Brix and\n Srdan Krstic and\n Dmitriy Traytel},\n editor = {Christian Colombo and\n Martin Leucker},\n title = {Scalable Online First-Order Monitoring},\n booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,\n Cyprus, November 10-13, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11237},\n pages = {353--371},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-03769-7\\_20},\n doi = {10.1007/978-3-030-03769-7\\_20},\n timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/rv/SchneiderBBKT18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Schneider, J.","Basin, D. A.","Brix, F.","Krstic, S.","Traytel, D."],"editor_short":["Colombo, C.","Leucker, M."],"key":"DBLP:conf/rv/SchneiderBBKT18","id":"DBLP:conf/rv/SchneiderBBKT18","bibbaseid":"schneider-basin-brix-krstic-traytel-scalableonlinefirstordermonitoring-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-03769-7_20"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["scalable","online","first","order","monitoring","schneider","basin","brix","krstic","traytel"],"title":"Scalable Online First-Order Monitoring","year":2018}