Edit Profile Zhan, Naijun Compute Distance To: Compute Author ID: zhan.naijun Published as: Zhan, Naijun Documents Indexed: 56 Publications since 2000, including 3 Books all top 5 Co-Authors 6 single-authored 10 Wang, Shuling 10 Xia, Bican 9 Fränzle, Martin 7 Chen, Mingshuai 6 Kapur, Deepak 6 Zhao, Hengjun 5 Gan, Ting 5 Li, Yangjia 5 Liu, Zhiming 5 Xue, Bai 4 Dai, Liyun 4 Yang, Lu 4 Zhang, Lijun 3 Majster-Cederbaum, Mila E. 3 Zhang, Miaomiao 2 An, Jie 2 Chen, Yinghua 2 Gao, Yang 2 Liu, Jiang 2 Nazier Mosaad, Peter 2 Ravn, Anders P. 2 Wang, Ji 2 Wang, Qiuye 2 Xu, Ming 2 Xu, Qiwen 2 Zhou, Chaochen 2 Zou, Liang 1 Chen, Xin 1 Chen, Zhenbang 1 Dong, Ruzhen 1 Fecher, Harald 1 Feng, Xinyu 1 Guelev, Dimitar P. 1 Hahn, Ernst Moritz 1 He, Jifeng 1 Jiao, Li 1 Jones, Cliff B. 1 Kang, Eun-Young 1 Larsen, Kim Guldstrand 1 Li, Xiaoshan 1 Lin, Qianqian 1 Liu, Tao 1 Mosaad, Peter N. 1 Peng, Yu 1 Stolz, Volker 1 Talpin, Jean-Pierre 1 Wang, Jian 1 Wehrheim, Heike 1 Wu, Jinzhao 1 Xu, Xiong 1 Yan, Gaogao 1 Yang, MengFei 1 Yi, Wang 1 Zhan, Bohua 1 Zhan, Haolan 1 Zhang, Zhihai 1 Zhao, Liang 1 Zhu, Jiaqi 1 Zu, Quan all top 5 Serials 3 Formal Aspects of Computing 2 Information Processing Letters 2 IEEE Transactions on Automatic Control 2 Journal of Systems Science and Complexity 2 Journal of Software 2 Lecture Notes in Computer Science 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Nordic Journal of Computing 1 Science in China. Series E 1 Mathematics in Computer Science 1 Frontiers of Computer Science in China all top 5 Fields 50 Computer science (68-XX) 13 Systems theory; control (93-XX) 7 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 3 Ordinary differential equations (34-XX) 2 Operations research, mathematical programming (90-XX) 1 Commutative algebra (13-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 30 Publications have been cited 84 times in 49 Documents Cited by ▼ Year ▼ Discovering non-linear ranking functions by solving semi-algebraic systems. Zbl 1147.68442Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen 8 2007 Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun 7 2007 Recent advances in program verification through computer algebra. Zbl 1267.68099Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican 6 2010 Symbolic decision procedure for termination of linear programs. Zbl 1216.68077Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai 5 2011 Refinement and verification in component-based model-driven design. Zbl 1178.68158Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun 5 2009 A model of component-based programming. Zbl 1141.68363Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun 5 2007 Barrier certificates revisited. Zbl 1357.68110Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 4 2017 Formal modelling, analysis and verification of hybrid systems. Zbl 1444.68105Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 4 2013 Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063Liu, Jiang; Zhan, Naijun; Zhao, Hengjun 4 2012 A “hybrid” approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example. Zbl 1373.93125Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G. 4 2012 Automatic verification of stability and safety for delay differential equations. Zbl 1381.68188Zou, Liang; Fränzle, Martin; Zhan, Naijun; Nazier Mosaad, Peter 3 2015 Formal verification of Simulink/Stateflow diagrams. Zbl 06527569Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin 3 2015 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 3 2013 An assume/guarantee based compositional calculus for hybrid CSP. Zbl 1354.68204Wang, Shuling; Zhan, Naijun; Guelev, Dimitar 3 2012 Component publications and compositions. Zbl 1286.68098Zhan, Naijun; Kang, Eun Young; Liu, Zhiming 3 2010 Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. Zbl 1420.68244Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun 2 2017 Synthesizing switching controllers for hybrid systems by generating invariants. Zbl 1390.68316Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak 2 2013 Robust invariant sets generation for state-constrained perturbed polynomial systems. Zbl 07120148Xue, Bai; Wang, Qiuye; Zhan, Naijun; Fränzle, Martin 1 2019 Under-approximating reach sets for polynomial continuous systems. Zbl 1417.93064Xue, Bai; Fränzle, Martin; Zhan, Naijun 1 2018 A two-way path between formal and informal design of embedded systems. Zbl 06700458Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun 1 2017 Interpolant synthesis for quadratic polynomial inequalities and combination with EUF. Zbl 06623262Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai 1 2016 Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun 1 2015 Decidability of the reachability for a family of linear vector fields. Zbl 06527570Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun 1 2015 Discovering non-terminating inputs for multi-path polynomial programs. Zbl 1327.68080Liu, Jiang; Xu, Ming; Zhan, Naijun; Zhao, Hengjun 1 2014 Model checking linear duration invariants of networks of automata. Zbl 1274.68207Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun 1 2010 Formalising scheduling theories in duration calculus. Zbl 1187.68102Xu, Qiwen; Zhan, Naijun 1 2008 Compositionality of fixpoint logic with chop. Zbl 1169.68522Zhan, Naijun; Wu, Jinzhao 1 2005 Combining hierarchical specification with hierarchical implementation. Zbl 1215.68137Zhan, Naijun 1 2003 Action refinement from a logical point of view. Zbl 1022.68078Majster-Cederbaum, Mila; Zhan, Naijun; Fecher, Harald 1 2003 An intuitive formal proof for deadline driven scheduler. Zbl 0986.68009Zhan, Naijun 1 2001 Robust invariant sets generation for state-constrained perturbed polynomial systems. Zbl 07120148Xue, Bai; Wang, Qiuye; Zhan, Naijun; Fränzle, Martin 1 2019 Under-approximating reach sets for polynomial continuous systems. Zbl 1417.93064Xue, Bai; Fränzle, Martin; Zhan, Naijun 1 2018 Barrier certificates revisited. Zbl 1357.68110Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 4 2017 Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. Zbl 1420.68244Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun 2 2017 A two-way path between formal and informal design of embedded systems. Zbl 06700458Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun 1 2017 Interpolant synthesis for quadratic polynomial inequalities and combination with EUF. Zbl 06623262Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai 1 2016 Automatic verification of stability and safety for delay differential equations. Zbl 1381.68188Zou, Liang; Fränzle, Martin; Zhan, Naijun; Nazier Mosaad, Peter 3 2015 Formal verification of Simulink/Stateflow diagrams. Zbl 06527569Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin 3 2015 Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun 1 2015 Decidability of the reachability for a family of linear vector fields. Zbl 06527570Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun 1 2015 Discovering non-terminating inputs for multi-path polynomial programs. Zbl 1327.68080Liu, Jiang; Xu, Ming; Zhan, Naijun; Zhao, Hengjun 1 2014 Formal modelling, analysis and verification of hybrid systems. Zbl 1444.68105Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 4 2013 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 3 2013 Synthesizing switching controllers for hybrid systems by generating invariants. Zbl 1390.68316Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak 2 2013 Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063Liu, Jiang; Zhan, Naijun; Zhao, Hengjun 4 2012 A “hybrid” approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example. Zbl 1373.93125Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G. 4 2012 An assume/guarantee based compositional calculus for hybrid CSP. Zbl 1354.68204Wang, Shuling; Zhan, Naijun; Guelev, Dimitar 3 2012 Symbolic decision procedure for termination of linear programs. Zbl 1216.68077Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai 5 2011 Recent advances in program verification through computer algebra. Zbl 1267.68099Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican 6 2010 Component publications and compositions. Zbl 1286.68098Zhan, Naijun; Kang, Eun Young; Liu, Zhiming 3 2010 Model checking linear duration invariants of networks of automata. Zbl 1274.68207Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun 1 2010 Refinement and verification in component-based model-driven design. Zbl 1178.68158Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun 5 2009 Formalising scheduling theories in duration calculus. Zbl 1187.68102Xu, Qiwen; Zhan, Naijun 1 2008 Discovering non-linear ranking functions by solving semi-algebraic systems. Zbl 1147.68442Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen 8 2007 Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun 7 2007 A model of component-based programming. Zbl 1141.68363Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun 5 2007 Compositionality of fixpoint logic with chop. Zbl 1169.68522Zhan, Naijun; Wu, Jinzhao 1 2005 Combining hierarchical specification with hierarchical implementation. Zbl 1215.68137Zhan, Naijun 1 2003 Action refinement from a logical point of view. Zbl 1022.68078Majster-Cederbaum, Mila; Zhan, Naijun; Fecher, Harald 1 2003 An intuitive formal proof for deadline driven scheduler. Zbl 0986.68009Zhan, Naijun 1 2001 all cited Publications top 5 cited Publications all top 5 Cited by 112 Authors 12 Zhan, Naijun 6 Xia, Bican 5 Liu, Zhiming 5 Wang, Shuling 5 Zhao, Hengjun 4 Kapur, Deepak 3 Dai, Liyun 3 Foster, Simon 3 Woodcock, James C. P. 3 Yang, Zhengfeng 3 Zhang, Zhihai 2 Baier, Christel 2 Cavalcanti, Ana 2 Chen, Mingshuai 2 Chen, Zhenbang 2 Dubslaff, Clemens 2 Gan, Ting 2 Klüppelholz, Sascha 2 Lin, Wang 2 Liu, Jiang 2 Morisset, Charles 2 Ramos, Rodrigo A. 2 Ravn, Anders P. 2 Sampaio, Augusto C. A. 2 Stolz, Volker 2 Wu, Min 2 Xu, Ming 2 Zeng, Zhenbing 2 Zhang, Lijun 1 Ahn, Univan 1 Antonino, Pedro 1 Arcak, Murat 1 Bacha, Anis Belhadj Brahim 1 Barbosa, Luís Soares 1 Benhadj Braiek, Naceur 1 Bjørner, Dines 1 Bouissou, Olivier 1 Canham, Samuel 1 Chapoutot, Alexandre 1 Chen, Jie 1 Chen, Shikun 1 Choe, Changil 1 Dang Van, Hung 1 Ding, Zuohua 1 Djaballah, Adel 1 Dong, Ruzhen 1 Du, Ding-Zhu 1 Duan, Zhenhua 1 Faber, Johannes 1 Fan, Chuchu 1 Fränzle, Martin 1 Gao, Xiaoshan 1 Han, Song 1 Hofmann, Dirk 1 Horbach, Matthias 1 Huang, Zhenqi 1 Jackson, Paul B. 1 Jansen, David N. 1 Johnson, Taylor T. 1 Ke, Wei 1 Kieffer, Michel 1 Klein, Joachim 1 Lei, Bin 1 Leuschner, Linda 1 Li, Mengjun 1 Li, Xuandong 1 Li, Yangjia 1 Li, Yi 1 Li, Yi 1 Li, Zhoujun 1 Liu, Jing 1 Lu, Qi 1 Majster-Cederbaum, Mila E. 1 Martins, Manuel António 1 Matringe, Nadir 1 Mitra, Sayan 1 Mota, Alejandro 1 Mota, Alexandre C. 1 Moura, Arnaldo Vieira 1 Nazier Mosaad, Peter 1 Neves, Renato 1 Nguyen, Thanhvu H. 1 Ohtsuka, Toshiyuki 1 Oliveira, Marcel 1 Packard, Andrew K. 1 Rebiha, Rachid 1 Roscoe, Andrew William 1 Seiler, Peter J. 1 Shao, Jun 1 Shen, Liyong 1 Sogokon, Andrew 1 Song, Xiaoyu 1 Thiele, Bernhard 1 Tian, Cong 1 Truong, Hoang 1 Wang, Qiuye 1 Wang, Shouyang 1 Wu, Min 1 Wunderlich, Sascha 1 Xue, Bai ...and 12 more Authors all top 5 Cited in 17 Serials 5 Journal of Systems Science and Complexity 4 Theoretical Computer Science 4 Formal Aspects of Computing 3 Science of Computer Programming 2 Automatica 2 Journal of Symbolic Computation 1 Systems & Control Letters 1 Information and Computation 1 Journal of Automated Reasoning 1 Journal of Global Optimization 1 Computational and Applied Mathematics 1 Abstract and Applied Analysis 1 Mathematics in Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 12 Fields 38 Computer science (68-XX) 12 Systems theory; control (93-XX) 5 Operations research, mathematical programming (90-XX) 4 Mathematical logic and foundations (03-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Numerical analysis (65-XX) Citations by Year