Guangli Dai, Pavan Kumar Paluri, Albert M. K. Cheng, and Bozheng Liu, `` Regularity-based Virtualization under the ARINC 653 Standard for Embedded Systems,'' IEEE Transactions on Computers (TC), preprint, December 24, 2021.

Pavan Kumar Paluri, Guangli Dai, and Albert M. K. Cheng, ``ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen,'' 22nd ACM International Conference on Languages Compilers, Tools and Theory of Embedded Systems (LCTES), co-located with PLDI, Virtual, June 2021. Artifact Evaluated: Available and Functional.

Albert M. K. Cheng, Homa Niktab, and Michael Walston, `` Timing Analysis of Small Aircraft Transportation System (SATS),'' International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, August 2012.

L. E. P. Rice and Albert M. K. Cheng, `` Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics,'' Proc. IEEE-CS Real-Time Technology and Applications Symposium, Vancouver, Canada, June 2-4, 1999.