Edit Profile (opens in new tab) Zhan, Naijun Co-Author Distance Author ID: zhan.naijun Published as: Zhan, Naijun Documents Indexed: 84 Publications since 2000, including 1 Book and 6 Additional arXiv Preprints 5 Contributions as Editor Co-Authors: 83 Co-Authors with 83 Joint Publications 2,507 Co-Co-Authors all top 5 Co-Authors 6 single-authored 20 Xue, Bai 15 Xia, Bican 14 Chen, Mingshuai 14 Fränzle, Martin 14 Wang, Shuling 9 Li, Yangjia 8 Wang, Qiuye 7 Gan, Ting 6 Kapur, Deepak 6 Zhan, Bohua 6 Zhang, Miaomiao 6 Zhao, Hengjun 5 An, Jie 5 Dai, Liyun 5 Liu, Zhiming 5 Zhang, Lijun 4 Feng, Shenghua 4 Jiao, Li 4 Katoen, Joost-Pieter 4 Yang, Lu 3 Majster-Cederbaum, Mila E. 3 Mosaad, Peter N. 3 Talpin, Jean-Pierre 3 Wang, Ji 3 Xu, Xiong 2 Bai, Yunjun 2 Chen, Yinghua 2 Feng, Yijun 2 Gao, Yang 2 Guelev, Dimitar P. 2 Huisman, Marieke 2 Jin, Xiangyu 2 Liu, Jiang 2 Nazier Mosaad, Peter 2 Păsăreanu, Corina S. 2 Ravn, Anders P. 2 Xu, Ming 2 Xu, Qiwen 2 Yan, Gaogao 2 Zhou, Chaochen 2 Zou, Liang 1 Ahmad, Ehsan 1 Chen, Xin 1 Chen, Yu-Fang 1 Chen, Zhenbang 1 Dong, Ruzhen 1 Dong, Yunwei 1 Fecher, Harald 1 Feng, Xinyu 1 Hahn, Ernst Moritz 1 He, Jifeng 1 Jansen, David N. 1 Jones, Cliff B. 1 Kaminski, Benjamin Lucien 1 Kang, Eun-Young 1 Larsen, Kim Guldstrand 1 Larson, Brian 1 Li, Haokun 1 Li, Xiaoshan 1 Lin, Qianqian 1 Liu, Tao 1 Liu, Wanwei 1 Lu, Jidong 1 Peng, Yu 1 Sankaranarayanan, Sriram 1 She, Zhikun 1 Shen, Wei 1 Stolz, Volker 1 Su, Han 1 Tang, Xiaochen 1 Wang, Jian 1 Wang, Lingtai 1 Wang, Shijie 1 Wehrheim, Heike 1 Wu, Jinzhao 1 Wu, Zhilin 1 Yang, MengFei 1 Yi, Wang 1 Zhan, Haolan 1 Zhang, Zhihai 1 Zhao, Liang 1 Zhu, Jiaqi 1 Zu, Quan all top 5 Serials 4 IEEE Transactions on Automatic Control 4 Formal Aspects of Computing 3 Lecture Notes in Computer Science 2 Acta Informatica 2 Information Processing Letters 2 Information and Computation 2 Journal of Systems Science and Complexity 2 Journal of Software 1 SIAM Journal on Control and Optimization 1 Theoretical Computer Science 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 MSCS. Mathematical Structures in Computer Science 1 Formal Methods in System Design 1 Nordic Journal of Computing 1 Science in China. Series E 1 Mathematics in Computer Science 1 Science China. Information Sciences 1 Scientia Sinica. Mathematica 1 Frontiers of Computer Science in China 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 68 Computer science (68-XX) 26 Systems theory; control (93-XX) 12 Mathematical logic and foundations (03-XX) 7 Operations research, mathematical programming (90-XX) 5 General and overarching topics; collections (00-XX) 3 Ordinary differential equations (34-XX) 3 Probability theory and stochastic processes (60-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Dynamical systems and ergodic theory (37-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 55 Publications have been cited 197 times in 119 Documents Cited by ▼ Year ▼ Barrier certificates revisited. Zbl 1357.68110 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 15 2017 Discovering non-linear ranking functions by solving semi-algebraic systems. Zbl 1147.68442 Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen 10 2007 Formal verification of Simulink/Stateflow diagrams. Zbl 1471.68159 Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin 8 2015 Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366 Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun 8 2007 Generating non-linear interpolants by semidefinite programming. Zbl 1503.68181 Dai, Liyun; Xia, Bican; Zhan, Naijun 8 2013 Learning one-clock timed automata. Zbl 1507.68163 An, Jie; Chen, Mingshuai; Zhan, Bohua; Zhan, Naijun; Zhang, Miaomiao 8 2020 Reachability analysis for solvable dynamical systems. Zbl 1423.93057 Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun 8 2018 A “hybrid” approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example. Zbl 1373.93125 Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G. 7 2012 Formal verification of Simulink/Stateflow diagrams. A deductive approach. Zbl 1412.68006 Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 6 2017 Recent advances in program verification through computer algebra. Zbl 1267.68099 Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican 6 2010 Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063 Liu, Jiang; Zhan, Naijun; Zhao, Hengjun 6 2012 A model of component-based programming. Zbl 1141.68363 Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun 5 2007 Automatic verification of stability and safety for delay differential equations. Zbl 1381.68188 Zou, Liang; Fränzle, Martin; Zhan, Naijun; Nazier Mosaad, Peter 5 2015 Refinement and verification in component-based model-driven design. Zbl 1178.68158 Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun 5 2009 Formal modelling, analysis and verification of hybrid systems. Zbl 1444.68105 Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 5 2013 Symbolic decision procedure for termination of linear programs. Zbl 1216.68077 Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai 5 2011 Robust invariant sets generation for state-constrained perturbed polynomial systems. Zbl 07120148 Xue, Bai; Wang, Qiuye; Zhan, Naijun; Fränzle, Martin 5 2019 Component publications and compositions. Zbl 1286.68098 Zhan, Naijun; Kang, Eun Young; Liu, Zhiming 5 2010 Finding polynomial loop invariants for probabilistic programs. Zbl 1495.68042 Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican 5 2017 Under-approximating reach sets for polynomial continuous systems. Zbl 1417.93064 Xue, Bai; Fränzle, Martin; Zhan, Naijun 5 2018 An assume/guarantee based compositional calculus for hybrid CSP. Zbl 1354.68204 Wang, Shuling; Zhan, Naijun; Guelev, Dimitar 4 2012 Decidability of the reachability for a family of linear vector fields. Zbl 1476.68147 Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun 4 2015 Inner-approximating reachable sets for polynomial systems with time-varying uncertainties. Zbl 07256270 Xue, Bai; Fränzle, Martin; Zhan, Naijun 4 2020 Interpolant synthesis for quadratic polynomial inequalities and combination with EUF. Zbl 1475.03072 Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai 4 2016 Synthesizing switching controllers for hybrid systems by generating invariants. Zbl 1390.68316 Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak 4 2013 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125 Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 4 2013 Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. Zbl 1420.68244 Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun 3 2017 Validated simulation-based verification of delayed differential dynamics. Zbl 1427.68163 Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun 3 2016 Nonlinear Craig interpolant generation. Zbl 1478.68159 Gan, Ting; Xia, Bican; Xue, Bai; Zhan, Naijun; Dai, Liyun 3 2020 Safe over- and under-approximation of reachable sets for delay differential equations. Zbl 1497.93100 Xue, Bai; Mosaad, Peter Nazier; Fränzle, Martin; Chen, Mingshuai; Li, Yangjia; Zhan, Naijun 2 2017 Discovering non-terminating inputs for multi-path polynomial programs. Zbl 1327.68080 Liu, Jiang; Xu, Ming; Zhan, Naijun; Zhao, Hengjun 2 2014 A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220 Wang, Shuling; Zhan, Naijun; Zhang, Lijun 2 2017 Model checking linear duration invariants of networks of automata. Zbl 1274.68207 Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun 1 2010 An intuitive formal proof for deadline driven scheduler. Zbl 0986.68009 Zhan, Naijun 1 2001 Combining hierarchical specification with hierarchical implementation. Zbl 1215.68137 Zhan, Naijun 1 2003 Formalising scheduling theories in duration calculus. Zbl 1187.68102 Xu, Qiwen; Zhan, Naijun 1 2008 Compositionality of fixpoint logic with chop. Zbl 1169.68522 Zhan, Naijun; Wu, Jinzhao 1 2005 Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264 Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun 1 2015 Action refinement from a logical point of view. Zbl 1022.68078 Majster-Cederbaum, Mila; Zhan, Naijun; Fecher, Harald 1 2003 A two-way path between formal and informal design of embedded systems. Zbl 1483.68074 Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun 1 2017 Approximate bisimulation and discretization of hybrid CSP. Zbl 1427.68218 Yan, Gaogao; Jiao, Li; Li, Yangjia; Wang, Shuling; Zhan, Naijun 1 2016 What’s to come is still unsure. Synthesizing controllers resilient to delayed interaction. Zbl 1520.91077 Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun 1 2018 Decidability of the initial-state opacity of real-time automata. Zbl 1518.68195 Wang, Lingtai; Zhan, Naijun 1 2018 Overview of formal methods. Zbl 1438.68030 Wang, Ji; Zhan, Naijun; Feng, Xinyu; Liu, Zhiming 1 2019 Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Zbl 1347.68007 1 2016 Synthesizing SystemC code from delay hybrid CSP. Zbl 1503.68186 Yan, Gaogao; Jiao, Li; Wang, Shuling; Zhan, Naijun 1 2017 NIL: learning nonlinear interpolants. Zbl 07178976 Chen, Mingshuai; Wang, Jian; An, Jie; Zhan, Bohua; Kapur, Deepak; Zhan, Naijun 1 2019 Switching controller synthesis for time-delayed hybrid systems. Zbl 1499.93032 Bai, Yunjun; Gan, Ting; Jiao, Li; Xue, Bai; Zhan, Naijun 1 2021 Synthesizing invariant barrier certificates via difference-of-convex programming. Zbl 1493.68222 Wang, Qiuye; Chen, Mingshuai; Xue, Bai; Zhan, Naijun; Katoen, Joost-Pieter 1 2021 Indecision and delays are the parents of failure – taming them algorithmically by synthesizing delay-resilient control. Zbl 1528.68214 Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun 1 2021 Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow. Zbl 07467466 Xu, Xiong; Wang, Shuling; Zhan, Bohua; Jin, Xiangyu; Talpin, Jean-Pierre; Zhan, Naijun 1 2022 Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow. Zbl 07168636 Zhan, Haolan; Lin, Qianqian; Wang, Shuling; Talpin, Jean-Pierre; Xu, Xiong; Zhan, Naijun 1 2019 A denotational semantics of simulink with higher-order UTP. Zbl 07618116 Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun 1 2023 Over- and underapproximating reach sets for perturbed delay differential equations. Zbl 07320148 Xue, Bai; Wang, Qiuye; Feng, Shenghua; Zhan, Naijun 1 2021 Unbounded-time safety verification of stochastic differential dynamics. Zbl 1478.68155 Feng, Shenghua; Chen, Mingshuai; Xue, Bai; Sankaranarayanan, Sriram; Zhan, Naijun 1 2020 A denotational semantics of simulink with higher-order UTP. Zbl 07618116 Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun 1 2023 Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow. Zbl 07467466 Xu, Xiong; Wang, Shuling; Zhan, Bohua; Jin, Xiangyu; Talpin, Jean-Pierre; Zhan, Naijun 1 2022 Switching controller synthesis for time-delayed hybrid systems. Zbl 1499.93032 Bai, Yunjun; Gan, Ting; Jiao, Li; Xue, Bai; Zhan, Naijun 1 2021 Synthesizing invariant barrier certificates via difference-of-convex programming. Zbl 1493.68222 Wang, Qiuye; Chen, Mingshuai; Xue, Bai; Zhan, Naijun; Katoen, Joost-Pieter 1 2021 Indecision and delays are the parents of failure – taming them algorithmically by synthesizing delay-resilient control. Zbl 1528.68214 Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun 1 2021 Over- and underapproximating reach sets for perturbed delay differential equations. Zbl 07320148 Xue, Bai; Wang, Qiuye; Feng, Shenghua; Zhan, Naijun 1 2021 Learning one-clock timed automata. Zbl 1507.68163 An, Jie; Chen, Mingshuai; Zhan, Bohua; Zhan, Naijun; Zhang, Miaomiao 8 2020 Inner-approximating reachable sets for polynomial systems with time-varying uncertainties. Zbl 07256270 Xue, Bai; Fränzle, Martin; Zhan, Naijun 4 2020 Nonlinear Craig interpolant generation. Zbl 1478.68159 Gan, Ting; Xia, Bican; Xue, Bai; Zhan, Naijun; Dai, Liyun 3 2020 Unbounded-time safety verification of stochastic differential dynamics. Zbl 1478.68155 Feng, Shenghua; Chen, Mingshuai; Xue, Bai; Sankaranarayanan, Sriram; Zhan, Naijun 1 2020 Robust invariant sets generation for state-constrained perturbed polynomial systems. Zbl 07120148 Xue, Bai; Wang, Qiuye; Zhan, Naijun; Fränzle, Martin 5 2019 Overview of formal methods. Zbl 1438.68030 Wang, Ji; Zhan, Naijun; Feng, Xinyu; Liu, Zhiming 1 2019 NIL: learning nonlinear interpolants. Zbl 07178976 Chen, Mingshuai; Wang, Jian; An, Jie; Zhan, Bohua; Kapur, Deepak; Zhan, Naijun 1 2019 Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow. Zbl 07168636 Zhan, Haolan; Lin, Qianqian; Wang, Shuling; Talpin, Jean-Pierre; Xu, Xiong; Zhan, Naijun 1 2019 Reachability analysis for solvable dynamical systems. Zbl 1423.93057 Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun 8 2018 Under-approximating reach sets for polynomial continuous systems. Zbl 1417.93064 Xue, Bai; Fränzle, Martin; Zhan, Naijun 5 2018 What’s to come is still unsure. Synthesizing controllers resilient to delayed interaction. Zbl 1520.91077 Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun 1 2018 Decidability of the initial-state opacity of real-time automata. Zbl 1518.68195 Wang, Lingtai; Zhan, Naijun 1 2018 Barrier certificates revisited. Zbl 1357.68110 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun 15 2017 Formal verification of Simulink/Stateflow diagrams. A deductive approach. Zbl 1412.68006 Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 6 2017 Finding polynomial loop invariants for probabilistic programs. Zbl 1495.68042 Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican 5 2017 Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. Zbl 1420.68244 Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun 3 2017 Safe over- and under-approximation of reachable sets for delay differential equations. Zbl 1497.93100 Xue, Bai; Mosaad, Peter Nazier; Fränzle, Martin; Chen, Mingshuai; Li, Yangjia; Zhan, Naijun 2 2017 A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220 Wang, Shuling; Zhan, Naijun; Zhang, Lijun 2 2017 A two-way path between formal and informal design of embedded systems. Zbl 1483.68074 Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun 1 2017 Synthesizing SystemC code from delay hybrid CSP. Zbl 1503.68186 Yan, Gaogao; Jiao, Li; Wang, Shuling; Zhan, Naijun 1 2017 Interpolant synthesis for quadratic polynomial inequalities and combination with EUF. Zbl 1475.03072 Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai 4 2016 Validated simulation-based verification of delayed differential dynamics. Zbl 1427.68163 Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun 3 2016 Approximate bisimulation and discretization of hybrid CSP. Zbl 1427.68218 Yan, Gaogao; Jiao, Li; Li, Yangjia; Wang, Shuling; Zhan, Naijun 1 2016 Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Zbl 1347.68007 1 2016 Formal verification of Simulink/Stateflow diagrams. Zbl 1471.68159 Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin 8 2015 Automatic verification of stability and safety for delay differential equations. Zbl 1381.68188 Zou, Liang; Fränzle, Martin; Zhan, Naijun; Nazier Mosaad, Peter 5 2015 Decidability of the reachability for a family of linear vector fields. Zbl 1476.68147 Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun 4 2015 Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264 Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun 1 2015 Discovering non-terminating inputs for multi-path polynomial programs. Zbl 1327.68080 Liu, Jiang; Xu, Ming; Zhan, Naijun; Zhao, Hengjun 2 2014 Generating non-linear interpolants by semidefinite programming. Zbl 1503.68181 Dai, Liyun; Xia, Bican; Zhan, Naijun 8 2013 Formal modelling, analysis and verification of hybrid systems. Zbl 1444.68105 Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 5 2013 Synthesizing switching controllers for hybrid systems by generating invariants. Zbl 1390.68316 Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak 4 2013 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125 Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 4 2013 A “hybrid” approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example. Zbl 1373.93125 Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G. 7 2012 Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063 Liu, Jiang; Zhan, Naijun; Zhao, Hengjun 6 2012 An assume/guarantee based compositional calculus for hybrid CSP. Zbl 1354.68204 Wang, Shuling; Zhan, Naijun; Guelev, Dimitar 4 2012 Symbolic decision procedure for termination of linear programs. Zbl 1216.68077 Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai 5 2011 Recent advances in program verification through computer algebra. Zbl 1267.68099 Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican 6 2010 Component publications and compositions. Zbl 1286.68098 Zhan, Naijun; Kang, Eun Young; Liu, Zhiming 5 2010 Model checking linear duration invariants of networks of automata. Zbl 1274.68207 Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun 1 2010 Refinement and verification in component-based model-driven design. Zbl 1178.68158 Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun 5 2009 Formalising scheduling theories in duration calculus. Zbl 1187.68102 Xu, Qiwen; Zhan, Naijun 1 2008 Discovering non-linear ranking functions by solving semi-algebraic systems. Zbl 1147.68442 Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen 10 2007 Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366 Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun 8 2007 A model of component-based programming. Zbl 1141.68363 Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun 5 2007 Compositionality of fixpoint logic with chop. Zbl 1169.68522 Zhan, Naijun; Wu, Jinzhao 1 2005 Combining hierarchical specification with hierarchical implementation. Zbl 1215.68137 Zhan, Naijun 1 2003 Action refinement from a logical point of view. Zbl 1022.68078 Majster-Cederbaum, Mila; Zhan, Naijun; Fecher, Harald 1 2003 An intuitive formal proof for deadline driven scheduler. Zbl 0986.68009 Zhan, Naijun 1 2001 all cited Publications top 5 cited Publications all top 5 Cited by 278 Authors 23 Zhan, Naijun 8 Wang, Shuling 7 Xia, Bican 7 Zhan, Bohua 6 Chen, Mingshuai 6 Liu, Zhiming 6 Zhao, Hengjun 5 Kapur, Deepak 5 Woodcock, James C. P. 5 Xue, Bai 5 Yang, Zhengfeng 4 An, Jie 4 Foster, Simon 4 Lin, Wang 4 Sogokon, Andrew 4 Wang, Qiuye 4 Zhang, Lijun 3 Cavalcanti, Ana 3 Dai, Liyun 3 Gan, Ting 3 Katoen, Joost-Pieter 3 Kovács, Laura Ildikó 3 Li, Yi 3 Markey, Nicolas 3 Platzer, André 3 She, Zhikun 3 Talpin, Jean-Pierre 3 Tan, Yong Kiam 3 Wu, Min 3 Xu, Ming 3 Zhang, Zhihai 2 Abate, Alessandro 2 Ahmed, Daniele 2 Althoff, Matthias 2 Bacci, Giovanni 2 Baier, Christel 2 Bartocci, Ezio 2 Bouyer, Patricia 2 Chen, Zhenbang 2 Ding, Zuohua 2 Dubslaff, Clemens 2 Fahrenberg, Uli 2 Ghorbal, Khalil 2 Jiao, Li 2 Jin, Xiangyu 2 Klüppelholz, Sascha 2 Lanotte, Ruggero 2 Larsen, Kim Guldstrand 2 Li, Xuandong 2 Li, Yong 2 Liang, Taotao 2 Liao, Wei 2 Liu, Jiang 2 Matringe, Nadir 2 Morisset, Charles 2 Moura, Arnaldo Vieira 2 Peruffo, Andrea 2 Ramos, Rodrigo A. 2 Ravn, Anders P. 2 Rebiha, Rachid 2 Reynier, Pierre-Alain 2 Sampaio, Augusto C. A. 2 Stankovič, Miroslav 2 Stolz, Volker 2 Tini, Simone 2 Wetzlinger, Mark 2 Xu, Xiong 2 Zeng, Zhenbing 2 Zhang, Miaomiao 1 Adelt, Julius 1 Ahmad, Ehsan 1 Ahn, Univan 1 Ait-Ameur, Yamine 1 Anand, Mahathi 1 Antonino, Pedro 1 Arcak, Murat 1 Baar, Thomas 1 Bacha, Anis Belhadj Brahim 1 Backeman, Peter 1 Bai, Yunjun 1 Bak, Stanley 1 Baldi, Simone 1 Bao, Jialu 1 Barbosa, Luís Soares 1 Batz, Kevin 1 Benhadj Braiek, Naceur 1 Bentkamp, Alexander 1 Bjørner, Dines 1 Bloem, Roderick 1 Bogomolov, Sergiy 1 Boreale, Michele 1 Boyer, Benoît 1 Bresolin, Davide 1 Brettschneider, Daniel 1 Bura, Efstathia 1 Canham, Samuel 1 Cao, Tianyue 1 Cao, Yongzhi 1 Chen, Jie 1 Chen, Qiguang ...and 178 more Authors all top 5 Cited in 25 Serials 11 Theoretical Computer Science 7 Formal Aspects of Computing 6 Journal of Systems Science and Complexity 5 Automatica 4 Information and Computation 4 Nonlinear Analysis. Hybrid Systems 3 Science of Computer Programming 3 Journal of Symbolic Computation 3 Formal Methods in System Design 3 Journal of Logical and Algebraic Methods in Programming 2 SIAM Journal on Control and Optimization 1 International Journal of Control 1 Journal of the Franklin Institute 1 Applied Mathematics and Computation 1 Systems & Control Letters 1 Journal of Automated Reasoning 1 Journal of Global Optimization 1 International Journal of Robust and Nonlinear Control 1 Computational and Applied Mathematics 1 Abstract and Applied Analysis 1 Mathematics in Computer Science 1 Science China. Information Sciences 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 15 Fields 93 Computer science (68-XX) 44 Systems theory; control (93-XX) 13 Mathematical logic and foundations (03-XX) 11 Operations research, mathematical programming (90-XX) 3 Ordinary differential equations (34-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Probability theory and stochastic processes (60-XX) 3 Numerical analysis (65-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Category theory; homological algebra (18-XX) 1 Difference and functional equations (39-XX) Citations by Year