The SCEAS System
| |||||||

## 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.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |