Richard Gerber

	2000
26		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)
25		Dong-In Kang, Richard Gerber, Manas Saksena: Parametric Design Synthesis of Distributed Embedded Systems. IEEE Trans. Computers 49(11): 1155-1169 (2000)
	1999
24		Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth: Techniques for Automating Distributed Real-Time Applications Design. HPDC 1999
23		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
22		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
21		Tevfik Bultan, Richard Gerber, Christopher League: Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. ISSTA 1998: 113-123
	1997
20		Tevfik Bultan, Richard Gerber, William Pugh: Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. CAV 1997: 400-411
19		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
18		Richard Gerber, Seongsoo Hong: Slicing Real-Time Programs for Enhanced Schedulability. ACM Trans. Program. Lang. Syst. 19(3): 525-555 (1997)
	1996
17		Tevfik Bultan, Jeffrey Fischer, Richard Gerber: Compositional Verification by Model Checking for Counter-Examples. ISSTA 1996: 224-238
16		Richard Gerber, Ladan Gharai: Experiments with Digital Video Playback. SIGMETRICS 1996: 210-221
	1995
15		Richard Gerber, Thomas J. Marlowe: 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
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		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		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page