Allen Goldberg

2005
18		Allen Goldberg, Klaus Havelund: Automated Runtime Verification with Eagle. MSVVEIS 2005
17	EE	Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
2004
16	EE	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
15	EE	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
14	EE	Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design 25(2-3): 167-198 (2004)
2003
13	EE	Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser: Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107
2001
12		Alessandro Coglio, Allen Goldberg: Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. Concurrency and Computation: Practice and Experience 13(13): 1153-1171 (2001)
2000
11	EE	Zhenyu Qian, Allen Goldberg, Alessandro Coglio: A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
10	EE	Lars S. Nyland, Jan Prins, Allen Goldberg, Peter Mills: A Design Methodology for Data-Parallel Applications. IEEE Trans. Software Eng. 26(4): 293-314 (2000)
1998
9	EE	Allen Goldberg: A Specification of Java Loading and Bytecode Verification. ACM Conference on Computer and Communications Security 1998: 49-58
1996
8		Lars S. Nyland, Jan Prins, Allen Goldberg, Peter Mills, John H. Reif, Robert A. Wagner: A Refinement Methodology for Developing Data-Parallel Applications. Euro-Par, Vol. I 1996: 145-150
1994
7		Tie-Cheng Wang, Allen Goldberg: KITP-93: An Automated Inference System for Program Analysis. CADE 1994: 831-835
6	EE	Allen Goldberg, Tie-Cheng Wang, David Zimmerman: Applications of Feasible Path Analysis to Program Testing. ISSTA 1994: 80-94
1993
5	EE	Xiaolei Qian, Allen Goldberg: Referential Opacity In Nondeterministic Data Refinement. LOPLAS 2(1-4): 233-241 (1993)
1992
4		Tie-Cheng Wang, Allen Goldberg: RVF: An Automated Formal Verification System. CADE 1992: 735-739
1986
3		Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig: Iteration in the software process. ISPW 1986: 105-108
1984
2		Allen Goldberg, Robert Paige: Stream Processing. LISP and Functional Programming 1984: 53-62
1982
1		Allen Goldberg, Paul Walton Purdom Jr., Cynthia A. Brown: Average Time Analyses of Simplified Davis-Putnam Procedures. Inf. Process. Lett. 15(2): 72-75 (1982)

Coauthor Index

1	Cyrille Artho	[13] [17]
2	Howard Barringer	[15] [16] [17]
3	Guillaume P. Brat	[14]
4	Cynthia A. Brown	[1]
5	Alessandro Coglio	[11] [12]
6	Doron Drusinsky	[13] [14]
7	Dimitra Giannakopoulou	[14]
8	C. Cordell Green	[3]
9	Klaus Havelund	[13] [14] [15] [16] [17] [18]
10	Richard Jüllig	[3]
11	Sarfraz Khurshid	[17]
12	Michael R. Lowry	[13] [14] [17]
13	Peter Mills	[8] [10]
14	Lars S. Nyland	[8] [10]
15	Robert Paige	[2]
16	Corina S. Pasareanu	[13] [14] [17]
17	Wolfgang Polak	[3]
18	Jan Prins	[8] [10]
19	Paul Walton Purdom Jr.	[1]
20	Xiaolei Qian	[5]
21	Zhenyu Qian	[11]
22	John H. Reif	[8]
23	Grigore Rosu	[13] [17]
24	Koushik Sen	[15] [16] [17]
25	Arnaud Venet	[14]
26	Willem Visser	[13] [14] [17]
27	Robert A. Wagner	[8]
28	Tie-Cheng Wang	[4] [6] [7]
29	Richard Washington	[14] [17]
30	David Zimmerman	[6]

Colors in the list of coauthors