| Hardware-assisted reliability enhancement for embedded multi-core virtualization design TH Lin, Y Kinebuchi, A Courbot, H Shimada, T Morita, H Mitake, CY Lee, ... 2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011 | 22 | 2011 |
| Temporal and spatial isolation in a virtualization layer for multi-core processor based information appliances T Nakajima, Y Kinebuchi, H Shimada, A Courbot, TH Lin 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011), 645-652, 2011 | 19 | 2011 |
| A light-weighted virtualization layer for multicore processor-based rich functional embedded systems N Li, Y Kinebuchi, H Mitake, H Shimada, TH Lin, T Nakajima 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented …, 2012 | 14 | 2012 |
| A lightweight monitoring service for multi-core embedded systems H Shimada, A Courbot, Y Kinebuchi, T Nakajima 2010 13th IEEE International Symposium on Object/Component/Service-Oriented …, 2010 | 13 | 2010 |
| Using virtual CPU migration to solve the lock holder preemption problem in a multicore processor-based virtualization layer for embedded systems H Mitake, TH Lin, Y Kinebuchi, H Shimada, T Nakajima 2012 IEEE International Conference on Embedded and Real-Time Computing …, 2012 | 12 | 2012 |
| Composition kernel: A multi-core processor virtualization layer for rich functional smart products T Nakajima, Y Kinebuchi, A Courbot, H Shimada, TH Lin, H Mitake Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 …, 2010 | 11 | 2010 |
| Composition kernel: A multi-core processor virtualization layer for highly functional embedded systems T Nakajima, Y Kinebuchi, A Courbot, H Shimada, TH Lin, H Mitake 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing …, 2010 | 6 | 2010 |
| Towards co-existing of Linux and real-time OSes H Mitake, TH Lin, H Shimada, Y Kinebuchi, N Li, T Nakajima Linux Symposium, 55, 2011 | 5 | 2011 |
| Light-weighted virtualization layer for multicore processor-based embedded systems H Mitake, H Shimada, TH Lin, N Li, Y Kinebuchi, CY Lee, D Yamaguchi, ... proceedings of the 15th international symposium on object/component/service …, 2012 | 3 | 2012 |
| Design issues in composition kernels for highly functional embedded systems H Shimada, Y Kinebuchi, TH Lin, A Courbot, T Nakajima Proceedings of the 2011 ACM Symposium on Applied Computing, 338-345, 2011 | 3 | 2011 |
| Automatically generating external os kernel integrity checkers for detecting hidden rootkits H Shimada, T Nakajima 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 …, 2014 | 2 | 2014 |
| An extensible secure OS architecture for embedded systems N Li, Y Kinebuchi, H Shimada, T Nakajima Information and Media Technologies 8 (4), 995-1004, 2013 | 1 | 2013 |
| Automatic invariant generation for monitoring os kernel integrity H Shimada, T Nakajima 2012 IEEE International Conference on Embedded and Real-Time Computing …, 2012 | 1 | 2012 |
| A software infrastructure for dependable embedded systems H Shimada, A Courbot, Y Kinebuchi, T Nakajima Computer Systems Science and Engineering 26 (6), 491-503, 2011 | 1 | 2011 |
| External integrity checking with invariants H Shimada, T Nakajima 2011 IEEE 17th International Conference on Embedded and Real-Time Computing …, 2011 | 1 | 2011 |
| A VMM based Integrity Checker for Operating System Kernels H Shimada 早稲田大学, 2014 | | 2014 |
| Spatial Isolation on Realtime Hypervisor using Core-local Memory. D Yamaguchi, T Yajima, CY Lee, H Shimada, Y Kinebuchi, T Nakajima PECCS, 415-421, 2012 | | 2012 |
| Optimistic Synchronization for External Monitoring Service 島田裕正， 中島達夫 Waseda University, 2010 | | 2010 |
| Reusable integrity management services for embedded systems L Sun, H Shimada, T Nakajima 2009 IEEE International Conference on Service-Oriented Computing and …, 2009 | | 2009 |
