dblp.uni-trier.dewww.uni-trier.de

Qiwen Xu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
17EEPei Yu, Qiwen Xu: Checking Interval Based Properties for Reactive Systems. VMCAI 2004: 122-134
16EEHanpin Wang, Qiwen Xu: Completeness of temporal logics over infinite intervals. Discrete Applied Mathematics 136(1): 87-103 (2004)
2003
15EEJifeng He, Qiwen Xu: Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Asp. Comput. 15(1): 84-99 (2003)
2000
14EEJianzhong Wang, Qiwen Xu, Huadong Ma: Modeling and Verification of a Network Player System with DCValid. APAQS 2000: 44-52
13EEJonathan 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
11EEShuzhen Dong, Qiwen Xu, Naijun Zhan: A Formal Proof of the Rate Monotonic Scheduler. RTCSA 1999: 500-
1998
10EEGerardo 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
8EERalph-Johan Back, Qiwen Xu: Refinement of Fair Action Systems. Acta Inf. 35(2): 131-165 (1998)
1997
7EEQiwen 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
5EEJianping 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)