Cutpoints for Formal Equivalence Verification of Embedded Software
Professor Alan J. Hu, University of British ColumbiaCS Room 432, University of California, Irvine, CA
Colloquium, June 17, 2005
Professor Alan J. Hu, University of British ColumbiaCS Room 432, University of California, Irvine, CA
Colloquium, June 17, 2005
Professor Sinisa Srbljic, University of Zagreb, CroatiaMcDonnell Douglas Auditorium, University of California, Irvine
November 15, 2005
Professor Mateo Valero, Polytechnical University of Catalunia, Catalunia, SpainComputer Science 432, University of California, Irvine, CA
Distinguished Lecture, February 16, 2006
Scott Runner, Qualcomm CDMA TechnologiesMcDonnel Douglas Auditorium, University of California, Irvine May 1, 2006 Abstract
Dr. Youn-Long Steve Lin, National Tsing Hua University, TaiwanMcDonnell Douglas Auditorium, University of Califonia, Irvine, CA
Distinguished Lecture, July 14, 2006
Dr. Sinisa Srbljic, University of Zagreb, CroatiaMcDonnell Douglas Auditorium, University of Califonia, Irvine, CA Distinguished Lecture, January 19, 2007 Abstract
Professor. Eby G. Friedman, University of RochesterMcDonnell Douglas Auditorium, University of Califonia, Irvine, CA Distinguished Lecture, February 20, 2007 Abstract
Dr. Lawrence Rauchwerger,Texas A&M UniversityCalit2, Room 3008, University of Califonia, Irvine, CA Lecture, February 22, 2007 Abstract
Dr. Farzan Fallah, Fujitsu LaboratoriesCalit2 Auditorium, University of Califonia, Irvine, CA Lecture, March 09, 2007 Abstract
Dr. S. Ramesh, Technical Fellow, India Science Lab, GM R&D Labs, Bangalore, IndiaCalit2 Auditorium, University of California, Irvine March 16, 2007 Abstract
Marko Zec, University of Zagreb, Croatia5251 California Ave., Suite 210 ( CECS Research Park Office), Unversity of California, Irvine Lecture, May 25, 2007 Abstract
Dr. Praveen Murthy, Fujitsu Labs of AmericaCalit2 Auditorium, University of California, Irvine April 26, 2007 Abstract