Allen Goldberg Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen Goldberg, Klaus Havelund: Automated Runtime Verification with Eagle. MSVVEIS 2005
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Havelund, Allen Goldberg: Verify Your Runs. VSTTE 2005: 374-383
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCyrille 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Allen Goldberg, Alessandro Coglio: A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen Goldberg: A Specification of Java Loading and Bytecode Verification. ACM Conference on Computer and Communications Security 1998: 49-58
1996
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTie-Cheng Wang, Allen Goldberg: KITP-93: An Automated Inference System for Program Analysis. CADE 1994: 831-835
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen Goldberg, Tie-Cheng Wang, David Zimmerman: Applications of Feasible Path Analysis to Program Testing. ISSTA 1994: 80-94
1993
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaolei Qian, Allen Goldberg: Referential Opacity In Nondeterministic Data Refinement. LOPLAS 2(1-4): 233-241 (1993)
1992
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTie-Cheng Wang, Allen Goldberg: RVF: An Automated Formal Verification System. CADE 1992: 735-739
1990
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen Goldberg: Reusing software developments. SDE 1990: 107-119
1986
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig: Iteration in the software process. ISPW 1986: 105-108
1984
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen Goldberg, Robert Paige: Stream Processing. LISP and Functional Programming 1984: 53-62
1982
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen 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

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

Colors in the list of coauthors

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