Qiwen XU徐啟文
Assistant Professor

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

Academic Qualification

  • DPhil. in Computing, Oxford University Computing Laboratory, U.K. (1992)
  • BSc. in Computer Science, East China Normal University, China (1985)


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

  • Program Verification and Refinement
  • Formal Specification
  • Real Time Systems
  • Temporal Logic

Recent Research Projects

  • Formal Methods for Java Like Programs, University of Macau (Ref No. RG039/02-038/XQW/FST) 2003.
  • 模型驱动式高可信软件开发技术,国家自然科学基金 2006AA01Z165, 2007-2010.
  • Web 事务的模型和语义研究,国家自然科学基金20006201,2008-2011.
  • PEARL (Process Expansion: Action Refinement in the Large), Macao Science and Technology Fund, 2008-2011.
  • EAE (Engineering Accountable Ensembles), Macao Science and Technology Development Fund, 2010-2014 (being extended).
  • The Open Project of Shanghai Key Laboratory of Trustworthy Computing (No. 07dz22304201202), 2013.

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.


  • Member of the following program committees:
    • Asia-Pacific Software Engineering Conference 2012 (APSEC 2013)
    • Asia-Pacific Software Engineering Conference 2012 (APSEC 2012)
    • International Conference On Quality Software 2008 (QSIC 2008)
    • International Conference On Quality Software 2007 (QSIC 2007)
    • International Conference On Quality Software 2006 (QSIC 2006)
    • International Conference On Formal Engineering Methods 2006 (ICFEM 2006)
    • International Conference On Quality Software 2005 (QSIC 2005)

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