Aloysius K. Mok

ORCID

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 25

Top Venues

CoRR

RTSS

ACM Trans. Embed. Comput. Syst.

ACC

Publications

Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion (2024)
Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Aloysius K. Mok, Song Han
Regular Composite Resource Partitioning and Reconfiguration in Open Systems. ACM Trans. Embed. Comput. Syst. 22 (5) (2023)
Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR (2023)
Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han
Demo Abstract: Open RT-WiFi Platform on Software-Defined Radio. RTAS (2022)
Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han
RT-WiFi on Software-Defined Radio: Design and Implementation. RTAS (2022)
Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han
RT-WiFi on Software-Defined Radio: Design and Implementation. CoRR (2022)
Yi-Hsuan Hsieh, Pei-Chi Huang, Aloysius K. Mok
SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers. CoRR (2021)
Yi-Hsuan Hsieh, Pei-Chi Huang, Aloysius K. Mok
SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers. ICRA (2021)
Yi-Hsuan Hsieh, Aloysius K. Mok
SQGS: Sensing-based Quality-aware Robot Programming Guidance System for Non-experts. ETFA (2021)
Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Aloysius K. Mok, Song Han
Online reconfiguration of regularity-based resource partitions in cyber-physical systems. Real Time Syst. 57 (3) (2021)
Quan Leng, Wei-Ju Chen, Pei-Chi Huang, Yi-Hung Wei, Aloysius K. Mok, Song Han
Network Management of Multicluster RT-WiFi Networks. ACM Trans. Sens. Networks 15 (1) (2019)
Pei-Chi Huang, Luis Sentis, Joel Lehman, Chien-Liang Fok, Aloysius K. Mok, Risto Miikkulainen
Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task Design in the Imprecise Computation Framework. ACM Trans. Cyber Phys. Syst. 3 (2) (2019)
Federico Tramarin, Aloysius K. Mok, Song Han
Real-Time and Reliable Industrial Control Over Wireless LANs: Algorithms, Protocols, and Future Directions. Proc. IEEE 107 (6) (2019)
Lixun Zhang, Timothy Phillips, Aloysius K. Mok, Daniel Moser, Joseph J. Beaman
Automatic Laser Control System for Selective Laser Sintering. IEEE Trans. Ind. Informatics 15 (4) (2019)
Yi-Hsuan Hsieh, Pei-Chi Huang, Qixing Huang, Aloysius K. Mok
LASSO: Location Assistant for Seeking and Searching Objects. ICPS (2019)
Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Aloysius K. Mok, Song Han
Online Reconfiguration of Regularity-Based Resource Partitions in Cyber-Physical Systems. RTSS (2019)
Yi-Hung Wei, Quan Leng, Wei-Ju Chen, Aloysius K. Mok, Song Han
Schedule Adaptation for Ensuring Reliability in RT-WiFi-Based Networked Embedded Systems. ACM Trans. Embed. Comput. Syst. 17 (5) (2018)
Wenlong Zhang, Masayoshi Tomizuka, Peng Wu, Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok
A Double Disturbance Observer Design for Compensation of Unknown Time Delay in a Wireless Motion Control System. IEEE Trans. Control. Syst. Technol. 26 (2) (2018)
Pei-Chi Huang, Yi-Hsuan Hsieh, Aloysius K. Mok
A Skill-Based Programming System for Robotic Furniture Assembly. INDIN (2018)
Pei-Chi Huang, Aloysius K. Mok
A Case Study of Cyber-Physical System Design: Autonomous Pick-and-Place Robot. RTCSA (2018)
Wei-Ju Chen, Pei-Chi Huang, Quan Leng, Aloysius K. Mok, Song Han
Regular Composite Resource Partition in Open Systems. RTSS (2017)
Song Han, Kam-yiu Lam, Deji Chen, Ming Xiong, Jiantao Wang, Krithi Ramamritham, Aloysius K. Mok
Online Mode Switch Algorithms for Maintaining Data Freshness in Dynamic Cyber-Physical Systems. IEEE Trans. Knowl. Data Eng. 28 (3) (2016)
Deji Chen, Mark Nixon, Shaobo Zheng, Tao Gong, Song Han, Aloysius K. Mok
Synchronization Considerations for Real-Time Wireless Sensor and Actuator Networks. RTCSA (2016)
Chien-Liang Fok, Gwendolyn Johnson, John D. Yamokoski, Aloysius K. Mok, Luis Sentis
ControlIt! - A Software Framework for Whole-Body Operational Space Control. Int. J. Humanoid Robotics 13 (1) (2016)
Chien-Liang Fok, Fei Sun, Matt Mangum, Aloysius K. Mok, Binghan He, Luis Sentis
Web Based Teleoperation of a Humanoid Robot. CoRR (2016)
Chien-Liang Fok, Gwendolyn Johnson, John D. Yamokoski, Aloysius K. Mok, Luis Sentis
ControlIt! - A Software Framework for Whole-Body Operational Space Control. CoRR (2015)
Wenlong Zhang, Masayoshi Tomizuka, Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok
Robust time delay compensation in a wireless motion control system with double disturbance observers. ACC (2015)
Pei-Chi Huang, Luis Sentis, Joel Lehman, Chien-Liang Fok, Aloysius K. Mok, Risto Miikkulainen
Tradeoffs in Real-Time Robotic Task Design with Neuroevolution Learning for Imprecise Computation. RTSS (2015)
Felipe Lopez, Lixun Zhang, Aloysius K. Mok, Joseph J. Beaman
Particle filtering on GPU architectures for manufacturing applications. Comput. Ind. 71 (2015)
Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar
Wi-HTest: compliance test suite for diagnosing devices in real-time WirelessHART™ mesh networks. Wirel. Networks 21 (6) (2015)
Xiuming Zhu, Pei-Chi Huang, Jianyong Meng, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon
ColLoc: A collaborative location and tracking system on WirelessHART. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Wenlong Zhang, Masayoshi Tomizuka, Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok
Time delay compensation in a wireless tracking control system with previewed reference. ACC (2014)
Quan Leng, Yi-Hung Wei, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka
Improving Control Performance by Minimizing Jitter in RT-WiFi Networks. RTSS (2014)
Pei-Chi Huang, Joel Lehman, Aloysius K. Mok, Risto Miikkulainen, Luis Sentis
Grasping novel objects with a dexterous robotic hand through neuroevolution. CICA (2014)
Felipe Lopez, Lixun Zhang, Joseph J. Beaman, Aloysius K. Mok
Implementation of a particle filter on a GPU for nonlinear estimation in a manufacturing remelting process. AIM (2014)
Song Han, Deji Chen, Ming Xiong, Kam-yiu Lam, Aloysius K. Mok, Krithi Ramamritham
Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness. IEEE Trans. Computers 63 (4) (2014)
Song Han, Aloysius K. Mok, Jianyong Meng, Yi-Hung Wei, Pei-Chi Huang, Quan Leng, Xiuming Zhu, Luis Sentis, Kwan-Suk Kim, Risto Miikkulainen
Architecture of a cyberphysical avatar. ICCPS (2013)
Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka
RT-WiFi: Real-Time High-Speed Communication Protocol for Wireless Cyber-Physical Control Applications. RTSS (2013)
Jiantao Wang, Kam-yiu Lam, Song Han, Sang Hyuk Son, Aloysius K. Mok
An effective fixed priority co-scheduling algorithm for periodic update and application transactions. Computing 95 (10-11) (2013)
Song Han, Yi-Hung Wei, Aloysius K. Mok, Deji Chen, Mark Nixon, Eric Rotvold
Building wireless embedded internet for industrial automation. IECON (2013)
Song Han, Kam-yiu Lam, Jiantao Wang, Krithi Ramamritham, Aloysius K. Mok
On Co-Scheduling of Update and Control Transactions in Real-Time Sensing and Control Systems: Algorithms, Analysis, and Performance. IEEE Trans. Knowl. Data Eng. 25 (10) (2013)
Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka, Tianji Li, David Malone, Douglas J. Leith
RT-WiFi: real-time high speed communication protocol for wireless control systems. SIGBED Rev. 10 (2) (2013)
Xiuming Zhu, Pei-Chi Huang, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon
RoamingHART: A Collaborative Localization System on WirelessHART. IEEE Real-Time and Embedded Technology and Applications Symposium (2012)
Yu Li, Albert M. K. Cheng, Aloysius K. Mok
Regularity-Based Partitioning of Uniform Resources in Real-Time Systems. RTCSA (2012)
Song Han, Aloysius K. Mok, Mark Nixon, Deji Chen, Lawrence Waugh, Fred Stotz
Utilizing parallelization and embedded multicore architectures for scheduling large-scale wireless mesh networks. IECON (2012)
Xiuming Zhu, Pei-Chi Huang, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon
MinMax: A Sampling Interval Control Algorithm for Process Control Systems. RTCSA (2012)
Xiuming Zhu, Thomas Lin, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon, Eric Rotvold
Measuring WirelessHART against wired fieldbus for control. INDIN (2012)
Jiantao Wang, Song Han, Kam-yiu Lam, Aloysius K. Mok
Maintaining data temporal consistency in distributed real-time systems. Real Time Syst. 48 (4) (2012)
Wing-Chi Poon, Aloysius K. Mok
Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture. HICSS (2012)
Song Han, Kam-yiu Lam, Jiantao Wang, Sang Hyuk Son, Aloysius K. Mok
Adaptive co-scheduling for periodic application and update transactions in real-time database systems. J. Syst. Softw. 85 (8) (2012)
Jiantao Wang, Kam-yiu Lam, Song Han, Sang Hyuk Son, Aloysius K. Mok
On Co-scheduling of Periodic Update and Application Transactions with Fixed Priority Assignment for Real-Time Monitoring. AINA (2012)
Wenlong Zhang, Xiuming Zhu, Song Han, Nancy Byl, Aloysius K. Mok, Masayoshi Tomizuka
Design of a network-based mobile gait rehabilitation system. ROBIO (2012)
Song Han, Aloysius K. Mok, Jianyong Meng, Yi-Hung Wei, Pei-Chi Huang, Xiuming Zhu, Luis Sentis, Kwan-Suk Kim, Risto Miikkulainen, Jacob Menashe
Architecture of a cyberphysical avatar. REACTION (2012)
Jiantao Wang, Song Han, Kam-yiu Lam, Aloysius K. Mok
On Least Idle Slot First Co-scheduling of Update and Control Tasks in Real-Time Sensing and Control Systems. ICPADS (2011)
Xiuming Zhu, Song Han, Pei-Chi Huang, Aloysius K. Mok, Deji Chen
MBStar: A Real-time Communication Protocol for Wireless Body Area Networks. ECRTS (2011)
Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon
Reliable and Real-Time Communication in Industrial Wireless Mesh Networks. IEEE Real-Time and Embedded Technology and Applications Symposium (2011)
Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam
On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. RTSS (2011)
Junghoon Lee, Song Han, Aloysius K. Mok
Design of a Reliable Communication System for Grid-Style Traffic Light Networks. IEEE Real-Time and Embedded Technology and Applications Symposium (2010)
Song Han, Xiuming Zhu, Jianping Song, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar
A Virtual Network Approach for Testing Wireless Mesh in Industrial Process Control. RTCSA (2010)
Wing-Chi Poon, Aloysius K. Mok
Necessary and Sufficient Conditions for Non-preemptive Robustness. RTCSA (2010)
Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana
Online Timing Correlation of Streaming Data with Uncertain Timestamps. IEICE Trans. Inf. Syst. (6) (2009)
Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok
An anomaly prevention approach for real-time task scheduling. J. Syst. Softw. 82 (1) (2009)
Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok
Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. RTSS (2009)
Xiuming Zhu, Wei Dong, Aloysius K. Mok, Song Han, Jianping Song, Deji Chen, Mark Nixon
A Location-Determination Application in WirelessHART. RTCSA (2009)
Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar
Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network. IEEE Real-Time and Embedded Technology and Applications Symposium (2009)
Mark Nixon, Deji Chen, Terry Blevins, Aloysius K. Mok
Meeting control performance over a wireless mesh network. CASE (2008)
Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok
A Schedulability Analysis of Deferrable Scheduling Using Patterns. ECRTS (2008)
Honguk Woo, Aloysius K. Mok, James C. Browne
A hybrid framework for resource verification in executable model-based embedded system development. SIGBED Rev. 5 (1) (2008)
Jianping Song, Song Han, Aloysius K. Mok, Deji Chen, Mike Lucas, Mark Nixon, Wally Pratt
WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control. IEEE Real-Time and Embedded Technology and Applications Symposium (2008)
Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella M. Atkins, Chan-Gun Lee
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2008)
Jianping Song, Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon
A complete wirelessHART network. SenSys (2008)
Song Han, Zifei Zhong, Hongxing Li, Guihai Chen, Edward Chan, Aloysius K. Mok
Coding-Aware Multi-path Routing in Multi-Hop Wireless Networks. IPCCC (2008)
Honguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella M. Atkins, Fei Xie
Design and Development Methodology for Resilient Cyber-Physical Systems. ICDCS Workshops (2008)
Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar
WI-HTest: testing suite for diagnosing wirelesshart devices and networks. SenSys (2008)
Simon P. Chung, Aloysius K. Mok
Swarm Attacks against Network-Level Emulation/Analysis. RAID (2008)
Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana
Monitoring of Timing Constraints with Confidence Threshold Requirements. IEEE Trans. Computers 56 (7) (2007)
Honguk Woo, Aloysius K. Mok
Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. RTSS (2007)
Simon P. Chung, Aloysius K. Mok
Advanced Allergy Attacks: Does a Corpus Really Help? RAID (2007)
Simon P. Chung, Aloysius K. Mok
Collaborative Intrusion Prevention. WETICE (2007)
Aloysius K. Mok, Honguk Woo, Chan-Gun Lee
Probabilistic Timing Join over Uncertain Event Streams. RTCSA (2006)
Honguk Woo, Aloysius K. Mok, Chan-Gun Lee
A Generic Framework for Monitoring Timing Constraints over Uncertain Events. RTSS (2006)
Simon P. Chung, Aloysius K. Mok
The LAIDS/LIDS Framework for Systematic IPS Design. IWIA (2006)
Zhengting He, Cheng Peng, Aloysius K. Mok
A Performance Estimation Tool for Video Applications. IEEE Real Time Technology and Applications Symposium (2006)
Jianping Song, Aloysius K. Mok, Deji Chen, Mark Nixon
Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks. RTCSA (2006)
Simon P. Chung, Aloysius K. Mok
Allergy Attack Against Automatic Signature Generation. RAID (2006)
Jianliang Yi, Weijiang Yu, Aloysius K. Mok
Resource Bound Safety in Grid Computing. ISSSE (2006)
Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok
Real-time task scheduling anomaly: observations and prevention. SAC (2005)
Mike Sheldon, Deji Chen, Mark Nixon, Aloysius K. Mok
A practical approach to deploy large scale wireless sensor networks. MASS (2005)
Weirong Wang, Aloysius K. Mok, Gerhard Fohler
Pre-Scheduling. Real Time Syst. 30 (1-2) (2005)
Simon P. Chung, Aloysius K. Mok
On Random-Inspection-Based Intrusion Detection. RAID (2005)
John A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar
Opportunities and Obligations for Physical Computing Systems. Computer 38 (11) (2005)
Weirong Wang, Aloysius K. Mok
A class-based approach to the composition of real-time software components. J. Embed. Comput. 1 (1) (2005)
Zhengting He, Aloysius K. Mok, Cheng Peng
Timed RTOS Modeling for Embedded System Design. IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Aloysius K. Mok, Wing-Chi Poon
Non-Preemptive Robustness under Reduced System Load. RTSS (2005)
Deji Chen, Aloysius K. Mok, Jianliang Yi, Mark Nixon, Tom Aneweer, Rusty Shepard
Data Collection with Battery and Buffer Consideration in a Large Scale Sensor Network. RTCSA (2005)
Deji Chen, Aloysius K. Mok, Mark Nixon, Rusty Shepard
Real-Time Tasks with Data Output. IEEE Real-Time and Embedded Technology and Applications Symposium (2004)
Weirong Wang, Aloysius K. Mok, Gerhard Fohler
Pre-Scheduling on the Domain of Integers. RTSS (2004)
Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo
Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages. IEEE Trans. Software Eng. 30 (12) (2004)
Ruiqi Hu, Aloysius K. Mok
Detecting Unknown Massive Mailing Viruses Using Proactive Methods. RAID (2004)
Deji Chen, Aloysius K. Mok
Scheduling Similarity-Constrained Real-Time Tasks. ESA/VLSI (2004)

Aloysius K. Mok.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aloysius K. Mok