Selected Publications

• • 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.
  • Rate Monotonic Scheduling Re-analysed. (with N. Zhan). Information Processing Letters 110 (2010) 226-231. Elsevier.
  • Formalising Scheduling Theories in Duration Calculus (with Zhan Jaijun). Nordic Journal of Computing 14(2008) 172-201.
  • QRDChecker：一个QRDC模型检验工具 (with Yu Pei, Xuandong Li, Guoliang Zheng). 软件学报16 (3):355-364 ,2005
  • Completeness of temporal logics over infinite intervals (with Hanpin Wang). Discrete Applied Mathematics 136(1): 87-103 (2004), Elsevier.
  • 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.
  • 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.