Search the dblp DataBase

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]