{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:47:46Z","timestamp":1784573266662,"version":"3.55.0"},"reference-count":71,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"ANPCYT"},{"DOI":"10.13039\/501100010253","name":"Secretar\u00eda de Ciencia y T\u00e9cnica, Universidad de Buenos Aires","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100010253","id-type":"DOI","asserted-by":"publisher"}]},{"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":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2020,11,1]]},"DOI":"10.1109\/tse.2018.2876843","type":"journal-article","created":{"date-parts":[[2018,10,19]],"date-time":"2018-10-19T18:48:31Z","timestamp":1539974911000},"page":"1220-1240","source":"Crossref","is-referenced-by-count":17,"title":["Dynamic Update of Discrete Event Controllers"],"prefix":"10.1109","volume":"46","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7474-178X","authenticated-orcid":false,"given":"Leandro","family":"Nahabedian","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5946-3550","authenticated-orcid":false,"given":"Victor","family":"Braberman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0612-4157","authenticated-orcid":false,"given":"Nicolas","family":"Dippolito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1385-3996","authenticated-orcid":false,"given":"Shinichi","family":"Honiden","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6308-127X","authenticated-orcid":false,"given":"Jeff","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1106-1709","authenticated-orcid":false,"given":"Kenji","family":"Tei","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2177499"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100064"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081720"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606607"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1307132"},{"key":"ref32","year":"2017"},{"key":"ref31","first-page":"10","article-title":"Dynamic change within workflow systems","author":"ellis","year":"1995","journal-title":"Proc Conf Organizational Computing"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.65"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133991"},{"key":"ref35","first-page":"535","article-title":"A survey of dynamic software updating","volume":"25","author":"seifzadeh","year":"2013","journal-title":"Journal of Software: Evolution and Process"},{"key":"ref34","article-title":"New rail technology paderborn","year":"2014"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491445"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568264"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.05.030"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988037"},{"key":"ref28","article-title":"Mtsa synthesis tool and case studies","year":"2017"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606552"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.78"},{"key":"ref65","first-page":"1","article-title":"Software engineering for self-adaptive systems: A research roadmap","author":"cheng","year":"2009","journal-title":"Software Engineering for Self-Adaptive Systems"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.12"},{"key":"ref29","author":"magee","year":"2006","journal-title":"Concurrency State models & Java programs"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2704579"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.20"},{"key":"ref69","first-page":"299","article-title":"Automated design of self-adaptive software with control-theoretical formal guarantees","author":"filieri","year":"2014","journal-title":"Proc 36th Int Conf Softw Eng"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1080\/00207179608921868"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.60317"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/940103.940106"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.01.030"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859092"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2564959"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882367"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2015.33"},{"key":"ref59","first-page":"9","article-title":"Morph: A reference architecture for configuration and behaviour self-adaptation","author":"braberman","year":"2015","journal-title":"Proc Int Conf Software Engineering"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2592913"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370020"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-007-9019-2"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774180"},{"key":"ref54","first-page":"140","article-title":"Better quality in synthesis through quantitative objectives","author":"bloem","year":"2009","journal-title":"Proc 21st Int Conf Comput Aided Verification"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1272998.1273031"},{"key":"ref52","article-title":"On-line software version change","author":"gupta","year":"1994"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430543"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1083217.1083220"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.79"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224401"},{"key":"ref14","first-page":"63","article-title":"Formalizing correctness criteria of dynamic updates derived from specification changes","author":"panzica la manna","year":"2013","journal-title":"Proc 8th Int Symp Softw Eng Adaptive Self-Manag Syst"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542479"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897056"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58867-1","author":"lewerentz","year":"1995","journal-title":"Formal Development of Reactive Systems&#x2014 Case Study Production Cell"},{"key":"ref18","first-page":"267","article-title":"Dealing with workflow change: Identification of issues and solutions","volume":"15","author":"aalst","year":"2000","journal-title":"Comput Syst Sci Eng"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.911688"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2358811"},{"key":"ref6","author":"van der aalst","year":"2004","journal-title":"Workflow Management Models Methods and Systems"},{"key":"ref5","first-page":"2006","year":"0","journal-title":"Int Symp Softw Eng Adaptive Self-Manag Syst"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2008.4626549"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1809049.1809080"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/11609773_24","article-title":"Synthesis of reactive (1) designs","volume":"3855","author":"piterman","year":"2006","journal-title":"Lecture Notes Comput Sci"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70733"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1255450.1255455"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_22"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2010.5546542"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1656437.1656448"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2002.1167829"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542478"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/32.485222"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9257116\/08500345.pdf?arnumber=8500345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:34:38Z","timestamp":1651070078000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8500345\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,1]]},"references-count":71,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tse.2018.2876843","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,1]]}}}