{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:51:56Z","timestamp":1761706316433,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,5,31]]},"DOI":"10.1145\/2593793.2593798","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"38-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Towards the formalization of properties of cloud-based elastic systems"],"prefix":"10.1145","author":[{"given":"Marcello M.","family":"Bersani","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico","family":"Bianculli","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Schahram","family":"Dustdar","sequence":"additional","affiliation":[{"name":"Vienna University of Technology, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Gambi","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sr\u0111an","family":"Krsti\u0107","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_19"},{"key":"e_1_3_2_1_2_1","volume-title":"Constraint LTL Satisfiability Checking without Automata. CoRR, abs\/1205.0946v2","author":"Bersani M. M.","year":"2013","unstructured":"M. M. Bersani , A. Frigeri , A. Morzenti , M. Pradella , M. Rossi , and P. San Pietro . Constraint LTL Satisfiability Checking without Automata. CoRR, abs\/1205.0946v2 , 2013 . M. M. Bersani, A. Frigeri, A. Morzenti, M. Pradella, M. Rossi, and P. San Pietro. Constraint LTL Satisfiability Checking without Automata. CoRR, abs\/1205.0946v2, 2013."},{"key":"e_1_3_2_1_3_1","unstructured":"CELAR Project. Description of Work. http:\/\/www.celarcloud.eu 2012.  CELAR Project. Description of Work. http:\/\/www.celarcloud.eu 2012."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.09.006"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2494579"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693140"},{"key":"e_1_3_2_1_7_1","first-page":"27","volume-title":"Proc. of ICAC","author":"Herbst N.","year":"2013","unstructured":"N. Herbst , S. Kounev , and R. Reussner . Elasticity in cloud computing: What it is, and what it is not . In Proc. of ICAC 2013 , pages 23\u2013 27 . USENIX, 2013. N. Herbst, S. Kounev, and R. Reussner. Elasticity in cloud computing: What it is, and what it is not. In Proc. of ICAC 2013, pages 23\u201327. USENIX, 2013."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2188286.2188301"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11559306_9"},{"key":"e_1_3_2_1_10_1","series-title":"LNCS","first-page":"218","volume-title":"Proc. of Logics of Programs","author":"Lichtenstein O.","unstructured":"O. Lichtenstein , A. Pnueli , and L. Zuck . The glory of the past . In Proc. of Logics of Programs , volume 193 of LNCS , pages 196\u2013 218 . Springer, 1985. O. Lichtenstein, A. Pnueli, and L. Zuck. The glory of the past. In Proc. of Logics of Programs, volume 193 of LNCS, pages 196\u2013218. Springer, 1985."},{"key":"e_1_3_2_1_11_1","unstructured":"P. Mell and T. Grace. The NIST Definition of Cloud Computing. http:\/\/csrc.nist.gov\/publications\/ nistpubs\/800-145\/SP800-145.pdf September 2011. NIST Special Publication 800-145.  P. Mell and T. Grace. The NIST Definition of Cloud Computing. http:\/\/csrc.nist.gov\/publications\/ nistpubs\/800-145\/SP800-145.pdf September 2011. NIST Special Publication 800-145."},{"issue":"83","key":"e_1_3_2_1_12_1","first-page":"35","article-title":"RESERVOIR - a european cloud computing project","volume":"2010","author":"Naqvi S.","year":"2010","unstructured":"S. Naqvi and P. Massonet . RESERVOIR - a european cloud computing project . ERCIM News , 2010 ( 83 ): 35 , 2010 . S. Naqvi and P. Massonet. RESERVOIR - a european cloud computing project. ERCIM News, 2010(83):35, 2010.","journal-title":"ERCIM News"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491514"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593793.2593798","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593793.2593798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:45Z","timestamp":1750230045000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593793.2593798"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":13,"alternative-id":["10.1145\/2593793.2593798","10.1145\/2593793"],"URL":"https:\/\/doi.org\/10.1145\/2593793.2593798","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}