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