{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:36:07Z","timestamp":1761323767288,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/memcod.2011.5970507","type":"proceedings-article","created":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T22:16:29Z","timestamp":1312409789000},"page":"21-30","source":"Crossref","is-referenced-by-count":19,"title":["Polychronous controller synthesis from MARTE CCSL timing specifications"],"prefix":"10.1109","author":[{"given":"Huafeng","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loic","family":"Besnard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herve","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-7844-8"},{"key":"ref30","first-page":"165","article-title":"Scheduling with Uncertainty: A Proactive Approach Using Partial Order Schedules","volume":"18","author":"policella","year":"2005","journal-title":"Thesis AI Commun"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2010.10"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1755888.1755898"},{"article-title":"Spécification et Preuve de Systémes Dynamiques","year":"1992","author":"dutertre","key":"ref11"},{"journal-title":"Esterel technologies ESTEREL","year":"0","key":"ref12"},{"journal-title":"Scade Suite Esterel Technologies","year":"0","key":"ref13"},{"key":"ref14","article-title":"Partial order control and optimal control of discrete event systems modeled as polynomial dynamical systems over galois fields","author":"marchand","year":"1997","journal-title":"Research Report IRISA"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"ref16","first-page":"477","author":"harel","year":"1985","journal-title":"On the Development of Reactive Systems"},{"journal-title":"INRIA AOSTE team TimeSquare","year":"2009","key":"ref17"},{"journal-title":"Polychrony V4 16","article-title":"INRIA ESPRESSO team. Polychrony","year":"2010","key":"ref18"},{"journal-title":"INRIA Vertecs and Espresso team Sigali","year":"0","key":"ref19"},{"journal-title":"Modeling and Analysis of Realtime and Embedded systems (MARTE) v1 0","article-title":"Object Management Group (OMG)","year":"2009","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.9999"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48320-9_34"},{"key":"ref3","first-page":"162","article-title":"From Synchrony to Asynchrony","volume":"1664","author":"benveniste","year":"1999","journal-title":"J Baeten and S Mauw editors 10th International Conference on Concurrency Theory (CONCUR ' 99)"},{"journal-title":"SIGNAL V4 Reference Manual","year":"2010","author":"besnard","key":"ref6"},{"journal-title":"Object Management Group (OMG) UML 2 2 Superstructure and Infrastructure","year":"2009","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref8","first-page":"677","article-title":"Graph-Based Algorithms for Boolean Function Manipulations","volume":"c 45","author":"bryant","year":"1992","journal-title":"IEEE Transaction on Computers"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6400-7_1"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/978-3-540-75209-7_38","article-title":"Modeling Time(s)","author":"andr\u00e9","year":"2007","journal-title":"Procs of ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 07)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.798329"},{"key":"ref1","first-page":"37","article-title":"Syntax and Semantics of the Clock Constraint Specification Language (CCSL)","author":"andr\u00e9","year":"2009","journal-title":"Report RR-6925 INRIA"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0006940"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2009.27"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","article-title":"On the Synthesis of Discrete Controllers for timed Systems","volume":"900","author":"maler","year":"1995","journal-title":"Proc STACS'95"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/32.879811"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008311720696"}],"event":{"name":"2011 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011)","start":{"date-parts":[[2011,7,11]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2011,7,13]]}},"container-title":["Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5959846\/5970502\/05970507.pdf?arnumber=5970507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T00:13:15Z","timestamp":1497917595000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5970507\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/memcod.2011.5970507","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}