{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:17:48Z","timestamp":1761488268410,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/icess.2009.12","type":"proceedings-article","created":{"date-parts":[[2009,6,10]],"date-time":"2009-06-10T11:06:20Z","timestamp":1244631980000},"page":"75-82","source":"Crossref","is-referenced-by-count":15,"title":["A Case Study on Controller Synthesis for Data-Intensive Embedded Systems"],"prefix":"10.1109","author":[{"given":"Abdoulaye","family":"Gamati\u00e9","sequence":"first","affiliation":[]},{"given":"Huafeng","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Gwena\u00ebl","family":"Delaval","sequence":"additional","affiliation":[]},{"given":"\u00c9ric","family":"Rutten","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/EMRTS.2003.1212754"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1023\/A:1015346419267"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1016\/S1571-0661(04)00262-2"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1007\/s10270-007-0077-5"},{"key":"13","article-title":"a domain-specific language for multi-task systems, applying discrete controller synthesis","volume":"2007","author":"delaval","year":"2007","journal-title":"Journal on Embedded Systems Special Issue on Synchronous Paradigm in Embedded Systems"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1007\/s001659970003"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1023\/A:1008311720696"},{"key":"12","first-page":"174","article-title":"using controller-synthesis techniques to build property-enforcing layers","author":"altisen","year":"2003","journal-title":"Proc of the European Symp on Programming ESOP'03"},{"year":"2007","journal-title":"Modeling and Analysis of Real-time and Embedded Systems (MARTE)","key":"3"},{"year":"2008","journal-title":"GASPARD Graphical Array Specification for Parallel and Distributed Computing","key":"2"},{"key":"1","article-title":"a model driven design framework for high performance embedded systems","author":"gamatie?","year":"2008","journal-title":"INRIA France Research Report 6614"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/978-1-4020-8297-9_13"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1016\/S0167-6423(02)00093-X"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/JPROC.2002.805826"},{"key":"5","article-title":"an array approach for signal processing design","author":"demeure","year":"1998","journal-title":"Sophia-Antipolis Conf on Micro- Electronics (SAME'98)"},{"key":"4","article-title":"formal semantics of array-ol, a domain specific language for intensive multidimensional signal processing","author":"boulet","year":"2008","journal-title":"INRIA France Research Report 6467"},{"key":"9","article-title":"a model for the mixeddesign of data-intensive and control-oriented embedded systems","volume":"6589","author":"gamatie?","year":"2008","journal-title":"INRIA Research Report"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1145\/1176887.1176899","article-title":"mixing signals and modes in synchronous data-flow systems","author":"colac?o","year":"2006","journal-title":"ACM International Conference on Embedded Software"}],"event":{"name":"2009 International Conference on Embedded Software and Systems","start":{"date-parts":[[2009,5,25]]},"location":"Hangzhou, China","end":{"date-parts":[[2009,5,27]]}},"container-title":["2009 International Conference on Embedded Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5066608\/5066609\/05066633.pdf?arnumber=5066633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T02:52:14Z","timestamp":1633575134000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5066633\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icess.2009.12","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}