- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| j10 |      | Dong-In Kang, Richard Gerber, Manas Saksena: Parametric Design Synthesis of Distributed Embedded Systems. IEEE Trans. Computers 49(11): 1155-1169 (2000) |
| j9 | | 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) |
| 1999 | ||
| j8 | | 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) |
| c15 | | Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth: Techniques for Automating Distributed Real-Time Applications Design. HPDC 1999 |
| c14 | | 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 |
| 1998 | ||
| c13 | | Tevfik Bultan, Richard Gerber, Christopher League: Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. ISSTA 1998: 113-123 |
| 1997 | ||
| j7 | | Richard Gerber, Seongsoo Hong: Slicing Real-Time Programs for Enhanced Schedulability. ACM Trans. Program. Lang. Syst. 19(3): 525-555 (1997) |
| c12 | | Tevfik Bultan, Richard Gerber, William Pugh: Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. CAV 1997: 400-411 |
| c11 | | 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 |
| 1996 | ||
| c10 | | Tevfik Bultan, Jeffrey Fischer, Richard Gerber: Compositional Verification by Model Checking for Counter-Examples. ISSTA 1996: 224-238 |
| c9 | | |
| 1995 | ||
| j6 | | Richard Gerber, William Pugh, Manas Saksena: Parametric Dispatching of Hard Real-Time Tasks. IEEE Trans. Computers 44(3): 471-479 (1995) |
| j5 | | 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) |
| j4 | | 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) |
| c8 | | 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 |
| e1 | | Richard Gerber, Thomas J. Marlowe (Eds.): Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, & Tools for Real-Time Systems (LCT-RTS 1995). La Jolla, California, June 21-22, 1995. ACM 1995 |
| 1994 | ||
| j3 | | Richard Gerber, Insup Lee: A Resource-Based Prioritized Bisimulation for Real-Time Systems. Inf. Comput. 113(1): 102-142 (1994) |
| j2 | | 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) |
| c7 | | Richard Gerber, Seongsoo Hong, Manas Saksena: Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. RTSS 1994: 192-203 |
| 1993 | ||
| c6 | | 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 |
| c5 | | Seongsoo Hong, Richard Gerber: Compiling Real-Time Programs into Schedulable Code. PLDI 1993: 166-176 |
| 1992 | ||
| j1 | | 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 | ||
| c4 | | Richard Gerber, Insup Lee: Specification and Analysis of Resource-Bound Real-Time Systems. REX Workshop 1991: 371-396 |
| c3 |  | Richard Gerber, Elsa L. Gunter, Insup Lee: Implementing a Real-Time Process Algebra in HOL. TPHOLs 1991: 144-154 |
| 1990 | ||
| c2 | | Richard Gerber, Insup Lee: CCSR: A Calculus for Communicating Shared Resources. CONCUR 1990: 263-277 |
| 1989 | ||
| c1 | | |
Colors in the list of coauthors
Last update Mon May 20 16:46:20 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page