{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:56:21Z","timestamp":1725490581927},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/ddecs.2014.6868779","type":"proceedings-article","created":{"date-parts":[[2014,8,8]],"date-time":"2014-08-08T18:34:40Z","timestamp":1407522880000},"page":"147-152","source":"Crossref","is-referenced-by-count":0,"title":["Reliable execution of statechart-generated correct embedded software under soft errors"],"prefix":"10.1109","author":[{"given":"Ronaldo R.","family":"Ferreira","sequence":"first","affiliation":[{"name":"Instituto de Inform\u00e1tica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Klotz","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thilo","family":"Vortler","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"da Rolt","sequence":"additional","affiliation":[{"name":"Instituto de Inform\u00e1tica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel L.","family":"Nazar","sequence":"additional","affiliation":[{"name":"Instituto de Inform\u00e1tica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alvaro F.","family":"Moreira","sequence":"additional","affiliation":[{"name":"Instituto de Inform\u00e1tica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Carro","sequence":"additional","affiliation":[{"name":"Instituto de Inform\u00e1tica - Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Einwich","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/DATE.2010.5456990"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ISORCW.2011.20"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-642-38853-8_5"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/DSN.2002.1028926"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/IOLTS.2005.66"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TC.1984.1676475"},{"year":"2011","journal-title":"Object Management Group","article-title":"Unified Modeling Language Specification version 2.4.1","key":"ref16"},{"year":"2000","author":"clarke","journal-title":"Model checking","key":"ref17"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/ETFA.2009.5347044"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/567067.567085"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TEMC.2007.908265"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/23.556861"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/CASES.2013.6662528"},{"key":"ref5","article-title":"Expecting the unexpected: Radiation hardened software","author":"penix","year":"2005","journal-title":"Technical Report NASA Ames Research Center"},{"year":"2013","article-title":"COSIDE web page","key":"ref8"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/MS.2013.43"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.7873\/DATE.2013.040"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/MDT.2005.69"},{"key":"ref9","first-page":"504","article-title":"Using UML as front-end for heterogeneous software code generation strategies","author":"brisolara","year":"2008","journal-title":"DATE IEEE"},{"key":"ref20","first-page":"359","article-title":"NuSMV2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"CAV IEEE"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-642-15651-9_6"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/TNS.2007.895549"}],"event":{"name":"2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","start":{"date-parts":[[2014,4,23]]},"location":"Warsaw, Poland","end":{"date-parts":[[2014,4,25]]}},"container-title":["17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6862738\/6868744\/06868779.pdf?arnumber=6868779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,9]],"date-time":"2021-06-09T01:55:23Z","timestamp":1623203723000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6868779\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ddecs.2014.6868779","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}