GDPA  
Lori Clarke  

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

Lori Clarke

E-Mail

clarke@cs.umass.edu

Homepage

http://laser.cs.umass.edu/people/clarke.htm

Address

Department of Computer Science
University of Massachusetts
140 Governor's Drive
Amherst, MA, USA
01003
Voice: +1-413-545-1328
Fax: +1-413-545-1249

Institution

University of Massachusetts

Publications

1999:
/Cobleigh, 1999/ Verifying Properties of Process Definitions
/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

1988:
/Taylor, 1988/ Foundations for the Arcadia Environment Architecture
/Wileden, 1988/ Facilitating process prototyping by controlling the impact of change

1984:
/Wileden, 1984/Feedback-directed development of complex software systems

Conferences

Programme Committee
FSE'98 Lake Buena Vista, FL, USA

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