Allen Goldberg

24 papers A* 1A 6B 1Journal 6Unranked 10

Year	Rank	Type	Title / Venue / Authors
2005	—	`conf`	Automated Runtime Verification with Eagle. MSVVEIS Allen Goldberg, Klaus Havelund
2005	J	`jnl`	Combining test case generation and runtime verification. Theor. Comput. Sci. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
2005	—	`conf`	Verify Your Runs. VSTTE Klaus Havelund, Allen Goldberg
2004	J	`jnl`	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
2004	A	`conf`	Program Monitoring with LTL in EAGLE. IPDPS Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
2004	B	`conf`	Rule-Based Runtime Verification. VMCAI Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
2003	—	`conf`	Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser
2001	J	`jnl`	Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. Concurr. Comput. Pract. Exp. Alessandro Coglio, Allen Goldberg
2000	J	`jnl`	A Design Methodology for Data-Parallel Applications. IEEE Trans. Software Eng. Lars S. Nyland, Jan F. Prins, Allen Goldberg, Peter Mills
2000	A	`conf`	A formal specification of Java OOPSLA Zhenyu Qian, Allen Goldberg, Alessandro Coglio
1998	A*	`conf`	A Specification of Java Loading and Bytecode Verification. CCS Allen Goldberg
1998	—	`conf`	Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning. FroCoS Tie-Cheng Wang, Allen Goldberg
1996	—	`conf`	A Refinement Methodology for Developing Data-Parallel Applications. Euro-Par, Vol. I Lars S. Nyland, Jan F. Prins, Allen Goldberg, Peter Mills, John H. Reif, Robert A. Wagner
1994	A	`conf`	Applications of Feasible Path Analysis to Program Testing. ISSTA Allen Goldberg, Tie-Cheng Wang, David Zimmerman
1994	A	`conf`	KITP-93: An Automated Inference System for Program Analysis. CADE Tie-Cheng Wang, Allen Goldberg
1994	—	`conf`	Specification and Development of Parallel Algorithms with the Proteus System. Specification of Parallel Algorithms Allen Goldberg, Peter Mills, Lars S. Nyland, Jan F. Prins, John H. Reif, James Riely
1993	J	`jnl`	Referential Opacity In Nondeterministic Data Refinement. LOPLAS Xiaolei Qian, Allen Goldberg
1992	A	`conf`	RVF: An Automated Formal Verification System. CADE Tie-Cheng Wang, Allen Goldberg
1991	A	`conf`	A mechanical verifier for supporting the design of reliable reactive systems. ISSRE Tie-Cheng Wang, Allen Goldberg
1990	—	`conf`	Reusing software developments. SDE Allen Goldberg
1989	—	`conf`	Toward reliable reactive systems. IWSSD Limei Gilham, Allen Goldberg, Tie-Cheng Wang
1986	—	`conf`	Iteration in the software process. ISPW Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig
1984	—	`conf`	Stream Processing. LISP and Functional Programming Allen Goldberg, Robert Paige
1982	J	`jnl`	Average Time Analyses of Simplified Davis-Putnam Procedures. Inf. Process. Lett. Allen Goldberg, Paul Walton Purdom Jr., Cynthia A. Brown