{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:59:53Z","timestamp":1729673993208,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/memcod.2011.5970517","type":"proceedings-article","created":{"date-parts":[[2011,8,4]],"date-time":"2011-08-04T02:16:29Z","timestamp":1312424189000},"page":"109-118","source":"Crossref","is-referenced-by-count":4,"title":["SMT based false causal loop detection during code synthesis from Polychronous specifications"],"prefix":"10.1109","author":[{"given":"Bijoy A.","family":"Jose","sequence":"first","affiliation":[]},{"given":"Abdoulaye","family":"Gamatie","sequence":"additional","affiliation":[]},{"given":"Julien","family":"Ouy","sequence":"additional","affiliation":[]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6400-7_6"},{"key":"ref12","first-page":"928","article-title":"Compositional design of isochronous systems","author":"talpin","year":"2008","journal-title":"Design Automation and Test in Europe (DATE)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1967677.1967688"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-10452-7_3","article-title":"Satisfiability modulo theories: An appetizer","volume":"5902","author":"de moura","year":"2009","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"The Yices SMT Solver","year":"0","author":"dutertre","key":"ref15"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-48683-6_34","article-title":"Efficient analysis of cyclic definitions","author":"namjoshi","year":"1999","journal-title":"Proc of the 11 th Intl Conf on Computer Aided Verification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580150"},{"journal-title":"The Polychrony Toolset","year":"0","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_6"},{"key":"ref8","first-page":"1","article-title":"Em-CodeSyn: A Visual Framework for Multi-Rate Data flow Specifications and Code Synthesis for Embedded Application","author":"jose","year":"2009","journal-title":"Forum on specification and Design Languages (FDL)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419925"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706337"},{"key":"ref1","first-page":"64","article-title":"The synchronous languages twelve years later","volume":"91","author":"benveniste","year":"2003","journal-title":"Proc of the IEEE Modeling and Design of Embedded Systems"},{"key":"ref9","first-page":"147","article-title":"Faster embedded software synthesis using actor elimination techniques for multi-rate synchronous formalism","author":"jose","year":"2010","journal-title":"Proc Int Conf Application of Concurrency to System Design (ACSD)"}],"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\/05970517.pdf?arnumber=5970517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T04:13:15Z","timestamp":1497931995000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5970517\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/memcod.2011.5970517","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}