Communicating Shared Resources: A Model for Distributed Real-Time Systems. - Richard Gerber 001; Insup Lee 001 (RTSS, 1989)

CCSR: A Calculus for Communicating Shared Resources. - Richard Gerber 001; Insup Lee 001 (CONCUR, 1990)

A Proof System for Communicating Shared Resources. - Richard Gerber 001; Insup Lee 001 (RTSS, 1990)

Specification and Analysis of Resource-Bound Real-Time Systems. - Richard Gerber 001; Insup Lee 001 (REX Workshop, 1991)

Implementing a Real-Time Process Algebra in HOL. - Richard Gerber 001; Elsa L. Gunter; Insup Lee 001 (TPHOLs, 1991)

A Layered Approach to Automating the Verification of Real-Time Systems. - Richard Gerber 001; Insup Lee 001 (IEEE Trans. Software Eng., 1992)

ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. - Patrice Brémond-Grégoire; Insup Lee 001; Richard Gerber 001 (CONCUR, 1993)

Compiling Real-Time Programs into Schedulable Code. - Seongsoo Hong; Richard Gerber 001 (PLDI, 1993)

Semantics-based compiler transformations for enhanced schedulability. - Richard Gerber 001; Seongsoo Hong (RTSS, 1993)

Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. - Richard Gerber 001; Seongsoo Hong; Manas Saksena (RTSS, 1994)

A process algebraic approach to the specification and analysis of resource-bound real-time systems. - Insup Lee 001; Patrice Brémond-Grégoire; Richard Gerber 001 (Proc. IEEE, 1994)

ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop). - Azer Bestavros; Richard Gerber 001; Stephen P. Masticola (ACM SIGPLAN Notices, 1994)

A Resource-Based Prioritized Bisimulation for Real-Time Systems - Richard Gerber 001; Insup Lee 001 (Inf. Comput., 1994)

Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel). - Richard Gerber 001; Steven W. K. Tjiang; David B. Whalley; David N. Wilner; Michael Wolfe (Workshop on Languages, Compilers, & Tools for Real-Time Systems, 1995)

Parametric Dispatching of Hard Real-Time Tasks. - Richard Gerber 001; William W. Pugh; Manas Saksena (IEEE Trans. Computers, 1995)

Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion. - Richard Gerber 001; Seongsoo Hong (IEEE Trans. Software Eng., 1995)

Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes. - Richard Gerber 001; Seongsoo Hong; Manas Saksena (IEEE Trans. Software Eng., 1995)

Compositional Verification by Model Checking for Counter-Examples. - Tevfik Bultan; Jeffrey Fischer; Richard Gerber 001 (ISSTA, 1996)

Experiments with Digital Video Playback. - Richard Gerber 001; Ladan Gharai (SIGMETRICS, 1996)

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. - Tevfik Bultan; Richard Gerber 001; William W. Pugh (CAV, 1997)

Performance-Based Design Of Distributed Real-Time System. - Dong-In Kang; Richard Gerber 001; Manas Saksena (IEEE Real Time Technology and Applications Symposium, 1997)

Slicing Real-Time Programs for Enhanced Schedulability. - Richard Gerber 001; Seongsoo Hong (ACM Trans. Program. Lang. Syst., 1997)

Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. - Tevfik Bultan; Richard Gerber 001; Christopher League (ISSTA, 1998)

Techniques for Automating Distributed Real-Time Applications Design. - Dong-In Kang; Richard Gerber 001; Leana Golubchik; Jeffrey K. Hollingsworth (HPDC, 1999)

A Software Synthesis Tool for Distributed Embedded System Design. - Dong-In Kang; Richard Gerber 001; Leana Golubchik; Jeffrey K. Hollingsworth; Manas Saksena (Workshop on Languages, Compilers, and Tools for Embedded Systems, 1999)

Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. - Tevfik Bultan; Richard Gerber 001; William W. Pugh (ACM Trans. Program. Lang. Syst., 1999)

Parametric Design Synthesis of Distributed Embedded Systems. - Dong-In Kang; Richard Gerber 001; Manas Saksena (IEEE Trans. Computers, 2000)

Composite model-checking: verification with type-specific symbolic representations. - Tevfik Bultan; Richard Gerber 001; Christopher League (ACM Trans. Softw. Eng. Methodol., 2000)