{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:35Z","timestamp":1750308635485,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,26]],"date-time":"2012-03-26T00:00:00Z","timestamp":1332720000000},"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":[[2012,3,26]]},"DOI":"10.1145\/2245276.2231979","type":"proceedings-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T13:03:31Z","timestamp":1339419811000},"page":"1278-1283","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Verification of a self-configuration protocol for distributed applications in the cloud"],"prefix":"10.1145","author":[{"given":"Gwen","family":"Sala\u00fcn","sequence":"first","affiliation":[{"name":"Grenoble INP, INRIA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Etchevers","sequence":"additional","affiliation":[{"name":"Orange Labs, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noel","family":"De Palma","sequence":"additional","affiliation":[{"name":"UJF-Grenoble, INRIA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabienne","family":"Boyer","sequence":"additional","affiliation":[{"name":"UJF-Grenoble, INRIA, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Coupaye","sequence":"additional","affiliation":[{"name":"Orange Labs, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,3,26]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"21","volume-title":"Proc. of FASE'98","author":"Allen R.","year":"1998","unstructured":"R. Allen , R. Douence , and D. Garlan . Specifying and Analyzing Dynamic Software Architectures . In Proc. of FASE'98 , volume 1382 of LNCS , pages 21 -- 37 . Springer , 1998 . R. Allen, R. Douence, and D. Garlan. Specifying and Analyzing Dynamic Software Architectures. In Proc. of FASE'98, volume 1382 of LNCS, pages 21--37. Springer, 1998."},{"key":"e_1_3_2_1_2_1","volume-title":"Behavioural Models for Distributed Fractal Components. Annales des T\u00e9l\u00e9communications, 64(1--2): 25--43","author":"Barros T.","year":"2009","unstructured":"T. Barros , R. Ameur-Boulifa , A. Cansado , L. Henrio , and E. Madelaine . Behavioural Models for Distributed Fractal Components. Annales des T\u00e9l\u00e9communications, 64(1--2): 25--43 , 2009 . T. Barros, R. Ameur-Boulifa, A. Cansado, L. Henrio, and E. Madelaine. Behavioural Models for Distributed Fractal Components. Annales des T\u00e9l\u00e9communications, 64(1--2): 25--43, 2009."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/829524.831041"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_42"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_48"},{"key":"e_1_3_2_1_6_1","volume-title":"INRIA\/VASY","author":"Champelovier D.","year":"2011","unstructured":"D. Champelovier , X. Clerc , H. Garavel , Y. Guerte , V. Powazny , F. Lang , W. Serwe , and G. Smeding . Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.4) . INRIA\/VASY , 2011 . D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, V. Powazny, F. Lang, W. Serwe, and G. Smeding. Reference Manual of the LOTOS NT to LOTOS Translator (Version 5.4). INRIA\/VASY, 2011."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851476.1851485"},{"key":"e_1_3_2_1_8_1","series-title":"IFIP Conference Proceedings","first-page":"229","volume-title":"Proc. of DAIS'01","author":"Cornejo M. A.","year":"2001","unstructured":"M. A. Cornejo , H. Garavel , R. Mateescu , and N. D. Palma . Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications . In Proc. of DAIS'01 , volume 198 of IFIP Conference Proceedings , pages 229 -- 244 . Kluwer , 2001 . M. A. Cornejo, H. Garavel, R. Mateescu, and N. D. Palma. Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. In Proc. of DAIS'01, volume 198 of IFIP Conference Proceedings, pages 229--244. Kluwer, 2001."},{"key":"e_1_3_2_1_9_1","first-page":"372","volume-title":"CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In Proc. of TACAS'11","volume":"6605","author":"Garavel H.","year":"2011","unstructured":"H. Garavel , F. Lang , R. Mateescu , and W. Serwe . CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In Proc. of TACAS'11 , volume 6605 of LNCS, pages 372 -- 387 . Springer , 2011 . H. Garavel, F. Lang, R. Mateescu, and W. Serwe. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. In Proc. of TACAS'11, volume 6605 of LNCS, pages 372--387. Springer, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1496909.1496915"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.60317"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19982297"},{"key":"e_1_3_2_1_13_1","series-title":"IFIP Conference Proceedings","first-page":"35","volume-title":"Proc. of WICSA'99","author":"Magee J.","year":"1999","unstructured":"J. Magee , J. Kramer , and D. Giannakopoulou . Behaviour Analysis of Software Architectures . In Proc. of WICSA'99 , volume 140 of IFIP Conference Proceedings , pages 35 -- 50 . Kluwer , 1999 . J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour Analysis of Software Architectures. In Proc. of WICSA'99, volume 140 of IFIP Conference Proceedings, pages 35--50. Kluwer, 1999."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_12"},{"key":"e_1_3_2_1_16_1","first-page":"16","volume-title":"Proc. of NFM'09","author":"Vassev E.","year":"2009","unstructured":"E. Vassev , M. Hinchey , and A. Quigley . Model Checking for Autonomic Systems Specified with ASSL . In Proc. of NFM'09 , pages 16 -- 25 , 2009 . E. Vassev, M. Hinchey, and A. Quigley. Model Checking for Autonomic Systems Specified with ASSL. In Proc. of NFM'09, pages 16--25, 2009."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503213"}],"event":{"name":"SAC 2012: ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Trento Italy","acronym":"SAC 2012"},"container-title":["Proceedings of the 27th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2231979","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2245276.2231979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:08:04Z","timestamp":1750273684000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2231979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,26]]},"references-count":16,"alternative-id":["10.1145\/2245276.2231979","10.1145\/2245276"],"URL":"https:\/\/doi.org\/10.1145\/2245276.2231979","relation":{},"subject":[],"published":{"date-parts":[[2012,3,26]]},"assertion":[{"value":"2012-03-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}