Qiwen Xu
Assistant Professor
Computer and information science
University of Macau
Macao
Biography
Qiwen XU is an assistant professor at University of Macau. He received his Bachelor's degree in Computer Science from East China Normal University, China.
Research Interest
Program Verification and Refinement, Formal Specification, Real Time Systems, Temporal Logic
Publications
-
Formalising Scheduling Theories in Duration Calculus (with Zhan Jaijun). Nordic Journal of Computing 14(2008) 172-201.
-
Completeness of temporal logics over infinite intervals (with Hanpin Wang). Discrete Applied Mathematics 136(1): 87-103 (2004), Elsevier.
-
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.