The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Naijun Zhan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan
    Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:371-0 [Conf]
  2. Naijun Zhan
    Combining Hierarchical Specification with Hierarchical Implementation. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:110-124 [Conf]
  3. Naijun Zhan, Mila E. Majster-Cederbaum
    Deriving Non-determinism from Conjunction and Disjunction. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:351-365 [Conf]
  4. Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan
    Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:449-463 [Conf]
  5. Naijun Zhan, Jinzhao Wu
    Compositionality of Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:136-150 [Conf]
  6. 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]
  7. Naijun Zhan
    Another formal proof for Deadline Driven Scheduler. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:481-485 [Conf]
  8. Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher
    Action Refinement from a Logical Point of View. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:253-267 [Conf]
  9. Naijun Zhan
    Compositional Properties of Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:111-128 [Journal]
  10. Naijun Zhan
    An Intuitive Formal Proof for Deadline Driven Scheduler. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2001, v:16, n:2, pp:146-158 [Journal]
  11. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
    Generating Polynomial Invariants with DISCOVERER and QEPCAD. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:67-82 [Conf]
  12. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou
    Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:34-49 [Conf]
  13. Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
    A Model of Component-Based Programming. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:191-206 [Conf]

  14. Modelling with Relational Calculus of Object and Component Systems - rCOS. [Citation Graph (, )][DBLP]


  15. Program Verification by Reduction to Semi-algebraic Systems Solving. [Citation Graph (, )][DBLP]


  16. Connecting Algebraic and Logical Descriptions of Concurrent Systems. [Citation Graph (, )][DBLP]


  17. Refinement of models of software components. [Citation Graph (, )][DBLP]


  18. Component Publications and Compositions. [Citation Graph (, )][DBLP]


  19. Model Checking Linear Duration Invariants of Networks of Automata. [Citation Graph (, )][DBLP]


  20. Program Verification by Using DISCOVERER. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
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