{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:36Z","timestamp":1750307796302,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T00:00:00Z","timestamp":1188864000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,9,4]]},"DOI":"10.1145\/1316550.1316559","type":"proceedings-article","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T15:58:50Z","timestamp":1195228730000},"page":"9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Evaluating fault-tolerant system designs using FAUmachine"],"prefix":"10.1145","author":[{"given":"S.","family":"Potyra","sequence":"first","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Sieh","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Dal","family":"Cin","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,9,4]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1109\/32.44380"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/12.54853"},{"key":"e_1_3_2_1_3_1","volume-title":"QEMU Open source processor emulator. URL: http:\/\/fabrice.bellard.free.fr\/qemu\/","author":"Bellard F.","year":"2007","unstructured":"F. Bellard . QEMU Open source processor emulator. URL: http:\/\/fabrice.bellard.free.fr\/qemu\/ , 2007 . F. Bellard. QEMU Open source processor emulator. URL: http:\/\/fabrice.bellard.free.fr\/qemu\/, 2007."},{"key":"e_1_3_2_1_4_1","first-page":"22","volume-title":"ATEC'00: Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference","author":"Brown A.","year":"2000","unstructured":"A. Brown and D. A. Patterson . Towards availability benchmarks: a case study of software raid systems . In ATEC'00: Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference , pages 22 -- 22 , Berkeley, CA, USA , 2000 . USENIX Association. A. Brown and D. A. Patterson. Towards availability benchmarks: a case study of software raid systems. In ATEC'00: Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, pages 22--22, Berkeley, CA, USA, 2000. USENIX Association."},{"key":"e_1_3_2_1_5_1","first-page":"135","volume-title":"5th International Working Conference on Dependable Computing for Critical Applications","author":"Carreira J.","year":"1995","unstructured":"J. Carreira , H. Madeira , and J. G. Silva . Xception: Software fault injection and monitoring in processor functional units . In 5th International Working Conference on Dependable Computing for Critical Applications , pages 135 -- 149 , 1995 . J. Carreira, H. Madeira, and J. G. Silva. Xception: Software fault injection and monitoring in processor functional units. In 5th International Working Conference on Dependable Computing for Critical Applications, pages 135--149, 1995."},{"key":"e_1_3_2_1_6_1","volume-title":"URL: http:\/\/people.delphi.com\/gjc\/crashme.html","author":"Carrette G. J.","year":"1996","unstructured":"G. J. Carrette . Crashme. URL: http:\/\/people.delphi.com\/gjc\/crashme.html , 1996 . G. J. Carrette. Crashme. URL: http:\/\/people.delphi.com\/gjc\/crashme.html, 1996."},{"key":"e_1_3_2_1_7_1","volume-title":"URL: http:\/\/www.debian.org\/","author":"Developers Debian","year":"2007","unstructured":"Debian Developers . Debian GNU\/ Linux . URL: http:\/\/www.debian.org\/ , 2007 . Debian Developers. Debian GNU\/Linux. URL: http:\/\/www.debian.org\/, 2007."},{"key":"e_1_3_2_1_8_1","volume-title":"Debian installation DVD. URL: http:\/\/cdimage.debian.org\/debian-cd\/4.0_r0\/i386\/isodvd\/ debian-40r0-i386-DVD-1.iso","author":"Developers Debian","year":"2007","unstructured":"Debian Developers . Debian installation DVD. URL: http:\/\/cdimage.debian.org\/debian-cd\/4.0_r0\/i386\/isodvd\/ debian-40r0-i386-DVD-1.iso , 2007 . Debian Developers. Debian installation DVD. URL: http:\/\/cdimage.debian.org\/debian-cd\/4.0_r0\/i386\/isodvd\/ debian-40r0-i386-DVD-1.iso, 2007."},{"key":"e_1_3_2_1_9_1","volume-title":"FAU machine. URL: http:\/\/www.FAUmachine.org\/","author":"Team FAU","year":"2003","unstructured":"FAU machine Team . FAU machine. URL: http:\/\/www.FAUmachine.org\/ , 2003 --2007. FAU machine Team. FAU machine. URL: http:\/\/www.FAUmachine.org\/, 2003--2007."},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"11th International Linux System Technology Conference","author":"H\u00f6xer H.","year":"2004","unstructured":"H. H\u00f6xer , M. Waitz , and V. Sieh . Advanced virtualization techniques for FAUmachine. In R. Spenneberg, editor , 11th International Linux System Technology Conference , Erlangen, Germany , September 7-10, 2004 , pages 1 -- 12 , 2004. H. H\u00f6xer, M. Waitz, and V. Sieh. Advanced virtualization techniques for FAUmachine. In R. Spenneberg, editor, 11th International Linux System Technology Conference, Erlangen, Germany, September 7-10, 2004, pages 1--12, 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/FTCS.1994.315656"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/FTCS.1992.243567"},{"key":"e_1_3_2_1_13_1","first-page":"12","volume-title":"Supplement of the Int. Conf. on Dependable Systems and Networks","author":"Kanoun K.","year":"2001","unstructured":"K. Kanoun , J. Arlat , D. Costa , M. Dal Cin , P. Gil , J.-C. Laprie , H. Madeira , and N. Suri . Dbench -- dependability benchmarking . In Supplement of the Int. Conf. on Dependable Systems and Networks , pages 12 -- 15 , 2001 . K. Kanoun, J. Arlat, D. Costa, M. Dal Cin, P. Gil, J.-C. Laprie, H. Madeira, and N. Suri. Dbench -- dependability benchmarking. In Supplement of the Int. Conf. on Dependable Systems and Networks, pages 12--15, 2001."},{"key":"e_1_3_2_1_14_1","volume-title":"RFC 1321 - the md5 message-digest algorithm. URL: http:\/\/www.faqs.org\/rfcs\/rfc1321.html","author":"Rivest R.","year":"1992","unstructured":"R. Rivest . RFC 1321 - the md5 message-digest algorithm. URL: http:\/\/www.faqs.org\/rfcs\/rfc1321.html , 1992 . R. Rivest. RFC 1321 - the md5 message-digest algorithm. URL: http:\/\/www.faqs.org\/rfcs\/rfc1321.html, 1992."},{"key":"e_1_3_2_1_15_1","first-page":"208","volume-title":"3rd European Dependable Computing Conference","author":"Rodr\u00edguez M.","year":"1993","unstructured":"M. Rodr\u00edguez , F. Salles , J. C. Fabre , and J. Arlat . MAFALDA: Microkernel assessment by fault injection and design aid . In 3rd European Dependable Computing Conference , pages 208 -- 217 , 1993 . M. Rodr\u00edguez, F. Salles, J. C. Fabre, and J. Arlat. MAFALDA: Microkernel assessment by fault injection and design aid. In 3rd European Dependable Computing Conference, pages 208--217, 1993."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.5555\/795670.796842"},{"key":"e_1_3_2_1_17_1","volume-title":"Bochs x86 PC emulator project. URL: http:\/\/sourceforge.net\/projects\/bochs\/","author":"Forge Source","year":"2006","unstructured":"Source Forge . Bochs x86 PC emulator project. URL: http:\/\/sourceforge.net\/projects\/bochs\/ , 2006 . Source Forge. Bochs x86 PC emulator project. URL: http:\/\/sourceforge.net\/projects\/bochs\/, 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.5555\/795669.796804"},{"key":"e_1_3_2_1_19_1","volume-title":"URL: http:\/\/www.vmware.com\/","author":"VMware Inc. VMware.","year":"2007","unstructured":"VMware Inc. VMware. URL: http:\/\/www.vmware.com\/ , 2007 . VMware Inc. VMware. URL: http:\/\/www.vmware.com\/, 2007."}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ESEC\/FSE07","name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","location":"Dubrovnik Croatia"},"container-title":["Proceedings of the 2007 workshop on Engineering fault tolerant systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1316550.1316559","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1316550.1316559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:26Z","timestamp":1750254986000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1316550.1316559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,4]]},"references-count":19,"alternative-id":["10.1145\/1316550.1316559","10.1145\/1316550"],"URL":"https:\/\/doi.org\/10.1145\/1316550.1316559","relation":{},"subject":[],"published":{"date-parts":[[2007,9,4]]},"assertion":[{"value":"2007-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}