{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:06:02Z","timestamp":1725505562640},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/samos.2013.6621103","type":"proceedings-article","created":{"date-parts":[[2013,10,11]],"date-time":"2013-10-11T22:59:08Z","timestamp":1381532348000},"page":"33-40","source":"Crossref","is-referenced-by-count":0,"title":["Abstraction of polychronous dataflow specifications into mode-automata"],"prefix":"10.1109","author":[{"given":"Julien","family":"Ouy","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Kracht","sequence":"additional","affiliation":[]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403598"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309115"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176900"},{"journal-title":"The Polychrony Toolset","year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382518"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207134"},{"key":"10","article-title":"Translation validation","author":"pnueli","year":"1998","journal-title":"Proc of TACAS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970517"},{"key":"6","article-title":"Generating efficient code from data-flow programs","author":"halbwachs","year":"1991","journal-title":"Proc of PLILP"},{"key":"5","article-title":"A synchronous language at work: The story of lustre","author":"halbwachs","year":"2005","journal-title":"Proc of MEMOCODE"},{"journal-title":"Virginia Tech The EmCodeSyn Project","year":"0","key":"4"},{"key":"9","article-title":"Synthesizing embedded software with safety wrappers through polyhedral analysis in a polychronous framework","author":"nanjundappa","year":"2012","journal-title":"Electronic System Level Synthesis Conference (ESLsyn)"},{"key":"8","article-title":"Mode-automata: About modes and states for reactive systems","author":"maraninchi","year":"1998","journal-title":"Proc of ESOP"}],"event":{"name":"2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII)","start":{"date-parts":[[2013,7,15]]},"location":"Agios konstantinos, Samos Island, Greece","end":{"date-parts":[[2013,7,18]]}},"container-title":["2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6601057\/6621089\/06621103.pdf?arnumber=6621103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T00:21:22Z","timestamp":1490228482000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6621103\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/samos.2013.6621103","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}