{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T14:15:01Z","timestamp":1768400101986,"version":"3.49.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/dsn.2009.5270357","type":"proceedings-article","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T18:41:36Z","timestamp":1254336096000},"page":"33-42","source":"Crossref","is-referenced-by-count":40,"title":["Fault isolation for device drivers"],"prefix":"10.1109","author":[{"given":"Jorrit N.","family":"Herder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Bos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Gras","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Homburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew S.","family":"Tanenbaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273032"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1991.146625"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.46"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/1047915.1047919"},{"key":"18","article-title":"countering ipc threats in multiserver operating systems","author":"herder","year":"2008","journal-title":"Proc 14th PRDC"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217941"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/COLCOM.2005.1651218"},{"key":"34","article-title":"virtualizing i\/o devices on vmware workstation's hosted virtual machine monitor","author":"sugerman","year":"2001","journal-title":"Proc USENIX'01"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/52.582978"},{"key":"13","article-title":"computers stop and what can be done about it?","author":"gray","year":"1986","journal-title":"Proc 5th SRDS"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1145\/268998.266660","article-title":"the performance of -kernel-based systems","author":"ha?rtig","year":"1997","journal-title":"Proc 6th SOSP"},{"key":"37","article-title":"networked windows nt system field failure data analysis","author":"xu","year":"1999","journal-title":"Proc 6th PRDC"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/12.859537"},{"key":"38","article-title":"safedrive: safe and recoverable extensions using language-based techniques","author":"zhou","year":"2006","journal-title":"Proc 7th OSDI"},{"key":"12","article-title":"an architecture for device drivers executing as user-level tasks","author":"golub","year":"1993","journal-title":"Proc Usenix Mach III Symp"},{"key":"21","article-title":"unmodified device driver reuse and improved system dependability via virtual machines","author":"levasseur","year":"2004","journal-title":"Proc 6th OSDI"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-005-0654-4"},{"key":"22","article-title":"on -kernel construction","author":"liedtke","year":"1995","journal-title":"Proc 15th SOSP"},{"key":"23","article-title":"enhancing a dependable multiserver os with temporal protection via resource reservations","author":"mancina","year":"2008","journal-title":"Proc 16th RTNS"},{"key":"24","article-title":"devil: an idl for hardware programming","author":"me?rillon","year":"2000","journal-title":"Proc 4th OSDI"},{"key":"25","article-title":"architecture of the user-mode driver framework","year":"2006","journal-title":"Proc 15th WinHEC"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1036474.1036498"},{"key":"27","article-title":"the systematic improvement of fault tolerance in the rio file cache","author":"ng","year":"1999","journal-title":"Proc 29th FTCS"},{"key":"28","article-title":"online crash analysis - higher quality at lower cost","author":"orgovan","year":"2004","journal-title":"Presented at 13th WinHEC"},{"key":"29","article-title":"understanding collateral evolution in linux device drivers","author":"padioleau","year":"2006","journal-title":"Proc 1st EuroSys"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.177364"},{"key":"10","article-title":"windows xp kernel crash analysis","author":"ganapathi","year":"2006","journal-title":"Proc 20th LISA"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/OPNARC.2002.1019235"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519095"},{"key":"7","article-title":"towards a practical, verified kernel","author":"elphinstone","year":"2007","journal-title":"Proc 11th HotOS"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.113"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238779"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.2004.1357894"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1996.534615"},{"key":"9","article-title":"safe hardware access with the xen virtual machine monitor","author":"fraser","year":"2004","journal-title":"Proc 1st OASIS"},{"key":"8","article-title":"xfi: software guards for system address spaces","author":"erlingsson","year":"2006","journal-title":"Proc 7th OSDI"}],"event":{"name":"Networks (DSN)","location":"Lisbon, Portugal","start":{"date-parts":[[2009,6,29]]},"end":{"date-parts":[[2009,7,2]]}},"container-title":["2009 IEEE\/IFIP International Conference on Dependable Systems & Networks"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5243642\/5270274\/05270357.pdf?arnumber=5270357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T13:19:59Z","timestamp":1739366399000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5270357\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/dsn.2009.5270357","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}