{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T22:57:47Z","timestamp":1752101867835},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/emsoft.2013.6658600","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T15:52:14Z","timestamp":1385049134000},"page":"1-10","source":"Crossref","is-referenced-by-count":20,"title":["Synthesis of fixed-point programs"],"prefix":"10.1109","author":[{"given":"Eva","family":"Darulova","sequence":"first","affiliation":[]},{"given":"Viktor","family":"Kuncak","sequence":"additional","affiliation":[]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[]},{"given":"Indranil","family":"Saha","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Simulink Fixed Point","year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.888291"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0068-y"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.873887"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380380"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055068"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1995.488968"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_8"},{"journal-title":"Towards Automated System Synthesis Using Sciduction","year":"2011","author":"jha","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2011.39"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1976.1101233"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2007.4380730"},{"key":"23","article-title":"A field guide to genetic programming","author":"poli","year":"2008","journal-title":"Lulu Enterprises"},{"journal-title":"Computer-Aided Control System Design","year":"1974","author":"rosenbrock","key":"24"},{"year":"0","key":"25"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042980"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879024"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/354880.354899"},{"journal-title":"Linear Systems Theory","year":"2009","author":"hespanha","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314697"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048094"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2005.15"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1515\/9781400828739","author":"astrom","year":"2008","journal-title":"Feedback Systems"},{"journal-title":"Linear Robust Control","year":"1994","author":"green","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159701"}],"event":{"name":"2013 International \u00a0Conference on Embedded \u00a0Software (EMSOFT)","start":{"date-parts":[[2013,9,29]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 Proceedings of the International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648479\/6658572\/06658600.pdf?arnumber=6658600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T10:23:54Z","timestamp":1597055034000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6658600\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2013.6658600","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}