Qiwen Xu

2004
17	EE	Pei Yu, Qiwen Xu: Checking Interval Based Properties for Reactive Systems. VMCAI 2004: 122-134
16	EE	Hanpin Wang, Qiwen Xu: Completeness of temporal logics over infinite intervals. Discrete Applied Mathematics 136(1): 87-103 (2004)
2003
15	EE	Jifeng He, Qiwen Xu: Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Asp. Comput. 15(1): 84-99 (2003)
2000
14	EE	Jianzhong Wang, Qiwen Xu, Huadong Ma: Modeling and Verification of a Network Player System with DCValid. APAQS 2000: 44-52
13	EE	Jonathan P. Bowen, Jifeng He, Qiwen Xu: An Animatable Operational Semantics of the Verilog Hardware Description Language. ICFEM 2000: 199-208
12		Jifeng He, Qiwen Xu: An Operational Semantics of a Simulator Algorithm. PDPTA 2000
1999
11	EE	Shuzhen Dong, Qiwen Xu, Naijun Zhan: A Formal Proof of the Rate Monotonic Scheduler. RTCSA 1999: 500-
1998
10	EE	Gerardo Schneider, Qiwen Xu: Towards a Formal Semantics of Verilog Using Duration Calculus. FTRTFT 1998: 282-293
9		Paritosh K. Pandya, H.-P. Wang, Qiwen Xu: Toward a theory of sequential hybrid programs. PROCOMET 1998: 366-384
8	EE	Ralph-Johan Back, Qiwen Xu: Refinement of Fair Action Systems. Acta Inf. 35(2): 131-165 (1998)
1997
7	EE	Qiwen Xu, Swarup Mohalik: Compositional Reasoning Using the Assumption-Commitment Paradigm. COMPOS 1997: 565-583
6		Qiwen Xu: Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus. HART 1997: 301-315
5	EE	Jianping Gao, Qiwen Xu: Rigorous Design of a Fault Diagnosis and Isolation Algorithm. Hybrid Systems 1997: 100-121
4		Qiwen Xu, Willem P. de Roever, Jifeng He: The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Asp. Comput. 9(2): 149-174 (1997)
1995
3		Qiwen Xu, He Weidong: Hierarchical Design of a Chemical Concentration Control System. Hybrid Systems 1995: 270-281
1994
2		Qiwen Xu, Antonio Cau, Pierre Collette: On Unifying Assumption-Commitment Style Proof Rules for Concurrency. CONCUR 1994: 267-282
1		Wil Janssen, Mannes Poel, Qiwen Xu, Job Zwiers: Layering of Real-Time Distributed Processes. FTRTFT 1994: 393-417

Coauthor Index

1	Ralph-Johan Back	[8]
2	Jonathan P. Bowen	[13]
3	Antonio Cau	[2]
4	Pierre Collette	[2]
5	Shuzhen Dong	[11]
6	Jianping Gao	[5]
7	Jifeng He	[4] [12] [13] [15]
8	Wil Janssen	[1]
9	Huadong Ma	[14]
10	Swarup Mohalik	[7]
11	Paritosh K. Pandya	[9]
12	Mannes Poel	[1]
13	Willem P. de Roever	[4]
14	Gerardo Schneider	[10]
15	H.-P. Wang	[9]
16	Hanpin Wang	[16]
17	Jianzhong Wang	[14]
18	He Weidong	[3]
19	Pei Yu	[17]
20	Naijun Zhan	[11]
21	Job Zwiers	[1]

Colors in the list of coauthors