{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T10:44:34Z","timestamp":1790505874867,"version":"4.1.0"},"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":24,"title":["Synthesis of fixed-point programs"],"prefix":"10.1109","author":[{"given":"Eva","family":"Darulova","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Viktor","family":"Kuncak","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Indranil","family":"Saha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","year":"0","journal-title":"Simulink Fixed Point"},{"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"},{"key":"12","author":"jha","year":"2011","journal-title":"Towards Automated System Synthesis Using Sciduction"},{"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"},{"key":"24","author":"rosenbrock","year":"1974","journal-title":"Computer-Aided Control System Design"},{"key":"25","year":"0"},{"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"},{"key":"10","author":"hespanha","year":"2009","journal-title":"Linear Systems Theory"},{"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"},{"key":"9","author":"green","year":"1994","journal-title":"Linear Robust Control"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159701"}],"event":{"name":"2013 International \u00a0Conference on Embedded \u00a0Software (EMSOFT)","location":"Montreal, QC, Canada","start":{"date-parts":[[2013,9,29]]},"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]]}}}