{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:45:33Z","timestamp":1772725533637,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642156502","type":"print"},{"value":"9783642156519","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15651-9_13","type":"book-chapter","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T05:12:19Z","timestamp":1281417139000},"page":"169-182","source":"Crossref","is-referenced-by-count":27,"title":["ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software"],"prefix":"10.1007","author":[{"given":"Ute","family":"Schiffel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"S\u00fc\u00dfkraut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof","family":"Fetzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"The Paparazzi Project (2009), http:\/\/paparazzi.enac.fr\/wiki\/Main_Page"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Avizienis, A.: Arithmetic error codes: Cost and effectiveness studies for application in digital system design. Transactions on Computers (1971)","DOI":"10.1109\/T-C.1971.223134"},{"key":"13_CR3","unstructured":"Barnaby, H.J.: Will radiation-hardening-by-design (RHBD) work? Nuclear and Plasma Sciences, Society News (2005)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Bolchini, C., Miele, A., Rebaudengo, M., Salice, F., Sciuto, D., Sterpone, L., Violante, M.: Software and hardware techniques for SEU detection in IP processors. J. Electron. Test (2008)","DOI":"10.1007\/s10836-007-5028-0"},{"key":"13_CR5","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization (CGO)","author":"E. Borin","year":"2006","unstructured":"Borin, E., Wang, C., Wu, Y., Araujo, G.: Software-based transparent and comprehensive control-flow error detection. In: Proceedings of the International Symposium on Code Generation and Optimization (CGO), IEEE Computer Society, Los Alamitos (2006)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Borkar, S.: Designing reliable systems from unreliable components: The challenges of transistor variability and degradation. IEEE Micro (2005)","DOI":"10.1109\/MM.2005.110"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Chang, J., Reis, G.A., August, D.I.: Automatic instruction-level software-only recovery. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN), Washington, USA (2006)","DOI":"10.1109\/DSN.2006.15"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Forin, P.: Vital coded microprocessor principles and application for various transit systems. In: IFA-GCCT, September 1989, pp. 79\u201384 (1989)","DOI":"10.1016\/B978-0-08-037025-5.50017-7"},{"key":"13_CR9","volume-title":"Proceedings of the international symposium on Code generation and optimization (CGO)","author":"C. Lattner","year":"2004","unstructured":"Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: Proceedings of the international symposium on Code generation and optimization (CGO), USA, IEEE Computer Society, Los Alamitos (2004)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Oh, N., Mitra, S., McCluskey, E.J.: ED4I: Error detection by diverse data and duplicated instructions. IEEE Trans. Comput.\u00a051 (2002)","DOI":"10.1109\/12.980007"},{"key":"13_CR11","unstructured":"Reis, G.A., Chang, J., August, D.I., Cohn, R., Mukherjee, S.S.: Configurable transient fault detection via dynamic binary translation. In: Proceedings of the 2nd Workshop on Architectural Reliability, WAR (2006)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Schiffel, U., Schmitt, A., S\u00fc\u00dfkraut, M., Fetzer, C.: Slice Your Bug: Debugging Error Detection Mechanisms using Error Injection Slicing. In: Eighth European Dependable Computing Conference (EDCC 2010) (2010)","DOI":"10.1109\/EDCC.2010.12"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Schiffel, U., Schmitt, A., S\u00fc\u00dfkraut, M., Fetzer, C.: Software-Implemented Hardware Error Detection: Costs and Gains. In: The Third International Conference on Dependability, DEPEND 2010 (2010)","DOI":"10.1109\/DEPEND.2010.16"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","first-page":"283","volume-title":"Computer Safety, Reliability, and Security","author":"U. Schiffel","year":"2009","unstructured":"Schiffel, U., S\u00fc\u00dfkraut, M., Fetzer, C.: AN-encoding compiler: Building safety-critical systems with commodity hardware. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol.\u00a05775, pp. 283\u2013296. Springer, Heidelberg (2009)"},{"key":"13_CR15","unstructured":"Stefanidis, V.K., Margaritis, K.G.: Algorithm based fault tolerance: Review and experimental study. In: International Conference of Numerical Analysis and Applied Mathematics (2004)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Wang, C., Kim, H.S., Wu, Y., Ying, V.: Compiler-managed software-based redundant multi-threading for transient fault detection. In: International Symposium on Code Generation and Optimization, CGO (2007)","DOI":"10.1109\/CGO.2007.7"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Wappler, U., Fetzer, C.: Hardware failure virtualization via software encoded processing. In: 5th IEEE International Conference on Industrial Informatics, INDIN 2007 (2007)","DOI":"10.1109\/INDIN.2007.4384907"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/978-3-540-75101-4_34","volume-title":"SafeComp 2007","author":"U. Wappler","year":"2007","unstructured":"Wappler, U., Fetzer, C.: Software encoded processing: Building dependable systems with commodity hardware. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.\u00a04680, pp. 356\u2013369. Springer, Heidelberg (2007)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Wappler, U., M\u00fcller, M.: Software protection mechanisms for dependable systems. In: Design, Automation and Test in Europe, DATE 2008 (2008)","DOI":"10.1109\/DATE.2008.4484802"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Wasserman, H., Blum, M.: Software reliability via run-time result-checking. J. ACM (1997)","DOI":"10.1145\/268999.269003"},{"key":"13_CR21","unstructured":"Wescott, T.: PID without a PhD. Embedded Systems Programming\u00a013(11) (2000)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15651-9_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:11:08Z","timestamp":1606169468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15651-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156502","9783642156519"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15651-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}