| 2022 | RTAS | RT-WiFi on Software-Defined Radio: Design and Implementation. | Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han |
| 2022 | RTAS | Demo Abstract: Open RT-WiFi Platform on Software-Defined Radio. | Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han |
| 2021 | ETFA | SQGS: Sensing-based Quality-aware Robot Programming Guidance System for Non-experts. | Yi-Hsuan Hsieh, Aloysius K. Mok |
| 2021 | ICRA | SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers. | Yi-Hsuan Hsieh, Pei-Chi Huang, Aloysius K. Mok |
| 2019 | RTSS | Online Reconfiguration of Regularity-Based Resource Partitions in Cyber-Physical Systems. | Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Aloysius K. Mok, Song Han |
| 2018 | INDIN | A Skill-Based Programming System for Robotic Furniture Assembly. | Pei-Chi Huang, Yi-Hsuan Hsieh, Aloysius K. Mok |
| 2018 | RTCSA | A Case Study of Cyber-Physical System Design: Autonomous Pick-and-Place Robot. | Pei-Chi Huang, Aloysius K. Mok |
| 2017 | RTSS | Regular Composite Resource Partition in Open Systems. | Wei-Ju Chen, Pei-Chi Huang, Quan Leng, Aloysius K. Mok, Song Han |
| 2016 | RTCSA | Synchronization Considerations for Real-Time Wireless Sensor and Actuator Networks. | Deji Chen, Mark Nixon, Shaobo Zheng, Tao Gong, Song Han, Aloysius K. Mok |
| 2015 | RTSS | Tradeoffs in Real-Time Robotic Task Design with Neuroevolution Learning for Imprecise Computation. | Pei-Chi Huang, Luis Sentis, Joel Lehman, Chien-Liang Fok, Aloysius K. Mok, Risto Miikkulainen |
| 2014 | RTSS | Improving Control Performance by Minimizing Jitter in RT-WiFi Networks. | Quan Leng, Yi-Hung Wei, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka |
| 2013 | IECON | Building wireless embedded internet for industrial automation. | Song Han, Yi-Hung Wei, Aloysius K. Mok, Deji Chen, Mark Nixon, Eric Rotvold |
| 2013 | RTSS | RT-WiFi: Real-Time High-Speed Communication Protocol for Wireless Cyber-Physical Control Applications. | Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka |
| 2012 | AINA | On Co-scheduling of Periodic Update and Application Transactions with Fixed Priority Assignment for Real-Time Monitoring. | Jiantao Wang, Kam-yiu Lam, Song Han, Sang Hyuk Son, Aloysius K. Mok |
| 2012 | INDIN | Measuring WirelessHART against wired fieldbus for control. | Xiuming Zhu, Thomas Lin, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon, Eric Rotvold |
| 2012 | IECON | Utilizing parallelization and embedded multicore architectures for scheduling large-scale wireless mesh networks. | Song Han, Aloysius K. Mok, Mark Nixon, Deji Chen, Lawrence Waugh, Fred Stotz |
| 2012 | RTSS | Architecture of a cyberphysical avatar. | Song Han, Aloysius K. Mok, Jianyong Meng, Yi-Hung Wei, Pei-Chi Huang, Xiuming Zhu, Luis Sentis, Kwan-Suk Kim, Risto Miikkulainen, Jacob Menashe |
| 2012 | RTAS | RoamingHART: A Collaborative Localization System on WirelessHART. | Xiuming Zhu, Pei-Chi Huang, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon |
| 2012 | RTCSA | Regularity-Based Partitioning of Uniform Resources in Real-Time Systems. | Yu Li, Albert M. K. Cheng, Aloysius K. Mok |
| 2012 | RTCSA | MinMax: A Sampling Interval Control Algorithm for Process Control Systems. | Xiuming Zhu, Pei-Chi Huang, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon |
| 2011 | ECRTS | MBStar: A Real-time Communication Protocol for Wireless Body Area Networks. | Xiuming Zhu, Song Han, Pei-Chi Huang, Aloysius K. Mok, Deji Chen |
| 2011 | ICPADS | On Least Idle Slot First Co-scheduling of Update and Control Tasks in Real-Time Sensing and Control Systems. | Jiantao Wang, Song Han, Kam-yiu Lam, Aloysius K. Mok |
| 2011 | RTSS | On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. | Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam |
| 2011 | RTAS | Reliable and Real-Time Communication in Industrial Wireless Mesh Networks. | Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon |
| 2010 | RTAS | Design of a Reliable Communication System for Grid-Style Traffic Light Networks. | Junghoon Lee, Song Han, Aloysius K. Mok |
| 2010 | RTCSA | A Virtual Network Approach for Testing Wireless Mesh in Industrial Process Control. | Song Han, Xiuming Zhu, Jianping Song, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar |
| 2010 | RTCSA | Necessary and Sufficient Conditions for Non-preemptive Robustness. | Wing-Chi Poon, Aloysius K. Mok |
| 2009 | RTSS | Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. | Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok |
| 2009 | RTAS | Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network. | Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar |
| 2009 | RTCSA | A Location-Determination Application in WirelessHART. | Xiuming Zhu, Wei Dong, Aloysius K. Mok, Song Han, Jianping Song, Deji Chen, Mark Nixon |
| 2008 | ECRTS | A Schedulability Analysis of Deferrable Scheduling Using Patterns. | Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok |
| 2008 | IPCCC | Coding-Aware Multi-path Routing in Multi-Hop Wireless Networks. | Song Han, Zifei Zhong, Hongxing Li, Guihai Chen, Edward Chan, Aloysius K. Mok |
| 2008 | RAID | Swarm Attacks against Network-Level Emulation/Analysis. | Simon P. Chung, Aloysius K. Mok |
| 2008 | SENSYS | WI-HTest: testing suite for diagnosing wirelesshart devices and networks. | Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar |
| 2008 | SENSYS | A complete wirelessHART network. | Jianping Song, Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon |
| 2008 | RTAS | WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control. | Jianping Song, Song Han, Aloysius K. Mok, Deji Chen, Mike Lucas, Mark Nixon, Wally Pratt |
| 2008 | RTAS | Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. | Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella M. Atkins, Chan-Gun Lee |
| 2007 | RAID | Advanced Allergy Attacks: Does a Corpus Really Help? | Simon P. Chung, Aloysius K. Mok |
| 2007 | WETICE | Collaborative Intrusion Prevention. | Simon P. Chung, Aloysius K. Mok |
| 2007 | RTSS | Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. | Honguk Woo, Aloysius K. Mok |
| 2006 | RAID | Allergy Attack Against Automatic Signature Generation. | Simon P. Chung, Aloysius K. Mok |
| 2006 | RTSS | A Generic Framework for Monitoring Timing Constraints over Uncertain Events. | Honguk Woo, Aloysius K. Mok, Chan-Gun Lee |
| 2006 | RTAS | A Performance Estimation Tool for Video Applications. | Zhengting He, Cheng Peng, Aloysius K. Mok |
| 2006 | RTCSA | Probabilistic Timing Join over Uncertain Event Streams. | Aloysius K. Mok, Honguk Woo, Chan-Gun Lee |
| 2006 | RTCSA | Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks. | Jianping Song, Aloysius K. Mok, Deji Chen, Mark Nixon |
| 2005 | MASS | A practical approach to deploy large scale wireless sensor networks. | Mike Sheldon, Deji Chen, Mark Nixon, Aloysius K. Mok |
| 2005 | RAID | On Random-Inspection-Based Intrusion Detection. | Simon P. Chung, Aloysius K. Mok |
| 2005 | SAC | Real-time task scheduling anomaly: observations and prevention. | Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok |
| 2005 | RTSS | Non-Preemptive Robustness under Reduced System Load. | Aloysius K. Mok, Wing-Chi Poon |
| 2005 | RTAS | Timed RTOS Modeling for Embedded System Design. | Zhengting He, Aloysius K. Mok, Cheng Peng |
| 2005 | RTCSA | Data Collection with Battery and Buffer Consideration in a Large Scale Sensor Network. | Deji Chen, Aloysius K. Mok, Jianliang Yi, Mark Nixon, Tom Aneweer, Rusty Shepard |
| 2004 | ECRTS | Generalized Pre-Scheduler. | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
| 2004 | RAID | Detecting Unknown Massive Mailing Viruses Using Proactive Methods. | Ruiqi Hu, Aloysius K. Mok |
| 2004 | RTSS | Pre-Scheduling on the Domain of Integers. | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
| 2004 | RTAS | Real-Time Tasks with Data Output. | Deji Chen, Aloysius K. Mok, Mark Nixon, Rusty Shepard |
| 2003 | EMSOFT | Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. | Weirong Wang, Aloysius K. Mok, Gerhard Fohler |
| 2003 | RTSS | Monitoring of Timing Constraints with Confidence Threshold Requirements. | Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana |
| 2003 | RTAS | An Integrated Approach for Applying Dynamic Voltage Scaling to Hard Real-Time Systems. | Yanbin Liu, Aloysius K. Mok |
| 2003 | RTCSA | On the Composition of Real-Time Schedulers. | Weirong Wang, Aloysius K. Mok |
| 2002 | ACSAC | Enforcing Resource Bound Safety for Mobile SNMP Agents. | Weijiang Yu, Aloysius K. Mok |
| 2002 | EMSOFT | Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. | Aloysius K. Mok, Alex Xiang Feng |
| 2002 | ESORICS | TINMAN: A Resource Bound Security Checking System for Mobile Code. | Aloysius K. Mok, Weijiang Yu |
| 2002 | RTSS | The Monitoring of Timing Constraints on Time Intervals. | Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana |
| 2001 | RTSS | Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds. | Aloysius K. Mok, Alex Xiang Feng |
| 2001 | RTSS | Window-Constrained Real-Time Periodic Task Scheduling. | Aloysius K. Mok, Weirong Wang |
| 2001 | RTAS | Resource Partition for Real-Time Systems. | Aloysius K. Mok, Alex Xiang Feng, Deji Chen |
| 2000 | RTSS | Implementation and Performance Evaluation of a Real-Time E-Brokerage System. | Prabhudev Konana, Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Guangtian Liu |
| 2000 | RTAS | Scheduling Distributed Real-Time Tasks in the DGMF Model. | Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah |
| 2000 | RTCSA | Tracking Real-Time Systems Requirements. | Aloysius K. Mok |
| 1999 | ECRTS | Static-priority scheduling of multiframe tasks. | Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok |
| 1999 | IM | Composite Events for Network Event Correlation. | Guangtian Liu, Aloysius K. Mok, Eric J. Yang |
| 1999 | RTSS | SRDE-Application of Data Similarity to Process Control. | Deji Chen, Aloysius K. Mok |
| 1999 | RTAS | Implementation of JEM - A Java Composite Event Package. | Guangtian Liu, Aloysius K. Mok |
| 1999 | RTCSA | Utilization Bound Re-visited . | Deji Chen, Aloysius K. Mok, Tei-Wei Kuo |
| 1998 | RTSS | Integrated Design Tools for Hard Real-Time Systems. | Carlos Puchol, Aloysius K. Mok |
| 1998 | RTAS | A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems. | Guangtian Liu, Aloysius K. Mok, Prabhudev Konana |
| 1997 | RTSS | Jitter concerns in periodic task systems. | Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok |
| 1997 | RTSS | Similarity-based load adjustment for real-time data-intensive applications. | Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok |
| 1997 | RTSS | Early detection of timing constraint violation at runtime. | Aloysius K. Mok, Guangtian Liu |
| 1997 | RTAS | Efficient Run-Time Monitoring of Timing Constraints. | Aloysius K. Mok, Guangtian Liu |
| 1996 | ICDCS | Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs. | Rwo-Hsi Wang, Aloysius K. Mok |
| 1996 | RTSS | A multiframe model for real-time tasks. | Aloysius K. Mok, Deji Chen |
| 1996 | RTSS | The MSP.RTL real-time scheduler synthesis tool. | Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij |
| 1995 | ICDCS | Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel). | Aloysius K. Mok, Constance L. Heitmeyer, Kevin Jeffay, Michael B. Jones, C. Douglass Locke, Ragunathan Rajkumar |
| 1995 | RTSS | Compiling Modechart Specifications. | Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart |
| 1995 | RTAS | The design and implementation of a Real-Time Object Management Interface. | Tei-Wei Kuo, Aloysius K. Mok |
| 1995 | RTAS | A new generation modechart verifie. | Jin Yang, Aloysius K. Mok, Douglas A. Stuart |
| 1994 | FM | RTL and Refutation by Positive Cycles. | Farn Wang, Aloysius K. Mok |
| 1994 | ICTAI | A New Approach to Modularity in Rule-Based Programming. | James C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Roberto J. Bayardo Jr., Sarah E. Chodrow, David Gadbois, F. Furman Haddix, Thomas W. Hetherington, Lance Obermeyer, Duu-Chung Tsou, Chih-Kan Wang, Rwo-Hsi Wang |
| 1994 | RTSS | Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure. | Rwo-Hsi Wang, Aloysius K. Mok |
| 1993 | FM | Symbolic Model Checking for Distributed Real-Time Systems. | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
| 1993 | RTSS | SSP: A Semantics-Based Protocol for Real-Time Data Access. | Tei-Wei Kuo, Aloysius K. Mok |
| 1993 | RTSS | Symbolic Model Checking for Event-Driven Real-Time Systems. | Jin Yang, Aloysius K. Mok, Farn Wang |
| 1992 | ICSE | Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. | Farn Wang, Aloysius K. Mok, E. Allen Emerson |
| 1992 | RTSS | Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. | Tei-Wei Kuo, Aloysius K. Mok |
| 1991 | RTSS | Load Adjustment in Adaptive Real-Time Systems. | Tei-Wei Kuo, Aloysius K. Mok |
| 1990 | CAV | Quantitative Temporal Reasoning. | E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan |
| 1990 | RTSS | Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. | Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier |
| 1990 | RTSS | MRL: A Real-Time Rule-Based Production System. | C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng |
| 1989 | RTSS | Formal Analysis of Real-Time Equational Rule-Based Systems. | Aloysius K. Mok |
| 1987 | RTSS | Synthesis of a Real-Time Message Processing System with Data-Driven Timing Constraints. | Aloysius K. Mok, Prasanna Amerasinghe, Moyer Chen, Supoj Sutanthavibul, Kamtorn Tantisirivat |
| 1986 | RTSS | A Graph-Theoretic Approach for Timing Analysis in Real Time Logic. | Farnam Jahanian, Aloysius K. Mok |
| 1985 | ICPP | A Graph-Based Computation Model for Real-Time Systems. | Aloysius K. Mok |
| 1985 | RTSS | Modeling and Scheduling of Dataflow Real-Time Systems. | Aloysius K. Mok, Supoj Sutanthavibul |