{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:07Z","timestamp":1725471247104},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/afrcon.2011.6072111","type":"proceedings-article","created":{"date-parts":[[2011,11,11]],"date-time":"2011-11-11T13:56:18Z","timestamp":1321019778000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["System refinement design flow based on semi-symbolic simulations"],"prefix":"10.1109","author":[{"given":"Florian","family":"Schupfer","sequence":"first","affiliation":[]},{"given":"Carna","family":"Radojicic","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Wenninger","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Grimm","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/1065579.1065799"},{"year":"1997","author":"de figueiredo","article-title":"Self-Validated Numerical Methods and Applications","key":"ref11"},{"key":"ref12","first-page":"38","article-title":"Range Arithmetics to Speed up Reachability of Analog Systems","author":"grabowski","year":"2007","journal-title":"Forum on specification and Design Languages FDL 2007"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/ASPDAC.2008.4484053"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/DATE.2004.1268875"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ISCAS.2003.1205169"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1142\/S0129156493000121"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/TCAD.2004.839469(410) 24"},{"key":"ref6","first-page":"1","article-title":"Statistical Blockade: A Novel Method for Very Fast Monte Carlo Simulation of Rare Circuit Eevents, and its Application","year":"2007","journal-title":"Design Automation Test in Europe Conference Exhibition 2007"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/s00502-010-0738-x"},{"key":"ref8","article-title":"Semi-symbolic simulation of nonlinear systems","author":"heupke","year":"2005","journal-title":"Forum on Specification and Design Languages 2005 (FDL05) Lausanne ECSI"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/224401.224454"},{"key":"ref2","first-page":"662","article-title":"Engineering bsim for the nano-technology era and beyond","author":"chan","year":"2002","journal-title":"Proceedings of the 5th International Conference on Modeling and Simulation of Microsystems"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316511","author":"rubinstein","year":"1981","journal-title":"Simulation and the Monte Carlo Method"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ISCAS.2006.1692752"}],"event":{"name":"AFRICON 2011","start":{"date-parts":[[2011,9,13]]},"location":"Victoria Falls, Livingstone, Zambia","end":{"date-parts":[[2011,9,15]]}},"container-title":["IEEE Africon '11"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6062325\/6071956\/06072111.pdf?arnumber=6072111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T05:33:25Z","timestamp":1497936805000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6072111\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/afrcon.2011.6072111","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}