Qiwen XU  徐啟文
Assistant Professor

Academic Qualifications | Teaching | Research | Selected Publications | Services | Contact Details

Academic Qualifications

B.Sc. Courses

  1. Discrete Structures (SFTW110)
  2. Algorithms and Data Structures I (SFTW111)
  3. Algorithms and Data Structures II (SFTW210)
  4. Formal Language and Automata (SFTW223)
  5. Special Topics in Computer and Information Science I (SFTW373)
  6. Project (SFTW496)
M.Sc. Courses
  1. Operating Systems and Concurrent Programming (IMSS003)
  2. Formal Methods in Software Engineering (IMSS009)
  3. Computer Sciences Seminars (IMSS005)
  4. Thesis (IMSS999)


Research Interests

Recent Research Projects
Selected Publications
  1. The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs.
    (With Huibiao Zhu, Chris Ma, Shengchao Qin, and Zongyan Qi). 
    In Proceedings of the 10th International Conference on Software Engineering  and Formal Methods. Greece, 1-5 October, LNCS 7504, Springer-Verlag, 2012.
  2. Rate Monotonic Scheduling Re-analysed. (with N. Zhan). Information Processing Letters 110 (2010) 226-231. Elsevier.
  3. Formalising Scheduling Theories in Duration Calculus (with Zhan Jaijun). Nordic Journal of Computing 14(2008) 172-201.
  4. QRDChecker:一个QRDC模型检验工具 (with Yu Pei, Xuandong Li, Guoliang Zheng). 软件学报16 (3):355-364 ,2005
  5. Completeness of temporal logics over infinite intervals (with Hanpin Wang). Discrete Applied Mathematics 136(1): 87-103 (2004), Elsevier.
  6. Checking Interval Based Properties for Reactive Systems (with Yu Pei). In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation. Venice, Italy. LNCS 2937, Springer-Verlag, 2004.
  7. Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs (with Jifeng He). Formal Aspects of Computing 15(1): 84-99(2003), Springer-Verlag.

Contact Details

Faculty of Science and Technology
University of Macau, E11
Avenida da Universidade, Taipa,
Macau, China

Room: E11-4024
Telephone: (853) 8822-4377
Fax: (853) 8822-2426
Email: qwxu