Allen Goldberg

	2005
20		Allen Goldberg, Klaus Havelund: Automated Runtime Verification with Eagle. MSVVEIS 2005
19		Klaus Havelund, Allen Goldberg: Verify Your Runs. VSTTE 2005: 374-383
18		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
17		Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
16		Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
15		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
14		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
13		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
12		Zhenyu Qian, Allen Goldberg, Alessandro Coglio: A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
11		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
10		Allen Goldberg: A Specification of Java Loading and Bytecode Verification. ACM Conference on Computer and Communications Security 1998: 49-58
	1996
9		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
8		Tie-Cheng Wang, Allen Goldberg: KITP-93: An Automated Inference System for Program Analysis. CADE 1994: 831-835
7		Allen Goldberg, Tie-Cheng Wang, David Zimmerman: Applications of Feasible Path Analysis to Program Testing. ISSTA 1994: 80-94
	1993
6		Xiaolei Qian, Allen Goldberg: Referential Opacity In Nondeterministic Data Refinement. LOPLAS 2(1-4): 233-241 (1993)
	1992
5		Tie-Cheng Wang, Allen Goldberg: RVF: An Automated Formal Verification System. CADE 1992: 735-739
	1990
4		Allen Goldberg: Reusing software developments. SDE 1990: 107-119
	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 (Cyrille Valentin Artho)	[14] [18]
2	Howard Barringer	[16] [17] [18]
3	Guillaume P. Brat	[15]
4	Cynthia A. Brown	[1]
5	Alessandro Coglio	[12] [13]
6	Doron Drusinsky	[14] [15]
7	Dimitra Giannakopoulou	[15]
8	C. Cordell Green	[3]
9	Klaus Havelund	[14] [15] [16] [17] [18] [19] [20]
10	Richard Jüllig	[3]
11	Sarfraz Khurshid	[18]
12	Michael R. Lowry	[14] [15] [18]
13	Peter Mills	[9] [11]
14	Lars S. Nyland	[9] [11]
15	Robert Paige	[2]
16	Corina S. Pasareanu	[14] [15] [18]
17	Wolfgang Polak	[3]
18	Jan Prins (Jan F. Prins)	[9] [11]
19	Paul Walton Purdom Jr.	[1]
20	Xiaolei Qian	[6]
21	Zhenyu Qian	[12]
22	John H. Reif	[9]
23	Grigore Rosu	[14] [18]
24	Koushik Sen	[16] [17] [18]
25	Arnaud Venet	[15]
26	Willem Visser	[14] [15] [18]
27	Robert A. Wagner	[9]
28	Tie-Cheng Wang	[5] [7] [8]
29	Richard Washington	[15] [18]
30	David Zimmerman	[7]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page