The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Aloysius K. Mok: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  101. Static-priority scheduling of multiframe tasks. [Citation Graph (, )][DBLP]


  102. A Schedulability Analysis of Deferrable Scheduling Using Patterns. [Citation Graph (, )][DBLP]


  103. Design and Development Methodology for Resilient Cyber-Physical Systems. [Citation Graph (, )][DBLP]


  104. Swarm Attacks against Network-Level Emulation/Analysis. [Citation Graph (, )][DBLP]


  105. WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control. [Citation Graph (, )][DBLP]


  106. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. [Citation Graph (, )][DBLP]


  107. Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network. [Citation Graph (, )][DBLP]


  108. Design of a Reliable Communication System for Grid-Style Traffic Light Networks. [Citation Graph (, )][DBLP]


  109. A Location-Determination Application in WirelessHART. [Citation Graph (, )][DBLP]


  110. Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. [Citation Graph (, )][DBLP]


  111. Implementation and Performance Evaluation of a Real-Time E-Brokerage System. [Citation Graph (, )][DBLP]


  112. Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. [Citation Graph (, )][DBLP]


  113. WI-HTest: testing suite for diagnosing wirelesshart devices and networks. [Citation Graph (, )][DBLP]


  114. A complete wirelessHART network. [Citation Graph (, )][DBLP]


  115. Collaborative Intrusion Prevention. [Citation Graph (, )][DBLP]


Search in 0.013secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002