Presentations

At the NATO Summer School, Marktoberdorf, 2001:
Model Checking, Abstractions and Reductions

At the CONCUR’02 workshop on Parallel and Distributed Model Checking (PDMC 2002):
Tutorial on Directions in Parallel and Distributed Model Checking

At the NATO Summer School, Marktoberdorf, 2007:
Automatic Refinement and Vacuity Detection in Symbolic Trajectory Evaluation (STE)

Introductory Lecture on Model Checking (3 hours) at National Taiwan University, 2009:
Introduction to Model Checking (3 hours)