Selected Papers Published by the TimeWare Project Group

Topics Covered:

Categories:

Real-Time Systems

Specification and Automated Analysis

Multimedia Systems

If you have any questions about this research, or problems downloading papers, please contact Richard Gerber.

Click here to see the abstracts.

Real-Time Systems

• Parametric Design Synthesis of Distributed Embedded Systems.
  

  Dong-In Kang, Richard Gerber and Manas Saksena.
  

  Technical Report CS-TR-3885, UMIACS-TR-98-18.
  Department of Computer Science, University of Maryland.
  College Park, March 1998.
  

  Note: A previous report on this work was reported in "Performance-Based Design of Distributed Real-Time Systems," in the Proceedings of IEEE Real-Time Technology and Applications Symposium, June 1997.
  

• Performance-Based Design of Distributed Real-Time Systems.
  

  Dong-In Kang, Richard Gerber and Manas Saksena.
  

  IEEE Real-time Technology and Applications Symposium (RTAS) '97.
  Montreal, June 1997.
  

  Best Student Paper Award (Dong-in Kang)
  

  Also in Technical Report CS-TR-3769, UMIACS-TR-97-29.
  Department of Computer Science, University of Maryland.
  College Park, March 1997.
  

• End-to-End Design of Real-Time Systems.
  

  Richard Gerber, Seongsoo Hong, Dong-in Kang and Manas Saksena.
  

  In Formal Methods in Real-Time Computing, D. Mandrioli and C. Heitmeyer, editors, John Wiley & Sons, 1996. Also in UMD Technical Report CS-TR-3476, UMIACS TR 95-61, May 1995.
  

• Slicing Real-Time Programs for Enhanced Schedulability.
  

  R. Gerber and S. Hong.
  

  ACM Transactions on Programming Languages and Systems, May 1997. Also in UMD Technical Report CS-TR-3477, UMIACS TR 95-62, May 1995.
  

• Guaranteeing Real-Time Requirements with Resource-Based Calibration of Periodic Processes.
  

  R. Gerber, S. Hong and M. Saksena.
  

  IEEE Transactions on Software Engineering 21(7), July 1995.
  

• Languages and Tools for Real-time Systems: Problems, Solutions and Opportunities.
  

  R. Gerber
  

  Presented at ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, June 1994. Also published as University of Maryland Technical Report CS-TR-3362, UMIACS-TR-94-117, October 1994.
  

• Compiling Real-Time Programs with Timing Constraint Refinement and Structural Code Motion.
  

  R. Gerber and S. Hong.
  

  IEEE Transactions on Software Engineering, May 1995. Also as UMD CS-TR-3323, UMIACS-TR-94-90, July 1994.
  

• Compiler-Assisted Scheduling for Real-Time Applications: A Static Alternative to Low-Level Tuning.
  

  S. Hong
  

  Ph.D. Dissertation. Also available as UMD CS-TR-3436, UMIACS-TR-95-33, December 1994.
  

• Parametric Scheduling for Hard Real-Time Systems.
  

  M. Saksena
  

  Ph.D. Dissertation. Also available as UMD CS-TR-3321, UMIACS-TR-94-88, July 1994.
  

• Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes.
  

  R. Gerber, S. Hong and M. Saksena.
  

  In 1994 IEEE Real-Time Systems Symposium, December 1994, and in UMD CS-TR-3274, UMIACS-TR-94-58, May 1994. The extended version of this paper appeared in IEEE Transactions on Software Engineering.
  

• Compiler Support for Real-Time Programs.
  

  R. Gerber and S. Hong.
  

  Principles of Real-Time Systems, edited by Sang H. Son, Prentice-Hall, 1994. Also available as UMD CS-TR-3217, UMIACS-TR-94-15, January 1994.
  

• Semantics-Based Compiler Transformations for Enhanced Schedulability.
  

  R. Gerber and S. Hong.
  

  In 1993 IEEE Real-Time Systems Symposium, December 1993. Also available as UMD CS-TR-3071, UMIACS-TR-93-37, May 1993.
  

• Compiling Real-Time Programs into Schedulable Code.
  

  S. Hong and R. Gerber.
  

  In SIGPLAN Programming Language Design and Implementation, June 1993. Also available as UMD CS-TR-3001, UMIACS-TR-92-127.
  

• Scheduling with Relative Timing Constraints.
  

  M. Saksena, R. Gerber and A. Agrawala.
  

  In IEEE Workshop on Real-Time Operating Systems and Software, May 1993.
  

• Scheduling with Compiler Transformations: The TCEL Approach.
  

  S. Hong and R. Gerber.
  

  In IEEE Workshop on Real-Time Operating Systems and Software, May 1993.
  

• Parametric Dispatching for Hard Real-Time Systems.
  

  R. Gerber, W. Pugh and M. Saksena.
  

  IEEE Transactions on Computers, 44(3), March 1995. Also available as UMD CS-TR-2985, UMIACS TR-92-118.

Specification and Automated Analysis

• Composite Model Checking with Type Specific Symbolic Encodings.
  

  Tevfik Bultan and Richard Gerber.
  

  Technical Report CS-TR-3871, UMIACS-TR-98-08.
  Department of Computer Science,
  

  University of Maryland, College Park, February 1998.
  

• Model Checking Concurrent Systems with Unbounded Integer Variables: Symbolic Representations, Approximations and Experimental Results.
  

  Tevfik Bultan, Richard Gerber and William Pugh.
  

  Technical Report CS-TR-3870, UMIACS-TR-98-07.
  Department of Computer Science.
  University of Maryland, College Park, February 1998.
  

• Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.
  

  Tevfik Butan, Richard Gerber and Christopher League.
  

  ACM SIGSOFT International Symposium on Software Testing and Analysis, March 1998. Also in Technical Report CS-TR-3822, UMIACS-TR-97-62. Department of Computer Science, University of Maryland, College Park, August 1997.
  

• Symbolic Model Checking of Infinite State Programs Using Presburger Arithmetic.
  

  Tevfik Bultan, Richard Gerber, and William Pugh.
  

  Conference on Computer-Aided Verification (CAV 97), Haifa, Israel, June 1997. Also in Technical Report CS-TR-3687, UMIACS-TR-96-66, Department of Computer Science, University of Maryland, College Park, September 1996.
  

• Compositional Verification by Model Checking for Counter-Examples.
  

  Tevfik Bultan, Jeffrey Fischer, Richard Gerber.
  

  ACM SIGSOFT International Symposium on Software Testing and Analysis, January 1996. Also in UMD Technical Report CS-TR-3541, UMIACS-TR-95-98, October 1995.
  

• Compositional Verification by Model Checking for Counter-Examples.
  

  Jeffrey Fischer
  

  Ph.D. Dissertation, Department of Computer Science, University of Maryland, June 1996.
  

• Compositional Model Checking of Ada Tasking Programs.
  

  J. Fischer and R. Gerber.
  

  In 9th Annual IEEE Conference on Computer Assurance. Also available as UMD CS-TR-3225, UMIACS-TR-94-19, January 1994.
  

• A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems.
  

  I. Lee, P. Bremond-Gregoire and R. Gerber.
  

  In Proceedings of the IEEE, January 1994.
  

• A Resource-Based Prioritized Bisimulation for Real-Time Systems.
  

  R. Gerber and I. Lee.
  

  Information and Computation, 113(1):102-142, August 1994. Also available as UMD CS-TR-2984, UMIACS-TR-92-117.
  

• A Layered Approach to Automating the Verification of Real-Time Systems.
  

  R. Gerber and I. Lee.
  

  IEEE Transactions on Software Engineering 18(9), September 1992.
  

Multimedia Systems

• Multi-Platform Simulation of Video Playout Performance.
  

  Ladan Gharai and Richard Gerber.
  

  Multimedia Computing and Networking 1998 (MMCN98). Also in Technical Report CS-TR-3749, Department of Computer Science, University of Maryland, College Park, January 1997.
  

  To preview slides from MMCN Talk, click here.
  

• Experiments with Digital Video Playback.
  

  Richard Gerber and Ladan Gharai
  

  In ACM Sigmetrics '96. Also in UMD Technical Report CS-TR-3551, UMIACS TR 95-103, October 1995.

Web Accessibility