dblp.uni-trier.dewww.uni-trier.de

Richard Gerber

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
25EETevfik Bultan, Richard Gerber, Christopher League: Composite model-checking: verification with type-specific symbolic representations. ACM Trans. Softw. Eng. Methodol. 9(1): 3-50 (2000)
24EEDong-In Kang, Richard Gerber, Manas Saksena: Parametric Design Synthesis of Distributed Embedded Systems. IEEE Trans. Computers 49(11): 1155-1169 (2000)
1999
23EEDong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth: Techniques for Automating Distributed Real-Time Applications Design. HPDC 1999
22EEDong-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
21EETevfik 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
20EETevfik 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
18EEDong-In Kang, Richard Gerber, Manas Saksena: Performance-Based Design Of Distributed Real-Time System. IEEE Real Time Technology and Applications Symposium 1997: 2-13
17EERichard Gerber, Seongsoo Hong: Slicing Real-Time Programs for Enhanced Schedulability. ACM Trans. Program. Lang. Syst. 19(3): 525-555 (1997)
1996
16EETevfik 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)
12EERichard Gerber, Seongsoo Hong: Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion. IEEE Trans. Software Eng. 21(5): 389-404 (1995)
11EERichard 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
5EERichard 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

Coauthor Index

1Azer Bestavros [8]
2Patrice Brémond-Grégoire [7]
3Tevfik Bultan [16] [19] [20] [21] [25]
4Jeffrey Fischer [16]
5Ladan Gharai [15]
6Leana Golubchik [22] [23]
7Elsa L. Gunter [3]
8Jeffrey K. Hollingsworth [22] [23]
9Seongsoo Hong [6] [10] [11] [12] [17]
10Dong-In Kang [18] [22] [23] [24]
11Christopher League [20] [25]
12Insup Lee [1] [2] [3] [4] [5] [7] [9]
13Stephen P. Masticola [8]
14William Pugh [13] [19] [21]
15Manas Saksena [10] [11] [13] [18] [22] [24]
16Steven W. K. Tjiang [14]
17David B. Whalley [14]
18David Wilner [14]
19Michael Wolfe [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)