Min Zhou PHD Candidate Concurrent Software Systems Laboratory Department of Computer Science University of Illinois at Chicago Office:1130 SEO Lab: 2054 ERF Phone: 312-413-2103 or 312-996-2576 Email: mzhou@cs.uic.edu
I am currently a graduate student of Professor A. Prasad Sistla in the CS department at University of Illinois at Chicago. I expect to obtain my Ph.D. in May 2006. I received my M.S. in Computer Science from Insititute of Software, Chinese Academy of Science (ISCAS) and B.S. in Computer Science from Wuhan University, China.
A. Prasad Sistla, Min Zhou, Lenore D.Zuck "Monitoring off-the-shelf Components" in Verification,Model Checking and Abstract Interpretation, VMCAI 2006, January 8-10, 2006, Charleston, South Carolina, U.S.A.(available here in PDF, BibTex, talk in PPT) A. Prasad Sistla, Min Zhou " Combining Static Analysis and Model Checking for Systems Employing Commutative Functions" in Formal Techniques for Networked and Distributed Systems , FORTE 2005 October 2-5, 2005, Taipei, Taiwan (available here in PDF, BibTex) A. Prasad Sistla, Min Zhou, Xiaodong Wang "Model Checking of Systems Employing Commutative Functions" in Verification,Model Checking and Abstract Interpretation, VMCAI 2005, Jan 17-19, 2005 ,Paris, France(available here in PDF, BibTex, talk in PPT) A. Prasad Sistla, Xiaodong Wang, Min Zhou "Checking Extended CTL properties Using Guarded Quotient Structures" in Software Engineering and Formal Methods, SEFM 2004, Sep 28-30, 2004, Beijing, China(available here in PDF, BibTex, talk in PDF)