About us
Faculty and Staff
Leadership Team
CAS Members
International Cooperation
Education & Training
Join Us
Societies & Publications
1.Basic Info
Name: ZHAN Naijun
Title: Associate Professor
Department: State Key Laboratory of Computer Science
Email: znj(at)ios.ac.cn
Home page:
Addr: 4# South Fourth Street, Zhong Guan Cun, Beijing, China
Zipcode: 100190
2.Research interests:
4.Other Positions:
6. Recent Awards:
7.Recent Publications (Selected):
1. Dong Shuzhen, Xu Qiwen and Zhan Naijun. “A formal proof of the rate monotonic scheduler”. In the proc. of the Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA'99), part of the federated 1999 International Computer Congress, Hong Kong, December 13-15, 1999. IEEE Computer Society Press.
2. Zhou Chaochen, Dimitar P. Guelev and Zhan Naijun. “A higher-order duration calculus”. In the proc. of the Symposium in Celebration of the Work of C.A.R. Hoare, Oxford, 13-15 September, 1999.
3. Zhan Naijun. “An intuitive proof for DDS”. Journal of Computer Science and Technology, Vol 15, No.2, 1999.
4. Zhan Naijun. “A higher-order duration calculus and its completeness”. Science in China, Vol 30(5). {中英文版}.
5. Zhan Naijun. “Completeness of higher-order duration calculus”. Presented at and published in the proc. of CSL2000 held in Fischbachau, German, Lecture Notes in Computer Science Vol 1863, Springer-Verlag.
6. Zhan Naijun. “Another formal proof for deadline driven scheduler”. Presented and published in the proc. of RTCSA00 held in Cheju Island, South Korea. IEEE Computer Society Press.
7. Huandong Ma, Liang Li, Jianzhong Wang, Naijun Zhan. “Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol”. Presented at and published in the APSEC'01,
held in Macau. IEEE Computer Society Press.
8. M. Majster-Cederbaum, Naijun Zhan and Harald Fecher. “Action refinement from a logical point of view”. In VMCAI 2003 - Fourth International Conference on Verification, Model Checking and Abstract Interpretation, L.D. Zuck, P.C. Attie, A. Cortesi and S. Mukhopadhyay (Eds.), Lecture Notes in Computer Science 2575, pp.253-267.
9. Naijun Zhan. “Combining hierarchical specification with hierarchical implementation”. Presented at and published in ASIAN'03. Lecture Notes in Computer Science 2896, pp. 110-124. Mumbai, India.
10. Naijun Zhan. “Compsitional properties of sequential processes”. Presented at and Published in SVV'03. Electronic Notes in Theoretical Computer Science. Mumbai,