{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T10:33:20Z","timestamp":1758710000069,"version":"3.37.3"},"reference-count":45,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/100004807","name":"German Research Foundation (DFG)","doi-asserted-by":"publisher","award":["SP 968\/5-3"],"award-info":[{"award-number":["SP 968\/5-3"]}],"id":[{"id":"10.13039\/100004807","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Proceedings of the 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2017,1,1]]},"DOI":"10.1109\/tdsc.2015.2427832","type":"journal-article","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T18:39:51Z","timestamp":1430332791000},"page":"22-36","source":"Crossref","is-referenced-by-count":14,"title":["Generic Soft-Error Detection and Correction for Concurrent Data Structures"],"prefix":"10.1109","volume":"14","author":[{"given":"Christoph","family":"Borchert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Horst","family":"Schirmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Spinczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594298"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/12.980007"},{"key":"ref33","first-page":"219","article-title":"Samurai:\n Protecting critical data in unsafe languages","author":"pattabiraman","year":"0","journal-title":"Proc 3rd ACM SIGOPS\/EuroSys Eur Conf Comput Syst"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.98"},{"key":"ref31","first-page":"521","article-title":"Protecting the dynamic dispatch in C++ by dependability aspects","author":"borchert","year":"0","journal-title":"Proc 1st GI Workshop SW-Based Methods Robust Embedded Syst"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/26.231911"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_23"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1118299.1118343"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1016720.1016775"},{"key":"ref34","first-page":"6","article-title":"JVM susceptibility to memory errors","author":"chen","year":"0","journal-title":"Proc Symp JavaTM Virtual Mach Res Technol Symp"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2010.5544287"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857517"},{"journal-title":"Embedded Software Development with eCOS","year":"2002","author":"massa","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575308"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/24.914544"},{"key":"ref14","first-page":"201","article-title":"FAIL*: Towards a versatile fault-injection experiment framework","author":"schirmeier","year":"0","journal-title":"25th Int Conf Arch Comput Syst"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234507"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.21236\/ADA417906"},{"key":"ref17","article-title":"Aspect-oriented programming is quantification and obliviousness","author":"filman","year":"0","journal-title":"Proc Workshop Adv SoC"},{"key":"ref18","first-page":"327","article-title":"An overview of AspectJ","author":"kiczales","year":"0","journal-title":"Proc Europ Conf Object-Oriented Programming"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2007.05.004"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2012.13"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1960.5219855"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503257"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.69"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736064"},{"key":"ref7","article-title":"A white paper on the benefits of chipkill-correct ECC for PC\n server main memory","author":"dell","year":"0","journal-title":"IBM Whitepaper"},{"key":"ref2","first-page":"111","article-title":"Cosmic rays don’t strike twice: understanding the nature of DRAM errors and the implications for\n system design","author":"hwang","year":"0","journal-title":"Proc Int Conf Archit Support Program Lang Oper Syst"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.119"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966477"},{"journal-title":"Generative Programming Methods Tools and Applications","year":"2000","author":"czarnecki","key":"ref20"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958244"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"journal-title":"Modern C++ Design Generic Programming and Design Patterns Applied","year":"2001","author":"alexander","key":"ref21"},{"article-title":"An automated wrapper-based approach to the design of dependable software","year":"2011","author":"leeke","key":"ref42"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"ref24"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2001.972664"},{"journal-title":"The Art of Multiprocessor Programming","year":"2008","author":"herlihy","key":"ref23"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75294-3_6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1785414.1785443"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1233901.1233902"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/iel7\/8858\/4358699\/07097670.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/7818064\/07097670.pdf?arnumber=7097670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T02:36:02Z","timestamp":1633919762000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7097670\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":45,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2015.2427832","relation":{},"ISSN":["1545-5971"],"issn-type":[{"type":"print","value":"1545-5971"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}