Aloysius K. Mok Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)