Xu Qiwen

A theory of state-based parallel programming

Xu Qiwen, Xu Qiwen, 1992 .

Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs

Xu Qiwen, He Jifeng, Xu Qiwen, 2003, Formal Aspects of Computing.

Checking Interval Based Properties for Reactive Systems

Pei Yu, Xu Qiwen, Xu Qiwen, 2004 .

Modelling and verification of a network player system with DCValid

Xu Qiwen, Ma Huadong, Wang Jianzhong, 2000, Proceedings First Asia-Pacific Conference on Quality Software.

Hierarchical design of a chemical concentration control system

Xu Qiwen, He Weidong, 1996 .

A formal proof of the rate monotonic scheduler

Xu Qiwen, Zhan Naijun, Dong Shuzhen, 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

A Theory of State-based Parallel Programming: Part 1

Xu Qiwen, He Jifeng, 1991 .