{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:56:36Z","timestamp":1725616596865},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["26764"],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,31]]},"DOI":"10.1145\/1518684.1518687","type":"proceedings-article","created":{"date-parts":[[2009,4,6]],"date-time":"2009-04-06T12:34:53Z","timestamp":1239021293000},"page":"13-17","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Enhancing dependability in avionics using virtualization"],"prefix":"10.1145","author":[{"given":"Youssef","family":"Laarouchi","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Toulouse, Toulouse Cedex"}]},{"given":"Yves","family":"Deswarte","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, Toulouse Cedex"}]},{"given":"David","family":"Powell","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, Toulouse Cedex"}]},{"given":"Jean","family":"Arlat","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, Toulouse Cedex"}]},{"given":"Eric","family":"De Nadai","sequence":"additional","affiliation":[{"name":"Airbus France, Toulouse Cedex"}]}],"member":"320","published-online":{"date-parts":[[2009,3,31]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Morgan Kaufmann","author":"Smith J.","year":"2005","unstructured":"J. Smith and R. Nair , Virtual Machines: Versatile Platforms for Systems and Processes , Morgan Kaufmann , 2005 . J. Smith and R. Nair, Virtual Machines: Versatile Platforms for Systems and Processes, Morgan Kaufmann, 2005."},{"key":"e_1_3_2_1_2_1","first-page":"191","volume-title":"Network and Distributed Systems Security Symposium","author":"Garfinkel T.","year":"2003","unstructured":"T. Garfinkel and M. Rosenblum , \" A Virtual Machine Introspection Based Architecture for Intrusion Detection,\" In Proc . Network and Distributed Systems Security Symposium , 2003 , pp. 191 -- 206 . T. Garfinkel and M. Rosenblum, \"A Virtual Machine Introspection Based Architecture for Intrusion Detection,\" In Proc. Network and Distributed Systems Security Symposium, 2003, pp. 191--206."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224058"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85571-2_6"},{"key":"e_1_3_2_1_5_1","volume-title":"DO178-B","author":"Software RTCA","year":"1992","unstructured":"RTCA , \" Software Considerations in Airborne Systems and Equipment Certification ,\" Radio Technical Commission for Aeronautics (RTCA) , European Organization for Civil Aviation Electronics (EUROCAE) , DO178-B , 1992 . RTCA, \"Software Considerations in Airborne Systems and Equipment Certification,\" Radio Technical Commission for Aeronautics (RTCA), European Organization for Civil Aviation Electronics (EUROCAE), DO178-B, 1992."},{"key":"e_1_3_2_1_6_1","first-page":"70","volume-title":"Digest of Papers. Twenty-Eighth Annual International Symposium on","author":"Totel E.","year":"1998","unstructured":"E. Totel , J. Blanquart , Y. Deswarte , and D. Powell , \" Supporting multiple levels of criticality,\" Fault-Tolerant Computing, 1998 . Digest of Papers. Twenty-Eighth Annual International Symposium on , 1998 , pp. 70 -- 79 . E. Totel, J. Blanquart, Y. Deswarte, and D. Powell, \"Supporting multiple levels of criticality,\" Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on, 1998, pp. 70--79."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_2_1_8_1","first-page":"171","volume-title":"IEEE CS","author":"Deswarte Y.","year":"1999","unstructured":"Y. Deswarte , K. Kanoun , and J. Laprie , \" Diversity against accidental and deliberate faults,\" Computer Security, Dependability, and Assurance: From Needs to Solutions , IEEE CS , 1999 , pp. 171 -- 181 . Y. Deswarte, K. Kanoun, and J. Laprie, \"Diversity against accidental and deliberate faults,\" Computer Security, Dependability, and Assurance: From Needs to Solutions, IEEE CS, 1999, pp. 171--181."},{"key":"e_1_3_2_1_9_1","unstructured":"J. Michaloski S. Birla and J. Yen \"Software Models for Standardizing the Human-Machine Interface Connection to a Machine Controller.\" J. Michaloski S. Birla and J. Yen \"Software Models for Standardizing the Human-Machine Interface Connection to a Machine Controller.\""},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_11_1","volume-title":"Aspect-Oriented Programming with AspectJ and the Eclipse Aspect Development tools","author":"Colyer Adrian","year":"2005","unstructured":"Adrian Colyer , Andy Clement , George Harley , and Matthew Webster , eclipse AspectJ , Aspect-Oriented Programming with AspectJ and the Eclipse Aspect Development tools , Eclipse , 2005 . Adrian Colyer, Andy Clement, George Harley, and Matthew Webster, eclipse AspectJ, Aspect-Oriented Programming with AspectJ and the Eclipse Aspect Development tools, Eclipse, 2005."}],"event":{"name":"EuroSys '09: Fourth EuroSys Conference 2009","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Nuremberg Germany","acronym":"EuroSys '09"},"container-title":["Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1518684.1518687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T17:37:34Z","timestamp":1673285854000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1518684.1518687"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,31]]},"references-count":11,"alternative-id":["10.1145\/1518684.1518687","10.1145\/1518684"],"URL":"https:\/\/doi.org\/10.1145\/1518684.1518687","relation":{},"subject":[],"published":{"date-parts":[[2009,3,31]]},"assertion":[{"value":"2009-03-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}