Virtual-CPU Scheduling in the Quest Operating System. - Matthew Danish; Ye Li 001; Richard West (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Quest-V: A Virtualized Multikernel for High-Confidence Systems - Ye Li 001; Matthew Danish; Richard West (CoRR, 2011)

Real-time USB communication in the Quest operating system. - Eric S. Missimer; Ye Li 001; Richard West (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Predictable Migration and Communication in the Quest-V Multikernel. - Ye Li 001; Eric S. Missimer; Richard West (CoRR, 2013)

The Quest-V Separation Kernel for Mixed Criticality Systems. - Ye Li 001; Richard West; Eric S. Missimer (CoRR, 2013)

Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems. - Richard West; Ye Li 001; Eric S. Missimer (CoRR, 2013)

COLORIS: a dynamic cache partitioning system using page coloring. - Ying Ye; Richard West; Zhuoqun Cheng; Ye Li 001 (PACT, 2014)

Predictable Communication and Migration in the Quest-V Separation Kernel. - Ye Li 001; Richard West; Zhuoqun Cheng; Eric S. Missimer (RTSS, 2014)

A virtualized separation kernel for mixed criticality systems. - Ye Li 001; Richard West; Eric S. Missimer (VEE, 2014)

Demo abstract: A multithreaded arduino system for embedded computing. - Zhuoqun Cheng; Ye Li 001; Richard West (RTAS, 2015)

Qduino: A Multithreaded Arduino System for Embedded Computing. - Zhuoqun Cheng; Ye Li 001; Richard West (RTSS, 2015)

Leveraging virtualization technologies for resource partitioning in mixed criticality systems - Ye Li 001 (2015)

A Virtualized Separation Kernel for Mixed-Criticality Systems. - Richard West; Ye Li 001; Eric S. Missimer; Matthew Danish (ACM Trans. Comput. Syst., 2016)