About Me

Research Interests

Publications

Talks

Tools

Professional Sevices

Teaching

CESE

Program committee member, the 2004 IEEE International Conference on Information Reuse and Integration (IRI'04), Las Vegas, Nevada, USA, November, 2004

Journal Review:

• Formal Method and System Design

• Journal of Information and Computation,

• Journal of Automatic Reasoning

• International Journal on Software Tools for Technology Transfer

• IEEE transactions on Mechatronics

Conference Review:

• International Colloquium on Automata, Languages and Programming (ICALP)

• The International Conference on Distributed Computing Systems (ICDCS)

• Third International Conference on Embedded Software (EMSOFT)

• International Conference on Quality Software (QSIC)

• Euromicro Conference on Real-Time Systems (ECTRS)

• IEEE Real-Time Technology and Applications Symposium (RTAS)

• International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)