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

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)

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)