Aloysius K. Mok - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Reliable and Real-Time Communication in Industrial Wireless Mesh NetworksSong Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon. rtas 2011: 3-12 [doi]

2010

2009

An anomaly prevention approach for real-time task schedulingYa-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok. jss, 82(1):144-154, 2009. [doi]

Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART NetworkSong Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar. rtas 2009: 327-336 [doi]

Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time SystemsSong Han, Deji Chen, Ming Xiong, Aloysius K. Mok. rtss 2009: 115-124 [doi]

Online Timing Correlation of Streaming Data with Uncertain TimestampsChan-Gun Lee, Aloysius K. Mok, Prabhudev Konana. ieicet, 92-D(6):1260-1267, 2009. [doi]

A Location-Determination Application in WirelessHARTXiuming Zhu, Wei Dong, Aloysius K. Mok, Song Han, Jianping Song, Deji Chen, Mark Nixon. rtcsa 2009: 263-270 [doi]

2008

Swarm Attacks against Network-Level Emulation/AnalysisSimon P. Chung, Aloysius K. Mok. raid 2008: 175-190 [doi]

WI-HTest: testing suite for diagnosing wirelesshart devices and networksSong Han, Jianping Song, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon, Wally Pratt, Veena Gondhalekar. sensys 2008: 437-438 [doi]

A Schedulability Analysis of Deferrable Scheduling Using PatternsSong Han, Deji Chen, Ming Xiong, Aloysius K. Mok. ecrts 2008: 47-56 [doi]

WirelessHART: Applying Wireless Technology in Real-Time Industrial Process ControlJianping Song, Song Han, Aloysius K. Mok, Deji Chen, Mike Lucas, Mark Nixon, Wally Pratt. rtas 2008: 377-386 [doi]

A complete wirelessHART networkJianping Song, Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon. sensys 2008: 381-382 [doi]

Design and Development Methodology for Resilient Cyber-Physical SystemsHonguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella Atkins, Fei Xie. icdcsw 2008: 525-528 [doi]

Incorporating Resource Safety Verification to Executable Model-based Development for Embedded SystemsJianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee. rtas 2008: 137-146 [doi]

2007

2006

2005

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

Data Collection with Battery and Buffer Consideration in a Large Scale Sensor NetworkDeji Chen, Aloysius K. Mok, Jianliang Yi, Mark Nixon, Tom Aneweer, Rusty Shepard. rtcsa 2005: 281-284 [doi]

On Random-Inspection-Based Intrusion DetectionSimon P. Chung, Aloysius K. Mok. raid 2006: 165-184 [doi]

Timed RTOS Modeling for Embedded System DesignZhengting He, Aloysius K. Mok, Cheng Peng. rtas 2005: 448-457 [doi]

Non-Preemptive Robustness under Reduced System LoadAloysius K. Mok, Wing-Chi Poon. rtss 2005: 200-209 [doi]

A practical approach to deploy large scale wireless sensor networksMike Sheldon, Deji Chen, Mark Nixon, Aloysius K. Mok. mass 2005: [doi]

Opportunities and Obligations for Physical Computing SystemsJohn A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar. Computer, 38(11):23-31, 2005. [doi]

Pre-SchedulingWeirong Wang, Aloysius K. Mok, Gerhard Fohler. rts, 30(1-2):83-103, 2005. [doi]

A class-based approach to the composition of real-time software componentsWeirong Wang, Aloysius K. Mok. jec, 1(1):3-15, 2005. [doi]

2004

Scheduling Similarity-Constrained Real-Time TasksDeji Chen, Aloysius K. Mok. csreaESA 2004: 215-221

Real-Time Tasks with Data OutputDeji Chen, Aloysius K. Mok, Mark Nixon, Rusty Shepard. rtas 2004: 442-449 [doi]

Fast co-simulation of transformative systems with OS support on SMP computerZhengting He, Aloysius K. Mok. codes 2004: 164-169 [doi]

Detecting Unknown Massive Mailing Viruses Using Proactive MethodsRuiqi Hu, Aloysius K. Mok. raid 2004: 82-101 [doi]

Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic BrokeragesAloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo. TSE, 30(12):841-858, 2004. [doi]

Real Time Scheduling Theory: A Historical PerspectiveLui 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. rts, 28(2-3):101-155, 2004. [doi]

Generalized Pre-SchedulerWeirong Wang, Aloysius K. Mok, Gerhard Fohler. ecrts 2004: 127-134 [doi]

Pre-Scheduling on the Domain of IntegersWeirong Wang, Aloysius K. Mok, Gerhard Fohler. rtss 2004: 68-77 [doi]

2003

Schedulability and Performance Analysis of the Similarity Stack ProtocolTei-Wei Kuo, Aloysius K. Mok. TC, 52(5):658-669, 2003. [doi]

Monitoring of Timing Constraints with Confidence Threshold RequirementsChan-Gun Lee, Aloysius K. Mok, Prabhudev Konana. rtss 2003: 178 [doi]

An Integrated Approach for Applying Dynamic Voltage Scaling to Hard Real-Time SystemsYanbin Liu, Aloysius K. Mok. rtas 2003: 116-123 [doi]

Event-Based Real-Time MonitoringAloysius K. Mok. ENTCS, 89(2), 2003. [doi]

Pre-Scheduling: Integrating Offline and Online Scheduling TechniquesWeirong Wang, Aloysius K. Mok, Gerhard Fohler. emsoft 2003: 356-372 [doi]

On the Composition of Real-Time SchedulersWeirong Wang, Aloysius K. Mok. rtcsa 2004: 18-37 [doi]

Formal Specification and Verification of Resource Bound Security Using PVSWeijiang Yu, Aloysius K. Mok. isss2 2004: 113-133 [doi]

2002

2001

2000

1999

1998

A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database SystemsGuangtian Liu, Aloysius K. Mok, Prabhudev Konana. rtas 1998: 199 [doi]

Integrated Design Tools for Hard Real-Time SystemsCarlos Puchol, Aloysius K. Mok. rtss 1998: 368-378 [doi]

1997

Jitter concerns in periodic task systemsSanjoy K. Baruah, Deji Chen, Aloysius K. Mok. rtss 1997: 68 [doi]

Design of a Real-Time SQL Engine in the Distributed EnvironmentDeji Chen, Aloysius K. Mok. artdb 1998: 27-38 [doi]

Similarity-based load adjustment for real-time data-intensive applicationsShao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok. rtss 1997: 144 [doi]

Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time SystemsTei-Wei Kuo, Aloysius K. Mok. TC, 46(12):1313-1324, 1997.

Panel Session: Predictability in Active Real-Time/Temporal DatabasesAloysius K. Mok, John A. Stankovic, Özgür Ulusoy, Jörgen Hansson, Kam-yiu Lam, Kwei-Jay Lin. artdb 1998: 231-237 [doi]

Early detection of timing constraint violation at runtimeAloysius K. Mok, Guangtian Liu. rtss 1997: 176 [doi]

Efficient Run-Time Monitoring of Timing ConstraintsAloysius K. Mok, Guangtian Liu. rtas 1997: 252 [doi]

A Multiframe Model for Real-Time TasksAloysius K. Mok, Deji Chen. TSE, 23(10):635-645, 1997. [doi]

Symboloc Model Checking for Event-Driven Real-Time SystemsJin Yang, Aloysius K. Mok, Farn Wang. TOPLAS, 19(2):386-412, 1997. [doi]

1996

On Modeling Real-Time Task SystemsDeji Chen, Aloysius K. Mok, Sanjoy K. Baruah. eef 1998: 153-169

Real-Time Database - Similarity Semantics and Resource SchedulingTei-Wei Kuo, Aloysius K. Mok. SIGMOD, 25(1):18-22, 1996. [doi]

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

Realizing EQL Programs for Bounded-Time ExecutionAloysius K. Mok, Rwo-Hsi Wang, Chih-Kan Wang. jsi, 6(1/2):73-92, 1996.

A multiframe model for real-time tasksAloysius K. Mok, Deji Chen. rtss 1996: 22 [doi]

The MSP.RTL real-time scheduler synthesis toolAloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij. rtss 1996: 118-128 [doi]

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

A Methodology and Support Tools for Analysis of Real-Time SpecificationsDouglas A. Stuart, Aloysius K. Mok, Farnam Jahanian. ijseke, 6(3):401-426, 1996. [doi]

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

1995

1994

1993

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

PreviousNext