×

zbMATH — the first resource for mathematics

Zhan, Naijun

Compute Distance To:
Author ID: zhan.naijun Recent zbMATH articles by "Zhan, Naijun"
Published as: Zhan, Naijun
Documents Indexed: 56 Publications since 2000, including 3 Books

Publications by Year

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.68442
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun; Zhou, Chaochen
8
2007
Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun
7
2007
Recent advances in program verification through computer algebra. Zbl 1267.68099
Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican
6
2010
Symbolic decision procedure for termination of linear programs. Zbl 1216.68077
Xia, Bican; Yang, Lu; Zhan, Naijun; Zhang, Zhihai
5
2011
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
A model of component-based programming. Zbl 1141.68363
Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun
5
2007
Barrier certificates revisited. Zbl 1357.68110
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
4
2017
Formal modelling, analysis and verification of hybrid systems. Zbl 1444.68105
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun
4
2013
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063
Liu, 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.93125
Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G.
4
2012
Automatic verification of stability and safety for delay differential equations. Zbl 1381.68188
Zou, Liang; Fränzle, Martin; Zhan, Naijun; Nazier Mosaad, Peter
3
2015
Formal verification of Simulink/Stateflow diagrams. Zbl 06527569
Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin
3
2015
Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun
3
2013
An assume/guarantee based compositional calculus for hybrid CSP. Zbl 1354.68204
Wang, Shuling; Zhan, Naijun; Guelev, Dimitar
3
2012
Component publications and compositions. Zbl 1286.68098
Zhan, Naijun; Kang, Eun Young; Liu, Zhiming
3
2010
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. Zbl 1420.68244
Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun
2
2017
Synthesizing switching controllers for hybrid systems by generating invariants. Zbl 1390.68316
Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak
2
2013
Robust invariant sets generation for state-constrained perturbed polynomial systems. Zbl 07120148
Xue, Bai; Wang, Qiuye; Zhan, Naijun; Fränzle, Martin
1
2019
Under-approximating reach sets for polynomial continuous systems. Zbl 1417.93064
Xue, Bai; Fränzle, Martin; Zhan, Naijun
1
2018
A two-way path between formal and informal design of embedded systems. Zbl 06700458
Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun
1
2017
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF. Zbl 06623262
Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai
1
2016
Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun
1
2015
Decidability of the reachability for a family of linear vector fields. Zbl 06527570
Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun
1
2015
Discovering non-terminating inputs for multi-path polynomial programs. Zbl 1327.68080
Liu, Jiang; Xu, Ming; Zhan, Naijun; Zhao, Hengjun
1
2014
Model checking linear duration invariants of networks of automata. Zbl 1274.68207
Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun
1
2010
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
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
Robust invariant sets generation for state-constrained perturbed polynomial systems. Zbl 07120148
Xue, Bai; Wang, Qiuye; Zhan, Naijun; Fränzle, Martin
1
2019
Under-approximating reach sets for polynomial continuous systems. Zbl 1417.93064
Xue, Bai; Fränzle, Martin; Zhan, Naijun
1
2018
Barrier certificates revisited. Zbl 1357.68110
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
4
2017
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. Zbl 1420.68244
Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun
2
2017
A two-way path between formal and informal design of embedded systems. Zbl 06700458
Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun
1
2017
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF. Zbl 06623262
Gan, 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.68188
Zou, Liang; Fränzle, Martin; Zhan, Naijun; Nazier Mosaad, Peter
3
2015
Formal verification of Simulink/Stateflow diagrams. Zbl 06527569
Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin
3
2015
Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun
1
2015
Decidability of the reachability for a family of linear vector fields. Zbl 06527570
Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun
1
2015
Discovering non-terminating inputs for multi-path polynomial programs. Zbl 1327.68080
Liu, Jiang; Xu, Ming; Zhan, Naijun; Zhao, Hengjun
1
2014
Formal modelling, analysis and verification of hybrid systems. Zbl 1444.68105
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun
4
2013
Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun
3
2013
Synthesizing switching controllers for hybrid systems by generating invariants. Zbl 1390.68316
Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak
2
2013
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems. Zbl 1261.93063
Liu, 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.93125
Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim G.
4
2012
An assume/guarantee based compositional calculus for hybrid CSP. Zbl 1354.68204
Wang, Shuling; Zhan, Naijun; Guelev, Dimitar
3
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
3
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
8
2007
Generating polynomial invariants with DISCOVERER and QEPCAD. Zbl 1151.68366
Chen, Yinghua; Xia, Bican; Yang, Lu; Zhan, Naijun
7
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 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

Citations by Year