The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Qiwen Xu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Qiwen Xu, Swarup Mohalik
    Compositional Reasoning Using the Assumption-Commitment Paradigm. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:565-583 [Conf]
  3. 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]
  4. 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]
  5. Gerardo Schneider, Qiwen Xu
    Towards a Formal Semantics of Verilog Using Duration Calculus. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:282-293 [Conf]
  6. 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]
  7. Qiwen Xu
    Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:301-315 [Conf]
  8. Qiwen Xu, He Weidong
    Hierarchical Design of a Chemical Concentration Control System. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:270-281 [Conf]
  9. 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]
  10. Jifeng He, Qiwen Xu
    An Operational Semantics of a Simulator Algorithm. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2000, pp:- [Conf]
  11. 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]
  12. 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]
  13. Pei Yu, Qiwen Xu
    Checking Interval Based Properties for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:122-134 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002