Aloysius K. Mok

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. Journal of Systems and Software 85(8): 1729-1743 (2012)

Jiantao Wang, Song Han, Kam-yiu Lam, Aloysius K. Mok: Maintaining data temporal consistency in distributed real-time systems. Real-Time Systems 48(4): 387-429 (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: 253-260

Wing-Chi Poon, Aloysius K. Mok: Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture. HICSS 2012: 5604-5612

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

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

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

Yu Li, Albert M. K. Cheng, Aloysius K. Mok: Regularity-Based Partitioning of Uniform Resources in Real-Time Systems. RTCSA 2012: 368-377

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

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

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

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

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

Wing-Chi Poon, Aloysius K. Mok: Necessary and Sufficient Conditions for Non-preemptive Robustness. RTCSA 2010: 349-354

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

Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana: Online Timing Correlation of Streaming Data with Uncertain Timestamps. IEICE Transactions 92-D(6): 1260-1267 (2009)

Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok: An anomaly prevention approach for real-time task scheduling. Journal of Systems and Software 82(1): 144-154 (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: 327-336

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

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

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

Mark Nixon, Deji Chen, Terry Blevins, Aloysius K. Mok: Meeting control performance over a wireless mesh network. CASE 2008: 540-547

Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok: A Schedulability Analysis of Deferrable Scheduling Using Patterns. ECRTS 2008: 47-56

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

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

Simon P. Chung, Aloysius K. Mok: Swarm Attacks against Network-Level Emulation/Analysis. RAID 2008: 175-190

Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella 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

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

Jianping Song, Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon: A complete wirelessHART network. SenSys 2008: 381-382

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

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

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

Honguk Woo, Aloysius K. Mok: Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. RTSS 2007: 288-300

Simon P. Chung, Aloysius K. Mok: Collaborative Intrusion Prevention. WETICE 2007: 395-400

Simon P. Chung, Aloysius K. Mok: The LAIDS/LIDS Framework for Systematic IPS Design. IWIA 2006: 3-11

Simon P. Chung, Aloysius K. Mok: Allergy Attack Against Automatic Signature Generation. RAID 2006: 61-80

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

Aloysius K. Mok, Honguk Woo, Chan-Gun Lee: Probabilistic Timing Join over Uncertain Event Streams. RTCSA 2006: 17-26

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

Honguk Woo, Aloysius K. Mok, Chan-Gun Lee: A Generic Framework for Monitoring Timing Constraints over Uncertain Events. RTSS 2006: 435-444

John A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar: Opportunities and Obligations for Physical Computing Systems. IEEE Computer 38(11): 23-31 (2005)

Weirong Wang, Aloysius K. Mok: A class-based approach to the composition of real-time software components. J. Embedded Computing 1(1): 3-15 (2005)

Weirong Wang, Aloysius K. Mok, Gerhard Fohler: Pre-Scheduling. Real-Time Systems 30(1-2): 83-103 (2005)

Mike Sheldon, Deji Chen, Mark Nixon, Aloysius K. Mok: A practical approach to deploy large scale wireless sensor networks. MASS 2005

Simon P. Chung, Aloysius K. Mok: On Random-Inspection-Based Intrusion Detection. RAID 2005: 165-184

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

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

Aloysius K. Mok, Wing-Chi Poon: Non-Preemptive Robustness under Reduced System Load. RTSS 2005: 200-209

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

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 Systems 28(2-3): 101-155 (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): 841-858 (2004)

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

Deji Chen, Aloysius K. Mok: Scheduling Similarity-Constrained Real-Time Tasks. ESA/VLSI 2004: 215-221

Weirong Wang, Aloysius K. Mok, Gerhard Fohler: Generalized Pre-Scheduler. ECRTS 2004: 127-134

Ruiqi Hu, Aloysius K. Mok: Detecting Unknown Massive Mailing Viruses Using Proactive Methods. RAID 2004: 82-101

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

Weirong Wang, Aloysius K. Mok, Gerhard Fohler: Pre-Scheduling on the Domain of Integers. RTSS 2004: 68-77

Aloysius K. Mok: Event-Based Real-Time Monitoring. Electr. Notes Theor. Comput. Sci. 89(2): 1 (2003)

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

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

Weijiang Yu, Aloysius K. Mok: Formal Specification and Verification of Resource Bound Security Using PVS. ISSS 2003: 113-133

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

Weirong Wang, Aloysius K. Mok: On the Composition of Real-Time Schedulers. RTCSA 2003: 18-37

Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana: Monitoring of Timing Constraints with Confidence Threshold Requirements. RTSS 2003: 178-187

Weijiang Yu, Aloysius K. Mok: Enforcing Resource Bound Safety for Mobile SNMP Agents. ACSAC 2002: 69-77

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

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

Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana: The Monitoring of Timing Constraints on Time Intervals. RTSS 2002: 191-200

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)

Aloysius K. Mok, Alex Xiang Feng, Deji Chen: Resource Partition for Real-Time Systems. IEEE Real Time Technology and Applications Symposium 2001: 75-84

Aloysius K. Mok, Weirong Wang: Window-Constrained Real-Time Periodic Task Scheduling. RTSS 2001: 15-24

Aloysius K. Mok, Alex Xiang Feng: Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds. RTSS 2001: 129-138

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

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

Aloysius K. Mok: Tracking Real-Time Systems Requirements. RTCSA 2000: 333-

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

Deji Chen, Aloysius K. Mok, Mark Nixon: Providing real-time support through component object model. Microprocessors and Microsystems - Embedded Hardware Design 23(3): 145-154 (1999)

Sanjoy K. Baruah, Deji Chen, Sergey Gorinsky, Aloysius K. Mok: Generalized Multiframe Tasks. Real-Time Systems 17(1): 5-22 (1999)

Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok: Static-priority scheduling of multiframe tasks. ECRTS 1999: 38-45

Deji Chen, Aloysius K. Mok, Mark Nixon: Real-time Support in COM. HICSS 1999

Guangtian Liu, Aloysius K. Mok, Eric J. Yang: Composite Events for Network Event Correlation. Integrated Network Management 1999: 247-260

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

Deji Chen, Aloysius K. Mok, Tei-Wei Kuo: Utilization Bound Re-visited . RTCSA 1999: 295-302

Deji Chen, Aloysius K. Mok: SRDE-Application of Data Similarity to Process Control. RTSS 1999: 136-145

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

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-

Carlos Puchol, Aloysius K. Mok: Integrated Design Tools for Hard Real-Time Systems. RTSS 1998: 368-378

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

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)

Aloysius K. Mok, Deji Chen: A Multiframe Model for Real-Time Tasks. IEEE Trans. Software Eng. 23(10): 635-645 (1997)

Deji Chen, Aloysius K. Mok: Design of a Real-Time SQL Engine in the Distributed Environment. ARTDB 1997: 27-38

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

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

Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok: Jitter concerns in periodic task systems. RTSS 1997: 68-77

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

Aloysius K. Mok, Guangtian Liu: Early detection of timing constraint violation at runtime. RTSS 1997: 176-185

Aloysius K. Mok: Firm Real-Time Systems. ACM Comput. Surv. 28(4es): 185 (1996)

Douglas A. Stuart, Aloysius K. Mok, Farnam Jahanian: A Methodology and Support Tools for Analysis of Real-Time Specifications. International Journal of Software Engineering and Knowledge Engineering 6(3): 401-426 (1996)

Aloysius K. Mok, Rwo-Hsi Wang, Chih-Kan Wang: Realizing EQL Programs for Bounded-Time Execution. Journal of Systems Integration 6(1/2): 73-92 (1996)

Ismael Ripoll, Alfons Crespo, Aloysius K. Mok: Improvement in Feasibility Testing for Real-Time Tasks. Real-Time Systems 11(1): 19-39 (1996)

Tei-Wei Kuo, Aloysius K. Mok: Real-Time Database - Similarity Semantics and Resource Scheduling. SIGMOD Record 25(1): 18-22 (1996)

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

Rwo-Hsi Wang, Aloysius K. Mok: Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs. ICDCS 1996: 47-54

Aloysius K. Mok, Deji Chen: A multiframe model for real-time tasks. RTSS 1996: 22-29

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

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)

Aloysius K. Mok, Constance L. Heitmeyer, Kevin Jeffay, Michael B. Jones, C. Douglas Locke, Ragunathan Rajkumar: Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel). ICDCS 1995: 182-184

Jin Yang, Aloysius K. Mok, Douglas A. Stuart: A new generation modechart verifie. IEEE Real Time Technology and Applications Symposium 1995: 116-125

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

Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart: Compiling Modechart Specifications. RTSS 1995: 256-265

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

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

Farn Wang, Aloysius K. Mok: RTL and Refutation by Positive Cycles. FME 1994: 659-680

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

Rwo-Hsi Wang, Aloysius K. Mok: Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure. RTSS 1994: 142-151

Chih-Kan Wang, Aloysius K. Mok: Timing Analysis of MRL: A Real-Time Rule-Based System. Real-Time Systems 5(1): 89-128 (1993)

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)

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)

Farn Wang, Aloysius K. Mok, E. Allen Emerson: Symbolic Model Checking for Distributed Real-Time Systems. FME 1993: 632-651

Jin Yang, Aloysius K. Mok, Farn Wang: Symbolic Model Checking for Event-Driven Real-Time Systems. RTSS 1993: 23-32

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

E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. Real-Time Systems 4(4): 331-352 (1992)

Farn Wang, Aloysius K. Mok, E. Allen Emerson: Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE 1992: 188-198

Tei-Wei Kuo, Aloysius K. Mok: Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. RTSS 1992: 35-45

Aloysius K. Mok: Coping with Implementation Dependencies in Real-Time System Verification. REX Workshop 1991: 485-501

Tei-Wei Kuo, Aloysius K. Mok: Load Adjustment in Adaptive Real-Time Systems. RTSS 1991: 160-170

E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. CAV 1990: 136-145

Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier: Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. RTSS 1990: 182-190

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

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

Aloysius K. Mok: Formal Analysis of Real-Time Equational Rule-Based Systems. RTSS 1989: 308-318

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

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

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

Farnam Jahanian, Aloysius K. Mok: A Graph-Theoretic Approach for Timing Analysis in Real Time Logic. RTSS 1986: 98-108

Aloysius K. Mok: A Graph-Based Computation Model for Real-Time Systems. ICPP 1985: 619-623

Aloysius K. Mok: The von Neumann straitjacket- the process construct. ISPW 1985: 114-119

Aloysius K. Mok, Supoj Sutanthavibul: Modeling and Scheduling of Dataflow Real-Time Systems. RTSS 1985: 178-187

Aloysius K. Mok, Steve Ward: Distributed Broadcast Channel Access. Computer Networks 3: 327-335 (1979)