Average Time Analyses of Simplified Davis-Putnam Procedures. - Allen Goldberg; Paul Walton Purdom Jr.; Cynthia A. Brown (Inf. Process. Lett., 1982)

Stream Processing. - Allen Goldberg; Robert Paige (LISP and Functional Programming, 1984)

Iteration in the software process. - Allen Goldberg; C. Cordell Green; Wolfgang Polak; Richard Jüllig (ISPW, 1986)

Toward reliable reactive systems. - Limei Gilham; Allen Goldberg; Tie-Cheng Wang (IWSSD, 1989)

Reusing software developments. - Allen Goldberg (SDE, 1990)

A mechanical verifier for supporting the design of reliable reactive systems. - Tie-Cheng Wang; Allen Goldberg (ISSRE, 1991)

RVF: An Automated Formal Verification System. - Tie-Cheng Wang; Allen Goldberg (CADE, 1992)

Referential Opacity In Nondeterministic Data Refinement. - Xiaolei Qian; Allen Goldberg (LOPLAS, 1993)

KITP-93: An Automated Inference System for Program Analysis. - Tie-Cheng Wang; Allen Goldberg (CADE, 1994)

Specification and Development of Parallel Algorithms with the Proteus System. - Allen Goldberg; Peter Mills; Lars S. Nyland; Jan F. Prins; John H. Reif; James Riely (Specification of Parallel Algorithms, 1994)

Applications of Feasible Path Analysis to Program Testing. - Allen Goldberg; Tie-Cheng Wang; David Zimmerman (ISSTA, 1994)

A Refinement Methodology for Developing Data-Parallel Applications. - Lars S. Nyland; Jan F. Prins; Allen Goldberg; Peter Mills; John H. Reif; Robert A. Wagner (Euro-Par, Vol. I, 1996)

A Specification of Java Loading and Bytecode Verification. - Allen Goldberg (CCS, 1998)

Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning. - Tie-Cheng Wang; Allen Goldberg (FroCoS, 1998)

A formal specification of JavaTM class loading. - Zhenyu Qian; Allen Goldberg; Alessandro Coglio (OOPSLA, 2000)

A Design Methodology for Data-Parallel Applications. - Lars S. Nyland; Jan F. Prins; Allen Goldberg; Peter Mills (IEEE Trans. Software Eng., 2000)

Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. - Alessandro Coglio; Allen Goldberg (Concurr. Comput. Pract. Exp., 2001)

Experiments with Test Case Generation and Runtime Analysis. - Cyrille Artho; Doron Drusinsky; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Willem Visser (Abstract State Machines, 2003)

Program Monitoring with LTL in EAGLE. - Howard Barringer; Allen Goldberg; Klaus Havelund; Koushik Sen (IPDPS, 2004)

Rule-Based Runtime Verification. - Howard Barringer; Allen Goldberg; Klaus Havelund; Koushik Sen (VMCAI, 2004)

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. - Guillaume P. Brat; Doron Drusinsky; Dimitra Giannakopoulou; Allen Goldberg; Klaus Havelund; Michael R. Lowry; Corina S. Pasareanu; Arnaud Venet; Willem Visser; Richard Washington (Formal Methods Syst. Des., 2004)

Verify Your Runs. - Klaus Havelund; Allen Goldberg (VSTTE, 2005)

Automated Runtime Verification with Eagle. - Allen Goldberg; Klaus Havelund (MSVVEIS, 2005)

Combining test case generation and runtime verification. - Cyrille Artho; Howard Barringer; Allen Goldberg; Klaus Havelund; Sarfraz Khurshid; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Koushik Sen; Willem Visser; Richard Washington (Theor. Comput. Sci., 2005)