dblp.uni-trier.dewww.uni-trier.de

Allen Goldberg Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
19 Allen Goldberg, Klaus Havelund: Automated Runtime Verification with Eagle. MSVVEIS 2005
18EEKlaus Havelund, Allen Goldberg: Verify Your Runs. VSTTE 2005: 374-383
17EECyrille 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): 209-234 (2005)
2004
16EEHoward Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
15EEHoward Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
14EEGuillaume 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 in System Design 25(2-3): 167-198 (2004)
2003
13EECyrille 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: 87-107
2001
12 Alessandro Coglio, Allen Goldberg: Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. Concurrency and Computation: Practice and Experience 13(13): 1153-1171 (2001)
2000
11EEZhenyu Qian, Allen Goldberg, Alessandro Coglio: A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
10EELars S. Nyland, Jan Prins, Allen Goldberg, Peter Mills: A Design Methodology for Data-Parallel Applications. IEEE Trans. Software Eng. 26(4): 293-314 (2000)
1998
9EEAllen Goldberg: A Specification of Java Loading and Bytecode Verification. ACM Conference on Computer and Communications Security 1998: 49-58
1996
8EELars S. Nyland, Jan Prins, Allen Goldberg, Peter Mills, John H. Reif, Robert A. Wagner: A Refinement Methodology for Developing Data-Parallel Applications. Euro-Par, Vol. I 1996: 145-150
1994
7EETie-Cheng Wang, Allen Goldberg: KITP-93: An Automated Inference System for Program Analysis. CADE 1994: 831-835
6EEAllen Goldberg, Tie-Cheng Wang, David Zimmerman: Applications of Feasible Path Analysis to Program Testing. ISSTA 1994: 80-94
1993
5EEXiaolei Qian, Allen Goldberg: Referential Opacity In Nondeterministic Data Refinement. LOPLAS 2(1-4): 233-241 (1993)
1992
4EETie-Cheng Wang, Allen Goldberg: RVF: An Automated Formal Verification System. CADE 1992: 735-739
1986
3 Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig: Iteration in the software process. ISPW 1986: 105-108
1984
2 Allen Goldberg, Robert Paige: Stream Processing. LISP and Functional Programming 1984: 53-62
1982
1 Allen Goldberg, Paul Walton Purdom Jr., Cynthia A. Brown: Average Time Analyses of Simplified Davis-Putnam Procedures. Inf. Process. Lett. 15(2): 72-75 (1982)

Coauthor Index

1Cyrille Artho [13] [17]
2Howard Barringer [15] [16] [17]
3Guillaume P. Brat [14]
4Cynthia A. Brown [1]
5Alessandro Coglio [11] [12]
6Doron Drusinsky [13] [14]
7Dimitra Giannakopoulou [14]
8C. Cordell Green [3]
9Klaus Havelund [13] [14] [15] [16] [17] [18] [19]
10Richard Jüllig [3]
11Sarfraz Khurshid [17]
12Michael R. Lowry [13] [14] [17]
13Peter Mills [8] [10]
14Lars S. Nyland [8] [10]
15Robert Paige [2]
16Corina S. Pasareanu [13] [14] [17]
17Wolfgang Polak [3]
18Jan Prins [8] [10]
19Paul Walton Purdom Jr. [1]
20Xiaolei Qian [5]
21Zhenyu Qian [11]
22John H. Reif [8]
23Grigore Rosu [13] [17]
24Koushik Sen [15] [16] [17]
25Arnaud Venet [14]
26Willem Visser [13] [14] [17]
27Robert A. Wagner [8]
28Tie-Cheng Wang [4] [6] [7]
29Richard Washington [14] [17]
30David Zimmerman [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)