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

E-Mail

Homepage

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

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

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