Aloysius K. Mok

191 papers A* 3A 54B 22C 9Misc 6Journal 59Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Robust Evacuation for Multi-Drone Failure in Drone Light Shows. CoRR Minhyuk Park, Aloysius K. Mok, Tsz-Chiu Au
2024	—	`conf`	Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Regular Composite Resource Partitioning and Reconfiguration in Open Systems. ACM Trans. Embed. Comput. Syst. Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Aloysius K. Mok, Song Han
2023	J	`jnl`	Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee
2022	A	`conf`	Demo Abstract: Open RT-WiFi Platform on Software-Defined Radio. RTAS Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han
2022	A	`conf`	RT-WiFi on Software-Defined Radio: Design and Implementation. RTAS Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han
2022	J	`jnl`	RT-WiFi on Software-Defined Radio: Design and Implementation. CoRR Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han
2021	J	`jnl`	Online reconfiguration of regularity-based resource partitions in cyber-physical systems. Real Time Syst. Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Aloysius K. Mok, Song Han
2021	C	`conf`	SQGS: Sensing-based Quality-aware Robot Programming Guidance System for Non-experts. ETFA Yi-Hsuan Hsieh, Aloysius K. Mok
2021	A*	`conf`	SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers. ICRA Yi-Hsuan Hsieh, Pei-Chi Huang, Aloysius K. Mok
2021	J	`jnl`	SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers. CoRR Yi-Hsuan Hsieh, Pei-Chi Huang, Aloysius K. Mok
2019	J	`jnl`	Automatic Laser Control System for Selective Laser Sintering. IEEE Trans. Ind. Informatics Lixun Zhang, Timothy Phillips, Aloysius K. Mok, Daniel Moser, Joseph J. Beaman
2019	—	`conf`	LASSO: Location Assistant for Seeking and Searching Objects. ICPS Yi-Hsuan Hsieh, Pei-Chi Huang, Qixing Huang, Aloysius K. Mok
2019	J	`jnl`	Network Management of Multicluster RT-WiFi Networks. ACM Trans. Sens. Networks Quan Leng, Wei-Ju Chen, Pei-Chi Huang, Yi-Hung Wei, Aloysius K. Mok, Song Han
2019	A	`conf`	Online Reconfiguration of Regularity-Based Resource Partitions in Cyber-Physical Systems. RTSS Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Aloysius K. Mok, Song Han
2019	J	`jnl`	Real-Time and Reliable Industrial Control Over Wireless LANs: Algorithms, Protocols, and Future Directions. Proc. IEEE Federico Tramarin, Aloysius K. Mok, Song Han
2019	J	`jnl`	Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task Design in the Imprecise Computation Framework. ACM Trans. Cyber Phys. Syst. Pei-Chi Huang, Luis Sentis, Joel Lehman, Chien-Liang Fok, Aloysius K. Mok, Risto Miikkulainen
2018	B	`conf`	A Case Study of Cyber-Physical System Design: Autonomous Pick-and-Place Robot. RTCSA Pei-Chi Huang, Aloysius K. Mok
2018	J	`jnl`	A Double Disturbance Observer Design for Compensation of Unknown Time Delay in a Wireless Motion Control System. IEEE Trans. Control. Syst. Technol. Wenlong Zhang, Masayoshi Tomizuka, Peng Wu, Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok
2018	C	`conf`	A Skill-Based Programming System for Robotic Furniture Assembly. INDIN Pei-Chi Huang, Yi-Hsuan Hsieh, Aloysius K. Mok
2018	J	`jnl`	Schedule Adaptation for Ensuring Reliability in RT-WiFi-Based Networked Embedded Systems. ACM Trans. Embed. Comput. Syst. Yi-Hung Wei, Quan Leng, Wei-Ju Chen, Aloysius K. Mok, Song Han
2017	A	`conf`	Regular Composite Resource Partition in Open Systems. RTSS Wei-Ju Chen, Pei-Chi Huang, Quan Leng, Aloysius K. Mok, Song Han
2016	J	`jnl`	ControlIt! - A Software Framework for Whole-Body Operational Space Control. Int. J. Humanoid Robotics Chien-Liang Fok, Gwendolyn Johnson, John D. Yamokoski, Aloysius K. Mok, Luis Sentis
2016	J	`jnl`	Online Mode Switch Algorithms for Maintaining Data Freshness in Dynamic Cyber-Physical Systems. IEEE Trans. Knowl. Data Eng. Song Han, Kam-yiu Lam, Deji Chen, Ming Xiong, Jiantao Wang, Krithi Ramamritham, Aloysius K. Mok
2016	B	`conf`	Synchronization Considerations for Real-Time Wireless Sensor and Actuator Networks. RTCSA Deji Chen, Mark Nixon, Shaobo Zheng, Tao Gong, Song Han, Aloysius K. Mok
2016	J	`jnl`	Web Based Teleoperation of a Humanoid Robot. CoRR Chien-Liang Fok, Fei Sun, Matt Mangum, Aloysius K. Mok, Binghan He, Luis Sentis
2015	J	`jnl`	ControlIt! - A Software Framework for Whole-Body Operational Space Control. CoRR Chien-Liang Fok, Gwendolyn Johnson, John D. Yamokoski, Aloysius K. Mok, Luis Sentis
2015	J	`jnl`	Particle filtering on GPU architectures for manufacturing applications. Comput. Ind. Felipe Lopez, Lixun Zhang, Aloysius K. Mok, Joseph J. Beaman
2015	C	`conf`	Robust time delay compensation in a wireless motion control system with double disturbance observers. ACC Wenlong Zhang, Masayoshi Tomizuka, Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok
2015	A	`conf`	Tradeoffs in Real-Time Robotic Task Design with Neuroevolution Learning for Imprecise Computation. RTSS Pei-Chi Huang, Luis Sentis, Joel Lehman, Chien-Liang Fok, Aloysius K. Mok, Risto Miikkulainen
2015	J	`jnl`	Wi-HTest: compliance test suite for diagnosing devices in real-time WirelessHART™ mesh networks. Wirel. Networks Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar
2014	J	`jnl`	ColLoc: A collaborative location and tracking system on WirelessHART. ACM Trans. Embed. Comput. Syst. Xiuming Zhu, Pei-Chi Huang, Jianyong Meng, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon
2014	—	`conf`	Grasping novel objects with a dexterous robotic hand through neuroevolution. CICA Pei-Chi Huang, Joel Lehman, Aloysius K. Mok, Risto Miikkulainen, Luis Sentis
2014	—	`conf`	Implementation of a particle filter on a GPU for nonlinear estimation in a manufacturing remelting process. AIM Felipe Lopez, Lixun Zhang, Joseph J. Beaman, Aloysius K. Mok
2014	A	`conf`	Improving Control Performance by Minimizing Jitter in RT-WiFi Networks. RTSS Quan Leng, Yi-Hung Wei, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka
2014	J	`jnl`	Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness. IEEE Trans. Computers Song Han, Deji Chen, Ming Xiong, Kam-yiu Lam, Aloysius K. Mok, Krithi Ramamritham
2014	C	`conf`	Time delay compensation in a wireless tracking control system with previewed reference. ACC Wenlong Zhang, Masayoshi Tomizuka, Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok
2013	J	`jnl`	An effective fixed priority co-scheduling algorithm for periodic update and application transactions. Computing Jiantao Wang, Kam-yiu Lam, Song Han, Sang Hyuk Son, Aloysius K. Mok
2013	—	`conf`	Architecture of a cyberphysical avatar. ICCPS Song Han, Aloysius K. Mok, Jianyong Meng, Yi-Hung Wei, Pei-Chi Huang, Quan Leng, Xiuming Zhu, Luis Sentis, Kwan-Suk Kim, Risto Miikkulainen
2013	C	`conf`	Building wireless embedded internet for industrial automation. IECON Song Han, Yi-Hung Wei, Aloysius K. Mok, Deji Chen, Mark Nixon, Eric Rotvold
2013	J	`jnl`	On Co-Scheduling of Update and Control Transactions in Real-Time Sensing and Control Systems: Algorithms, Analysis, and Performance. IEEE Trans. Knowl. Data Eng. Song Han, Kam-yiu Lam, Jiantao Wang, Krithi Ramamritham, Aloysius K. Mok
2013	A	`conf`	RT-WiFi: Real-Time High-Speed Communication Protocol for Wireless Cyber-Physical Control Applications. RTSS Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka
2013	J	`jnl`	RT-WiFi: real-time high speed communication protocol for wireless control systems. SIGBED Rev. Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka, Tianji Li, David Malone, Douglas J. Leith
2012	J	`jnl`	Adaptive co-scheduling for periodic application and update transactions in real-time database systems. J. Syst. Softw. Song Han, Kam-yiu Lam, Jiantao Wang, Sang Hyuk Son, Aloysius K. Mok
2012	—	`conf`	Architecture of a cyberphysical avatar. REACTION 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	—	`conf`	Design of a network-based mobile gait rehabilitation system. ROBIO Wenlong Zhang, Xiuming Zhu, Song Han, Nancy Byl, Aloysius K. Mok, Masayoshi Tomizuka
2012	—	`conf`	Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture. HICSS Wing-Chi Poon, Aloysius K. Mok
2012	J	`jnl`	Maintaining data temporal consistency in distributed real-time systems. Real Time Syst. Jiantao Wang, Song Han, Kam-yiu Lam, Aloysius K. Mok
2012	C	`conf`	Measuring WirelessHART against wired fieldbus for control. INDIN Xiuming Zhu, Thomas Lin, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon, Eric Rotvold
2012	B	`conf`	MinMax: A Sampling Interval Control Algorithm for Process Control Systems. RTCSA Xiuming Zhu, Pei-Chi Huang, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon
2012	B	`conf`	On Co-scheduling of Periodic Update and Application Transactions with Fixed Priority Assignment for Real-Time Monitoring. AINA Jiantao Wang, Kam-yiu Lam, Song Han, Sang Hyuk Son, Aloysius K. Mok
2012	B	`conf`	Regularity-Based Partitioning of Uniform Resources in Real-Time Systems. RTCSA Yu Li, Albert M. K. Cheng, Aloysius K. Mok
2012	A	`conf`	RoamingHART: A Collaborative Localization System on WirelessHART. IEEE Real-Time and Embedded Technology and Applications Symposium Xiuming Zhu, Pei-Chi Huang, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon
2012	C	`conf`	Utilizing parallelization and embedded multicore architectures for scheduling large-scale wireless mesh networks. IECON Song Han, Aloysius K. Mok, Mark Nixon, Deji Chen, Lawrence Waugh, Fred Stotz
2011	B	`conf`	MBStar: A Real-time Communication Protocol for Wireless Body Area Networks. ECRTS Xiuming Zhu, Song Han, Pei-Chi Huang, Aloysius K. Mok, Deji Chen
2011	B	`conf`	On Least Idle Slot First Co-scheduling of Update and Control Tasks in Real-Time Sensing and Control Systems. ICPADS Jiantao Wang, Song Han, Kam-yiu Lam, Aloysius K. Mok
2011	A	`conf`	On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. RTSS Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam
2011	A	`conf`	Reliable and Real-Time Communication in Industrial Wireless Mesh Networks. IEEE Real-Time and Embedded Technology and Applications Symposium Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon
2010	B	`conf`	A Virtual Network Approach for Testing Wireless Mesh in Industrial Process Control. RTCSA Song Han, Xiuming Zhu, Jianping Song, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar
2010	A	`conf`	Design of a Reliable Communication System for Grid-Style Traffic Light Networks. IEEE Real-Time and Embedded Technology and Applications Symposium Junghoon Lee, Song Han, Aloysius K. Mok
2010	B	`conf`	Necessary and Sufficient Conditions for Non-preemptive Robustness. RTCSA Wing-Chi Poon, Aloysius K. Mok
2009	B	`conf`	A Location-Determination Application in WirelessHART. RTCSA Xiuming Zhu, Wei Dong, Aloysius K. Mok, Song Han, Jianping Song, Deji Chen, Mark Nixon
2009	J	`jnl`	An anomaly prevention approach for real-time task scheduling. J. Syst. Softw. Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok
2009	A	`conf`	Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. RTSS Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok
2009	J	`jnl`	Online Timing Correlation of Streaming Data with Uncertain Timestamps. IEICE Trans. Inf. Syst. Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana
2009	A	`conf`	Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network. IEEE Real-Time and Embedded Technology and Applications Symposium Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar
2008	B	`conf`	A Schedulability Analysis of Deferrable Scheduling Using Patterns. ECRTS Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok
2008	Misc	`conf`	A complete wirelessHART network. SenSys Jianping Song, Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon
2008	J	`jnl`	A hybrid framework for resource verification in executable model-based embedded system development. SIGBED Rev. Honguk Woo, Aloysius K. Mok, James C. Browne
2008	C	`conf`	Coding-Aware Multi-path Routing in Multi-Hop Wireless Networks. IPCCC Song Han, Zifei Zhong, Hongxing Li, Guihai Chen, Edward Chan, Aloysius K. Mok
2008	—	`conf`	Design and Development Methodology for Resilient Cyber-Physical Systems. ICDCS Workshops Honguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella M. Atkins, Fei Xie
2008	A	`conf`	Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella M. Atkins, Chan-Gun Lee
2008	—	`conf`	Meeting control performance over a wireless mesh network. CASE Mark Nixon, Deji Chen, Terry Blevins, Aloysius K. Mok
2008	A	`conf`	Swarm Attacks against Network-Level Emulation/Analysis. RAID Simon P. Chung, Aloysius K. Mok
2008	Misc	`conf`	WI-HTest: testing suite for diagnosing wirelesshart devices and networks. SenSys Song Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar
2008	A	`conf`	WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control. IEEE Real-Time and Embedded Technology and Applications Symposium Jianping Song, Song Han, Aloysius K. Mok, Deji Chen, Mike Lucas, Mark Nixon, Wally Pratt
2007	A	`conf`	Advanced Allergy Attacks: Does a Corpus Really Help? RAID Simon P. Chung, Aloysius K. Mok
2007	C	`conf`	Collaborative Intrusion Prevention. WETICE Simon P. Chung, Aloysius K. Mok
2007	J	`jnl`	Monitoring of Timing Constraints with Confidence Threshold Requirements. IEEE Trans. Computers Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana
2007	A	`conf`	Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. RTSS Honguk Woo, Aloysius K. Mok
2006	A	`conf`	A Generic Framework for Monitoring Timing Constraints over Uncertain Events. RTSS Honguk Woo, Aloysius K. Mok, Chan-Gun Lee
2006	—	`conf`	A Performance Estimation Tool for Video Applications. IEEE Real Time Technology and Applications Symposium Zhengting He, Cheng Peng, Aloysius K. Mok
2006	A	`conf`	Allergy Attack Against Automatic Signature Generation. RAID Simon P. Chung, Aloysius K. Mok
2006	B	`conf`	Probabilistic Timing Join over Uncertain Event Streams. RTCSA Aloysius K. Mok, Honguk Woo, Chan-Gun Lee
2006	—	`conf`	Resource Bound Safety in Grid Computing. ISSSE Jianliang Yi, Weijiang Yu, Aloysius K. Mok
2006	—	`conf`	The LAIDS/LIDS Framework for Systematic IPS Design. IWIA Simon P. Chung, Aloysius K. Mok
2006	B	`conf`	Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks. RTCSA Jianping Song, Aloysius K. Mok, Deji Chen, Mark Nixon
2005	J	`jnl`	A class-based approach to the composition of real-time software components. J. Embed. Comput. Weirong Wang, Aloysius K. Mok
2005	B	`conf`	A practical approach to deploy large scale wireless sensor networks. MASS Mike Sheldon, Deji Chen, Mark Nixon, Aloysius K. Mok
2005	B	`conf`	Data Collection with Battery and Buffer Consideration in a Large Scale Sensor Network. RTCSA Deji Chen, Aloysius K. Mok, Jianliang Yi, Mark Nixon, Tom Aneweer, Rusty Shepard
2005	A	`conf`	Non-Preemptive Robustness under Reduced System Load. RTSS Aloysius K. Mok, Wing-Chi Poon
2005	A	`conf`	On Random-Inspection-Based Intrusion Detection. RAID Simon P. Chung, Aloysius K. Mok
2005	J	`jnl`	Opportunities and Obligations for Physical Computing Systems. Computer John A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar
2005	J	`jnl`	Pre-Scheduling. Real Time Syst. Weirong Wang, Aloysius K. Mok, Gerhard Fohler
2005	Misc	`conf`	Real-time task scheduling anomaly: observations and prevention. SAC Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok
2005	A	`conf`	Timed RTOS Modeling for Embedded System Design. IEEE Real-Time and Embedded Technology and Applications Symposium Zhengting He, Aloysius K. Mok, Cheng Peng
2004	A	`conf`	Detecting Unknown Massive Mailing Viruses Using Proactive Methods. RAID Ruiqi Hu, Aloysius K. Mok
2004	Misc	`conf`	Fast co-simulation of transformative systems with OS support on SMP computer. CODES+ISSS Zhengting He, Aloysius K. Mok
2004	B	`conf`	Generalized Pre-Scheduler. ECRTS Weirong Wang, Aloysius K. Mok, Gerhard Fohler
2004	A	`conf`	Pre-Scheduling on the Domain of Integers. RTSS Weirong Wang, Aloysius K. Mok, Gerhard Fohler
2004	J	`jnl`	Real Time Scheduling Theory: A Historical Perspective. Real Time Syst. Lui Sha, Tarek F. Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Marco Caccamo, John P. Lehoczky, Aloysius K. Mok
2004	A	`conf`	Real-Time Tasks with Data Output. IEEE Real-Time and Embedded Technology and Applications Symposium Deji Chen, Aloysius K. Mok, Mark Nixon, Rusty Shepard
2004	—	`conf`	Scheduling Similarity-Constrained Real-Time Tasks. ESA/VLSI Deji Chen, Aloysius K. Mok
2004	J	`jnl`	Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages. IEEE Trans. Software Eng. Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo
2004	—	`ch.`	The Pinwheel. Handbook of Scheduling Aloysius K. Mok, Deji Chen
2003	—	`conf`	An Integrated Approach for Applying Dynamic Voltage Scaling to Hard Real-Time Systems. IEEE Real Time Technology and Applications Symposium Yanbin Liu, Aloysius K. Mok
2003	—	`conf`	Event-Based Real-Time Monitoring. RV@CAV Aloysius K. Mok
2003	—	`conf`	Formal Specification and Verification of Resource Bound Security Using PVS. ISSS Weijiang Yu, Aloysius K. Mok
2003	A	`conf`	Monitoring of Timing Constraints with Confidence Threshold Requirements. RTSS Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana
2003	B	`conf`	On the Composition of Real-Time Schedulers. RTCSA Weirong Wang, Aloysius K. Mok
2003	Misc	`conf`	Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. EMSOFT Weirong Wang, Aloysius K. Mok, Gerhard Fohler
2003	J	`jnl`	Schedulability and Performance Analysis of the Similarity Stack Protocol. IEEE Trans. Computers Tei-Wei Kuo, Aloysius K. Mok
2002	A	`conf`	Enforcing Resource Bound Safety for Mobile SNMP Agents. ACSAC Weijiang Yu, Aloysius K. Mok
2002	Misc	`conf`	Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. EMSOFT Aloysius K. Mok, Alex Xiang Feng
2002	A	`conf`	TINMAN: A Resource Bound Security Checking System for Mobile Code. ESORICS Aloysius K. Mok, Weijiang Yu
2002	A	`conf`	The Monitoring of Timing Constraints on Time Intervals. RTSS Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana
2001	—	`conf`	Resource Partition for Real-Time Systems. IEEE Real Time Technology and Applications Symposium Aloysius K. Mok, Alex Xiang Feng, Deji Chen
2001	J	`jnl`	Simulation-Verification: Biting at the State Explosion Problem. IEEE Trans. Software Eng. Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
2001	A	`conf`	Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds. RTSS Aloysius K. Mok, Alex Xiang Feng
2001	A	`conf`	Window-Constrained Real-Time Periodic Task Scheduling. RTSS Aloysius K. Mok, Weirong Wang
2000	A	`conf`	Implementation and Performance Evaluation of a Real-Time E-Brokerage System. RTSS Prabhudev Konana, Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Guangtian Liu
2000	J	`jnl`	Real-Time Data Semantics and Similarity-Based Concurrency Control. IEEE Trans. Computers Tei-Wei Kuo, Aloysius K. Mok
2000	—	`conf`	Scheduling Distributed Real-Time Tasks in the DGMF Model. IEEE Real Time Technology and Applications Symposium Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah
2000	B	`conf`	Tracking Real-Time Systems Requirements. RTCSA Aloysius K. Mok
1999	—	`conf`	Active and Real-Time Functionalities for Electronic Brokerage Design. WECWIS M. Beck, Prabhudev Konana, Guangtian Liu, Yanbin Liu, Aloysius K. Mok
1999	—	`conf`	Composite Events for Network Event Correlation. Integrated Network Management Guangtian Liu, Aloysius K. Mok, Eric J. Yang
1999	J	`jnl`	Generalized Multiframe Tasks. Real Time Syst. Sanjoy K. Baruah, Deji Chen, Sergey Gorinsky, Aloysius K. Mok
1999	—	`conf`	Implementation of JEM - A Java Composite Event Package. IEEE Real Time Technology and Applications Symposium Guangtian Liu, Aloysius K. Mok
1999	J	`jnl`	Providing real-time support through component object model. Microprocess. Microsystems Deji Chen, Aloysius K. Mok, Mark Nixon
1999	—	`conf`	Real-time Support in COM. HICSS Deji Chen, Aloysius K. Mok, Mark Nixon
1999	A	`conf`	SRDE-Application of Data Similarity to Process Control. RTSS Deji Chen, Aloysius K. Mok
1999	B	`conf`	Static-priority scheduling of multiframe tasks. ECRTS Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok
1999	B	`conf`	Utilization Bound Re-visited . RTCSA Deji Chen, Aloysius K. Mok, Tei-Wei Kuo
1998	—	`conf`	A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems. IEEE Real Time Technology and Applications Symposium Guangtian Liu, Aloysius K. Mok, Prabhudev Konana
1998	J	`jnl`	An Operational Semantics and Compiler for Real-Time Specifications. Integr. Comput. Aided Eng. Carlos Puchol, Douglas A. Stuart, Aloysius K. Mok
1998	A	`conf`	Integrated Design Tools for Hard Real-Time Systems. RTSS Carlos Puchol, Aloysius K. Mok
1997	J	`jnl`	A Multiframe Model for Real-Time Tasks. IEEE Trans. Software Eng. Aloysius K. Mok, Deji Chen
1997	—	`conf`	Design of a Real-Time SQL Engine in the Distributed Environment. ARTDB Deji Chen, Aloysius K. Mok
1997	A	`conf`	Early detection of timing constraint violation at runtime. RTSS Aloysius K. Mok, Guangtian Liu
1997	—	`conf`	Efficient Run-Time Monitoring of Timing Constraints. IEEE Real Time Technology and Applications Symposium Aloysius K. Mok, Guangtian Liu
1997	J	`jnl`	Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems. IEEE Trans. Computers Tei-Wei Kuo, Aloysius K. Mok
1997	A	`conf`	Jitter concerns in periodic task systems. RTSS Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok
1997	—	`conf`	Panel Session: Predictability in Active Real-Time/Temporal Databases. ARTDB Aloysius K. Mok, John A. Stankovic, Özgür Ulusoy, Jörgen Hansson, Kam-yiu Lam, Kwei-Jay Lin
1997	A	`conf`	Similarity-based load adjustment for real-time data-intensive applications. RTSS Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok
1997	J	`jnl`	Symboloc Model Checking for Event-Driven Real-Time Systems. ACM Trans. Program. Lang. Syst. Jin Yang, Aloysius K. Mok, Farn Wang
1996	J	`jnl`	A Methodology and Support Tools for Analysis of Real-Time Specifications. Int. J. Softw. Eng. Knowl. Eng. Douglas A. Stuart, Aloysius K. Mok, Farnam Jahanian
1996	A	`conf`	A multiframe model for real-time tasks. RTSS Aloysius K. Mok, Deji Chen
1996	A	`conf`	Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs. ICDCS Rwo-Hsi Wang, Aloysius K. Mok
1996	J	`jnl`	Firm Real-Time Systems. ACM Comput. Surv. Aloysius K. Mok
1996	J	`jnl`	Improvement in Feasibility Testing for Real-Time Tasks. Real Time Syst. Ismael Ripoll, Alfons Crespo, Aloysius K. Mok
1996	—	`conf`	On Modeling Real-Time Task Systems. European Educational Forum: School on Embedded Systems Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah
1996	J	`jnl`	Real-Time Database - Similarity Semantics and Resource Scheduling. SIGMOD Rec. Tei-Wei Kuo, Aloysius K. Mok
1996	J	`jnl`	Realizing EQL Programs for Bounded-Time Execution. J. Syst. Integr. Aloysius K. Mok, Rwo-Hsi Wang, Chih-Kan Wang
1996	A	`conf`	The MSP.RTL real-time scheduler synthesis tool. RTSS Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij
1995	—	`conf`	A new generation modechart verifie. IEEE Real Time Technology and Applications Symposium Jin Yang, Aloysius K. Mok, Douglas A. Stuart
1995	A	`conf`	Compiling Modechart Specifications. RTSS Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart
1995	A	`conf`	Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel). ICDCS Aloysius K. Mok, Constance L. Heitmeyer, Kevin Jeffay, Michael B. Jones, C. Douglass Locke, Ragunathan Rajkumar
1995	J	`jnl`	Modularity and Rule-Based Programming. Int. J. Artif. Intell. Tools 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
1995	J	`jnl`	Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure. IEEE Trans. Software Eng. Rwo-Hsi Wang, Aloysius K. Mok
1995	—	`conf`	The design and implementation of a Real-Time Object Management Interface. IEEE Real Time Technology and Applications Symposium Tei-Wei Kuo, Aloysius K. Mok
1994	B	`conf`	A New Approach to Modularity in Rule-Based Programming. ICTAI 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	J	`jnl`	Modechart: A Specification Language for Real-Time Systems. IEEE Trans. Software Eng. Farnam Jahanian, Aloysius K. Mok
1994	—	`conf`	RTL and Refutation by Positive Cycles. FME Farn Wang, Aloysius K. Mok
1994	A	`conf`	Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure. RTSS Rwo-Hsi Wang, Aloysius K. Mok
1994	—	`conf`	What Really is Rapid Prototyping for Real-Time System? (Abstract). ACM Conference on Computer Science Aloysius K. Mok
1993	J	`jnl`	Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. IEEE Trans. Software Eng. Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang
1993	J	`jnl`	Distributed Real-Time System Specification and Verification in APTL. ACM Trans. Softw. Eng. Methodol. Farn Wang, Aloysius K. Mok, E. Allen Emerson
1993	A	`conf`	SSP: A Semantics-Based Protocol for Real-Time Data Access. RTSS Tei-Wei Kuo, Aloysius K. Mok
1993	—	`conf`	Symbolic Model Checking for Distributed Real-Time Systems. FME Farn Wang, Aloysius K. Mok, E. Allen Emerson
1993	A	`conf`	Symbolic Model Checking for Event-Driven Real-Time Systems. RTSS Jin Yang, Aloysius K. Mok, Farn Wang
1993	J	`jnl`	Timing Analysis of MRL: A Real-Time Rule-Based System. Real Time Syst. Chih-Kan Wang, Aloysius K. Mok
1992	A	`conf`	Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. RTSS Tei-Wei Kuo, Aloysius K. Mok
1992	A*	`conf`	Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE Farn Wang, Aloysius K. Mok, E. Allen Emerson
1992	J	`jnl`	Quantitative Temporal Reasoning. Real Time Syst. E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
1991	—	`conf`	Automated analysis of bounded response time for two NASA expert systems. SIGSOFT Chih-Kan Wang, Duu-Chung Tsou, Rwo-Hsi Wang, James C. Browne, Aloysius K. Mok
1991	—	`conf`	Coping with Implementation Dependencies in Real-Time System Verification. REX Workshop Aloysius K. Mok
1991	A	`conf`	Load Adjustment in Adaptive Real-Time Systems. RTSS Tei-Wei Kuo, Aloysius K. Mok
1990	A	`conf`	MRL: A Real-Time Rule-Based Production System. RTSS C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng
1990	A	`conf`	Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. RTSS Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier
1990	A*	`conf`	Quantitative Temporal Reasoning. CAV E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
1989	A	`conf`	Formal Analysis of Real-Time Equational Rule-Based Systems. RTSS Aloysius K. Mok
1989	J	`jnl`	Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks. IEEE Trans. Software Eng. Michael L. Dertouzos, Aloysius K. Mok
1987	J	`jnl`	A Graph-Theoretic Approach for Timing Analysis and its Implementation. IEEE Trans. Computers Farnam Jahanian, Aloysius K. Mok
1987	—	`conf`	Supercomputers/parallel algorithms. FJCC Aloysius K. Mok
1987	A	`conf`	Synthesis of a Real-Time Message Processing System with Data-Driven Timing Constraints. RTSS Aloysius K. Mok, Prasanna Amerasinghe, Moyer Chen, Supoj Sutanthavibul, Kamtorn Tantisirivat
1986	A	`conf`	A Graph-Theoretic Approach for Timing Analysis in Real Time Logic. RTSS Farnam Jahanian, Aloysius K. Mok
1986	J	`jnl`	Safety Analysis of Timing Properties in Real-Time Systems. IEEE Trans. Software Eng. Farnam Jahanian, Aloysius K. Mok
1985	B	`conf`	A Graph-Based Computation Model for Real-Time Systems. ICPP Aloysius K. Mok
1985	A	`conf`	Modeling and Scheduling of Dataflow Real-Time Systems. RTSS Aloysius K. Mok, Supoj Sutanthavibul
1985	—	`conf`	The von Neumann straitjacket- the process construct. ISPW Aloysius K. Mok
1979	J	`jnl`	Distributed Broadcast Channel Access. Comput. Networks Aloysius K. Mok, Steve Ward