Aloysius K. Mok

	2012
131		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
130		Wing-Chi Poon, Aloysius K. Mok: Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture. HICSS 2012: 5604-5612
129		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
128		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)
	2011
127		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
126		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
125		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
124		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
123		Wing-Chi Poon, Aloysius K. Mok: Necessary and Sufficient Conditions for Non-preemptive Robustness. RTCSA 2010: 349-354
122		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
	2009
121		Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok: Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. IEEE Real-Time Systems Symposium 2009: 115-124
120		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
119		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
118		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)
117		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)
	2008
116		Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok: A Schedulability Analysis of Deferrable Scheduling Using Patterns. ECRTS 2008: 47-56
115		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
114		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
113		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
112		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
111		Simon P. Chung, Aloysius K. Mok: Swarm Attacks against Network-Level Emulation/Analysis. RAID 2008: 175-190
110		Jianping Song, Song Han, Xiuming Zhu, Aloysius K. Mok, Deji Chen, Mark Nixon: A complete wirelessHART network. SenSys 2008: 381-382
109		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
108		Simon P. Chung, Aloysius K. Mok: Advanced Allergy Attacks: Does a Corpus Really Help? RAID 2007: 236-255
107		Honguk Woo, Aloysius K. Mok: Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. RTSS 2007: 288-300
106		Simon P. Chung, Aloysius K. Mok: Collaborative Intrusion Prevention. WETICE 2007: 395-400
105		Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana: Monitoring of Timing Constraints with Confidence Threshold Requirements. IEEE Trans. Computers 56(7): 977-991 (2007)
	2006
104		Zhengting He, Cheng Peng, Aloysius K. Mok: A Performance Estimation Tool for Video Applications. IEEE Real Time Technology and Applications Symposium 2006: 267-276
103		Simon P. Chung, Aloysius K. Mok: The LAIDS/LIDS Framework for Systematic IPS Design. IWIA 2006: 3-11
102		Simon P. Chung, Aloysius K. Mok: Allergy Attack Against Automatic Signature Generation. RAID 2006: 61-80
101		Aloysius K. Mok, Honguk Woo, Chan-Gun Lee: Probabilistic Timing Join over Uncertain Event Streams. RTCSA 2006: 17-26
100		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
99		Honguk Woo, Aloysius K. Mok, Chan-Gun Lee: A Generic Framework for Monitoring Timing Constraints over Uncertain Events. RTSS 2006: 435-444
	2005
98		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
97		Mike Sheldon, Deji Chen, Mark Nixon, Aloysius K. Mok: A practical approach to deploy large scale wireless sensor networks. MASS 2005
96		Simon P. Chung, Aloysius K. Mok: On Random-Inspection-Based Intrusion Detection. RAID 2005: 165-184
95		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
94		Aloysius K. Mok, Wing-Chi Poon: Non-Preemptive Robustness under Reduced System Load. RTSS 2005: 200-209
93		Ya-Shu Chen, Li-Pin Chang, Tei-Wei Kuo, Aloysius K. Mok: Real-time task scheduling anomaly: observations and prevention. SAC 2005: 897-898
92		John A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar: Opportunities and Obligations for Physical Computing Systems. IEEE Computer 38(11): 23-31 (2005)
91		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)
90		Weirong Wang, Aloysius K. Mok, Gerhard Fohler: Pre-Scheduling. Real-Time Systems 30(1-2): 83-103 (2005)
	2004
89		Zhengting He, Aloysius K. Mok: Fast co-simulation of transformative systems with OS support on SMP computer. CODES+ISSS 2004: 164-169
88		Weirong Wang, Aloysius K. Mok, Gerhard Fohler: Generalized Pre-Scheduler. ECRTS 2004: 127-134
87		Deji Chen, Aloysius K. Mok: Scheduling Similarity-Constrained Real-Time Tasks. ESA/VLSI 2004: 215-221
86		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
85		Ruiqi Hu, Aloysius K. Mok: Detecting Unknown Massive Mailing Viruses Using Proactive Methods. RAID 2004: 82-101
84		Weirong Wang, Aloysius K. Mok, Gerhard Fohler: Pre-Scheduling on the Domain of Integers. RTSS 2004: 68-77
83		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)
82		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)
	2003
81		Weirong Wang, Aloysius K. Mok, Gerhard Fohler: Pre-Scheduling: Integrating Offline and Online Scheduling Techniques. EMSOFT 2003: 356-372
80		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
79		Weijiang Yu, Aloysius K. Mok: Formal Specification and Verification of Resource Bound Security Using PVS. ISSS 2003: 113-133
78		Weirong Wang, Aloysius K. Mok: On the Composition of Real-Time Schedulers. RTCSA 2003: 18-37
77		Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana: Monitoring of Timing Constraints with Confidence Threshold Requirements. RTSS 2003: 178-187
76		Aloysius K. Mok: Event-Based Real-Time Monitoring. Electr. Notes Theor. Comput. Sci. 89(2): 1 (2003)
75		Tei-Wei Kuo, Aloysius K. Mok: Schedulability and Performance Analysis of the Similarity Stack Protocol. IEEE Trans. Computers 52(5): 658-669 (2003)
	2002
74		Weijiang Yu, Aloysius K. Mok: Enforcing Resource Bound Safety for Mobile SNMP Agents. ACSAC 2002: 69-77
73		Aloysius K. Mok, Alex Xiang Feng: Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. EMSOFT 2002: 182-196
72		Aloysius K. Mok, Weijiang Yu: TINMAN: A Resource Bound Security Checking System for Mobile Code. ESORICS 2002: 178-193
71		Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Prabhudev Konana: The Monitoring of Timing Constraints on Time Intervals. IEEE Real-Time Systems Symposium 2002: 191-200
	2001
70		Aloysius K. Mok, Alex Xiang Feng, Deji Chen: Resource Partition for Real-Time Systems. IEEE Real Time Technology and Applications Symposium 2001: 75-84
69		Aloysius K. Mok, Alex Xiang Feng: Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds. IEEE Real-Time Systems Symposium 2001: 129-138
68		Aloysius K. Mok, Weirong Wang: Window-Constrained Real-Time Periodic Task Scheduling. IEEE Real-Time Systems Symposium 2001: 15-24
67		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)
	2000
66		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
65		Prabhudev Konana, Aloysius K. Mok, Chan-Gun Lee, Honguk Woo, Guangtian Liu: Implementation and Performance Evaluation of a Real-Time E-Brokerage System. IEEE Real-Time Systems Symposium 2000: 109-118
64		Aloysius K. Mok: Tracking Real-Time Systems Requirements. RTCSA 2000: 333-
63		Tei-Wei Kuo, Aloysius K. Mok: Real-Time Data Semantics and Similarity-Based Concurrency Control. IEEE Trans. Computers 49(11): 1241-1254 (2000)
	1999
62		Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok: Static-priority scheduling of multiframe tasks. ECRTS 1999: 38-45
61		Deji Chen, Aloysius K. Mok, Mark Nixon: Real-time Support in COM. HICSS 1999
60		Guangtian Liu, Aloysius K. Mok: Implementation of JEM - A Java Composite Event Package. IEEE Real Time Technology and Applications Symposium 1999: 68-78
59		Deji Chen, Aloysius K. Mok: SRDE-Application of Data Similarity to Process Control. IEEE Real-Time Systems Symposium 1999: 136-145
58		Guangtian Liu, Aloysius K. Mok, Eric J. Yang: Composite Events for Network Event Correlation. Integrated Network Management 1999: 247-260
57		Deji Chen, Aloysius K. Mok, Tei-Wei Kuo: Utilization Bound Re-visited . RTCSA 1999: 295-302
56		M. Beck, Prabhudev Konana, Guangtian Liu, Yanbin Liu, Aloysius K. Mok: Active and Real-Time Functionalities for Electronic Brokerage Design. WECWIS 1999: 30-35
55		Sanjoy K. Baruah, Deji Chen, Sergey Gorinsky, Aloysius K. Mok: Generalized Multiframe Tasks. Real-Time Systems 17(1): 5-22 (1999)
	1998
54		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-
53		Carlos Puchol, Aloysius K. Mok: Integrated Design Tools for Hard Real-Time Systems. IEEE Real-Time Systems Symposium 1998: 368-378
	1997
52		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
51		Deji Chen, Aloysius K. Mok: Design of a Real-Time SQL Engine in the Distributed Environment. ARTDB 1997: 27-38
50		Aloysius K. Mok, Guangtian Liu: Efficient Run-Time Monitoring of Timing Constraints. IEEE Real Time Technology and Applications Symposium 1997: 252-
49		Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok: Similarity-based load adjustment for real-time data-intensive applications. IEEE Real-Time Systems Symposium 1997: 144-153
48		Aloysius K. Mok, Guangtian Liu: Early detection of timing constraint violation at runtime. IEEE Real-Time Systems Symposium 1997: 176-185
47		Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok: Jitter concerns in periodic task systems. IEEE Real-Time Systems Symposium 1997: 68-77
46		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)
45		Tei-Wei Kuo, Aloysius K. Mok: Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems. IEEE Trans. Computers 46(12): 1313-1324 (1997)
44		Aloysius K. Mok, Deji Chen: A Multiframe Model for Real-Time Tasks. IEEE Trans. Software Eng. 23(10): 635-645 (1997)
	1996
43		Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah: On Modeling Real-Time Task Systems. European Educational Forum: School on Embedded Systems 1996: 153-169
42		Rwo-Hsi Wang, Aloysius K. Mok: Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs. ICDCS 1996: 47-54
41		Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij: The MSP.RTL real-time scheduler synthesis tool. IEEE Real-Time Systems Symposium 1996: 118-128
40		Aloysius K. Mok, Deji Chen: A multiframe model for real-time tasks. IEEE Real-Time Systems Symposium 1996: 22-29
39		Aloysius K. Mok: Firm Real-Time Systems. ACM Comput. Surv. 28(4es): 185 (1996)
38		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)
37		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)
36		Ismael Ripoll, Alfons Crespo, Aloysius K. Mok: Improvement in Feasibility Testing for Real-Time Tasks. Real-Time Systems 11(1): 19-39 (1996)
35		Tei-Wei Kuo, Aloysius K. Mok: Real-Time Database - Similarity Semantics and Resource Scheduling. SIGMOD Record 25(1): 18-22 (1996)
	1995
34		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
33		Jin Yang, Aloysius K. Mok, Douglas A. Stuart: A new generation modechart verifie. IEEE Real Time Technology and Applications Symposium 1995: 116-125
32		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
31		Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart: Compiling Modechart Specifications. IEEE Real-Time Systems Symposium 1995: 256-265
30		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)
	1994
29		Aloysius K. Mok: What Really is Rapid Prototyping for Real-Time System? (Abstract). ACM Conference on Computer Science 1994: 409
28		Farn Wang, Aloysius K. Mok: RTL and Refutation by Positive Cycles. FME 1994: 659-680
27		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
26		Rwo-Hsi Wang, Aloysius K. Mok: Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure. IEEE Real-Time Systems Symposium 1994: 142-151
25		Farnam Jahanian, Aloysius K. Mok: Modechart: A Specification Language for Real-Time Systems. IEEE Trans. Software Eng. 20(12): 933-947 (1994)
	1993
24		Farn Wang, Aloysius K. Mok, E. Allen Emerson: Symbolic Model Checking for Distributed Real-Time Systems. FME 1993: 632-651
23		Jin Yang, Aloysius K. Mok, Farn Wang: Symbolic Model Checking for Event-Driven Real-Time Systems. IEEE Real-Time Systems Symposium 1993: 23-32
22		Tei-Wei Kuo, Aloysius K. Mok: SSP: A Semantics-Based Protocol for Real-Time Data Access. IEEE Real-Time Systems Symposium 1993: 76-86
21		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)
20		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)
19		Chih-Kan Wang, Aloysius K. Mok: Timing Analysis of MRL: A Real-Time Rule-Based System. Real-Time Systems 5(1): 89-128 (1993)
	1992
18		Farn Wang, Aloysius K. Mok, E. Allen Emerson: Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL. ICSE 1992: 188-198
17		Tei-Wei Kuo, Aloysius K. Mok: Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. IEEE Real-Time Systems Symposium 1992: 35-45
16		E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. Real-Time Systems 4(4): 331-352 (1992)
	1991
15		Tei-Wei Kuo, Aloysius K. Mok: Load Adjustment in Adaptive Real-Time Systems. IEEE Real-Time Systems Symposium 1991: 160-170
14		Aloysius K. Mok: Coping with Implementation Dependencies in Real-Time System Verification. REX Workshop 1991: 485-501
	1990
13		E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. CAV 1990: 136-145
12		Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier: Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. IEEE Real-Time Systems Symposium 1990: 182-190
11		C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng: MRL: A Real-Time Rule-Based Production System. IEEE Real-Time Systems Symposium 1990: 267-276
	1989
10		Aloysius K. Mok: Formal Analysis of Real-Time Equational Rule-Based Systems. IEEE Real-Time Systems Symposium 1989: 308-318
9		Michael L. Dertouzos, Aloysius K. Mok: Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks. IEEE Trans. Software Eng. 15(12): 1497-1506 (1989)
	1987
8		Aloysius K. Mok, Prasanna Amerasinghe, Moyer Chen, Supoj Sutanthavibul, Kamtorn Tantisirivat: Synthesis of a Real-Time Message Processing System with Data-Driven Timing Constraints. IEEE Real-Time Systems Symposium 1987: 133-143
7		Farnam Jahanian, Aloysius K. Mok: A Graph-Theoretic Approach for Timing Analysis and its Implementation. IEEE Trans. Computers 36(8): 961-975 (1987)
	1986
6		Farnam Jahanian, Aloysius K. Mok: A Graph-Theoretic Approach for Timing Analysis in Real Time Logic. IEEE Real-Time Systems Symposium 1986: 98-108
5		Farnam Jahanian, Aloysius K. Mok: Safety Analysis of Timing Properties in Real-Time Systems. IEEE Trans. Software Eng. 12(9): 890-904 (1986)
	1985
4		Aloysius K. Mok: A Graph-Based Computation Model for Real-Time Systems. ICPP 1985: 619-623
3		Aloysius K. Mok, Supoj Sutanthavibul: Modeling and Scheduling of Dataflow Real-Time Systems. IEEE Real-Time Systems Symposium 1985: 178-187
2		Aloysius K. Mok: The von Neumann straitjacket- the process construct. ISPW 1985: 114-119
	1979
1		Aloysius K. Mok, Steve Ward: Distributed Broadcast Channel Access. Computer Networks 3: 327-335 (1979)

Coauthor Index

1	Tarek F. Abdelzaher	[82]
2	Prasanna Amerasinghe	[8]
3	Tom Aneweer	[95]
4	Karl-Erik Årzén	[82]
5	Ella Atkins	[114] [115]
6	Theodore P. Baker (Ted Baker)	[82]
7	Sanjoy K. Baruah	[12] [43] [47] [55] [62] [66]
8	Roberto J. Bayardo (Roberto J. Bayardo Jr.)	[27]
9	M. Beck	[56]
10	Madhur Behl	[125]
11	Monica Brockmeyer	[67]
12	James C. Browne	[20] [27] [114] [115]
13	Alan Burns	[82]
14	Giorgio C. Buttazzo	[82]
15	Marco Caccamo	[82]
16	Anton Cervin	[82]
17	Edward Chan	[112]
18	Li-Pin Chang	[93] [117]
19	Deji Chen	[40] [43] [44] [47] [51] [55] [57] [59] [61] [62] [66] [70] [86] [87] [95] [97] [100] [109] [110] [113] [116] [119] [120] [121] [122] [126] [129]
20	Guihai Chen	[112]
21	Moyer Chen	[8]
22	Ya-Shu Chen	[93] [117]
23	Albert Mo Kim Cheng (Albert M. K. Cheng)	[11] [20]
24	Sarah E. Chodrow	[27]
25	Simon P. Chung	[96] [102] [103] [106] [108] [111]
26	Alfons Crespo (Alfons Crespo i Lorente)	[36]
27	Michael L. Dertouzos	[9]
28	Wei Dong	[119]
29	E. Allen Emerson	[13] [16] [18] [21] [24] [27]
30	Alex Xiang Feng	[69] [70] [73]
31	Gerhard Fohler	[81] [84] [88] [90]
32	David Gadbois	[27]
33	Veena Gondhalekar	[109] [120] [122]
34	Sergey Gorinsky	[55]
35	Mohamed G. Gouda	[27]
36	F. Furman Haddix	[27]
37	Song Han	[109] [110] [112] [113] [116] [119] [120] [121] [122] [124] [126] [127] [128] [129] [131]
38	Jörgen Hansson	[52]
39	Zhengting He	[89] [98] [104]
40	Constance L. Heitmeyer (Connie Heitmeyer)	[34]
41	Thomas W. Hetherington	[27]
42	Shao-Juen Ho	[49]
43	Ruiqi Hu	[85]
44	Pei-Chi Huang	[125] [129]
45	Farnam Jahanian	[5] [6] [7] [25] [38] [67]
46	Kevin Jeffay	[34]
47	Michael B. Jones	[34]
48	Prabhudev Konana	[54] [56] [65] [71] [77] [83] [105] [118]
49	Tei-Wei Kuo	[15] [17] [22] [32] [35] [45] [49] [57] [63] [75] [93] [117]
50	Kam-yiu Lam	[52] [127] [128] [131]
51	Chan-Gun Lee	[65] [71] [77] [83] [99] [101] [105] [114] [118]
52	Insup Lee	[92]
53	Junghoon Lee	[124]
54	John P. Lehoczky	[82]
55	Hongxing Li	[112]
56	Zheng Li	[125]
57	Kwei-Jay Lin	[52]
58	Guangtian Liu	[48] [50] [54] [56] [58] [60] [65] [83]
59	Yanbin Liu	[56] [80]
60	C. Douglas Locke	[34]
61	Mike Lucas	[113]
62	Rahul Mangharam	[125]
63	Daniel P. Miranker (Dan Miranker)	[27]
64	Truong Nghiem	[125]
65	Mark Nixon	[61] [86] [95] [97] [100] [109] [110] [113] [119] [120] [122] [126] [129]
66	Lance Obermeyer	[27]
67	George J. Pappas	[125]
68	Cheng Peng	[98] [104]
69	Wing-Chi Poon	[94] [123] [130]
70	Wally Pratt	[109] [113] [120] [122]
71	Carlos Puchol	[31] [53]
72	Ragunathan Rajkumar (Raj Rajkumar)	[34] [92]
73	Ismael Ripoll	[36]
74	Ruud C. M. de Rooij	[41]
75	Louis E. Rosier	[12]
76	Lui Sha	[82]
77	Mike Sheldon	[97]
78	Rusty Shepard	[86] [95]
79	A. Prasad Sistla	[13] [16]
80	Sang Hyuk Son	[131]
81	Jianping Song	[100] [109] [110] [113] [119] [120] [122]
82	Jai Srinivasan	[13] [16]
83	John A. Stankovic (Jack A. Stankovic)	[52] [92]
84	Douglas A. Stuart	[31] [33] [38] [67]
85	Supoj Sutanthavibul	[3] [8]
86	Kamtorn Tantisirivat	[8]
87	Duu-Chung Tsou	[27] [41]
88	Özgür Ulusoy	[52]
89	C.-K. Wang	[11]
90	Chih-Kan Wang	[19] [27] [37]
91	Farn Wang	[18] [21] [23] [24] [28] [46]
92	Jiantao Wang	[127] [128] [131]
93	Rwo-Hsi Wang	[20] [26] [27] [30] [37] [42]
94	Weirong Wang	[68] [78] [81] [84] [88] [90] [91]
95	Steve Ward	[1]
96	Honguk Woo	[65] [71] [83] [99] [101] [107] [114] [115]
97	Fei Xie	[114] [115]
98	Ming Xiong	[116] [121]
99	Eric J. Yang	[58]
100	Jin Yang	[23] [33] [46]
101	Jianliang Yi	[95] [114] [115]
102	Weijiang Yu	[72] [74] [79]
103	Zifei Zhong	[112]
104	Xiuming Zhu	[109] [110] [119] [120] [122] [126] [129]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page