Allen Goldberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1991–2004
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | VMCAI | Rule-Based Runtime Verification. | Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen |
| 2000 | OOPSLA | A formal specification of Java | Zhenyu Qian, Allen Goldberg, Alessandro Coglio |
| 1998 | CCS | A Specification of Java Loading and Bytecode Verification. | Allen Goldberg |
| 1996 | EuroPar | A Refinement Methodology for Developing Data-Parallel Applications. | Lars S. Nyland, Jan F. Prins, Allen Goldberg, Peter Mills, John H. Reif, Robert A. Wagner |
| 1994 | CADE | KITP-93: An Automated Inference System for Program Analysis. | Tie-Cheng Wang, Allen Goldberg |
| 1994 | ISSTA | Applications of Feasible Path Analysis to Program Testing. | Allen Goldberg, Tie-Cheng Wang, David Zimmerman |
| 1992 | CADE | RVF: An Automated Formal Verification System. | Tie-Cheng Wang, Allen Goldberg |
| 1991 | ISSRE | A mechanical verifier for supporting the design of reliable reactive systems. | Tie-Cheng Wang, Allen Goldberg |