Distributed Broadcast Channel Access. - Aloysius K. Mok; Steve Ward (Comput. Networks, 1979)

Fundamental design problems of distributed systems for the hard-real-time environment. - Aloysius Ka-Lau Mok (1983)

A Graph-Based Computation Model for Real-Time Systems. - Aloysius K. Mok (ICPP, 1985)

The von Neumann straitjacket- the process construct. - Aloysius K. Mok (ISPW, 1985)

Modeling and Scheduling of Dataflow Real-Time Systems. - Aloysius K. Mok; Supoj Sutanthavibul (RTSS, 1985)

A Graph-Theoretic Approach for Timing Analysis in Real Time Logic. - Farnam Jahanian; Aloysius K. Mok (RTSS, 1986)

Safety Analysis of Timing Properties in Real-Time Systems. - Farnam Jahanian; Aloysius K. Mok (IEEE Trans. Software Eng., 1986)

Supercomputers/parallel algorithms. - Aloysius K. Mok (FJCC, 1987)

Synthesis of a Real-Time Message Processing System with Data-Driven Timing Constraints. - Aloysius K. Mok; Prasanna Amerasinghe; Moyer Chen; Supoj Sutanthavibul; Kamtorn Tantisirivat (RTSS, 1987)

A Graph-Theoretic Approach for Timing Analysis and its Implementation. - Farnam Jahanian; Aloysius K. Mok (IEEE Trans. Computers, 1987)

Formal Analysis of Real-Time Equational Rule-Based Systems. - Aloysius K. Mok (RTSS, 1989)

Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks. - Michael L. Dertouzos; Aloysius K. Mok (IEEE Trans. Software Eng., 1989)

Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. - Sanjoy K. Baruah; Aloysius K. Mok; Louis E. Rosier (RTSS, 1990)

MRL: A Real-Time Rule-Based Production System. - C.-K. Wang; Aloysius K. Mok; Albert Mo Kim Cheng (RTSS, 1990)

Coping with Implementation Dependencies in Real-Time System Verification. - Aloysius K. Mok (REX Workshop, 1991)

Load Adjustment in Adaptive Real-Time Systems. - Tei-Wei Kuo; Aloysius K. Mok (RTSS, 1991)

Automated analysis of bounded response time for two NASA expert systems. - Chih-Kan Wang; Duu-Chung Tsou; Rwo-Hsi Wang; James C. Browne; Aloysius K. Mok (SIGSOFT, 1991)

Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. - Farn Wang; Aloysius K. Mok; E. Allen Emerson (ICSE, 1992)

Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. - Tei-Wei Kuo; Aloysius K. Mok (RTSS, 1992)

Quantitative Temporal Reasoning. - E. Allen Emerson; Aloysius K. Mok; A. Prasad Sistla; Jai Srinivasan (Real Time Syst., 1992)

Symbolic Model Checking for Distributed Real-Time Systems. - Farn Wang; Aloysius K. Mok; E. Allen Emerson (FME, 1993)

SSP: A Semantics-Based Protocol for Real-Time Data Access. - Tei-Wei Kuo; Aloysius K. Mok (RTSS, 1993)

Symbolic Model Checking for Event-Driven Real-Time Systems. - Jin Yang; Aloysius K. Mok; Farn Wang (RTSS, 1993)

Timing Analysis of MRL: A Real-Time Rule-Based System. - Chih-Kan Wang; Aloysius K. Mok (Real Time Syst., 1993)

Distributed Real-Time System Specification and Verification in APTL. - Farn Wang; Aloysius K. Mok; E. Allen Emerson (ACM Trans. Softw. Eng. Methodol., 1993)

Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. - Albert Mo Kim Cheng; James C. Browne; Aloysius K. Mok; Rwo-Hsi Wang (IEEE Trans. Software Eng., 1993)

What Really is Rapid Prototyping for Real-Time System? (Abstract). - Aloysius K. Mok (ACM Conference on Computer Science, 1994)

RTL and Refutation by Positive Cycles. - Farn Wang; Aloysius K. Mok (FME, 1994)

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; et al. (ICTAI, 1994)

Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure. - Rwo-Hsi Wang; Aloysius K. Mok (RTSS, 1994)

Modechart: A Specification Language for Real-Time Systems. - Farnam Jahanian; Aloysius K. Mok (IEEE Trans. Software Eng., 1994)

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 (ICDCS, 1995)

The design and implementation of a Real-Time Object Management Interface. - Tei-Wei Kuo; Aloysius K. Mok (IEEE Real Time Technology and Applications Symposium, 1995)

A new generation modechart verifie. - Jin Yang; Aloysius K. Mok; Douglas A. Stuart (IEEE Real Time Technology and Applications Symposium, 1995)

Compiling Modechart Specifications. - Carlos Puchol; Aloysius K. Mok; Douglas A. Stuart (RTSS, 1995)

Modularity and Rule-Based Programming. - James C. Browne; E. Allen Emerson; Mohamed G. Gouda; Daniel P. Miranker; Aloysius K. Mok; Lance Obermeyer; F. Furman Haddix; Rwo-Hsi Wang; Sarah E. Chodrow (Int. J. Artif. Intell. Tools, 1995)

Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure. - Rwo-Hsi Wang; Aloysius K. Mok (IEEE Trans. Software Eng., 1995)

On Modeling Real-Time Task Systems. - Deji Chen 001; Aloysius K. Mok; Sanjoy K. Baruah (European Educational Forum: School on Embedded Systems, 1996)

Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs. - Rwo-Hsi Wang; Aloysius K. Mok (ICDCS, 1996)

The MSP.RTL real-time scheduler synthesis tool. - Aloysius K. Mok; Duu-Chung Tsou; Ruud C. M. de Rooij (RTSS, 1996)

Firm Real-Time Systems. - Aloysius K. Mok (ACM Comput. Surv., 1996)

A Methodology and Support Tools for Analysis of Real-Time Specifications. - Douglas A. Stuart; Aloysius K. Mok; Farnam Jahanian (Int. J. Softw. Eng. Knowl. Eng., 1996)

Realizing EQL Programs for Bounded-Time Execution. - Aloysius K. Mok; Rwo-Hsi Wang; Chih-Kan Wang (J. Syst. Integr., 1996)

Improvement in Feasibility Testing for Real-Time Tasks. - Ismael Ripoll; Alfons Crespo; Aloysius K. Mok (Real Time Syst., 1996)

Real-Time Database - Similarity Semantics and Resource Scheduling. - Tei-Wei Kuo; Aloysius K. Mok (SIGMOD Rec., 1996)

Design of a Real-Time SQL Engine in the Distributed Environment. - Deji Chen 001; Aloysius K. Mok (ARTDB, 1997)

Panel Session: Predictability in Active Real-Time/Temporal Databases. - Aloysius K. Mok; John A. Stankovic; Özgür Ulusoy; Jörgen Hansson; Kam-yiu Lam; Kwei-Jay Lin (ARTDB, 1997)

Efficient Run-Time Monitoring of Timing Constraints. - Aloysius K. Mok; Guangtian Liu (IEEE Real Time Technology and Applications Symposium, 1997)

Jitter concerns in periodic task systems. - Sanjoy K. Baruah; Deji Chen 001; Aloysius K. Mok (RTSS, 1997)

Similarity-based load adjustment for real-time data-intensive applications. - Shao-Juen Ho; Tei-Wei Kuo; Aloysius K. Mok (RTSS, 1997)

Early detection of timing constraint violation at runtime. - Aloysius K. Mok; Guangtian Liu (RTSS, 1997)

Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems. - Tei-Wei Kuo; Aloysius K. Mok (IEEE Trans. Computers, 1997)

Symboloc Model Checking for Event-Driven Real-Time Systems. - Jin Yang; Aloysius K. Mok; Farn Wang (ACM Trans. Program. Lang. Syst., 1997)

A Multiframe Model for Real-Time Tasks. - Aloysius K. Mok; Deji Chen 001 (IEEE Trans. Software Eng., 1997)

A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems. - Guangtian Liu; Aloysius K. Mok; Prabhudev Konana (IEEE Real Time Technology and Applications Symposium, 1998)

Integrated Design Tools for Hard Real-Time Systems. - Carlos Puchol; Aloysius K. Mok (RTSS, 1998)

An Operational Semantics and Compiler for Real-Time Specifications. - Carlos Puchol; Douglas A. Stuart; Aloysius K. Mok (Integr. Comput. Aided Eng., 1998)

Static-priority scheduling of multiframe tasks. - Sanjoy K. Baruah; Deji Chen 001; Aloysius K. Mok (ECRTS, 1999)

Real-time Support in COM. - Deji Chen 001; Aloysius K. Mok; Mark Nixon (HICSS, 1999)

Composite Events for Network Event Correlation. - Guangtian Liu; Aloysius K. Mok; Eric J. Yang (Integrated Network Management, 1999)

Implementation of JEM - A Java Composite Event Package. - Guangtian Liu; Aloysius K. Mok (IEEE Real Time Technology and Applications Symposium, 1999)

Utilization Bound Re-visited . - Deji Chen 001; Aloysius K. Mok; Tei-Wei Kuo (RTCSA, 1999)

SRDE-Application of Data Similarity to Process Control. - Deji Chen 001; Aloysius K. Mok (RTSS, 1999)

Active and Real-Time Functionalities for Electronic Brokerage Design. - M. Beck; Prabhudev Konana; Guangtian Liu; Yanbin Liu; Aloysius K. Mok (WECWIS, 1999)

Providing real-time support through component object model. - Deji Chen 001; Aloysius K. Mok; Mark Nixon (Microprocess. Microsystems, 1999)

Generalized Multiframe Tasks. - Sanjoy K. Baruah; Deji Chen 001; Sergey Gorinsky; Aloysius K. Mok (Real Time Syst., 1999)

Scheduling Distributed Real-Time Tasks in the DGMF Model. - Deji Chen 001; Aloysius K. Mok; Sanjoy K. Baruah (IEEE Real Time Technology and Applications Symposium, 2000)

Tracking Real-Time Systems Requirements. - Aloysius K. Mok (RTCSA, 2000)

Implementation and Performance Evaluation of a Real-Time E-Brokerage System. - Prabhudev Konana; Aloysius K. Mok; Chan-Gun Lee; Honguk Woo; Guangtian Liu (RTSS, 2000)

Real-Time Data Semantics and Similarity-Based Concurrency Control. - Tei-Wei Kuo; Aloysius K. Mok (IEEE Trans. Computers, 2000)

Resource Partition for Real-Time Systems. - Aloysius K. Mok; Alex Xiang Feng; Deji Chen 001 (IEEE Real Time Technology and Applications Symposium, 2001)

Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds. - Aloysius K. Mok; Alex Xiang Feng (RTSS, 2001)

Window-Constrained Real-Time Periodic Task Scheduling. - Aloysius K. Mok; Weirong Wang (RTSS, 2001)

Simulation-Verification: Biting at the State Explosion Problem. - Douglas A. Stuart; Monica Brockmeyer; Aloysius K. Mok; Farnam Jahanian (IEEE Trans. Software Eng., 2001)

Enforcing Resource Bound Safety for Mobile SNMP Agents. - Weijiang Yu; Aloysius K. Mok (ACSAC, 2002)

Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. - Aloysius K. Mok; Alex Xiang Feng (EMSOFT, 2002)

TINMAN: A Resource Bound Security Checking System for Mobile Code. - Aloysius K. Mok; Weijiang Yu (ESORICS, 2002)

The Monitoring of Timing Constraints on Time Intervals. - Aloysius K. Mok; Chan-Gun Lee; Honguk Woo; Prabhudev Konana (RTSS, 2002)

Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. - Weirong Wang; Aloysius K. Mok; Gerhard Fohler (EMSOFT, 2003)

Formal Specification and Verification of Resource Bound Security Using PVS. - Weijiang Yu; Aloysius K. Mok (ISSS, 2003)

An Integrated Approach for Applying Dynamic Voltage Scaling to Hard Real-Time Systems. - Yanbin Liu; Aloysius K. Mok (IEEE Real Time Technology and Applications Symposium, 2003)

On the Composition of Real-Time Schedulers. - Weirong Wang; Aloysius K. Mok (RTCSA, 2003)

Event-Based Real-Time Monitoring. - Aloysius K. Mok (RV@CAV, 2003)

Schedulability and Performance Analysis of the Similarity Stack Protocol. - Tei-Wei Kuo; Aloysius K. Mok (IEEE Trans. Computers, 2003)

Fast co-simulation of transformative systems with OS support on SMP computer. - Zhengting He; Aloysius K. Mok (CODES+ISSS, 2004)

Scheduling Similarity-Constrained Real-Time Tasks. - Deji Chen 001; Aloysius K. Mok (ESA/VLSI, 2004)

Generalized Pre-Scheduler. - Weirong Wang; Aloysius K. Mok; Gerhard Fohler (ECRTS, 2004)

Detecting Unknown Massive Mailing Viruses Using Proactive Methods. - Ruiqi Hu; Aloysius K. Mok (RAID, 2004)

Real-Time Tasks with Data Output. - Deji Chen 001; Aloysius K. Mok; Mark Nixon; Rusty Shepard (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

Pre-Scheduling on the Domain of Integers. - Weirong Wang; Aloysius K. Mok; Gerhard Fohler (RTSS, 2004)

Real Time Scheduling Theory: A Historical Perspective. - Lui Sha; Tarek F. Abdelzaher; Karl-Erik Årzén; Anton Cervin; Theodore P. Baker; Alan Burns 001; Giorgio C. Buttazzo; Marco Caccamo; John P. Lehoczky; Aloysius K. Mok (Real Time Syst., 2004)

Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages. - Aloysius K. Mok; Prabhudev Konana; Guangtian Liu; Chan-Gun Lee; Honguk Woo (IEEE Trans. Software Eng., 2004)

The Pinwheel. - Aloysius K. Mok; Deji Chen 001 (Handbook of Scheduling, 2004)

A practical approach to deploy large scale wireless sensor networks. - Mike Sheldon; Deji Chen 001; Mark Nixon; Aloysius K. Mok (MASS, 2005)

On Random-Inspection-Based Intrusion Detection. - Simon P. Chung; Aloysius K. Mok (RAID, 2005)

Timed RTOS Modeling for Embedded System Design. - Zhengting He; Aloysius K. Mok; Cheng Peng (IEEE Real-Time and Embedded Technology and Applications Symposium, 2005)

Data Collection with Battery and Buffer Consideration in a Large Scale Sensor Network. - Deji Chen 001; Aloysius K. Mok; Jianliang Yi; Mark Nixon; Tom Aneweer; Rusty Shepard (RTCSA, 2005)

Non-Preemptive Robustness under Reduced System Load. - Aloysius K. Mok; Wing-Chi Poon (RTSS, 2005)

Real-time task scheduling anomaly: observations and prevention. - Ya-Shu Chen; Li-Pin Chang; Tei-Wei Kuo; Aloysius K. Mok (SAC, 2005)

Opportunities and Obligations for Physical Computing Systems. - John A. Stankovic; Insup Lee 001; Aloysius K. Mok; Raj Rajkumar (Computer, 2005)

A class-based approach to the composition of real-time software components. - Weirong Wang; Aloysius K. Mok (J. Embed. Comput., 2005)

Pre-Scheduling. - Weirong Wang; Aloysius K. Mok; Gerhard Fohler (Real Time Syst., 2005)

Resource Bound Safety in Grid Computing. - Jianliang Yi; Weijiang Yu; Aloysius K. Mok (ISSSE, 2006)

The LAIDS/LIDS Framework for Systematic IPS Design. - Simon P. Chung; Aloysius K. Mok (IWIA, 2006)

Allergy Attack Against Automatic Signature Generation. - Simon P. Chung; Aloysius K. Mok (RAID, 2006)

A Performance Estimation Tool for Video Applications. - Zhengting He; Cheng Peng; Aloysius K. Mok (IEEE Real Time Technology and Applications Symposium, 2006)

Probabilistic Timing Join over Uncertain Event Streams. - Aloysius K. Mok; Honguk Woo; Chan-Gun Lee (RTCSA, 2006)

Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks. - Jianping Song; Aloysius K. Mok; Deji Chen 001; Mark Nixon (RTCSA, 2006)

A Generic Framework for Monitoring Timing Constraints over Uncertain Events. - Honguk Woo; Aloysius K. Mok; Chan-Gun Lee (RTSS, 2006)

Advanced Allergy Attacks: Does a Corpus Really Help? - Simon P. Chung; Aloysius K. Mok (RAID, 2007)

Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. - Honguk Woo; Aloysius K. Mok (RTSS, 2007)

Collaborative Intrusion Prevention. - Simon P. Chung; Aloysius K. Mok (WETICE, 2007)

Monitoring of Timing Constraints with Confidence Threshold Requirements. - Chan-Gun Lee; Aloysius K. Mok; Prabhudev Konana (IEEE Trans. Computers, 2007)

Meeting control performance over a wireless mesh network. - Mark Nixon; Deji Chen 001; Terry Blevins; Aloysius K. Mok (CASE, 2008)

A Schedulability Analysis of Deferrable Scheduling Using Patterns. - Song Han 002; Deji Chen 001; Ming Xiong; Aloysius K. Mok (ECRTS, 2008)

Design and Development Methodology for Resilient Cyber-Physical Systems. - Honguk Woo; Jianliang Yi; James C. Browne; Aloysius K. Mok; Ella M. Atkins; Fei Xie (ICDCS Workshops, 2008)

Coding-Aware Multi-path Routing in Multi-Hop Wireless Networks. - Song Han 002; Zifei Zhong; Hongxing Li; Guihai Chen; Edward Chan; Aloysius K. Mok (IPCCC, 2008)

Swarm Attacks against Network-Level Emulation/Analysis. - Simon P. Chung; Aloysius K. Mok (RAID, 2008)

WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control. - Jianping Song; Song Han 002; Aloysius K. Mok; Deji Chen 001; Mike Lucas; Mark Nixon; Wally Pratt (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

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 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

WI-HTest: testing suite for diagnosing wirelesshart devices and networks. - Song Han 002; Jianping Song; Xiuming Zhu; Aloysius K. Mok; Deji Chen 001; Mark Nixon; Wally Pratt; Veena Gondhalekar (SenSys, 2008)

A complete wirelessHART network. - Jianping Song; Song Han 002; Xiuming Zhu; Aloysius K. Mok; Deji Chen 001; Mark Nixon (SenSys, 2008)

A hybrid framework for resource verification in executable model-based embedded system development. - Honguk Woo; Aloysius K. Mok; James C. Browne (SIGBED Rev., 2008)

Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network. - Song Han 002; Jianping Song; Xiuming Zhu; Aloysius K. Mok; Deji Chen 001; Mark Nixon; Wally Pratt; Veena Gondhalekar (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

A Location-Determination Application in WirelessHART. - Xiuming Zhu; Wei Dong; Aloysius K. Mok; Song Han 002; Jianping Song; Deji Chen 001; Mark Nixon (RTCSA, 2009)

Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. - Song Han 002; Deji Chen 001; Ming Xiong; Aloysius K. Mok (RTSS, 2009)

Online Timing Correlation of Streaming Data with Uncertain Timestamps. - Chan-Gun Lee; Aloysius K. Mok; Prabhudev Konana (IEICE Trans. Inf. Syst., 2009)

An anomaly prevention approach for real-time task scheduling. - Ya-Shu Chen; Li-Pin Chang; Tei-Wei Kuo; Aloysius K. Mok (J. Syst. Softw., 2009)

Design of a Reliable Communication System for Grid-Style Traffic Light Networks. - Junghoon Lee; Song Han 002; Aloysius K. Mok (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

A Virtual Network Approach for Testing Wireless Mesh in Industrial Process Control. - Song Han 002; Xiuming Zhu; Jianping Song; Aloysius K. Mok; Deji Chen 001; Mark Nixon; Wally Pratt; Veena Gondhalekar (RTCSA, 2010)

Necessary and Sufficient Conditions for Non-preemptive Robustness. - Wing-Chi Poon; Aloysius K. Mok (RTCSA, 2010)

MBStar: A Real-time Communication Protocol for Wireless Body Area Networks. - Xiuming Zhu; Song Han 002; Pei-Chi Huang; Aloysius K. Mok; Deji Chen 001 (ECRTS, 2011)

On Least Idle Slot First Co-scheduling of Update and Control Tasks in Real-Time Sensing and Control Systems. - Jiantao Wang; Song Han 002; Kam-yiu Lam; Aloysius K. Mok (ICPADS, 2011)

Reliable and Real-Time Communication in Industrial Wireless Mesh Networks. - Song Han 002; Xiuming Zhu; Aloysius K. Mok; Deji Chen 001; Mark Nixon (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

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 (RTSS, 2011)

On Co-scheduling of Periodic Update and Application Transactions with Fixed Priority Assignment for Real-Time Monitoring. - Jiantao Wang; Kam-yiu Lam; Song Han 002; Sang Hyuk Son; Aloysius K. Mok (AINA, 2012)

Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture. - Wing-Chi Poon; Aloysius K. Mok (HICSS, 2012)

Utilizing parallelization and embedded multicore architectures for scheduling large-scale wireless mesh networks. - Song Han 002; Aloysius K. Mok; Mark Nixon; Deji Chen 001; Lawrence Waugh; Fred Stotz (IECON, 2012)

Measuring WirelessHART against wired fieldbus for control. - Xiuming Zhu; Thomas Lin; Song Han 002; Aloysius K. Mok; Deji Chen 001; Mark Nixon; Eric Rotvold (INDIN, 2012)

Design of a network-based mobile gait rehabilitation system. - Wenlong Zhang; Xiuming Zhu; Song Han 002; Nancy Byl; Aloysius K. Mok; Masayoshi Tomizuka (ROBIO, 2012)

RoamingHART: A Collaborative Localization System on WirelessHART. - Xiuming Zhu; Pei-Chi Huang; Song Han 002; Aloysius K. Mok; Deji Chen 001; Mark Nixon (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Regularity-Based Partitioning of Uniform Resources in Real-Time Systems. - Yu Li; Albert M. K. Cheng; Aloysius K. Mok (RTCSA, 2012)

MinMax: A Sampling Interval Control Algorithm for Process Control Systems. - Xiuming Zhu; Pei-Chi Huang; Song Han 002; Aloysius K. Mok; Deji Chen 001; Mark Nixon (RTCSA, 2012)

Architecture of a cyberphysical avatar. - Song Han 002; Aloysius K. Mok; Jianyong Meng; Yi-Hung Wei; Pei-Chi Huang; Xiuming Zhu; Luis Sentis; Kwan-Suk Kim; Risto Miikkulainen; Jacob Menashe (REACTION, 2012)

Adaptive co-scheduling for periodic application and update transactions in real-time database systems. - Song Han 002; Kam-yiu Lam; Jiantao Wang; Sang Hyuk Son; Aloysius K. Mok (J. Syst. Softw., 2012)

Maintaining data temporal consistency in distributed real-time systems. - Jiantao Wang; Song Han 002; Kam-yiu Lam; Aloysius K. Mok (Real Time Syst., 2012)

Architecture of a cyberphysical avatar. - Song Han 002; Aloysius K. Mok; Jianyong Meng; Yi-Hung Wei; Pei-Chi Huang; Quan Leng; Xiuming Zhu; Luis Sentis; Kwan-Suk Kim; Risto Miikkulainen (ICCPS, 2013)

Building wireless embedded internet for industrial automation. - Song Han 002; Yi-Hung Wei; Aloysius K. Mok; Deji Chen 001; Mark Nixon; Eric Rotvold (IECON, 2013)

RT-WiFi: Real-Time High-Speed Communication Protocol for Wireless Cyber-Physical Control Applications. - Yi-Hung Wei; Quan Leng; Song Han 002; Aloysius K. Mok; Wenlong Zhang; Masayoshi Tomizuka (RTSS, 2013)

An effective fixed priority co-scheduling algorithm for periodic update and application transactions. - Jiantao Wang; Kam-yiu Lam; Song Han 002; Sang Hyuk Son; Aloysius K. Mok (Computing, 2013)

RT-WiFi: real-time high speed communication protocol for wireless control systems. - Yi-Hung Wei; Quan Leng; Song Han 002; Aloysius K. Mok; Wenlong Zhang; Masayoshi Tomizuka; Tianji Li; David Malone; Douglas J. Leith (SIGBED Rev., 2013)

On Co-Scheduling of Update and Control Transactions in Real-Time Sensing and Control Systems: Algorithms, Analysis, and Performance. - Song Han 002; Kam-yiu Lam; Jiantao Wang; Krithi Ramamritham; Aloysius K. Mok (IEEE Trans. Knowl. Data Eng., 2013)

Implementation of a particle filter on a GPU for nonlinear estimation in a manufacturing remelting process. - Felipe Lopez; Lixun Zhang; Joseph J. Beaman; Aloysius K. Mok (AIM, 2014)

Time delay compensation in a wireless tracking control system with previewed reference. - Wenlong Zhang; Masayoshi Tomizuka; Yi-Hung Wei; Quan Leng; Song Han 002; Aloysius K. Mok (ACC, 2014)

Grasping novel objects with a dexterous robotic hand through neuroevolution. - Pei-Chi Huang; Joel Lehman; Aloysius K. Mok; Risto Miikkulainen; Luis Sentis (CICA, 2014)

Improving Control Performance by Minimizing Jitter in RT-WiFi Networks. - Quan Leng; Yi-Hung Wei; Song Han 002; Aloysius K. Mok; Wenlong Zhang; Masayoshi Tomizuka (RTSS, 2014)

Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness. - Song Han 002; Deji Chen 001; Ming Xiong; Kam-yiu Lam; Aloysius K. Mok; Krithi Ramamritham (IEEE Trans. Computers, 2014)

ColLoc: A collaborative location and tracking system on WirelessHART. - Xiuming Zhu; Pei-Chi Huang; Jianyong Meng; Song Han 002; Aloysius K. Mok; Deji Chen 001; Mark Nixon (ACM Trans. Embed. Comput. Syst., 2014)

Robust time delay compensation in a wireless motion control system with double disturbance observers. - Wenlong Zhang; Masayoshi Tomizuka; Yi-Hung Wei; Quan Leng; Song Han 002; Aloysius K. Mok (ACC, 2015)

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 (RTSS, 2015)

Particle filtering on GPU architectures for manufacturing applications. - Felipe Lopez; Lixun Zhang; Aloysius K. Mok; Joseph J. Beaman (Comput. Ind., 2015)

Wi-HTest: compliance test suite for diagnosing devices in real-time WirelessHART™ mesh networks. - Song Han 002; Jianping Song; Xiuming Zhu; Aloysius K. Mok; Deji Chen 001; Mark Nixon; Wally Pratt; Veena Gondhalekar (Wirel. Networks, 2015)

Synchronization Considerations for Real-Time Wireless Sensor and Actuator Networks. - Deji Chen 001; Mark Nixon; Shaobo Zheng; Tao Gong; Song Han 002; Aloysius K. Mok (RTCSA, 2016)

Web Based Teleoperation of a Humanoid Robot. - Chien-Liang Fok; Fei Sun; Matt Mangum; Aloysius K. Mok; Binghan He; Luis Sentis (CoRR, 2016)

ControlIt! - A Software Framework for Whole-Body Operational Space Control. - Chien-Liang Fok; Gwendolyn Johnson; John D. Yamokoski; Aloysius K. Mok; Luis Sentis (Int. J. Humanoid Robotics, 2016)

Online Mode Switch Algorithms for Maintaining Data Freshness in Dynamic Cyber-Physical Systems. - Song Han 002; Kam-yiu Lam; Deji Chen 001; Ming Xiong; Jiantao Wang; Krithi Ramamritham; Aloysius K. Mok (IEEE Trans. Knowl. Data Eng., 2016)

Regular Composite Resource Partition in Open Systems. - Wei-Ju Chen; Pei-Chi Huang; Quan Leng; Aloysius K. Mok; Song Han 002 (RTSS, 2017)

A Skill-Based Programming System for Robotic Furniture Assembly. - Pei-Chi Huang; Yi-Hsuan Hsieh; Aloysius K. Mok (INDIN, 2018)

A Case Study of Cyber-Physical System Design: Autonomous Pick-and-Place Robot. - Pei-Chi Huang; Aloysius K. Mok (RTCSA, 2018)

A Double Disturbance Observer Design for Compensation of Unknown Time Delay in a Wireless Motion Control System. - Wenlong Zhang; Masayoshi Tomizuka; Peng Wu 009; Yi-Hung Wei; Quan Leng; Song Han 002; Aloysius K. Mok (IEEE Trans. Control. Syst. Technol., 2018)

Schedule Adaptation for Ensuring Reliability in RT-WiFi-Based Networked Embedded Systems. - Yi-Hung Wei; Quan Leng; Wei-Ju Chen; Aloysius K. Mok; Song Han 002 (ACM Trans. Embed. Comput. Syst., 2018)

LASSO: Location Assistant for Seeking and Searching Objects. - Yi-Hsuan Hsieh; Pei-Chi Huang; Qixing Huang; Aloysius K. Mok (ICPS, 2019)

Real-Time and Reliable Industrial Control Over Wireless LANs: Algorithms, Protocols, and Future Directions. - Federico Tramarin; Aloysius K. Mok; Song Han 002 (Proc. IEEE, 2019)

Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task Design in the Imprecise Computation Framework. - Pei-Chi Huang; Luis Sentis; Joel Lehman; Chien-Liang Fok; Aloysius K. Mok; Risto Miikkulainen (ACM Trans. Cyber Phys. Syst., 2019)

Automatic Laser Control System for Selective Laser Sintering. - Lixun Zhang; Timothy Phillips; Aloysius K. Mok; Daniel Moser; Joseph J. Beaman (IEEE Trans. Ind. Informatics, 2019)

Network Management of Multicluster RT-WiFi Networks. - Quan Leng; Wei-Ju Chen; Pei-Chi Huang; Yi-Hung Wei; Aloysius K. Mok; Song Han 002 (ACM Trans. Sens. Networks, 2019)

SQGS: Sensing-based Quality-aware Robot Programming Guidance System for Non-experts. - Yi-Hsuan Hsieh; Aloysius K. Mok (ETFA, 2021)

SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers. - Yi-Hsuan Hsieh; Pei-Chi Huang; Aloysius K. Mok (ICRA, 2021)

Online reconfiguration of regularity-based resource partitions in cyber-physical systems. - Wei-Ju Chen; Peng Wu 009; Pei-Chi Huang; Aloysius K. Mok; Song Han 002 (Real Time Syst., 2021)

RT-WiFi on Software-Defined Radio: Design and Implementation. - Zelin Yun; Peng Wu 009; Shengli Zhou; Aloysius K. Mok; Mark Nixon; Song Han 002 (RTAS, 2022)

Demo Abstract: Open RT-WiFi Platform on Software-Defined Radio. - Zelin Yun; Peng Wu 009; Shengli Zhou; Aloysius K. Mok; Mark Nixon; Song Han 002 (RTAS, 2022)

Regular Composite Resource Partitioning and Reconfiguration in Open Systems. - Wei-Ju Chen; Peng Wu 009; Pei-Chi Huang; Aloysius K. Mok; Song Han 002 (ACM Trans. Embed. Comput. Syst., 2023)

Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. - Xi Zheng 001; Aloysius K. Mok; Ruzica Piskac; Yong Jae Lee; Bhaskar Krishnamachari; Dakai Zhu 001; Oleg Sokolsky; Insup Lee 001 (SIGSOFT FSE Companion, 2024)