@inproceedings{DBLP:conf/wetice/MurinoFC24,
  author       = {Stefano Murino and
                  Angelo Ferrando and
                  Giacomo Cabri},
  title        = {RVElastic: a Runtime Verification Framework for Microservice Systems},
  booktitle    = {32nd International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2024, Reggio Emilia, Italy,
                  June 26-28, 2024},
  pages        = {62--67},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/WETICE64632.2024.00020},
  doi          = {10.1109/WETICE64632.2024.00020},
  timestamp    = {Thu, 27 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/MurinoFC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"rC8FMxH8uhnNBKX5q","bibbaseid":"murino-ferrando-cabri-rvelasticaruntimeverificationframeworkformicroservicesystems-2024","author_short":["Murino, S.","Ferrando, A.","Cabri, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Murino"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Giacomo"],"propositions":[],"lastnames":["Cabri"],"suffixes":[]}],"title":"RVElastic: a Runtime Verification Framework for Microservice Systems","booktitle":"32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2024, Reggio Emilia, Italy, June 26-28, 2024","pages":"62–67","publisher":"IEEE","year":"2024","url":"https://doi.org/10.1109/WETICE64632.2024.00020","doi":"10.1109/WETICE64632.2024.00020","timestamp":"Thu, 27 Feb 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/wetice/MurinoFC24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/wetice/MurinoFC24,\n author = {Stefano Murino and\n Angelo Ferrando and\n Giacomo Cabri},\n title = {RVElastic: a Runtime Verification Framework for Microservice Systems},\n booktitle = {32nd International Conference on Enabling Technologies: Infrastructure\n for Collaborative Enterprises, {WETICE} 2024, Reggio Emilia, Italy,\n June 26-28, 2024},\n pages = {62--67},\n publisher = {{IEEE}},\n year = {2024},\n url = {https://doi.org/10.1109/WETICE64632.2024.00020},\n doi = {10.1109/WETICE64632.2024.00020},\n timestamp = {Thu, 27 Feb 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/wetice/MurinoFC24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Murino, S.","Ferrando, A.","Cabri, G."],"key":"DBLP:conf/wetice/MurinoFC24","id":"DBLP:conf/wetice/MurinoFC24","bibbaseid":"murino-ferrando-cabri-rvelasticaruntimeverificationframeworkformicroservicesystems-2024","role":"author","urls":{"Paper":"https://doi.org/10.1109/WETICE64632.2024.00020"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6"],"keywords":[],"search_terms":["rvelastic","runtime","verification","framework","microservice","systems","murino","ferrando","cabri"],"title":"RVElastic: a Runtime Verification Framework for Microservice Systems","year":2024}