{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T20:01:48Z","timestamp":1773086508577,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,5]],"date-time":"2011-06-05T00:00:00Z","timestamp":1307232000000},"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":[[2011,6,5]]},"DOI":"10.1145\/2024724.2024925","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"901-905","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Virtualizing embedded systems"],"prefix":"10.1145","author":[{"given":"Gernot","family":"Heiser","sequence":"first","affiliation":[{"name":"NICTA and University of New South Wales, Sydney, Australia"}]}],"member":"320","published-online":{"date-parts":[[2011,6,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Virtualization Extensions Architecture Specification","author":"{ARM10} ARM Architecture Group","year":"2010","unstructured":"{ARM10} ARM Architecture Group . Virtualization Extensions Architecture Specification , 2010 . URL http:\/\/infocenter.arm.com\/help\/index.jsp? topic=\/com.arm.doc,ddi0406b_virtualization_extns\/index.html. {ARM10} ARM Architecture Group. Virtualization Extensions Architecture Specification, 2010. URL http:\/\/infocenter.arm.com\/help\/index.jsp? topic=\/com.arm.doc,ddi0406b_virtualization_extns\/index.html."},{"key":"e_1_3_2_1_2_1","unstructured":"{AUTO} AUTOSAR http:\/\/www.autosar.org.  {AUTO} AUTOSAR http:\/\/www.autosar.org."},{"key":"e_1_3_2_1_3_1","unstructured":"{DoCo06} NTT DoCoMo and Intel Corp. Open and secure terminal initiative (OSTI) architecture specification. http:\/\/www.nttdocomo.co.jp\/english\/corporate\/technology\/osti\/ Oct 2006.  {DoCo06} NTT DoCoMo and Intel Corp. Open and secure terminal initiative (OSTI) architecture specification. http:\/\/www.nttdocomo.co.jp\/english\/corporate\/technology\/osti\/ Oct 2006."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435458.1435461"},{"key":"e_1_3_2_1_5_1","volume-title":"Open Kernel Labs","author":"Heiser G.","year":"2009","unstructured":"{Hei09} G. Heiser . The Motorola Evoke QA4: A case study in mobile virtualization. White paper , Open Kernel Labs , Jul 2009 . http:\/\/www.ok-labs,com\/_assets\/image_library\/evoke.pdf. {Hei09} G. Heiser. The Motorola Evoke QA4: A case study in mobile virtualization. White paper, Open Kernel Labs, Jul 2009. http:\/\/www.ok-labs,com\/_assets\/image_library\/evoke.pdf."},{"key":"e_1_3_2_1_6_1","volume-title":"6th Emb. Security in Cars Conf. (escar)","author":"Hergenhan A.","year":"2008","unstructured":"{HH08} A. Hergenhan and G. Heiser . Operating systems technology for converged ECUs . In 6th Emb. Security in Cars Conf. (escar) , Hamburg, Germany , Nov 2008 . ISITS. {HH08} A. Hergenhan and G. Heiser. Operating systems technology for converged ECUs. In 6th Emb. Security in Cars Conf. (escar), Hamburg, Germany, Nov 2008. ISITS."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851276.1851282"},{"key":"e_1_3_2_1_8_1","unstructured":"{OKL10} Open Kernel Labs. Open Kernel Labs unveils SecureIT mobile for building secure smartphones. http:\/\/www.ok-labs.com\/releases\/release\/open-kernel-labs-unveils-secureit-mobile-for-building-secure-smartphones Oct 2010.  {OKL10} Open Kernel Labs. Open Kernel Labs unveils SecureIT mobile for building secure smartphones. http:\/\/www.ok-labs.com\/releases\/release\/open-kernel-labs-unveils-secureit-mobile-for-building-secure-smartphones Oct 2010."},{"key":"e_1_3_2_1_9_1","unstructured":"{OKL11} Open Kernel Labs. OK Labs and Fixmo to deliver mobile security for military government and enterprise. http:\/\/www.ok-labs.com\/releases\/release\/open-kernel-labs-and-fixmo-collaborate-to-deliver-mobile-security-solution Feb 2011.  {OKL11} Open Kernel Labs. OK Labs and Fixmo to deliver mobile security for military government and enterprise. http:\/\/www.ok-labs.com\/releases\/release\/open-kernel-labs-and-fixmo-collaborate-to-deliver-mobile-security-solution Feb 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.163"}],"event":{"name":"DAC '11: The 48th Annual Design Automation Conference 2011","location":"San Diego California","acronym":"DAC '11","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE Council on Electronic Design Automation (CEDA)"]},"container-title":["Proceedings of the 48th Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2024724.2024925","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2024724.2024925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:05:59Z","timestamp":1750244759000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2024724.2024925"}},"subtitle":["why bother?"],"short-title":[],"issued":{"date-parts":[[2011,6,5]]},"references-count":10,"alternative-id":["10.1145\/2024724.2024925","10.1145\/2024724"],"URL":"https:\/\/doi.org\/10.1145\/2024724.2024925","relation":{},"subject":[],"published":{"date-parts":[[2011,6,5]]},"assertion":[{"value":"2011-06-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}