Naijun Zhan

2008
17	EE	Bican Xia, Lu Yang, Naijun Zhan: Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA 2008: 277-291
16	EE	Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu: Basic research in computer science and software engineering at SKLCS. Frontiers of Computer Science in China 2(1): 1-11 (2008)
2007
15	EE	Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan: Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145
14	EE	Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206
13	EE	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan: Generating Polynomial Invariants with DISCOVERER and QEPCAD. Formal Methods and Hybrid Real-Time Systems 2007: 67-82
12	EE	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC 2007: 34-49
2005
11	EE	Naijun Zhan, Mila E. Majster-Cederbaum: Deriving Non-determinism from Conjunction and Disjunction. FORTE 2005: 351-365
10	EE	Naijun Zhan, Jinzhao Wu: Compositionality of Fixpoint Logic with Chop. ICTAC 2005: 136-150
9	EE	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538
8	EE	Naijun Zhan: Compositional Properties of Sequential Processes. Electr. Notes Theor. Comput. Sci. 118: 111-128 (2005)
2004
7	EE	Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan: Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. ICFEM 2004: 449-463
2003
6	EE	Naijun Zhan: Combining Hierarchical Specification with Hierarchical Implementation. ASIAN 2003: 110-124
5	EE	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher: Action Refinement from a Logical Point of View. VMCAI 2003: 253-267
2001
4	EE	Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan: Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. APSEC 2001: 371-
3	EE	Naijun Zhan: An Intuitive Formal Proof for Deadline Driven Scheduler. J. Comput. Sci. Technol. 16(2): 146-158 (2001)
2000
2	EE	Naijun Zhan: Another formal proof for Deadline Driven Scheduler. RTCSA 2000: 481-485
1999
1	EE	Shuzhen Dong, Qiwen Xu, Naijun Zhan: A Formal Proof of the Rate Monotonic Scheduler. RTCSA 1999: 500-

Coauthor Index

1	Haiming Chen	[16]
2	Xin Chen	[14]
3	Yinghua Chen	[12] [13]
4	Zhenbang Chen	[15]
5	Shuzhen Dong	[1]
6	Harald Fecher	[5]
7	Abdel Hakim Hannousse	[15]
8	Jifeng He	[14]
9	Dang Van Hung	[15]
10	Istvan Knoll	[15]
11	Liang Li	[4]
12	Xiaoshan Li	[15]
13	Yang Liu	[15]
14	Zhiming Liu	[14] [15]
15	Huadong Ma	[4]
16	Mila E. Majster-Cederbaum	[5] [7] [11]
17	Qu Nan	[15]
18	Joseph C. Okika	[15]
19	Anders P. Ravn	[15]
20	Yi-Dong Shen	[16]
21	Volker Stolz	[15]
22	Hongan Wang	[16]
23	Jianzhong Wang	[4]
24	Yongji Wang	[16]
25	Enhua Wu	[16]
26	Jinzhao Wu	[7] [10]
27	Bican Xia	[9] [12] [13] [17]
28	Qiwen Xu	[1]
29	Lu Yang	[9] [12] [13] [15] [17]
30	Houguang Yue	[7]
31	Jian Zhang	[16]
32	Wenhui Zhang	[16]
33	Yunquan Zhang	[16]
34	Chaochen Zhou (Zhou Chaochen)	[9] [12]
35	Xueyang Zhu	[16]

Colors in the list of coauthors