Constructing machine emulator on portable microkernel. - Yuki Kinebuchi; Hidenari Koshimae; Tatsuo Nakajima (SAC, 2007)

Dynamic Translator-Based Virtualization. - Yuki Kinebuchi; Hidenari Koshimae; Shuichi Oikawa; Tatsuo Nakajima (SEUS, 2007)

SPUMONE: Lightweight CPU Virtualization Layer for Embedded Systems. - Wataru Kanda; Yu Yumura; Yuki Kinebuchi; Kazuo Makijima; Tatsuo Nakajima (EUC (1), 2008)

Task Grain Scheduling for Hypervisor-Based Embedded System. - Yuki Kinebuchi; Midori Sugaya; Shuichi Oikawa; Tatsuo Nakajima (HPCC, 2008)

An Operating System Architecture for Future Information Appliances. - Tatsuo Nakajima; Hiroo Ishikawa; Yuki Kinebuchi; Midori Sugaya; Lei Sun; Alexandre Courbot; Andrej van der Zee; Aleksi Aalto; Kwon Ki Duk (SEUS, 2008)

Constructing a Multi-OS Platform with Minimal Engineering Cost. - Yuki Kinebuchi; Takushi Morita; Kazuo Makijima; Midori Sugaya; Tatsuo Nakajima (IESS, 2009)

Towards an Open Dependable Operating System. - Yutaka Ishikawa; Hajime Fujita 002; Toshiyuki Maeda; Motohiko Matsuda; Midori Sugaya; Mitsuhisa Sato; Toshihiro Hanawa; Shin'ichi Miura; Taisuke Boku; Yuki Kinebuchi; Lei Sun; Tatsuo Nakajima; et al. (ISORC, 2009)

Runtime Self-Diagnosis and Self-Recovery Infrastructure for Embedded Systems. - Lei Sun; Yuki Kinebuchi; Tomohiro Katori; Tatsuo Nakajima (SASO, 2009)

A Lightweight Monitoring Service for Multi-core Embedded Systems. - Hiromasa Shimada; Alexandre Courbot; Yuki Kinebuchi; Tatsuo Nakajima (ISORC, 2010)

Core-Local Memory Assisted Protection. - Yuki Kinebuchi; Tatsuo Nakajima; Vinod Ganapathy; Liviu Iftode (PRDC, 2010)

Composition Kernel: A Multi-core Processor Virtualization Layer for Highly Functional Embedded Systems. - Tatsuo Nakajima; Yuki Kinebuchi; Alexandre Courbot; Hiromasa Shimada; Tsung-Han Lin; Hitoshi Mitake (PRDC, 2010)

Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products. - Tatsuo Nakajima; Yuki Kinebuchi; Alexandre Courbot; Hiromasa Shimada; Tsung-Han Lin; Hitoshi Mitake (SEUS, 2010)

Composition Kernel: A Software Solution for Constructing a Multi-OS Embedded System. - Yuki Kinebuchi; Kazuo Makijima; Takushi Morita; Alexandre Courbot; Tatsuo Nakajima (EURASIP J. Embed. Syst., 2010)

Temporal and spatial isolation in a virtualization layer for multi-core processor based information appliances. - Tatsuo Nakajima; Yuki Kinebuchi; Hiromasa Shimada; Alexandre Courbot; Tsung-Han Lin (ASP-DAC, 2011)

Hardware-Assisted Reliability Enhancement for Embedded Multi-core Virtualization Design. - Tsung-Han Lin; Yuki Kinebuchi; Alexandre Courbot; Hiromasa Shimada; Takushi Morita; Hitoshi Mitake; Chen-Yi Lee; Tatsuo Nakajima (ISORC, 2011)

A Study on Real-time Responsiveness on Virtualization based Multi-OS Embedded Systems. - Yuki Kinebuchi; Hitoshi Mitake; Yohei Yasukawa; Takushi Morita; Alexandre Courbot; Tatsuo Nakajima (PECCS, 2011)

Enhancing Security of Embedded Linux on a Multi-core Processor. - Ning Li; Yuki Kinebuchi; Tatsuo Nakajima (RTCSA (2), 2011)

Hardware-Assisted Reliability Enhancement for Embedded Multi-core Virtualization Design. - Tsung-Han Lin; Yuki Kinebuchi; Hiromasa Shimada; Hitoshi Mitake; Chen-Yi Lee; Tatsuo Nakajima (RTCSA (2), 2011)

Coexisting real-time OS and general purpose OS on an embedded virtualization layer for a multicore processor. - Hitoshi Mitake; Yuki Kinebuchi; Alexandre Courbot; Tatsuo Nakajima (SAC, 2011)

Design issues in composition kernels for highly functional embedded systems. - Hiromasa Shimada; Yuki Kinebuchi; Tsung-Han Lin; Alexandre Courbot; Tatsuo Nakajima (SAC, 2011)

A software infrastructure for dependable embedded systems. - Hiromasa Shimada; Alexandre Courbot; Yuki Kinebuchi; Tatsuo Nakajima (Comput. Syst. Sci. Eng., 2011)

A Light-Weighted Virtualization Layer for Multicore Processor-Based Rich Functional Embedded Systems. - Ning Li; Yuki Kinebuchi; Hitoshi Mitake; Hiromasa Shimada; Tsung-Han Lin; Tatsuo Nakajima (ISORC, 2012)

Global Scheduling for the Embedded Virtualization System in the Multi-core Platform. - Tsung-Han Lin; Hitoshi Mitake; Yuki Kinebuchi; Tatsuo Nakajima (PECCS, 2012)

Solving the Lock Holder Preemption Problem in a Multicore Processor-based Virtualization Layer for Embedded Systems. - Hitoshi Mitake; Yuki Kinebuchi; Tsung-Han Lin; Tatsuo Nakajima (PECCS, 2012)

Spatial Isolation on Realtime Hypervisor using Core-local Memory. - Daisuke Yamaguchi; Takumi Yajima; Chen-Yi Lee; Hiromasa Shimada; Yuki Kinebuchi; Tatsuo Nakajima (PECCS, 2012)

Using Virtual CPU Migration to Solve the Lock Holder Preemption Problem in a Multicore Processor-Based Virtualization Layer for Embedded Systems. - Hitoshi Mitake; Tsung-Han Lin; Yuki Kinebuchi; Hiromasa Shimada; Tatsuo Nakajima (RTCSA, 2012)

Robust Lightweight Embedded Virtualization Layer Design with Simple Hardware Assistance. - Tsung-Han Lin; Yuki Kinebuchi; Tatsuo Nakajima (IEICE Trans. Inf. Syst., 2012)

An Extensible Secure OS Architecture for Embedded Systems. - Ning Li; Yuki Kinebuchi; Hiromasa Shimada; Tatsuo Nakajima (J. Inf. Process., 2013)

Monitoring Integrity Using Limited Local Memory. - Yuki Kinebuchi; Shakeel Butt; Vinod Ganapathy; Liviu Iftode; Tatsuo Nakajima (IEEE Trans. Inf. Forensics Secur., 2013)