| 2000 |
|---|
| 25 | EE | Tevfik Bultan,
Richard Gerber,
Christopher League:
Composite model-checking: verification with type-specific symbolic representations.
ACM Trans. Softw. Eng. Methodol. 9(1): 3-50 (2000) |
| 24 | EE | Dong-In Kang,
Richard Gerber,
Manas Saksena:
Parametric Design Synthesis of Distributed Embedded Systems.
IEEE Trans. Computers 49(11): 1155-1169 (2000) |
| 1999 |
|---|
| 23 | EE | Dong-In Kang,
Richard Gerber,
Leana Golubchik,
Jeffrey K. Hollingsworth:
Techniques for Automating Distributed Real-Time Applications Design.
HPDC 1999 |
| 22 | EE | Dong-In Kang,
Richard Gerber,
Leana Golubchik,
Jeffrey K. Hollingsworth,
Manas Saksena:
A Software Synthesis Tool for Distributed Embedded System Design.
Workshop on Languages, Compilers, and Tools for Embedded Systems 1999: 87-95 |
| 21 | EE | Tevfik Bultan,
Richard Gerber,
William Pugh:
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results.
ACM Trans. Program. Lang. Syst. 21(4): 747-789 (1999) |
| 1998 |
|---|
| 20 | EE | Tevfik Bultan,
Richard Gerber,
Christopher League:
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.
ISSTA 1998: 113-123 |
| 1997 |
|---|
| 19 | | Tevfik Bultan,
Richard Gerber,
William Pugh:
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.
CAV 1997: 400-411 |
| 18 | EE | Dong-In Kang,
Richard Gerber,
Manas Saksena:
Performance-Based Design Of Distributed Real-Time System.
IEEE Real Time Technology and Applications Symposium 1997: 2-13 |
| 17 | EE | Richard Gerber,
Seongsoo Hong:
Slicing Real-Time Programs for Enhanced Schedulability.
ACM Trans. Program. Lang. Syst. 19(3): 525-555 (1997) |
| 1996 |
|---|
| 16 | EE | Tevfik Bultan,
Jeffrey Fischer,
Richard Gerber:
Compositional Verification by Model Checking for Counter-Examples.
ISSTA 1996: 224-238 |
| 15 | | Richard Gerber,
Ladan Gharai:
Experiments with Digital Video Playback.
SIGMETRICS 1996: 210-221 |
| 1995 |
|---|
| 14 | | Richard Gerber,
Steven W. K. Tjiang,
David B. Whalley,
David Wilner,
Michael Wolfe:
Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel).
Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 124 |
| 13 | | Richard Gerber,
William Pugh,
Manas Saksena:
Parametric Dispatching of Hard Real-Time Tasks.
IEEE Trans. Computers 44(3): 471-479 (1995) |
| 12 | EE | Richard Gerber,
Seongsoo Hong:
Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion.
IEEE Trans. Software Eng. 21(5): 389-404 (1995) |
| 11 | EE | Richard Gerber,
Seongsoo Hong,
Manas Saksena:
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes.
IEEE Trans. Software Eng. 21(7): 579-592 (1995) |
| 1994 |
|---|
| 10 | | Richard Gerber,
Seongsoo Hong,
Manas Saksena:
Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes.
IEEE Real-Time Systems Symposium 1994: 192-203 |
| 9 | | Richard Gerber,
Insup Lee:
A Resource-Based Prioritized Bisimulation for Real-Time Systems
Inf. Comput. 113(1): 102-142 (1994) |
| 8 | | Azer Bestavros,
Richard Gerber,
Stephen P. Masticola:
ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop).
SIGPLAN Notices 29(12): 11-17 (1994) |
| 1993 |
|---|
| 7 | | Patrice Brémond-Grégoire,
Insup Lee,
Richard Gerber:
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.
CONCUR 1993: 417-431 |
| 6 | | Seongsoo Hong,
Richard Gerber:
Compiling Real-Time Programs into Schedulable Code.
PLDI 1993: 166-176 |
| 1992 |
|---|
| 5 | EE | Richard Gerber,
Insup Lee:
A Layered Approach to Automating the Verification of Real-Time Systems.
IEEE Trans. Software Eng. 18(9): 768-784 (1992) |
| 1991 |
|---|
| 4 | | Richard Gerber,
Insup Lee:
Specification and Analysis of Resource-Bound Real-Time Systems.
REX Workshop 1991: 371-396 |
| 3 | | Richard Gerber,
Elsa L. Gunter,
Insup Lee:
Implementing a Real-Time Process Algebra in HOL.
TPHOLs 1991: 144-154 |
| 1990 |
|---|
| 2 | | Richard Gerber,
Insup Lee:
CCSR: A Calculus for Communicating Shared Resources.
CONCUR 1990: 263-277 |
| 1989 |
|---|
| 1 | | Richard Gerber,
Insup Lee:
Communicating Shared Resources: A Model for Distributed Real-Time Systems.
IEEE Real-Time Systems Symposium 1989: 68-78 |
