default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAloysius K. Mok
Aloysius Ka-Lau Mok
Person information
- affiliation: University of Texas at Austin, USA
- affiliation (former): Massachusetts Institute of Technology, Cambridge, MA, USA
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c131]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: 467-471- 2023
- [j53]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): 84:1-84:29 (2023) - [i5]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 abs/2311.07377 (2023) - 2022
- [c130]Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han:
RT-WiFi on Software-Defined Radio: Design and Implementation. RTAS 2022: 254-266 - [c129]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: 321-322 - [i4]Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han:
RT-WiFi on Software-Defined Radio: Design and Implementation. CoRR abs/2203.10390 (2022) - 2021
- [j52]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): 302-345 (2021) - [c128]Yi-Hsuan Hsieh, Aloysius K. Mok:
SQGS: Sensing-based Quality-aware Robot Programming Guidance System for Non-experts. ETFA 2021: 1-8 - [c127]Yi-Hsuan Hsieh, Pei-Chi Huang, Aloysius K. Mok:
SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers. ICRA 2021: 3978-3984 - [i3]Yi-Hsuan Hsieh, Pei-Chi Huang, Aloysius K. Mok:
SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers. CoRR abs/2107.00127 (2021)
2010 – 2019
- 2019
- [j51]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): 1027-1052 (2019) - [j50]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): 14:1-14:29 (2019) - [j49]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): 2177-2185 (2019) - [j48]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): 12:1-12:26 (2019) - [c126]Yi-Hsuan Hsieh, Pei-Chi Huang, Qixing Huang, Aloysius K. Mok:
LASSO: Location Assistant for Seeking and Searching Objects. ICPS 2019: 94-100 - [c125]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: 495-507 - 2018
- [j47]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): 675-683 (2018) - [j46]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): 85:1-85:23 (2018) - [c124]Pei-Chi Huang, Yi-Hsuan Hsieh, Aloysius K. Mok:
A Skill-Based Programming System for Robotic Furniture Assembly. INDIN 2018: 355-361 - [c123]Pei-Chi Huang, Aloysius K. Mok:
A Case Study of Cyber-Physical System Design: Autonomous Pick-and-Place Robot. RTCSA 2018: 22-31 - 2017
- [c122]Wei-Ju Chen, Pei-Chi Huang, Quan Leng, Aloysius K. Mok, Song Han:
Regular Composite Resource Partition in Open Systems. RTSS 2017: 34-44 - 2016
- [j45]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): 1550040:1-1550040:57 (2016) - [j44]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): 756-769 (2016) - [c121]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: 248-256 - [i2]Chien-Liang Fok, Fei Sun, Matt Mangum, Aloysius K. Mok, Binghan He, Luis Sentis:
Web Based Teleoperation of a Humanoid Robot. CoRR abs/1607.05402 (2016) - 2015
- [j43]Felipe Lopez, Lixun Zhang, Aloysius K. Mok, Joseph J. Beaman:
Particle filtering on GPU architectures for manufacturing applications. Comput. Ind. 71: 116-127 (2015) - [j42]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): 1999-2018 (2015) - [c120]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: 5294-5299 - [c119]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: 206-215 - [i1]Chien-Liang Fok, Gwendolyn Johnson, John D. Yamokoski, Aloysius K. Mok, Luis Sentis:
ControlIt! - A Software Framework for Whole-Body Operational Space Control. CoRR abs/1506.01075 (2015) - 2014
- [j41]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): 979-994 (2014) - [j40]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): 125:1-125:24 (2014) - [c118]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: 340-345 - [c117]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: 3293-3298 - [c116]Pei-Chi Huang, Joel Lehman, Aloysius K. Mok, Risto Miikkulainen, Luis Sentis:
Grasping novel objects with a dexterous robotic hand through neuroevolution. CICA 2014: 125-132 - [c115]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: 63-73 - 2013
- [j39]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): 993-1018 (2013) - [j38]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): 28 (2013) - [j37]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): 2325-2342 (2013) - [c114]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: 189-198 - [c113]Song Han, Yi-Hung Wei, Aloysius K. Mok, Deji Chen, Mark Nixon, Eric Rotvold:
Building wireless embedded internet for industrial automation. IECON 2013: 5582-5587 - [c112]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: 140-149 - 2012
- [j36]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): 1729-1743 (2012) - [j35]Jiantao Wang, Song Han, Kam-yiu Lam, Aloysius K. Mok:
Maintaining data temporal consistency in distributed real-time systems. Real Time Syst. 48(4): 387-429 (2012) - [c111]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: 253-260 - [c110]Wing-Chi Poon, Aloysius K. Mok:
Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture. HICSS 2012: 5604-5612 - [c109]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: 3244-3251 - [c108]Xiuming Zhu, Thomas Lin, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon, Eric Rotvold:
Measuring WirelessHART against wired fieldbus for control. INDIN 2012: 270-275 - [c107]Wenlong Zhang, Xiuming Zhu, Song Han, Nancy Byl, Aloysius K. Mok, Masayoshi Tomizuka:
Design of a network-based mobile gait rehabilitation system. ROBIO 2012: 1773-1778 - [c106]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: 241-250 - [c105]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: 68-77 - [c104]Yu Li, Albert M. K. Cheng, Aloysius K. Mok:
Regularity-Based Partitioning of Uniform Resources in Real-Time Systems. RTCSA 2012: 368-377 - [c103]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 - 2011
- [c102]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: 57-66 - [c101]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: 684-691 - [c100]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: 3-12 - [c99]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: 295-304 - 2010
- [c98]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: 133-142 - [c97]Wing-Chi Poon, Aloysius K. Mok:
Necessary and Sufficient Conditions for Non-preemptive Robustness. RTCSA 2010: 349-354 - [c96]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: 387-392
2000 – 2009
- 2009
- [j34]Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana:
Online Timing Correlation of Streaming Data with Uncertain Timestamps. IEICE Trans. Inf. Syst. 92-D(6): 1260-1267 (2009) - [j33]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): 144-154 (2009) - [c95]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: 327-336 - [c94]Xiuming Zhu, Wei Dong, Aloysius K. Mok, Song Han, Jianping Song, Deji Chen, Mark Nixon:
A Location-Determination Application in WirelessHART. RTCSA 2009: 263-270 - [c93]Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok:
Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. RTSS 2009: 115-124 - 2008
- [j32]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): 5 (2008) - [c92]Mark Nixon, Deji Chen, Terry Blevins, Aloysius K. Mok:
Meeting control performance over a wireless mesh network. CASE 2008: 540-547 - [c91]Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok:
A Schedulability Analysis of Deferrable Scheduling Using Patterns. ECRTS 2008: 47-56 - [c90]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: 525-528 - [c89]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: 93-100 - [c88]Simon P. Chung, Aloysius K. Mok:
Swarm Attacks against Network-Level Emulation/Analysis. RAID 2008: 175-190 - [c87]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: 137-146 - [c86]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: 377-386 - [c85]Jianping Song, Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon:
A complete wirelessHART network. SenSys 2008: 381-382 - [c84]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: 437-438 - 2007
- [j31]Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana:
Monitoring of Timing Constraints with Confidence Threshold Requirements. IEEE Trans. Computers 56(7): 977-991 (2007) - [c83]Simon P. Chung, Aloysius K. Mok:
Advanced Allergy Attacks: Does a Corpus Really Help? RAID 2007: 236-255 - [c82]Honguk Woo, Aloysius K. Mok:
Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. RTSS 2007: 288-300 - [c81]Simon P. Chung, Aloysius K. Mok:
Collaborative Intrusion Prevention. WETICE 2007: 395-400 - 2006
- [c80]Jianliang Yi, Weijiang Yu, Aloysius K. Mok:
Resource Bound Safety in Grid Computing. ISSSE 2006 - [c79]Simon P. Chung, Aloysius K. Mok:
The LAIDS/LIDS Framework for Systematic IPS Design. IWIA 2006: 3-11 - [c78]Simon P. Chung, Aloysius K. Mok:
Allergy Attack Against Automatic Signature Generation. RAID 2006: 61-80 - [c77]Zhengting He, Cheng Peng, Aloysius K. Mok:
A Performance Estimation Tool for Video Applications. IEEE Real Time Technology and Applications Symposium 2006: 267-276 - [c76]Aloysius K. Mok, Honguk Woo, Chan-Gun Lee:
Probabilistic Timing Join over Uncertain Event Streams. RTCSA 2006: 17-26 - [c75]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: 420-426 - [c74]Honguk Woo, Aloysius K. Mok, Chan-Gun Lee:
A Generic Framework for Monitoring Timing Constraints over Uncertain Events. RTSS 2006: 435-444 - 2005
- [j30]John A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar:
Opportunities and Obligations for Physical Computing Systems. Computer 38(11): 23-31 (2005) - [j29]Weirong Wang, Aloysius K. Mok:
A class-based approach to the composition of real-time software components. J. Embed. Comput. 1(1): 3-15 (2005) - [j28]Weirong Wang, Aloysius K. Mok, Gerhard Fohler:
Pre-Scheduling. Real Time Syst. 30(1-2): 83-103 (2005) - [c73]Mike Sheldon, Deji Chen, Mark Nixon, Aloysius K. Mok:
A practical approach to deploy large scale wireless sensor networks. MASS 2005 - [c72]Simon P. Chung, Aloysius K. Mok:
On Random-Inspection-Based Intrusion Detection. RAID 2005: 165-184 - [c71]Zhengting He, Aloysius K. Mok, Cheng Peng:
Timed RTOS Modeling for Embedded System Design. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 448-457 - [c70]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: 281-284 - [c69]Aloysius K. Mok, Wing-Chi Poon:
Non-Preemptive Robustness under Reduced System Load. RTSS 2005: 200-209 - [c68]Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok:
Real-time task scheduling anomaly: observations and prevention. SAC 2005: 897-898 - 2004
- [j27]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:
Real Time Scheduling Theory: A Historical Perspective. Real Time Syst. 28(2-3): 101-155 (2004) - [j26]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): 841-858 (2004) - [c67]Zhengting He, Aloysius K. Mok:
Fast co-simulation of transformative systems with OS support on SMP computer. CODES+ISSS 2004: 164-169 - [c66]Deji Chen, Aloysius K. Mok:
Scheduling Similarity-Constrained Real-Time Tasks. ESA/VLSI 2004: 215-221 - [c65]Weirong Wang, Aloysius K. Mok, Gerhard Fohler:
Generalized Pre-Scheduler. ECRTS 2004: 127-134 - [c64]Ruiqi Hu, Aloysius K. Mok:
Detecting Unknown Massive Mailing Viruses Using Proactive Methods. RAID 2004: 82-101 - [c63]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: 442-449 - [c62]Weirong Wang, Aloysius K. Mok, Gerhard Fohler:
Pre-Scheduling on the Domain of Integers. RTSS 2004: 68-77 - [r1]Aloysius K. Mok, Deji Chen:
The Pinwheel. Handbook of Scheduling 2004 - 2003
- [j25]Tei-Wei Kuo, Aloysius K. Mok:
Schedulability and Performance Analysis of the Similarity Stack Protocol. IEEE Trans. Computers 52(5): 658-669 (2003) - [c61]Weirong Wang, Aloysius K. Mok, Gerhard Fohler:
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. EMSOFT 2003: 356-372 - [c60]Weijiang Yu, Aloysius K. Mok:
Formal Specification and Verification of Resource Bound Security Using PVS. ISSS 2003: 113-133 - [c59]Yanbin Liu, Aloysius K. Mok:
An Integrated Approach for Applying Dynamic Voltage Scaling to Hard Real-Time Systems. IEEE Real Time Technology and Applications Symposium 2003: 116-123 - [c58]Weirong Wang, Aloysius K. Mok:
On the Composition of Real-Time Schedulers. RTCSA 2003: 18-37 - [c57]Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana:
Monitoring of Timing Constraints with Confidence Threshold Requirements. RTSS 2003: 178-187 - [c56]Aloysius K. Mok:
Event-Based Real-Time Monitoring. RV@CAV 2003: 1 - 2002
- [c55]Weijiang Yu, Aloysius K. Mok:
Enforcing Resource Bound Safety for Mobile SNMP Agents. ACSAC 2002: 69-77 - [c54]Aloysius K. Mok, Alex Xiang Feng:
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. EMSOFT 2002: 182-196 - [c53]Aloysius K. Mok, Weijiang Yu:
TINMAN: A Resource Bound Security Checking System for Mobile Code. ESORICS 2002: 178-193 - [c52]Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana:
The Monitoring of Timing Constraints on Time Intervals. RTSS 2002: 191-200 - 2001
- [j24]Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian:
Simulation-Verification: Biting at the State Explosion Problem. IEEE Trans. Software Eng. 27(7): 599-617 (2001) - [c51]Aloysius K. Mok, Alex Xiang Feng, Deji Chen:
Resource Partition for Real-Time Systems. IEEE Real Time Technology and Applications Symposium 2001: 75-84 - [c50]Aloysius K. Mok, Weirong Wang:
Window-Constrained Real-Time Periodic Task Scheduling. RTSS 2001: 15-24 - [c49]Aloysius K. Mok, Alex Xiang Feng:
Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds. RTSS 2001: 129-138 - 2000
- [j23]Tei-Wei Kuo, Aloysius K. Mok:
Real-Time Data Semantics and Similarity-Based Concurrency Control. IEEE Trans. Computers 49(11): 1241-1254 (2000) - [c48]Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah:
Scheduling Distributed Real-Time Tasks in the DGMF Model. IEEE Real Time Technology and Applications Symposium 2000: 14-22 - [c47]Aloysius K. Mok:
Tracking Real-Time Systems Requirements. RTCSA 2000: 333- - [c46]Prabhudev Konana, Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Guangtian Liu:
Implementation and Performance Evaluation of a Real-Time E-Brokerage System. RTSS 2000: 109-118
1990 – 1999
- 1999
- [j22]Deji Chen, Aloysius K. Mok, Mark Nixon:
Providing real-time support through component object model. Microprocess. Microsystems 23(3): 145-154 (1999) - [j21]Sanjoy K. Baruah, Deji Chen, Sergey Gorinsky, Aloysius K. Mok:
Generalized Multiframe Tasks. Real Time Syst. 17(1): 5-22 (1999) - [c45]Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok:
Static-priority scheduling of multiframe tasks. ECRTS 1999: 38-45 - [c44]Deji Chen, Aloysius K. Mok, Mark Nixon:
Real-time Support in COM. HICSS 1999 - [c43]Guangtian Liu, Aloysius K. Mok, Eric J. Yang:
Composite Events for Network Event Correlation. Integrated Network Management 1999: 247-260 - [c42]Guangtian Liu, Aloysius K. Mok:
Implementation of JEM - A Java Composite Event Package. IEEE Real Time Technology and Applications Symposium 1999: 68-78 - [c41]Deji Chen, Aloysius K. Mok, Tei-Wei Kuo:
Utilization Bound Re-visited . RTCSA 1999: 295-302 - [c40]Deji Chen, Aloysius K. Mok:
SRDE-Application of Data Similarity to Process Control. RTSS 1999: 136-145 - [c39]M. Beck, Prabhudev Konana, Guangtian Liu, Yanbin Liu, Aloysius K. Mok:
Active and Real-Time Functionalities for Electronic Brokerage Design. WECWIS 1999: 30-35 - 1998
- [j20]Carlos Puchol, Douglas A. Stuart, Aloysius K. Mok:
An Operational Semantics and Compiler for Real-Time Specifications. Integr. Comput. Aided Eng. 5(3): 187-206 (1998) - [c38]Guangtian Liu, Aloysius K. Mok, Prabhudev Konana:
A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems. IEEE Real Time Technology and Applications Symposium 1998: 199-208 - [c37]Carlos Puchol, Aloysius K. Mok:
Integrated Design Tools for Hard Real-Time Systems. RTSS 1998: 368-378 - 1997
- [j19]Tei-Wei Kuo, Aloysius K. Mok:
Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems. IEEE Trans. Computers 46(12): 1313-1324 (1997) - [j18]Jin Yang, Aloysius K. Mok, Farn Wang:
Symboloc Model Checking for Event-Driven Real-Time Systems. ACM Trans. Program. Lang. Syst. 19(2): 386-412 (1997) - [j17]Aloysius K. Mok, Deji Chen:
A Multiframe Model for Real-Time Tasks. IEEE Trans. Software Eng. 23(10): 635-645 (1997) - [c36]Deji Chen, Aloysius K. Mok:
Design of a Real-Time SQL Engine in the Distributed Environment. ARTDB 1997: 27-38 - [c35]Aloysius K. Mok, John A. Stankovic, Özgür Ulusoy, Jörgen Hansson, Kam-yiu Lam, Kwei-Jay Lin:
Panel Session: Predictability in Active Real-Time/Temporal Databases. ARTDB 1997: 231-237 - [c34]Aloysius K. Mok, Guangtian Liu:
Efficient Run-Time Monitoring of Timing Constraints. IEEE Real Time Technology and Applications Symposium 1997: 252-262 - [c33]Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok:
Jitter concerns in periodic task systems. RTSS 1997: 68-77 - [c32]Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok:
Similarity-based load adjustment for real-time data-intensive applications. RTSS 1997: 144-153 - [c31]Aloysius K. Mok, Guangtian Liu:
Early detection of timing constraint violation at runtime. RTSS 1997: 176-185 - 1996
- [j16]Aloysius K. Mok:
Firm Real-Time Systems. ACM Comput. Surv. 28(4es): 185 (1996) - [j15]Douglas A. Stuart, Aloysius K. Mok, Farnam Jahanian:
A Methodology and Support Tools for Analysis of Real-Time Specifications. Int. J. Softw. Eng. Knowl. Eng. 6(3): 401-426 (1996) - [j14]Aloysius K. Mok, Rwo-Hsi Wang, Chih-Kan Wang:
Realizing EQL Programs for Bounded-Time Execution. J. Syst. Integr. 6(1/2): 73-92 (1996) - [j13]Ismael Ripoll, Alfons Crespo, Aloysius K. Mok:
Improvement in Feasibility Testing for Real-Time Tasks. Real Time Syst. 11(1): 19-39 (1996) - [j12]Tei-Wei Kuo, Aloysius K. Mok:
Real-Time Database - Similarity Semantics and Resource Scheduling. SIGMOD Rec. 25(1): 18-22 (1996) - [c30]Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah:
On Modeling Real-Time Task Systems. European Educational Forum: School on Embedded Systems 1996: 153-169 - [c29]Rwo-Hsi Wang, Aloysius K. Mok:
Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs. ICDCS 1996: 47-54 - [c28]Aloysius K. Mok, Deji Chen:
A multiframe model for real-time tasks. RTSS 1996: 22-29 - [c27]Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij:
The MSP.RTL real-time scheduler synthesis tool. RTSS 1996: 118-128 - 1995
- [j11]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:
Modularity and Rule-Based Programming. Int. J. Artif. Intell. Tools 4(1-2): 201-218 (1995) - [j10]Rwo-Hsi Wang, Aloysius K. Mok:
Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure. IEEE Trans. Software Eng. 21(7): 605-614 (1995) - [c26]Aloysius K. Mok, Constance L. Heitmeyer, Kevin Jeffay, Michael B. Jones, C. Douglass Locke, Ragunathan Rajkumar:
Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel). ICDCS 1995: 182-184 - [c25]Jin Yang, Aloysius K. Mok, Douglas A. Stuart:
A new generation modechart verifie. IEEE Real Time Technology and Applications Symposium 1995: 116-125 - [c24]Tei-Wei Kuo, Aloysius K. Mok:
The design and implementation of a Real-Time Object Management Interface. IEEE Real Time Technology and Applications Symposium 1995: 192-201 - [c23]Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart:
Compiling Modechart Specifications. RTSS 1995: 256-265 - 1994
- [j9]Farnam Jahanian, Aloysius K. Mok:
Modechart: A Specification Language for Real-Time Systems. IEEE Trans. Software Eng. 20(12): 933-947 (1994) - [c22]Aloysius K. Mok:
What Really is Rapid Prototyping for Real-Time System? (Abstract). ACM Conference on Computer Science 1994: 409 - [c21]Farn Wang, Aloysius K. Mok:
RTL and Refutation by Positive Cycles. FME 1994: 659-680 - [c20]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:
A New Approach to Modularity in Rule-Based Programming. ICTAI 1994: 18-25 - [c19]Rwo-Hsi Wang, Aloysius K. Mok:
Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure. RTSS 1994: 142-151 - 1993
- [j8]Chih-Kan Wang, Aloysius K. Mok:
Timing Analysis of MRL: A Real-Time Rule-Based System. Real Time Syst. 5(1): 89-128 (1993) - [j7]Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Distributed Real-Time System Specification and Verification in APTL. ACM Trans. Softw. Eng. Methodol. 2(4): 346-378 (1993) - [j6]Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang:
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. IEEE Trans. Software Eng. 19(9): 863-885 (1993) - [c18]Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Symbolic Model Checking for Distributed Real-Time Systems. FME 1993: 632-651 - [c17]Jin Yang, Aloysius K. Mok, Farn Wang:
Symbolic Model Checking for Event-Driven Real-Time Systems. RTSS 1993: 23-32 - [c16]Tei-Wei Kuo, Aloysius K. Mok:
SSP: A Semantics-Based Protocol for Real-Time Data Access. RTSS 1993: 76-86 - 1992
- [j5]E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan:
Quantitative Temporal Reasoning. Real Time Syst. 4(4): 331-352 (1992) - [c15]Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE 1992: 188-198 - [c14]Tei-Wei Kuo, Aloysius K. Mok:
Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. RTSS 1992: 35-45 - 1991
- [c13]Aloysius K. Mok:
Coping with Implementation Dependencies in Real-Time System Verification. REX Workshop 1991: 485-501 - [c12]Tei-Wei Kuo, Aloysius K. Mok:
Load Adjustment in Adaptive Real-Time Systems. RTSS 1991: 160-170 - [c11]Chih-Kan Wang, Duu-Chung Tsou, Rwo-Hsi Wang, James C. Browne, Aloysius K. Mok:
Automated analysis of bounded response time for two NASA expert systems. SIGSOFT 1991: 147-161 - 1990
- [c10]E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan:
Quantitative Temporal Reasoning. CAV 1990: 136-145 - [c9]Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier:
Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. RTSS 1990: 182-190 - [c8]C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng:
MRL: A Real-Time Rule-Based Production System. RTSS 1990: 267-276
1980 – 1989
- 1989
- [j4]Michael L. Dertouzos, Aloysius K. Mok:
Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks. IEEE Trans. Software Eng. 15(12): 1497-1506 (1989) - [c7]Aloysius K. Mok:
Formal Analysis of Real-Time Equational Rule-Based Systems. RTSS 1989: 308-318 - 1987
- [j3]Farnam Jahanian, Aloysius K. Mok:
A Graph-Theoretic Approach for Timing Analysis and its Implementation. IEEE Trans. Computers 36(8): 961-975 (1987) - [c6]Aloysius K. Mok:
Supercomputers/parallel algorithms. FJCC 1987: 310 - [c5]Aloysius K. Mok, Prasanna Amerasinghe, Moyer Chen, Supoj Sutanthavibul, Kamtorn Tantisirivat:
Synthesis of a Real-Time Message Processing System with Data-Driven Timing Constraints. RTSS 1987: 133-143 - 1986
- [j2]Farnam Jahanian, Aloysius K. Mok:
Safety Analysis of Timing Properties in Real-Time Systems. IEEE Trans. Software Eng. 12(9): 890-904 (1986) - [c4]Farnam Jahanian, Aloysius K. Mok:
A Graph-Theoretic Approach for Timing Analysis in Real Time Logic. RTSS 1986: 98-108 - 1985
- [c3]Aloysius K. Mok:
A Graph-Based Computation Model for Real-Time Systems. ICPP 1985: 619-623 - [c2]Aloysius K. Mok:
The von Neumann straitjacket- the process construct. ISPW 1985: 114-119 - [c1]Aloysius K. Mok, Supoj Sutanthavibul:
Modeling and Scheduling of Dataflow Real-Time Systems. RTSS 1985: 178-187 - 1983
- [b1]Aloysius Ka-Lau Mok:
Fundamental design problems of distributed systems for the hard-real-time environment. Massachusetts Institute of Technology, Cambridge, MA, USA, 1983
1970 – 1979
- 1979
- [j1]Aloysius K. Mok, Steve Ward:
Distributed Broadcast Channel Access. Comput. Networks 3: 327-335 (1979)
Coauthor Index
[j53] [c130] [c129] [i4] [j52] [j51] [j48] [c125] [j47] [j46] [c122] [j44] [c121] [j42] [c120] [j41] [j40] [c117] [c115] [j39] [j38] [j37] [c114] [c113] [c112] [j36] [j35] [c111] [c109] [c108] [c107] [c106] [c105] [c103] [c102] [c101] [c100] [c98] [c96] [c95] [c94] [c93] [c91] [c89] [c86] [c85] [c84]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
