{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:44:50Z","timestamp":1784573090400,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2897053.2897056","type":"proceedings-article","created":{"date-parts":[[2016,5,22]],"date-time":"2016-05-22T02:39:36Z","timestamp":1463884776000},"page":"96-107","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Assured and correct dynamic update of controllers"],"prefix":"10.1145","author":[{"given":"L.","family":"Nahabedian","sequence":"first","affiliation":[{"name":"FCEN, Universidad de Buenos Aires, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V.","family":"Braberman","sequence":"additional","affiliation":[{"name":"FCEN, Universidad de Buenos Aires, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"N.","family":"D'Ippolito","sequence":"additional","affiliation":[{"name":"FCEN, Universidad de Buenos Aires, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Honiden","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Kramer","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"K.","family":"Tei","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Uchitel","sequence":"additional","affiliation":[{"name":"Universidad de Buenos Aires, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/mtsa.dc.uba.ar\/2016-SEAMS\/info.html","author":"MTSA","year":"2016","unstructured":"MTSA synthesis tool and case studies. http:\/\/mtsa.dc.uba.ar\/2016-SEAMS\/info.html , 2016 . MTSA synthesis tool and case studies. http:\/\/mtsa.dc.uba.ar\/2016-SEAMS\/info.html, 2016."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2015.33"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656437.1656448"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.421.0060"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-007-9019-2"},{"key":"e_1_3_2_1_6_1","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of Model Checking (Representation and Mind Series) . The MIT Press , 2008 . C. Baier and J.-P. Katoen. Principles of Model Checking (Representation and Mind Series). The MIT Press, 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2010.5546542"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882367"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_14"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804337.2804339"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2487002"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.79"},{"key":"e_1_3_2_1_13_1","first-page":"635","volume-title":"Distributed Computing Systems, 2001. 21st International Conference on.","author":"Chen W.-K.","year":"2001","unstructured":"W.-K. Chen , M. Hiltunen , and R. Schlichting . Constructing adaptive software in distributed systems . In Distributed Computing Systems, 2001. 21st International Conference on. , pages 635 -- 643 , Apr 2001 . W.-K. Chen, M. Hiltunen, and R. Schlichting. Constructing adaptive software in distributed systems. In Distributed Computing Systems, 2001. 21st International Conference on., pages 635--643, Apr 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568264"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430543"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.78"},{"key":"e_1_3_2_1_18_1","first-page":"221","volume-title":"In Proceedings of the 7th International Symposium on Distributed Autonomous Robotic Systems","author":"Doherty P.","year":"2004","unstructured":"P. Doherty , P. Haslum , F. Heintz , T. Merz , P. Nyblom , T. Persson , and B. Wingman . A distributed architecture for autonomous unmanned aerial vehicle experimentation . In In Proceedings of the 7th International Symposium on Distributed Autonomous Robotic Systems , pages 221 -- 230 , 2004 . P. Doherty, P. Haslum, F. Heintz, T. Merz, P. Nyblom, T. Persson, and B. Wingman. A distributed architecture for autonomous unmanned aerial vehicle experimentation. In In Proceedings of the 7th International Symposium on Distributed Autonomous Robotic Systems, pages 221--230, 2004."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/224019.224021"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2666795.2666819"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940106"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36387-4","volume-title":"Automata logics, and infinite games: a guide to current research","author":"Gr\u00e4del E.","year":"2002","unstructured":"E. Gr\u00e4del , W. Thomas , and T. Wilke , editors . Automata logics, and infinite games: a guide to current research . Springer-Verlag New York, Inc. , New York, NY, USA , 2002 . E. Gr\u00e4del, W. Thomas, and T. Wilke, editors. Automata logics, and infinite games: a guide to current research. Springer-Verlag New York, Inc., New York, NY, USA, 2002."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491445"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.485222"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_22"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486869"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.60317"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.19"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58867-1","volume-title":"Formal Development of Reactive Systems - Case Study Production Cell","author":"Lewerentz C.","year":"1995","unstructured":"C. Lewerentz and T. Lindner , editors . Formal Development of Reactive Systems - Case Study Production Cell , London, UK , UK, 1995 . Springer-Verlag . C. Lewerentz and T. Lindner, editors. Formal Development of Reactive Systems - Case Study Production Cell, London, UK, UK, 1995. Springer-Verlag."},{"key":"e_1_3_2_1_32_1","volume-title":"Aug.","year":"2014","unstructured":"Microsoft. Windows workflow foundations - foundation programming - dynamic update , Aug. 2014 . http:\/\/msdn.microsoft.com\/en-us\/library\/hh314052(v=vs.110).aspx. Microsoft. Windows workflow foundations - foundation programming - dynamic update, Aug. 2014. http:\/\/msdn.microsoft.com\/en-us\/library\/hh314052(v=vs.110).aspx."},{"key":"e_1_3_2_1_33_1","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989","unstructured":"R. Milner . Communication and Concurrency . Prentice-Hall , New York , 1989 . R. Milner. Communication and Concurrency. Prentice-Hall, New York, 1989."},{"key":"e_1_3_2_1_34_1","volume-title":"Aug.","author":"U.","year":"2014","unstructured":"U. of Paderborn. New rail technology paderborn , Aug. 2014 . http:\/\/www.railcab.de\/. U. of Paderborn. New rail technology paderborn, Aug. 2014. http:\/\/www.railcab.de\/."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/876882.879757"},{"key":"e_1_3_2_1_36_1","first-page":"63","volume-title":"Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","author":"Panzica La Manna V.","year":"2013","unstructured":"V. Panzica La Manna , J. Greenyer , C. Ghezzi , and C. Brenner . Formalizing correctness criteria of dynamic updates derived from specification changes . In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , pages 63 -- 72 . IEEE Press , 2013 . V. Panzica La Manna, J. Greenyer, C. Ghezzi, and C. Brenner. Formalizing correctness criteria of dynamic updates derived from specification changes. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pages 63--72. IEEE Press, 2013."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.05.030"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_24"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809049.1809080"},{"key":"e_1_3_2_1_43_1","volume-title":"Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. ACM\/IEEE","author":"ICSE","unstructured":"ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. ACM\/IEEE , 2006--2013. ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. ACM\/IEEE, 2006--2013."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1556"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081720"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255450.1255455"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542478"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370020"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859092"},{"issue":"5","key":"e_1_3_2_1_50_1","first-page":"267","article-title":"Dealing with workflow change: identification of issues and solutions","volume":"15","author":"van der Aalst W. M. P.","year":"2000","unstructured":"W. M. P. van der Aalst and S. Jablonski . Dealing with workflow change: identification of issues and solutions . International Journal of Computer Systems Science and Engineering , 15 ( 5 ): 267 -- 276 , Sept. 2000 . W. M. P. van der Aalst and S. Jablonski. Dealing with workflow change: identification of issues and solutions. International Journal of Computer Systems Science and Engineering, 15(5):267--276, Sept. 2000.","journal-title":"International Journal of Computer Systems Science and Engineering"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70733"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083217.1083220"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","location":"Austin Texas","acronym":"ICSE '16","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897053.2897056","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2897053.2897056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:47Z","timestamp":1750221527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897053.2897056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":53,"alternative-id":["10.1145\/2897053.2897056","10.1145\/2897053"],"URL":"https:\/\/doi.org\/10.1145\/2897053.2897056","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}