About Me

Research Interests

Publications

Talks

Tools

Professional Sevices

Teaching

CESE

Conference Presentations and invited talks

1. "PlayGame: a platform for diagnostic games ". the 16th International Conference on Computer-Aided Verification (CAV'04), Boston, MA, 2004. Slides. [ppt].
2. "Specification-based Testing with Linear Temporal Logic", IEEE Internation Conference on Information Reuse and Integration (IRI'04), Las Vegas, NV, 2004, Slides. [ppt]
3. "Model-based Testing and Monitoring for Hybrid Embedded Systems", IEEE Internation Conference on Information Reuse and Integration (IRI'04), Las Vegas, NV, 2004. Slides. [ppt].
4. "Model-based testing and monitoring". National Institute of Areospace/NASA Langley Research Center. September, 2003. Slides. [ppt].
5. "Testing and monitoring model-based generated program". The third internal workshop on runtime verification (RV'03). Boulder, Colorado, July, 2003. Slides. [ppt]
6. "Model-based Test Generation". The second annual workshop on hybrid systems. Allenberry, PA. Slides [ppt]
7. "Evidence-based Verification"
   1. In Specification and Verification Center, Carnegie Mellon University, November, 2002 [ppt]
   2. In IBM T. J. Watson research, Augest, 2002. [ppt]
   3. In NASA Ames research center, June, 2002. [ppt]
   4. In University of Pennsylvania, April, 2002. [ppt]
   5. In disseration defense. Stony Brook, May, 2002. [ppt]
8. "Evidence-based Model Checking". International Conference on Computer Aided Verification (CAV'02). Slides.[ppt]
9. "An abstract schema for equivalence checking games". International Workshop on Verification, Model checking, and abstract interpretation (VMCAI'02), Venice, Italy. Janunary, 2002. Slides [ps].

 

Lecture Notes

1. "The Concurrency Workbench". Lecture note in CSE 635, SUNY stony brook, Spring, 2000. Slides [ps]
2. "Witness and Counterexample". Lecture note in CIS 640. University of Pennsylvania. October, 2002. Slides [ppt]