Stop the war!Остановите войну!
for scientists:
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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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
- [c129]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 - [c128]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) - [c127]Yi-Hsuan Hsieh, Aloysius K. Mok:
SQGS: Sensing-based Quality-aware Robot Programming Guidance System for Non-experts. ETFA 2021: 1-8 - [c126]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) - [c125]Yi-Hsuan Hsieh, Pei-Chi Huang, Qixing Huang, Aloysius K. Mok:
LASSO: Location Assistant for Seeking and Searching Objects. ICPS 2019: 94-100 - [c124]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) - [c123]Pei-Chi Huang, Yi-Hsuan Hsieh, Aloysius K. Mok:
A Skill-Based Programming System for Robotic Furniture Assembly. INDIN 2018: 355-361 - [c122]Pei-Chi Huang, Aloysius K. Mok:
A Case Study of Cyber-Physical System Design: Autonomous Pick-and-Place Robot. RTCSA 2018: 22-31 - 2017
- [c121]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) - [c120]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) - [c119]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 - [c118]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) - [c117]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 - [c116]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 - [c115]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 - [c114]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) - [c113]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 - [c112]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 - [c111]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) - [c110]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 - [c109]Wing-Chi Poon, Aloysius K. Mok:
Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture. HICSS 2012: 5604-5612 - [c108]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 - [c107]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 - [c106]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 - [c105]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 - [c104]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 - [c103]Yu Li, Albert M. K. Cheng, Aloysius K. Mok:
Regularity-Based Partitioning of Uniform Resources in Real-Time Systems. RTCSA 2012: 368-377 - [c102]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
- [c101]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 - [c100]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 - [c99]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 - [c98]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
- [c97]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 - [c96]Wing-Chi Poon, Aloysius K. Mok:
Necessary and Sufficient Conditions for Non-preemptive Robustness. RTCSA 2010: 349-354 - [c95]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) - [c94]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 - [c93]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 - [c92]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) - [c91]Mark Nixon, Deji Chen, Terry Blevins, Aloysius K. Mok:
Meeting control performance over a wireless mesh network. CASE 2008: 540-547 - [c90]Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok:
A Schedulability Analysis of Deferrable Scheduling Using Patterns. ECRTS 2008: 47-56 - [c89]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 - [c88]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 - [c87]Simon P. Chung, Aloysius K. Mok:
Swarm Attacks against Network-Level Emulation/Analysis. RAID 2008: 175-190 - [c86]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 - [c85]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 - [c84]Jianping Song, Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon:
A complete wirelessHART network. SenSys 2008: 381-382 - [c83]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) - [c82]Simon P. Chung, Aloysius K. Mok:
Advanced Allergy Attacks: Does a Corpus Really Help? RAID 2007: 236-255 - [c81]Honguk Woo, Aloysius K. Mok:
Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. RTSS 2007: 288-300 - [c80]Simon P. Chung, Aloysius K. Mok:
Collaborative Intrusion Prevention. WETICE 2007: 395-400 - 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]