Naijun Zhan

Yang Gao, Ming Xu, Naijun Zhan, Lijun Zhang: Model checking conditional CSL for continuous-time Markov chains. Inf. Process. Lett. 113(1-2): 44-50 (2013)

Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan: Bounded model-checking of discrete duration calculus. HSCC 2013: 213-222

Liyun Dai, Bican Xia, Naijun Zhan: Generating Non-Linear Interpolants by Semidefinite Programming. CoRR abs/1302.4739 (2013)

Deepak Kapur, Naijun Zhan, Hengjun Zhao: Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation. CoRR abs/1304.0825 (2013)

Jiang Liu, Naijun Zhan, Hengjun Zhao: Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. Mathematics in Computer Science 6(4): 395-408 (2012)

Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu: Unblockable compositions of software components. CBSE 2012: 103-108

Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen: A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. FM 2012: 471-485

Shuling Wang, Naijun Zhan, Dimitar P. Guelev: An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. TAMC 2012: 72-83

Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen: A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. CoRR abs/1203.6025 (2012)

Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang: Symbolic decision procedure for termination of linear programs. Formal Asp. Comput. 23(2): 171-190 (2011)

Jiang Liu, Naijun Zhan, Hengjun Zhao: Computing semi-algebraic invariants for polynomial dynamical systems. EMSOFT 2011: 97-106

Jiang Liu, Naijun Zhan, Hengjun Zhao: A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems. CoRR abs/1102.0705 (2011)

Jiang Liu, Naijun Zhan, Hengjun Zhao: Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. CoRR abs/1103.3372 (2011)

Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia: Recent advances in program verification through computer algebra. Frontiers of Computer Science in China 4(1): 1-16 (2010)

Naijun Zhan, Mila E. Majster-Cederbaum: On hierarchically developing reactive systems. Inf. Comput. 208(9): 997-1019 (2010)

Qiwen Xu, Naijun Zhan: Rate monotonic scheduling re-analysed. Inf. Process. Lett. 110(6): 226-231 (2010)

Naijun Zhan: Connection between logical and algebraic approaches to concurrent systems. Mathematical Structures in Computer Science 20(5): 915-950 (2010)

Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou: A Calculus for Hybrid CSP. APLAS 2010: 1-15

Zizhen Wang, Hanpin Wang, Naijun Zhan: Refinement of models of software components. SAC 2010: 2311-2318

Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan: Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74(4): 168-196 (2009)

Miaomiao Zhang, Zhiming Liu, Naijun Zhan: Model Checking Linear Duration Invariants of Networks of Automata. FSEN 2009: 244-259

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)

Qiwen Xu, Naijun Zhan: Formalising Scheduling Theories in Duration Calculus. Nord. J. Comput. 14(3): 173-201 (2008)

Bican Xia, Lu Yang, Naijun Zhan: Program Verification by Reduction to Semi-algebraic Systems Solving. ISoLA 2008: 277-291

Naijun Zhan, Eun-Young Kang, Zhiming Liu: Component Publications and Compositions. UTP 2008: 238-257

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

Zhenbang Chen, Abdelhakim 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

Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206

Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou: Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. ICTAC 2007: 34-49

Naijun Zhan: Connecting Algebraic and Logical Descriptions of Concurrent Systems. ISoLA 2006: 383-391

Naijun Zhan: Compositional Properties of Sequential Processes. Electr. Notes Theor. Comput. Sci. 118: 111-128 (2005)

Naijun Zhan, Mila E. Majster-Cederbaum: Deriving Non-determinism from Conjunction and Disjunction. FORTE 2005: 351-365

Naijun Zhan, Jinzhao Wu: Compositionality of Fixpoint Logic with Chop. ICTAC 2005: 136-150

Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou: Program Verification by Using DISCOVERER. VSTTE 2005: 528-538

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

Naijun Zhan: Combining Hierarchical Specification with Hierarchical Implementation. ASIAN 2003: 110-124

Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher: Action Refinement from a Logical Point of View. VMCAI 2003: 253-267

Naijun Zhan: An Intuitive Formal Proof for Deadline Driven Scheduler. J. Comput. Sci. Technol. 16(2): 146-158 (2001)

Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan: Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. APSEC 2001: 371-

Naijun Zhan: Another formal proof for Deadline Driven Scheduler. RTCSA 2000: 481-485

Shuzhen Dong, Qiwen Xu, Naijun Zhan: A Formal Proof of the Rate Monotonic Scheduler. RTCSA 1999: 500-