{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T11:32:45Z","timestamp":1789990365005,"version":"4.0.1"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606714","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:38:03Z","timestamp":1380638283000},"page":"1347-1350","source":"Crossref","is-referenced-by-count":26,"title":["Controller synthesis: From modelling to enactment"],"prefix":"10.1109","author":[{"given":"Victor","family":"Braberman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicolas","family":"D'Ippolito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Sykes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Ucriitel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-005-0024-3"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.62"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370020"},{"key":"13","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 in Computer Science"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"11","author":"magee","year":"2006","journal-title":"Concurrency State models & Java programs"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1181195.1181206"},{"key":"3","article-title":"Synthesising non-anomalous event-based controllers for liveness goals","volume":"22","author":"d'ippolito","year":"2013","journal-title":"ACM Trans Software Eng Methodologies"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595719"},{"key":"1","first-page":"79","article-title":"Correct adaptors for protocol enhancement in component-based systems","author":"autili","year":"2004","journal-title":"Specification and Verification of Component-Based Systems"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2089116.2089119"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.78"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_15"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985823"},{"key":"9","first-page":"276","article-title":"Rainbow: Architecture-based self-adaptation with reusable infrastructure","author":"huang","year":"2004","journal-title":"Proceedings of the First International Conference on Autonomic Computing"},{"key":"8","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1145\/940071.940106","article-title":"Fluent model checking for eventbased systems","author":"giannakopoulou","year":"2003","journal-title":"Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering ESEC\/FSE-11"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606714.pdf?arnumber=6606714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,27]],"date-time":"2019-07-27T21:36:23Z","timestamp":1564263383000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606714\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606714","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}