Richard Gerber

According to our database, Richard Gerber authored at least 28 papers between 1989 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Composite model-checking: verification with type-specific symbolic representations.

Tevfik Bultan, Richard Gerber, Christopher League

ACM Trans. Softw. Eng. Methodol., 2000

Parametric Design Synthesis of Distributed Embedded Systems.

Dong-In Kang, Richard Gerber, Manas Saksena

IEEE Trans. Computers, 2000

1999

Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results.

Tevfik Bultan, Richard Gerber, William W. Pugh

ACM Trans. Program. Lang. Syst., 1999

A Software Synthesis Tool for Distributed Embedded System Design.

Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth, Manas Saksena

Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, 1999

Techniques for Automating Distributed Real-Time Applications Design.

Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth

Proceedings of the Eighth IEEE International Symposium on High Performance Distributed Computing, 1999

1998

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

Tevfik Bultan, Richard Gerber, Christopher League

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997

Slicing Real-Time Programs for Enhanced Schedulability.

Richard Gerber, Seongsoo Hong

ACM Trans. Program. Lang. Syst., 1997

Performance-Based Design Of Distributed Real-Time System.

Dong-In Kang, Richard Gerber, Manas Saksena

Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.

Tevfik Bultan, Richard Gerber, William W. Pugh

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Experiments with Digital Video Playback.

Richard Gerber, Ladan Gharai

Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1996

Compositional Verification by Model Checking for Counter-Examples.

Tevfik Bultan, Jeffrey Fischer, Richard Gerber

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995

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

Richard Gerber, Seongsoo Hong, Manas Saksena

IEEE Trans. Software Eng., 1995

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

Richard Gerber, Seongsoo Hong

IEEE Trans. Software Eng., 1995

Parametric Dispatching of Hard Real-Time Tasks.

Richard Gerber, William W. Pugh, Manas Saksena

IEEE Trans. Computers, 1995

Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel).

Richard Gerber, Steven W. K. Tjiang, David B. Whalley, David N. Wilner, Michael Wolfe

Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

1994

A Resource-Based Prioritized Bisimulation for Real-Time Systems

Richard Gerber, Insup Lee

Inf. Comput., August, 1994

ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop).

Azer Bestavros, Richard Gerber, Stephen P. Masticola

ACM SIGPLAN Notices, 1994

A process algebraic approach to the specification and analysis of resource-bound real-time systems.

Insup Lee, Patrice Brémond-Grégoire, Richard Gerber

Proc. IEEE, 1994

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

Richard Gerber, Seongsoo Hong, Manas Saksena

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1993

Semantics-based compiler transformations for enhanced schedulability.

Richard Gerber, Seongsoo Hong

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Compiling Real-Time Programs into Schedulable Code.

Seongsoo Hong, Richard Gerber

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.

Patrice Brémond-Grégoire, Insup Lee, Richard Gerber

Proceedings of the CONCUR '93, 1993

1992

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

Richard Gerber, Insup Lee

IEEE Trans. Software Eng., 1992

1991

Implementing a Real-Time Process Algebra in HOL.

Richard Gerber, Elsa L. Gunter, Insup Lee

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

Specification and Analysis of Resource-Bound Real-Time Systems.

Richard Gerber, Insup Lee

Proceedings of the Real-Time: Theory in Practice, 1991

1990

A Proof System for Communicating Shared Resources.

Richard Gerber, Insup Lee

Proceedings of the Real-Time Systems Symposium, 1990

CCSR: A Calculus for Communicating Shared Resources.

Richard Gerber, Insup Lee

Proceedings of the CONCUR '90, 1990

1989

Communicating Shared Resources: A Model for Distributed Real-Time Systems.

Richard Gerber, Insup Lee

Proceedings of the Real-Time Systems Symposium, 1989