Naijun Zhan

2007
14	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
13	EE	Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206
12	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
11	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
10	EE	Naijun Zhan, Mila E. Majster-Cederbaum: Deriving Non-determinism from Conjunction and Disjunction. FORTE 2005: 351-365
9	EE	Naijun Zhan, Jinzhao Wu: Compositionality of Fixpoint Logic with Chop. ICTAC 2005: 136-150
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	Xin Chen	[13]
2	Yinghua Chen	[11] [12]
3	Zhenbang Chen	[14]
4	Shuzhen Dong	[1]
5	Harald Fecher	[5]
6	Abdel Hakim Hannousse	[14]
7	Jifeng He	[13]
8	Dang Van Hung	[14]
9	Istvan Knoll	[14]
10	Liang Li	[4]
11	Xiaoshan Li	[14]
12	Yang Liu	[14]
13	Zhiming Liu	[13] [14]
14	Huadong Ma	[4]
15	Mila E. Majster-Cederbaum	[5] [7] [10]
16	Qu Nan	[14]
17	Joseph C. Okika	[14]
18	Anders P. Ravn	[14]
19	Volker Stolz	[14]
20	Jianzhong Wang	[4]
21	Jinzhao Wu	[7] [9]
22	Bican Xia	[11] [12]
23	Qiwen Xu	[1]
24	Lu Yang	[11] [12] [14]
25	Houguang Yue	[7]
26	Chaochen Zhou (Zhou Chaochen)	[11]

Colors in the list of coauthors