{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:44:55Z","timestamp":1730342695902,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927270","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T20:34:41Z","timestamp":1494880481000},"page":"1715-1720","source":"Crossref","is-referenced-by-count":6,"title":["A layered formal framework for modeling of cyber-physical systems"],"prefix":"10.23919","author":[{"given":"George","family":"Ungureanu","sequence":"first","affiliation":[]},{"given":"Ingo","family":"Sander","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0841-2_13"},{"journal-title":"Foundations of Parallel Programming","year":"1995","author":"skillicorn","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0097-3_1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1932681.1863582"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926358"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2088456.1863533"},{"key":"ref16","first-page":"156","article-title":"Obsidian: A domain specific embedded language for parallel programming of graphics processors","author":"svensson","year":"2008","journal-title":"Symp Implement Appl Funct Lang Springer"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005526"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.76.5"},{"journal-title":"The ForSyDe-Atom library","year":"0","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44833-4_6"},{"journal-title":"Realtime signal processing","year":"1995","author":"reekie","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-012-0226-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"ref8","first-page":"714","article-title":"C?aSH: structural descriptions of synchronous hardware using Haskell","author":"baaij","year":"2010","journal-title":"2010 13th Euromicro Conference on DSD Architectures Methods and Tools IEEE"},{"key":"ref7","first-page":"18","article-title":"Introducing Kansas Lava","author":"gill","year":"2009","journal-title":"IFL"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"journal-title":"Algebra of Programming","year":"1997","author":"bird","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref23","first-page":"276","article-title":"SDF3: SDF for free","volume":"6","author":"stuijk","year":"2006","journal-title":"ACSD"}],"event":{"name":"2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2017,3,27]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927270.pdf?arnumber=7927270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T04:25:07Z","timestamp":1496204707000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7927270\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":24,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927270","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}