{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:26:41Z","timestamp":1725542801864},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/latw.2013.6562659","type":"proceedings-article","created":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T15:33:21Z","timestamp":1374766401000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Improving error detection with selective redundancy in software-based techniques"],"prefix":"10.1109","author":[{"given":"Eduardo","family":"Chielle","sequence":"first","affiliation":[]},{"given":"Jose R.","family":"Azambuja","sequence":"additional","affiliation":[]},{"given":"Raul S.","family":"Barth","sequence":"additional","affiliation":[]},{"given":"Fernanda L.","family":"Kastensmidt","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/24.994926"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/12.2145"},{"journal-title":"The minimips project 2010","year":"0","author":"hangout","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2010.2042613"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/12.980007"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2011.2109398"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/71.774911"},{"key":"4","article-title":"Control-Dow checking using assertions","author":"mcfearin","year":"1995","journal-title":"Proceedings of the IFlP International Working Conference Dependable Computing for Critical Applications (DCCA-05) UrbanaChampaign"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"8","article-title":"Evaluating the efficiency of software-only techniques to detect SEU and SET in microprocessors","author":"azambuja","year":"2011","journal-title":"IEEE Latin American Symposium on Circuits and Systems"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2012.6261259"},{"journal-title":"Mentor Graphics","year":"2010","key":"12"}],"event":{"name":"2013 14th Latin American Test Workshop - LATW","start":{"date-parts":[[2013,4,3]]},"location":"Cordoba, Argentina","end":{"date-parts":[[2013,4,5]]}},"container-title":["2013 14th Latin American Test Workshop - LATW"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6554180\/6562651\/06562659.pdf?arnumber=6562659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T17:35:57Z","timestamp":1490204157000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6562659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/latw.2013.6562659","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}