Richard Gerber

29 papers A* 3A 7B 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2000 J jnl
Composite model-checking: verification with type-specific symbolic representations.
ACM Trans. Softw. Eng. Methodol.
Tevfik Bultan, Richard Gerber, Christopher League
2000 J jnl
Parametric Design Synthesis of Distributed Embedded Systems.
IEEE Trans. Computers
Dong-In Kang, Richard Gerber, Manas Saksena
1999 — conf
A Software Synthesis Tool for Distributed Embedded System Design.
Workshop on Languages, Compilers, and Tools for Embedded Systems
Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth, Manas Saksena
1999 J jnl
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results.
ACM Trans. Program. Lang. Syst.
Tevfik Bultan, Richard Gerber, William W. Pugh
1999 A conf
Techniques for Automating Distributed Real-Time Applications Design.
HPDC
Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth
1998 A conf
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.
ISSTA
Tevfik Bultan, Richard Gerber, Christopher League
1997 — conf
Performance-Based Design Of Distributed Real-Time System.
IEEE Real Time Technology and Applications Symposium
Dong-In Kang, Richard Gerber, Manas Saksena
1997 J jnl
Slicing Real-Time Programs for Enhanced Schedulability.
ACM Trans. Program. Lang. Syst.
Richard Gerber, Seongsoo Hong
1997 A* conf
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.
CAV
Tevfik Bultan, Richard Gerber, William W. Pugh
1996 A conf
Compositional Verification by Model Checking for Counter-Examples.
ISSTA
Tevfik Bultan, Jeffrey Fischer, Richard Gerber
1996 A* conf
Experiments with Digital Video Playback.
SIGMETRICS
Richard Gerber, Ladan Gharai
1995 — conf
Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel).
Workshop on Languages, Compilers, & Tools for Real-Time Systems
Richard Gerber, Steven W. K. Tjiang, David B. Whalley, David N. Wilner, Michael Wolfe
1995 J jnl
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion.
IEEE Trans. Software Eng.
Richard Gerber, Seongsoo Hong
1995 J jnl
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes.
IEEE Trans. Software Eng.
Richard Gerber, Seongsoo Hong, Manas Saksena
1995 J jnl
Parametric Dispatching of Hard Real-Time Tasks.
IEEE Trans. Computers
Richard Gerber, William W. Pugh, Manas Saksena
1995 — ed.
Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, & Tools for Real-Time Systems (LCT-RTS 1995). La Jolla, California, USA, June 21-22, 1995
LCT-RTS
Richard Gerber, Thomas J. Marlowe
1994 J jnl
A Resource-Based Prioritized Bisimulation for Real-Time Systems
Inf. Comput.
Richard Gerber, Insup Lee
1994 J jnl
A process algebraic approach to the specification and analysis of resource-bound real-time systems.
Proc. IEEE
Insup Lee, Patrice Brémond-Grégoire, Richard Gerber
1994 J jnl
ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop).
ACM SIGPLAN Notices
Azer Bestavros, Richard Gerber, Stephen P. Masticola
1994 A conf
Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes.
RTSS
Richard Gerber, Seongsoo Hong, Manas Saksena
1993 B conf
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.
CONCUR
Patrice Brémond-Grégoire, Insup Lee, Richard Gerber
1993 A* conf
Compiling Real-Time Programs into Schedulable Code.
PLDI
Seongsoo Hong, Richard Gerber
1993 A conf
Semantics-based compiler transformations for enhanced schedulability.
RTSS
Richard Gerber, Seongsoo Hong
1992 J jnl
A Layered Approach to Automating the Verification of Real-Time Systems.
IEEE Trans. Software Eng.
Richard Gerber, Insup Lee
1991 — conf
Implementing a Real-Time Process Algebra in HOL.
TPHOLs
Richard Gerber, Elsa L. Gunter, Insup Lee
1991 — conf
Specification and Analysis of Resource-Bound Real-Time Systems.
REX Workshop
Richard Gerber, Insup Lee
1990 A conf
A Proof System for Communicating Shared Resources.
RTSS
Richard Gerber, Insup Lee
1990 B conf
CCSR: A Calculus for Communicating Shared Resources.
CONCUR
Richard Gerber, Insup Lee
1989 A conf
Communicating Shared Resources: A Model for Distributed Real-Time Systems.
RTSS
Richard Gerber, Insup Lee