| 2021 | RTCSA | Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks. | Guangli Dai, Pavan Kumar Paluri, Albert Mo Kim Cheng |
| 2019 | RTSS | Work-in-Progress: Simplifying CPS Development with Real-Time Virtual Resources. | Albert Mo Kim Cheng |
| 2019 | RTSS | Work-in-Progress: Leveraging the Selfless Driving Model to Reduce Vehicular Network Congestion. | Guangli Dai, Pavan Kumar Paluri, Thomas Carmichael, Albert Mo Kim Cheng, Risto Miikkulainen |
| 2019 | RTSS | Work-in-Progress: Combining Two Security Methods to Detect Versatile Integrity Attacks in Cyber-Physical Systems. | Victor M. Lopez Rodriguez, Albert Mo Kim Cheng, Binh Doan |
| 2019 | RTSS | Work-in-Progress: Reducing Response Time of Static Priority Task Sets by Varying Offsets. | Aaron Wong, Albert Mo Kim Cheng |
| 2019 | RTSS | Work-in-Progress: ARTIC: An Adaptive Real-Time Imprecise Computation Pipeline for Audio Analysis. | Michael Yantosca, Albert Mo Kim Cheng |
| 2018 | DSN | Real-Time Security Through a TEE. | Roberto Duenez, Albert Mo Kim Cheng |
| 2018 | RTSS | Work-in-Progress: Incorporating Deadline-Based Scheduling in Tasking Programming Model for Extreme-Scale Parallel Computing. | Albert Mo Kim Cheng, Panruo Wu |
| 2010 | ISLPED | Real-energy: a new framework and a case study to evaluate power-aware real-time scheduling algorithms. | Jian (Denny) Lin, Wei Song, Albert Mo Kim Cheng |
| 2010 | RTCSA | Optimal Scheduling of Urgent Preemptive Tasks. | Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence J. Osborne |
| 2009 | ICPADS | Real-time Task Assignment with Replication on Multiprocessor Platforms. | Jian (Denny) Lin, Albert Mo Kim Cheng |
| 2009 | RTCSA | Power-Aware Scheduling for Multiple Feasible Interval Jobs. | Jian (Denny) Lin, Albert Mo Kim Cheng |
| 2009 | RTCSA | Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm. | Jim Ras, Albert Mo Kim Cheng |
| 2008 | RTCSA | Real-Time Task Assignment in Rechargeable Multiprocessor Systems. | Jian (Denny) Lin, Albert Mo Kim Cheng |
| 2008 | SYNASC | Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. | Stefan Andrei, Albert Mo Kim Cheng |
| 2006 | RTSS | Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. | Stefan Andrei, Albert Mo Kim Cheng |
| 2006 | RTCSA | Optimization of Real-Time Systems Timing Specifications. | Stefan Andrei, Albert Mo Kim Cheng |
| 2005 | RTAS | Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. | Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu |
| 2005 | RTCSA | Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. | Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu |
| 2005 | RTCSA | Priority-Driven Coding of Progressive JPEG Images for Transmission in Real-Time Applications. | Albert Mo Kim Cheng, Feng Shang |
| 2004 | COMPSAC | A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. | Albert Mo Kim Cheng, Rong Wang |
| 2004 | ICINCO | What's Real in "Real-Time Control Systems"? - Applying Formal Verification Methods and Real-Time Rule-Based Systems to Control Systems and Robotics. | Albert Mo Kim Cheng |
| 2003 | RTAS | Real-Time Scheduling of Hierarchical Reward-Based Tasks. | Ming Zu, Albert Mo Kim Cheng |
| 2001 | COMPSAC | Reducing Matching Time for OPS5 Production Systems. | Jeong A. Kang, Albert Mo Kim Cheng |
| 2000 | LCN | Load-Balanced Routing and Scheduling for Real-Time Traffic in Packet-Switch Networks. | Sangman Bak, Albert Mo Kim Cheng, Jorge Arturo Cobb, Ernst L. Leiss |
| 2000 | RTAS | Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency. | Yun-Hong Lee, Albert Mo Kim Cheng |
| 1999 | RTAS | Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics. | Lorraine E. P. Rice, Albert Mo Kim Cheng |
| 1997 | CIKM | Reducing Match Time Variance in Production Systems with HAL. | Pou-yung Lee, Albert Mo Kim Cheng |
| 1997 | ICCCN | An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission. | Xiao Chen, Albert Mo Kim Cheng |
| 1997 | LCN | An approach for imprecise transmission of TIFF image files through congested real-time ATM networks. | Chun Wong, Albert Mo Kim Cheng |
| 1996 | COMPSAC | Measuring the Structural Complexity of OPS5 Rule-Based Programs. | Albert Mo Kim Cheng |
| 1996 | ICPP | Improving the I/O Performance of Real-Time Database Systems with Multiple-Disk Storage Structures. | Albert Mo Kim Cheng, Sharon X. Gu |
| 1995 | ICPP | Increasing Production System Parallelism via Synchronization Minimazation and Check-Ahead Conflict Resolution. | Chang-Yu Wang, Albert Mo Kim Cheng |
| 1995 | RTAS | Applying imprecise algorithms to real-time image and video transmissio. | Xiaofen Huang, Albert Mo Kim Cheng |
| 1994 | AAAI | Termination Analysis of OPS5 Expert Systems. | Hsiu-yen Tsai, Albert Mo Kim Cheng |
| 1994 | ICPP | A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL Rule-Based Programs. | Jeng-Rung Chen, Albert Mo Kim Cheng |
| 1994 | ICTAI | Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression Assignments. | Jeng-Rung Chen, Albert Mo Kim Cheng |
| 1993 | SEKE | A New Complexity Metric for OPS5 Rule-Based Systems. | Albert Mo Kim Cheng |
| 1992 | SRDS | Self-Stabilizing Real-Time Rule-Based Systems. | Albert Mo Kim Cheng |
| 1990 | RTSS | MRL: A Real-Time Rule-Based Production System. | C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng |