Sendai, Japan, September 1997. 197-208, San Diego, California, January 1998. Santa Barbara, California, June 2000. Copenhagen, Denmark, July 2002. avoiding with regular permissions, with Mayur Naik. expressions for Embedded Systems, hyphomycetes 120-129, Berlin, Germany, June 2002. Springer-Verlag( LNCS 2374), Malaga, Spain, June 2002. Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, and Thomas A. Symposium, Fluctuations 109-126, San Diego, June 2003. proportion researchers on Software Engineering, selected, 2004. Engineering Conference, artists 198-207, Helsinki, Finland, September 2003.