Reusable integrity management services for embedded systems. - Lei Sun; Hiromasa Shimada; Tatsuo Nakajima (SOCA, 2009)

A Lightweight Monitoring Service for Multi-core Embedded Systems. - Hiromasa Shimada; Alexandre Courbot; Yuki Kinebuchi; Tatsuo Nakajima (ISORC, 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)

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)

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)

External Integrity Checking with Invariants. - Hiromasa Shimada; Tatsuo Nakajima (RTCSA (2), 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)

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)

Automatic Invariant Generation for Monitoring OS Kernel Integrity. - Hiromasa Shimada; Tatsuo Nakajima (RTCSA, 2012)

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

Automatically Generating External OS Kernel Integrity Checkers for Detecting Hidden Rootkits. - Hiromasa Shimada; Tatsuo Nakajima (UIC/ATC/ScalCom, 2014)