@inproceedings{DBLP:conf/cilc/AnconaFM22,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Roberta Calegari and
                  Giovanni Ciatto and
                  Andrea Omicini},
  title        = {Exploiting Probabilistic Trace Expressions for Decentralized Runtime
                  Verification with Gaps},
  booktitle    = {Proceedings of the 37th Italian Conference on Computational Logic,
                  Bologna, Italy, June 29 - July 1, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3204},
  pages        = {154--170},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3204/paper\_17.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cilc/AnconaFM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tEFqPy5NBDHu6W8FC","bibbaseid":"ancona-ferrando-mascardi-exploitingprobabilistictraceexpressionsfordecentralizedruntimeverificationwithgaps-2022","author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"editor":[{"firstnames":["Roberta"],"propositions":[],"lastnames":["Calegari"],"suffixes":[]},{"firstnames":["Giovanni"],"propositions":[],"lastnames":["Ciatto"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Omicini"],"suffixes":[]}],"title":"Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps","booktitle":"Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022","series":"CEUR Workshop Proceedings","volume":"3204","pages":"154–170","publisher":"CEUR-WS.org","year":"2022","url":"https://ceur-ws.org/Vol-3204/paper\\_17.pdf","timestamp":"Fri, 10 Mar 2023 16:22:45 +0100","biburl":"https://dblp.org/rec/conf/cilc/AnconaFM22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cilc/AnconaFM22,\n author = {Davide Ancona and\n Angelo Ferrando and\n Viviana Mascardi},\n editor = {Roberta Calegari and\n Giovanni Ciatto and\n Andrea Omicini},\n title = {Exploiting Probabilistic Trace Expressions for Decentralized Runtime\n Verification with Gaps},\n booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,\n Bologna, Italy, June 29 - July 1, 2022},\n series = {{CEUR} Workshop Proceedings},\n volume = {3204},\n pages = {154--170},\n publisher = {CEUR-WS.org},\n year = {2022},\n url = {https://ceur-ws.org/Vol-3204/paper\\_17.pdf},\n timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},\n biburl = {https://dblp.org/rec/conf/cilc/AnconaFM22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"editor_short":["Calegari, R.","Ciatto, G.","Omicini, A."],"key":"DBLP:conf/cilc/AnconaFM22","id":"DBLP:conf/cilc/AnconaFM22","bibbaseid":"ancona-ferrando-mascardi-exploitingprobabilistictraceexpressionsfordecentralizedruntimeverificationwithgaps-2022","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-3204/paper\\_17.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["hbmDF3mowSFP7RzLi","X6oai84Gqtg82PfJ8","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur","jkPac6coMCnfPS9v6"],"keywords":[],"search_terms":["exploiting","probabilistic","trace","expressions","decentralized","runtime","verification","gaps","ancona","ferrando","mascardi"],"title":"Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps","year":2022}