Allen Goldberg

Publication Activity (10 Years)

Years Active: 1982-2005
Publications (10 Years): 0

Publications

Allen Goldberg, Klaus Havelund
Automated Runtime Verification with Eagle. MSVVEIS (2005)
Klaus Havelund, Allen Goldberg
Verify Your Runs. VSTTE (2005)
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) (2005)
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 Syst. Des. 25 (2-3) (2004)
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Rule-Based Runtime Verification. VMCAI (2004)
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Program Monitoring with LTL in EAGLE. IPDPS (2004)
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)
Alessandro Coglio, Allen Goldberg
Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. Concurr. Comput. Pract. Exp. 13 (13) (2001)
Zhenyu Qian, Allen Goldberg, Alessandro Coglio
class loading. OOPSLA (2000)
Lars S. Nyland, Jan F. Prins, Allen Goldberg, Peter Mills
A Design Methodology for Data-Parallel Applications. IEEE Trans. Software Eng. 26 (4) (2000)
Allen Goldberg
A Specification of Java Loading and Bytecode Verification. CCS (1998)
Tie-Cheng Wang, Allen Goldberg
Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning. FroCoS (1998)
Lars S. Nyland, Jan F. Prins, Allen Goldberg, Peter Mills, John H. Reif, Robert A. Wagner
A Refinement Methodology for Developing Data-Parallel Applications. Euro-Par, Vol. I (1996)
Allen Goldberg, Peter Mills, Lars S. Nyland, Jan F. Prins, John H. Reif, James Riely
Specification and Development of Parallel Algorithms with the Proteus System. Specification of Parallel Algorithms (1994)
Tie-Cheng Wang, Allen Goldberg
KITP-93: An Automated Inference System for Program Analysis. CADE (1994)
Allen Goldberg, Tie-Cheng Wang, David Zimmerman
Applications of Feasible Path Analysis to Program Testing. ISSTA (1994)
Xiaolei Qian, Allen Goldberg
Referential Opacity In Nondeterministic Data Refinement. LOPLAS 2 (1-4) (1993)
Tie-Cheng Wang, Allen Goldberg
RVF: An Automated Formal Verification System. CADE (1992)
Tie-Cheng Wang, Allen Goldberg
A mechanical verifier for supporting the design of reliable reactive systems. ISSRE (1991)
Allen Goldberg
Reusing software developments. SDE (1990)
Limei Gilham, Allen Goldberg, Tie-Cheng Wang
Toward reliable reactive systems. IWSSD (1989)
Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig
Iteration in the software process. ISPW (1986)
Allen Goldberg, Robert Paige
Stream Processing. LISP and Functional Programming (1984)
Allen Goldberg, Paul Walton Purdom Jr., Cynthia A. Brown
Average Time Analyses of Simplified Davis-Putnam Procedures. Inf. Process. Lett. 15 (2) (1982)