GDPA  
Richard Kemmerer  

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

Richard Kemmerer

E-Mail

kemm@cs.ucsb.edu

Homepage

http://www.cs.ucsb.edu/~kemm/

Address

Department of Computer Science
University of California at Santa Barbara
Room 2159, Engineering I
Santa Barbara, CA, 
USA
93106-5110
Voice: +1-805-893-4232
Fax: +1-805-893-8553

Institution

University of California - Santa Barbara (CS)

Publications

2000:
/Dang, 2000/ Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time System

1999:
/Dang, 1999/ Using the ASTRAL Model Checker to Analyze Mobile IP

1983:
/Kemmerer, 1983/ The Shared Resource Methodology: An Approach to Identifying Storage and Timing channels

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