Allen Goldberg

2005
19		Allen Goldberg, Klaus Havelund: Automated Runtime Verification with Eagle. MSVVEIS 2005
18	EE	Klaus Havelund, Allen Goldberg: Verify Your Runs. VSTTE 2005: 374-383
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] [19]
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