 | 2009 |
|---|
| 118 |       | 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 |
| 117 | | 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 |
| 116 | | 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 |
| 115 | | 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) |
| 114 | | 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 |
|---|
| 113 | | Song Han,
Deji Chen,
Ming Xiong,
Aloysius K. Mok:
A Schedulability Analysis of Deferrable Scheduling Using Patterns.
ECRTS 2008: 47-56 |
| 112 | | 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 |
| 111 | | 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 |
| 110 | | 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 |
| 109 | | Simon P. Chung,
Aloysius K. Mok:
Swarm Attacks against Network-Level Emulation/Analysis.
RAID 2008: 175-190 |
| 108 | | Jianping Song,
Song Han,
Xiuming Zhu,
Aloysius K. Mok,
Deji Chen,
Mark Nixon:
A complete wirelessHART network.
SenSys 2008: 381-382 |
| 107 | | 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 |
|---|
| 106 | | Simon P. Chung,
Aloysius K. Mok:
Advanced Allergy Attacks: Does a Corpus Really Help?
RAID 2007: 236-255 |
| 105 | | Honguk Woo,
Aloysius K. Mok:
Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity.
RTSS 2007: 288-300 |
| 104 | | Simon P. Chung,
Aloysius K. Mok:
Collaborative Intrusion Prevention.
WETICE 2007: 395-400 |
| 103 | | 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 |
|---|
| 102 | | Zhengting He,
Cheng Peng,
Aloysius K. Mok:
A Performance Estimation Tool for Video Applications.
IEEE Real Time Technology and Applications Symposium 2006: 267-276 |
| 101 | | Simon P. Chung,
Aloysius K. Mok:
The LAIDS/LIDS Framework for Systematic IPS Design.
IWIA 2006: 3-11 |
| 100 | | Simon P. Chung,
Aloysius K. Mok:
Allergy Attack Against Automatic Signature Generation.
RAID 2006: 61-80 |
| 99 | | Aloysius K. Mok,
Honguk Woo,
Chan-Gun Lee:
Probabilistic Timing Join over Uncertain Event Streams.
RTCSA 2006: 17-26 |
| 98 | | 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 |
| 97 | | Honguk Woo,
Aloysius K. Mok,
Chan-Gun Lee:
A Generic Framework for Monitoring Timing Constraints over Uncertain Events.
RTSS 2006: 435-444 |
| 2005 |
|---|
| 96 | | 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 |
| 95 | | Simon P. Chung,
Aloysius K. Mok:
On Random-Inspection-Based Intrusion Detection.
RAID 2005: 165-184 |
| 94 | | 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 |
| 93 | | Aloysius K. Mok,
Wing-Chi Poon:
Non-Preemptive Robustness under Reduced System Load.
RTSS 2005: 200-209 |
| 92 | | Ya-Shu Chen,
Li-Pin Chang,
Tei-Wei Kuo,
Aloysius K. Mok:
Real-time task scheduling anomaly: observations and prevention.
SAC 2005: 897-898 |
| 91 | | John A. Stankovic,
Insup Lee,
Aloysius K. Mok,
Raj Rajkumar:
Opportunities and Obligations for Physical Computing Systems.
IEEE Computer 38(11): 23-31 (2005) |
| 90 | | 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) |
| 89 | | Weirong Wang,
Aloysius K. Mok,
Gerhard Fohler:
Pre-Scheduling.
Real-Time Systems 30(1-2): 83-103 (2005) |
| 2004 |
|---|
| 88 | | Zhengting He,
Aloysius K. Mok:
Fast co-simulation of transformative systems with OS support on SMP computer.
CODES+ISSS 2004: 164-169 |
| 87 | | Weirong Wang,
Aloysius K. Mok,
Gerhard Fohler:
Generalized Pre-Scheduler.
ECRTS 2004: 127-134 |
| 86 |  | Deji Chen,
Aloysius K. Mok:
Scheduling Similarity-Constrained Real-Time Tasks.
ESA/VLSI 2004: 215-221 |
| 85 | | 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 |
| 84 | | Ruiqi Hu,
Aloysius K. Mok:
Detecting Unknown Massive Mailing Viruses Using Proactive Methods.
RAID 2004: 82-101 |
| 83 | | Weirong Wang,
Aloysius K. Mok,
Gerhard Fohler:
Pre-Scheduling on the Domain of Integers.
RTSS 2004: 68-77 |
| 82 | | 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) |
| 81 | | 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 |
|---|
| 80 | | Weirong Wang,
Aloysius K. Mok,
Gerhard Fohler:
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques.
EMSOFT 2003: 356-372 |
| 79 | | 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 |
| 78 | | Weijiang Yu,
Aloysius K. Mok:
Formal Specification and Verification of Resource Bound Security Using PVS.
ISSS 2003: 113-133 |
| 77 | | Weirong Wang,
Aloysius K. Mok:
On the Composition of Real-Time Schedulers.
RTCSA 2003: 18-37 |
| 76 | | Chan-Gun Lee,
Aloysius K. Mok,
Prabhudev Konana:
Monitoring of Timing Constraints with Confidence Threshold Requirements.
RTSS 2003: 178- |
| 75 | | Aloysius K. Mok:
Event-Based Real-Time Monitoring.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
| 74 | | Tei-Wei Kuo,
Aloysius K. Mok:
Schedulability and Performance Analysis of the Similarity Stack Protocol.
IEEE Trans. Computers 52(5): 658-669 (2003) |
| 2002 |
|---|
| 73 | | Weijiang Yu,
Aloysius K. Mok:
Enforcing Resource Bound Safety for Mobile SNMP Agents.
ACSAC 2002: 69-77 |
| 72 | | Aloysius K. Mok,
Alex Xiang Feng:
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems.
EMSOFT 2002: 182-196 |
| 71 | | Aloysius K. Mok,
Weijiang Yu:
TINMAN: A Resource Bound Security Checking System for Mobile Code.
ESORICS 2002: 178-193 |
| 70 | | 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 |
|---|
| 69 | | Aloysius K. Mok,
Alex Xiang Feng,
Deji Chen:
Resource Partition for Real-Time Systems.
IEEE Real Time Technology and Applications Symposium 2001: 75-84 |
| 68 | | 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 |
| 67 | | Aloysius K. Mok,
Weirong Wang:
Window-Constrained Real-Time Periodic Task Scheduling.
IEEE Real-Time Systems Symposium 2001: 15-24 |
| 66 | | 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 |
|---|
| 65 | | 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 |
| 64 | | 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 |
| 63 | | Aloysius K. Mok:
Tracking Real-Time Systems Requirements.
RTCSA 2000: 333- |
| 62 | | Tei-Wei Kuo,
Aloysius K. Mok:
Real-Time Data Semantics and Similarity-Based Concurrency Control.
IEEE Trans. Computers 49(11): 1241-1254 (2000) |
| 1999 |
|---|
| 61 | | Sanjoy K. Baruah,
Deji Chen,
Aloysius K. Mok:
Static-priority scheduling of multiframe tasks.
ECRTS 1999: 38-45 |
| 60 | | Deji Chen,
Aloysius K. Mok,
Mark Nixon:
Real-time Support in COM.
HICSS 1999 |
| 59 | | Guangtian Liu,
Aloysius K. Mok:
Implementation of JEM - A Java Composite Event Package.
IEEE Real Time Technology and Applications Symposium 1999: 68-78 |
| 58 | | Deji Chen,
Aloysius K. Mok:
SRDE-Application of Data Similarity to Process Control.
IEEE Real-Time Systems Symposium 1999: 136-145 |
| 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- |
| 48 | | Aloysius K. Mok,
Guangtian Liu:
Early detection of timing constraint violation at runtime.
IEEE Real-Time Systems Symposium 1997: 176- |
| 47 | | Sanjoy K. Baruah,
Deji Chen,
Aloysius K. Mok:
Jitter concerns in periodic task systems.
IEEE Real-Time Systems Symposium 1997: 68- |
| 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- |
| 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-33 |
| 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-171 |
| 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-277 |
| 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) |
