|
Search the dblp DataBase
Naijun Zhan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Naijun Zhan
Combining Hierarchical Specification with Hierarchical Implementation. [Citation Graph (0, 0)][DBLP] ASIAN, 2003, pp:110-124 [Conf]
- Naijun Zhan, Mila E. Majster-Cederbaum
Deriving Non-determinism from Conjunction and Disjunction. [Citation Graph (0, 0)][DBLP] FORTE, 2005, pp:351-365 [Conf]
- 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]
- Naijun Zhan, Jinzhao Wu
Compositionality of Fixpoint Logic with Chop. [Citation Graph (0, 0)][DBLP] ICTAC, 2005, pp:136-150 [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]
- Naijun Zhan
Another formal proof for Deadline Driven Scheduler. [Citation Graph (0, 0)][DBLP] RTCSA, 2000, pp:481-485 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Modelling with Relational Calculus of Object and Component Systems - rCOS. [Citation Graph (, )][DBLP]
Program Verification by Reduction to Semi-algebraic Systems Solving. [Citation Graph (, )][DBLP]
Connecting Algebraic and Logical Descriptions of Concurrent Systems. [Citation Graph (, )][DBLP]
Refinement of models of software components. [Citation Graph (, )][DBLP]
Component Publications and Compositions. [Citation Graph (, )][DBLP]
Model Checking Linear Duration Invariants of Networks of Automata. [Citation Graph (, )][DBLP]
Program Verification by Using DISCOVERER. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|