UT Austin Real-Time Systems Group Publications

Here is a partial list of publications of the real-time systems group:

• Detecting Unknown Massive Mailing Viruses Using Proactive Methods, by R. Hu and A. K. Mok
  
  
• A Hybrid Proactive Approach for Integrating Off-line and On-line Real-Time Schedulers, by W. R. Wang, A. K. Mok and G. Fohler
  
  
• Pre-Scheduling: Balancing Between Static and Dynamic Schedulers, by Weirong Wang, Aloysius K. Mok, UTCS Technical Report RTS-TR-02-01.
  
  
• Formal Specification of Real-Time Systems, by Farnam Jahanian, Aloysius K. Mok and Douglas A. Stuart, UTCS Technical Report UTCS-TR-88-25.
  
  
• Compiling Modechart Specifications, by Carlos Puchol, Aloysius K. Mok and Douglas A. Stuart, in Proc. IEEE Real-Time Systems Syposium '95.
  
  
• A Methodology and Support Tools for Analysis of Real-Time Specifications, by Douglas A. Stuart, Aloysius K. Mok, Farnam Jahanian.
  
  
• A Solution to the Generalized Railroad Crossing Problem in Esterel, by Carlos Puchol, UTCS Technical Report UTCS-TR-95-05.
  
  
• Response-Time Bounds of Rule-Based Programs under Rule Priority Structure, by R. H. Wang and A.K. Mok, in Proc. IEEE Real-Time Systems Symposium 1994.
  
  
• The Integration of Control and Dataflow Structures in Distributed Hard Real-Time Systems, by Carlos Puchol and A. K. Mok. International Workshop on Parallel and Distributed Real-Time Systems, 1994.
  
  
• Deriving Response-Time Bounds for Equational Rule-Based Programs, by R. H. Wang and A. K. Mok, International Computer Symposium 1992.
  
  
• A Method for Verifying Properties of Modechart Specifications, by F. Jahanian and D. A. Stuart, RTSS88.
  
  
• Implementing a Verifier for Real-Time Systems, by D. A. Stuart.
  
  
• A Formal Method for Verifying Real-Time Properties of Modechart Specifications, by D. A. Stuart and F. Jahanian.
  
  
• Syntax for Modechart ASCII files, by Paul Clements.
  
  
• Modechart User's Guide, by Paul Clements et. al.