GDPA  
George S. Avrunin  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

George S. Avrunin

E-Mail

avrunin@math.umass.edu

Homepage

http://ext.math.umass.edu/~avrunin/

Address

Department of Mathematics and Statistics 
Box 34515
University of Massachusetts at Amherst 
Amherst, MA 01003-4515
USA 
Telephone: 
413-545-4251
413-545-1801 (Fax)

Institution

University of Massachusetts - Amherst - USA

Publications

1999:
/Dwyer, 1999/ Patterns in Property Specifications for Finite-State Verification
/Naumovich, 1999/ An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
/Naumovich, 1999a/ Data Flow Analysis for Checking Properties of Concurrent Java Programs

1998:
/Naumovich, 1998a/ A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parrallel

See Also

more information at dlpb - Universitšt Trier

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster