Click Here for Recent Talks (from 2001 onwards)
Past Talks are as follows:
- "Compositional Verification of Concurrent Real-Time Systems," Department of Computer Science and Information Engineering, Fu-Jen Catholic University, Hsinchuang, May 17, 2000.
- "Compositional Verification of Concurrent Real-Time Systems," Department of Computer Science and Information Engineering, National Chung-Cheng University, Chiayi, May 3, 2000.
- "Compositional Verification of Concurrent Real-Time Systems," Department of Computer Science and Information Engineering, Tatung University, Taipei, April 17, 2000.
- "Compositional Verification of Concurrent Real-Time Systems," Department of Computer Science and Information Engineering, National Chi-Nan University, Nantou, March 16, 2000.
- "Compositional Verification of Concurrent Real-Time Systems," Graduate Seminar Talk, Graduate Institute of Computer Science and Information Engineering, National Taiwan University, Taipei, March 10, 2000.
- "A Case Study in Hardware-Software Codesign -- Vehicle Parking Management System," Graduate Seminar Talk, Graduate Institute of Electrical Engineering, Tamkang University, Taipei, December 6, 1999.
- "User Friendly Verification," Graduate Seminar Talk, Graduate Institute of Electrical Engineering, Tamkang University, Taipei, December 6, 1999.
- "CMAPS: A Cosynthesis Methodology for Application-Oriented Parallel Systems," Graduate Seminar Talk, Graduate Institute of Electrical Engineering, Chang-Gung University, Kwei-Shan, Taiwan, March 15, 1999.
- "User-Friendly Verification," Graduate Seminar Talk, Graduate Institute of Computer Science and Information Engineering, National Chiao-Tung University, Hsin-Chu, Taiwan, March 9, 1999.
- "SGM: A User-Friendly Verification Environment," 3rd Joint Seminar on Programming Languages and Systems, National Taiwan University and IIS, Academia Sinica, March 5, 1999.