Xu Qiwen  徐啟文 Assistant Professor

• 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)

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

• 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.

1. Formalising Scheduling Theories in Duration Calculus (with Zhan Jaijun). Nordic Journal of Computing 14(2008) 172-201.
2. QRDChecker：一个QRDC模型检验工具 (with Yu Pei, Xuandong Li, Guoliang Zheng). 软件学报16 (3):355-364 ,2005
3. Completeness of temporal logics over infinite intervals (with Hanpin Wang). Discrete Applied Mathematics 136(1): 87-103 (2004), Elsevier.
4. 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.
5. 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.
6. An Animatable Operational Semantics of the VERILO Hardware Description Language (with J. Bowen and He Jifeng). In Proceedings of ICFEM 2000, York, UK, IEEE Press 2000.
7. Modelling and Verification of Network Player System with DCValid (with Wang Jianzhong). In Proceedings of the First Asia-Pacific Conference on Quality Software, Hong Kong, P.R. China, 2000
8. An Operational Semantics of a Simulator Algorithm (with He Jifeng). In Proceedings of the 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), June, USA. IEEE Press 2000
9. A Formal Proof of the Rate Monotonic Scheduler (with Dong Shuzhen and Zhan Naijun). In Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications, Hong Kong. IEEE Press 1999.
10. Towards a theory of sequential hybrid programs (with P.K. Pandya and Hanpin Wang). In Proceedings of Procomet 98, USA, p366-384, Chapman & Hall, 1998.
11. Compositional reasoning using the assumption/commitment paradigm (with Mohalik Swarup, invited presentation). In H. Langmaack, A. Pnueli and W.-P. de Roever editors, In Proceedings of International Symposium, Compositionality - The Significant Difference, Germany. LNCS 1536, p565-583, Springer-Verlag, 1998.
12. Refinement of fair action systems (with R.J.R. Back). Acta Informatica 35, p131-165, 1998.
13. Towards a formal semantics of Verilog using duration calculus (with Gerardo Schneider). In Proceedings of the 5th International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Denmark. LNCS 1486, p282-293,Springer-Verlag, 1998.
14. The rely-guarantee method for verifying shared variable concurrent programs (with W.P. de Roever and Jifeng He). Formal Aspects of Computing (1997) 9:2 149-174.
15. Semantics and verification of extended phase transition systems in Duration Calculus. In O. Maler editor, Proceedings of International Workshop on Hybrid and Real-Time Systems, France. LNCS 1201, p301-315, Springer--Verlag, 1997
16. On unifying assumption-commitment style proof rules for concurrency (with A. Cau and P. Collette). In B. Jonsson and J. Parrow editors, Proceedings of  the Fifth International Conference on Concurrency Theory  (Concur 94), Sweden. LNCS 836, p267-282, Springer-Verlag, 1994.
17. Layering of real-time distributed processes (with W. Janssen, M. Poel and J. Zwiers). In Proceedings of the Third International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Germany. LNCS 863, p393-417, Springer-Verlag, 1994.

Faculty of Science and Technology
University of Macau
Av. Padre Tomás Pereira, Taipa,
Macau, China

Room: N327A
Telephone: (853) 8397-4377
Fax: (853) 28838314
Email: qwxu