{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:46Z","timestamp":1750221286750,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T00:00:00Z","timestamp":1522627200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Horizon 2020 Framework Programme","award":["644869"],"award-info":[{"award-number":["644869"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,2]]},"DOI":"10.1145\/3185768.3186287","type":"proceedings-article","created":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T12:47:13Z","timestamp":1523278033000},"page":"159-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Trace Checking of Streaming Applications through DICE-TraCT"],"prefix":"10.1145","author":[{"given":"Marcello M.","family":"Bersani","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Marconi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,2]]},"reference":[{"unstructured":"Marcello M. Bersani Madalina Erascu Francesco Marconi and Matteo Rossi. {n. d.}. D3.5 DICE Verification Tools Initial Version. (. {n. d.}). http:\/\/wp.doc.ic.ac.uk\/dice-h2020\/wp-content\/uploads\/sites\/75\/2016\/02\/D3.5_DICE-verification-tools-Initial-version.pdf  Marcello M. Bersani Madalina Erascu Francesco Marconi and Matteo Rossi. {n. d.}. D3.5 DICE Verification Tools Initial Version. (. {n. d.}). http:\/\/wp.doc.ic.ac.uk\/dice-h2020\/wp-content\/uploads\/sites\/75\/2016\/02\/D3.5_DICE-verification-tools-Initial-version.pdf","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"DICE: Quality-Driven Development of Data-Intensive Cloud Applications Proc. of MiSE. 78--83","author":"Casale Giuliano","year":"2015","unstructured":"Giuliano Casale , Danilo Ardagna , Matej Artac , Franck Barbier , Elisabetta Di Nitto , Alexis Henry , Gabriel Iuhasz , Christophe Joubert , Jose Merseguer , Victor Ion Munteanu , Juan Perez , Dana Petcu , Matteo Rossi , Chris Sheridan , Ilias Spais , and Daniel Vladuvsivc . 2015 . DICE: Quality-Driven Development of Data-Intensive Cloud Applications Proc. of MiSE. 78--83 . http:\/\/www.diceh2020.euwww.diceh2020.eu Giuliano Casale, Danilo Ardagna, Matej Artac, Franck Barbier, Elisabetta Di Nitto, Alexis Henry, Gabriel Iuhasz, Christophe Joubert, Jose Merseguer, Victor Ion Munteanu, Juan Perez, Dana Petcu, Matteo Rossi, Chris Sheridan, Ilias Spais, and Daniel Vladuvsivc. 2015. DICE: Quality-Driven Development of Data-Intensive Cloud Applications Proc. of MiSE. 78--83. http:\/\/www.diceh2020.euwww.diceh2020.eu"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/3019612.3019769"}],"event":{"sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ICPE '18","name":"ICPE '18: ACM\/SPEC International Conference on Performance Engineering","location":"Berlin Germany"},"container-title":["Companion of the 2018 ACM\/SPEC International Conference on Performance Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3185768.3186287","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3185768.3186287","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:27Z","timestamp":1750212687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3185768.3186287"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,2]]},"references-count":3,"alternative-id":["10.1145\/3185768.3186287","10.1145\/3185768"],"URL":"https:\/\/doi.org\/10.1145\/3185768.3186287","relation":{},"subject":[],"published":{"date-parts":[[2018,4,2]]},"assertion":[{"value":"2018-04-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}