Allen Goldberg

According to our database, Allen Goldberg authored at least 24 papers between 1982 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Automated Runtime Verification with Eagle.

Allen Goldberg, Klaus Havelund

Proceedings of the Modelling, 2005

Verify Your Runs.

Klaus Havelund, Allen Goldberg

Proceedings of the Verified Software: Theories, 2005

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

Rule-Based Runtime Verification.

Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen

Proceedings of the Verification, 2004

Program Monitoring with LTL in EAGLE.

Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

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

Proceedings of the Abstract State Machines, 2003

2001

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

2000

A Design Methodology for Data-Parallel Applications.

Lars S. Nyland, Jan F. Prins, Allen Goldberg, Peter Mills

IEEE Trans. Software Eng., 2000

A formal specification of Java^TM class loading.

Zhenyu Qian, Allen Goldberg, Alessandro Coglio

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1998

Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning.

Tie-Cheng Wang, Allen Goldberg

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

A Specification of Java Loading and Bytecode Verification.

Allen Goldberg

Proceedings of the CCS '98, 1998

1996

A Refinement Methodology for Developing Data-Parallel Applications.

Lars S. Nyland, Jan F. Prins, Allen Goldberg, Peter Mills, John H. Reif, Robert A. Wagner

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1994

Applications of Feasible Path Analysis to Program Testing.

Allen Goldberg, Tie-Cheng Wang, David Zimmerman

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 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

Proceedings of the Specification of Parallel Algorithms, 1994

KITP-93: An Automated Inference System for Program Analysis.

Tie-Cheng Wang, Allen Goldberg

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Referential Opacity In Nondeterministic Data Refinement.

Xiaolei Qian, Allen Goldberg

LOPLAS, 1993

1992

RVF: An Automated Formal Verification System.

Tie-Cheng Wang, Allen Goldberg

Proceedings of the Automated Deduction, 1992

1991

A mechanical verifier for supporting the design of reliable reactive systems.

Tie-Cheng Wang, Allen Goldberg

Proceedings of the Second International Symposium on Software Reliability Engineering, 1991

1990

Reusing software developments.

Allen Goldberg

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

1989

Toward reliable reactive systems.

Limei Gilham, Allen Goldberg, Tie-Cheng Wang

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1986

Iteration in the software process.

Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig

Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

1984

Stream Processing.

Allen Goldberg, Robert Paige

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1982

Average Time Analyses of Simplified Davis-Putnam Procedures.

Allen Goldberg, Paul Walton Purdom Jr., Cynthia A. Brown

Inf. Process. Lett., 1982