×
Author ID: liu.zhiming Recent zbMATH articles by "Liu, Zhiming"
Published as: Liu, Zhiming; Liu, Zhi-Ming; Liu, Zhi-ming

Publications by Year

Citations contained in zbMATH Open

47 Publications have been cited 187 times in 119 Documents Cited by Year
rCOS: a refinement calculus of object systems. Zbl 1118.68049
He, Jifeng; Li, Xiaoshan; Liu, Zhiming
21
2006
Exponential attractor for the wave equation with structural damping and supercritical exponent. Zbl 1370.35060
Yang, Zhijian; Liu, Zhiming; Niu, Panpan
20
2016
Longtime behavior of the semilinear wave equation with gentle dissipation. Zbl 1362.35191
Feng, Na; Liu, Zhiming; Yang, Zhijian
14
2016
Global attractor for the Kirchhoff type equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35047
Yang, Zhijian; Ding, Pengyan; Liu, Zhiming
14
2014
Upper semicontinuity of global attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1378.35041
Yang, Zhijian; Liu, Zhiming
8
2017
Synthesizing barrier certificates using neural networks. Zbl 07300866
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming
8
2020
Stability of exponential attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1400.35036
Yang, Zhijian; Liu, Zhiming
7
2018
Longtime dynamics of the quasi-linear wave equations with structural damping and supercritical nonlinearities. Zbl 1373.35056
Yang, Zhijian; Liu, Zhiming
7
2017
Transformation of programs for fault-tolerance. Zbl 0754.68084
Liu, Zhiming; Joseph, Mathai
6
1992
Global attractor for a strongly damped wave equation with fully supercritical nonlinearities. Zbl 1373.35055
Yang, Zhijian; Liu, Zhiming
6
2017
Exponential attractor for the Kirchhoff equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35048
Yang, Zhijian; Liu, Zhiming
5
2015
A model of component-based programming. Zbl 1141.68363
Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun
5
2007
Component publications and compositions. Zbl 1286.68098
Zhan, Naijun; Kang, Eun Young; Liu, Zhiming
5
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
A linear programming relaxation based approach for generating barrier certificates of hybrid systems. Zbl 1427.68176
Yang, Zhengfeng; Huang, Chao; Chen, Xin; Lin, Wang; Liu, Zhiming
4
2016
Abaqus implementation of dual peridynamics for brittle fracture. Zbl 1506.74032
Bie, Y. H.; Liu, Z. M.; Yang, H.; Cui, X. Y.
4
2020
Component-based software engineering. Zbl 1169.68366
He, Jifeng; Li, Xiaoshan; Liu, Zhiming
4
2005
Global attractor of multi-valued operators with applications to a strongly damped nonlinear wave equation without uniqueness. Zbl 1427.37059
Liu, Zhiming; Yang, Zhijian
3
2020
Global attractor of the quasi-linear wave equation with strong damping. Zbl 1387.35063
Yang, Zhijian; Liu, Zhiming
3
2018
Graph transformations for object-oriented refinement. Zbl 1165.68025
Zhao, Liang; Liu, Xiaojian; Liu, Zhiming; Qiu, Zongyan
3
2009
Learning safe neural network controllers with barrier certificates. Zbl 1521.93054
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim
3
2021
RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
3
2012
Learning safe neural network controllers with barrier certificates. Zbl 1503.93022
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim
3
2020
Verification of schedulability for real-time programs. Zbl 0838.68078
Liu, Zhiming; Joseph, Mathai; Janowski, Tomasz
2
1995
Contract oriented development of component software. Zbl 1094.68542
Liu, Zhiming; He, Jifeng; Li, Xiaoshan
2
2004
Upper semicontinuity of optimal attractors for viscoelastic equations lacking strong damping. Zbl 1523.35065
Zhang, Jiangwei; Liu, Zhiming; Huang, Jianhua
2
2023
The monotonicity and convexity of a function involving psi function with applications. Zbl 1338.33012
Sun, Bang-Cheng; Liu, Zhi-Ming; Li, Qiang; Zheng, Shen-Zhou
2
2016
Harnessing rCOS for tool support – the CoCoME experience. Zbl 1151.68380
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu
2
2007
Verification of linear duration invariants by model checking CTL properties. Zbl 1161.68595
Zhang, Miaomiao; Hung, Dang Van; Liu, Zhiming
2
2008
A relational model for object-oriented designs. Zbl 1116.68373
Jifeng, He; Liu, Zhiming; Li, Xiaoshan; Qin, Shengchao
1
2004
Overview of formal methods. Zbl 1438.68030
Wang, Ji; Zhan, Naijun; Feng, Xinyu; Liu, Zhiming
1
2019
A predicative semantic model for integrating UML models. Zbl 1108.68434
Yang, Jing; Long, Quan; Liu, Zhiming; Li, Xiaoshan
1
2005
\(L^{p}\)-estimates for quasilinear subelliptic equations with VMO coefficients under the controllable growth. Zbl 1347.35108
Sun, Bang-Cheng; Liu, Zhi-Ming; Li, Qiang; Zheng, Shen-Zhou
1
2016
Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Zbl 1320.68021
1
2013
Graph-based object-oriented Hoare logic. Zbl 1390.68192
Zhao, Liang; Wang, Shuling; Liu, Zhiming
1
2013
Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Zbl 1271.68048
1
2013
Model checking linear duration invariants of networks of automata. Zbl 1274.68207
Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun
1
2010
Separation of concerns and consistent integration in requirements modelling. Zbl 1131.68414
Chen, Xin; Liu, Zhiming; Mencl, Vladimir
1
2007
Fusion of color, local spatial and global frequency information for face recognition. Zbl 1213.68540
Liu, Zhiming; Liu, Chengjun
1
2010
An extended cCSP with stable failures semantics. Zbl 1286.68312
Chen, Zhenbang; Liu, Zhiming
1
2010
Verification, refinement and scheduling of real-time programs. Zbl 0954.68099
Liu, Zhiming; Joseph, Mathai
1
2001
Planar metamaterial analogue of electromagnetically induced transparency for a miniature refractive index sensor. Zbl 1500.81073
Li, Rong; Kong, Xiang-kun; Liu, Shao-bin; Liu, Zhi-ming; Li, Yu-meng
1
2019
rCOS: Refinement of component and object systems. Zbl 1143.68366
Liu, Zhiming; Jifeng, He; Li, Xiaoshan
1
2005
Design and verification of fault-tolerant components. Zbl 1234.68040
Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P.
1
2009
Integrating temporal logics. Zbl 1196.03028
Chen, Yifeng; Liu, Zhiming
1
2004
An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation. Zbl 1493.68224
Yang, Zhengfeng; Zhang, Yidan; Lin, Wang; Zeng, Xia; Tang, Xiaochao; Zeng, Zhenbing; Liu, Zhiming
1
2021
On new sharp bounds for the Toader-Qi mean involved in the modified Bessel functions of the first kind. Zbl 1505.26052
Li, Cen; Liu, Zhi-Ming; Zheng, Shen-Zhou
1
2022
Upper semicontinuity of optimal attractors for viscoelastic equations lacking strong damping. Zbl 1523.35065
Zhang, Jiangwei; Liu, Zhiming; Huang, Jianhua
2
2023
On new sharp bounds for the Toader-Qi mean involved in the modified Bessel functions of the first kind. Zbl 1505.26052
Li, Cen; Liu, Zhi-Ming; Zheng, Shen-Zhou
1
2022
Learning safe neural network controllers with barrier certificates. Zbl 1521.93054
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim
3
2021
An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation. Zbl 1493.68224
Yang, Zhengfeng; Zhang, Yidan; Lin, Wang; Zeng, Xia; Tang, Xiaochao; Zeng, Zhenbing; Liu, Zhiming
1
2021
Synthesizing barrier certificates using neural networks. Zbl 07300866
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming
8
2020
Abaqus implementation of dual peridynamics for brittle fracture. Zbl 1506.74032
Bie, Y. H.; Liu, Z. M.; Yang, H.; Cui, X. Y.
4
2020
Global attractor of multi-valued operators with applications to a strongly damped nonlinear wave equation without uniqueness. Zbl 1427.37059
Liu, Zhiming; Yang, Zhijian
3
2020
Learning safe neural network controllers with barrier certificates. Zbl 1503.93022
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim
3
2020
Overview of formal methods. Zbl 1438.68030
Wang, Ji; Zhan, Naijun; Feng, Xinyu; Liu, Zhiming
1
2019
Planar metamaterial analogue of electromagnetically induced transparency for a miniature refractive index sensor. Zbl 1500.81073
Li, Rong; Kong, Xiang-kun; Liu, Shao-bin; Liu, Zhi-ming; Li, Yu-meng
1
2019
Stability of exponential attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1400.35036
Yang, Zhijian; Liu, Zhiming
7
2018
Global attractor of the quasi-linear wave equation with strong damping. Zbl 1387.35063
Yang, Zhijian; Liu, Zhiming
3
2018
Upper semicontinuity of global attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1378.35041
Yang, Zhijian; Liu, Zhiming
8
2017
Longtime dynamics of the quasi-linear wave equations with structural damping and supercritical nonlinearities. Zbl 1373.35056
Yang, Zhijian; Liu, Zhiming
7
2017
Global attractor for a strongly damped wave equation with fully supercritical nonlinearities. Zbl 1373.35055
Yang, Zhijian; Liu, Zhiming
6
2017
Exponential attractor for the wave equation with structural damping and supercritical exponent. Zbl 1370.35060
Yang, Zhijian; Liu, Zhiming; Niu, Panpan
20
2016
Longtime behavior of the semilinear wave equation with gentle dissipation. Zbl 1362.35191
Feng, Na; Liu, Zhiming; Yang, Zhijian
14
2016
A linear programming relaxation based approach for generating barrier certificates of hybrid systems. Zbl 1427.68176
Yang, Zhengfeng; Huang, Chao; Chen, Xin; Lin, Wang; Liu, Zhiming
4
2016
The monotonicity and convexity of a function involving psi function with applications. Zbl 1338.33012
Sun, Bang-Cheng; Liu, Zhi-Ming; Li, Qiang; Zheng, Shen-Zhou
2
2016
\(L^{p}\)-estimates for quasilinear subelliptic equations with VMO coefficients under the controllable growth. Zbl 1347.35108
Sun, Bang-Cheng; Liu, Zhi-Ming; Li, Qiang; Zheng, Shen-Zhou
1
2016
Exponential attractor for the Kirchhoff equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35048
Yang, Zhijian; Liu, Zhiming
5
2015
Global attractor for the Kirchhoff type equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35047
Yang, Zhijian; Ding, Pengyan; Liu, Zhiming
14
2014
Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Zbl 1320.68021
1
2013
Graph-based object-oriented Hoare logic. Zbl 1390.68192
Zhao, Liang; Wang, Shuling; Liu, Zhiming
1
2013
Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Zbl 1271.68048
1
2013
RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078
Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
3
2012
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
Fusion of color, local spatial and global frequency information for face recognition. Zbl 1213.68540
Liu, Zhiming; Liu, Chengjun
1
2010
An extended cCSP with stable failures semantics. Zbl 1286.68312
Chen, Zhenbang; Liu, Zhiming
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
Graph transformations for object-oriented refinement. Zbl 1165.68025
Zhao, Liang; Liu, Xiaojian; Liu, Zhiming; Qiu, Zongyan
3
2009
Design and verification of fault-tolerant components. Zbl 1234.68040
Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P.
1
2009
Verification of linear duration invariants by model checking CTL properties. Zbl 1161.68595
Zhang, Miaomiao; Hung, Dang Van; Liu, Zhiming
2
2008
A model of component-based programming. Zbl 1141.68363
Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun
5
2007
Harnessing rCOS for tool support – the CoCoME experience. Zbl 1151.68380
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu
2
2007
Separation of concerns and consistent integration in requirements modelling. Zbl 1131.68414
Chen, Xin; Liu, Zhiming; Mencl, Vladimir
1
2007
rCOS: a refinement calculus of object systems. Zbl 1118.68049
He, Jifeng; Li, Xiaoshan; Liu, Zhiming
21
2006
Component-based software engineering. Zbl 1169.68366
He, Jifeng; Li, Xiaoshan; Liu, Zhiming
4
2005
A predicative semantic model for integrating UML models. Zbl 1108.68434
Yang, Jing; Long, Quan; Liu, Zhiming; Li, Xiaoshan
1
2005
rCOS: Refinement of component and object systems. Zbl 1143.68366
Liu, Zhiming; Jifeng, He; Li, Xiaoshan
1
2005
Contract oriented development of component software. Zbl 1094.68542
Liu, Zhiming; He, Jifeng; Li, Xiaoshan
2
2004
A relational model for object-oriented designs. Zbl 1116.68373
Jifeng, He; Liu, Zhiming; Li, Xiaoshan; Qin, Shengchao
1
2004
Integrating temporal logics. Zbl 1196.03028
Chen, Yifeng; Liu, Zhiming
1
2004
Verification, refinement and scheduling of real-time programs. Zbl 0954.68099
Liu, Zhiming; Joseph, Mathai
1
2001
Verification of schedulability for real-time programs. Zbl 0838.68078
Liu, Zhiming; Joseph, Mathai; Janowski, Tomasz
2
1995
Transformation of programs for fault-tolerance. Zbl 0754.68084
Liu, Zhiming; Joseph, Mathai
6
1992
all top 5

Cited by 241 Authors

22 Liu, Zhiming
20 Yang, Zhijian
6 Ding, Pengyan
5 Zhong, Chengkui
4 Sampaio, Augusto C. A.
4 Woodcock, James C. P.
4 Zhang, Hongwei
3 Cavalcanti, Ana
3 Chen, Zhenbang
3 Foster, Simon
3 He, Jifeng
3 Hu, Qingying
3 Li, Donghao
3 Li, Xuandong
3 Ma, Honglv
3 Wang, Shuling
3 Zhan, Naijun
3 Zhao, Chunxiang
3 Zhao, Liang
3 Zhu, Huibiao
2 Abate, Alessandro
2 Ahmed, Daniele
2 Bowen, Jonathan P.
2 Chen, Biyue
2 Chen, Mingshuai
2 Chen, Xin
2 Da, Fang
2 Ding, Hang
2 Feng, Na
2 Joseph, Mathai
2 Katoen, Joost-Pieter
2 Ke, Wei
2 Li, Yanan
2 Lin, Guoguang
2 Lin, Wang
2 Liu, Jun
2 Liu, Shuo
2 Lv, Penghui
2 Meng, Yiming
2 Morisset, Charles
2 Naumann, David A.
2 Peruffo, Andrea
2 Platzer, André
2 Qiu, Zongyan
2 Ramos, Rodrigo A.
2 Roscoe, Andrew William
2 Sogokon, Andrew
2 Stolz, Volker
2 Tan, Yong Kiam
2 Tang, Enyi
2 Wang, Ji
2 Wang, Qiuye
2 Xie, Jun
2 Xie, Yongqin
2 Xue, Bai
2 Yang, Zhengfeng
2 Zeng, Xia
2 Zeyda, Frank
2 Zhang, Jiangwei
2 Zhang, Jianwen
2 Zhao, Chunyan
2 Zhao, Qingye
2 Zhou, Jun
1 Achouri, Talha
1 Adam, Marcin
1 Agarwal, Ravi P.
1 Ahmed, Md Salik
1 Ahn, Univan
1 Aichernig, Bernhard K.
1 Almeida Júnior, Dilberto da Silva
1 Aluf-Medina, Michelle
1 Anand, Mahathi
1 Antonino, Pedro
1 Arbab, Farhad
1 Archer, Myla M.
1 Aştefănoaei, Lăcrămioara
1 Bai, Lihong
1 Bilgin, Bilgesu Arif
1 Bjørner, Dines
1 Boute, Raymond T.
1 Bozzano, Marco
1 Brekling, Aske Wiid
1 Bronshtein, Eliya
1 Brooke, Phillip J.
1 Canham, Samuel
1 Chai, Shugen
1 Chang, Qingquan
1 Chen, Qiguang
1 Chen, Taolue
1 Chen, Yifeng
1 Choe, Changil
1 Cimatti, Alessandro
1 Cordwell, Katherine
1 Dang Van, Hung
1 Davies, Jim
1 de Boer, Frank S.
1 Ding, Zuohua
1 Dong, Han-Qing
1 Dong, Ruzhen
1 Dong, Wei
...and 141 more Authors
all top 5

Cited in 53 Serials

8 Theoretical Computer Science
8 Formal Aspects of Computing
6 Journal of Mathematical Analysis and Applications
5 Discrete and Continuous Dynamical Systems. Series B
4 Journal of Mathematical Physics
4 Science of Computer Programming
3 Applied Mathematics Letters
3 Formal Methods in System Design
3 Evolution Equations and Control Theory
2 Applied Mathematics and Optimization
2 Journal of Differential Equations
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Advances in Differential Equations
2 Communications on Pure and Applied Analysis
2 Nonlinear Analysis. Hybrid Systems
1 Acta Informatica
1 Applicable Analysis
1 Computers & Mathematics with Applications
1 Mathematical Methods in the Applied Sciences
1 Nonlinearity
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 Chaos, Solitons and Fractals
1 Annales Polonici Mathematici
1 Automatica
1 Quaestiones Mathematicae
1 Studies in Applied Mathematics
1 Bulletin of the Iranian Mathematical Society
1 Physica D
1 Information and Computation
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Computer Mathematics
1 Pattern Recognition
1 Journal of Partial Differential Equations
1 Calculus of Variations and Partial Differential Equations
1 Opuscula Mathematica
1 Annals of Mathematics and Artificial Intelligence
1 Discrete and Continuous Dynamical Systems
1 Mathematical Problems in Engineering
1 Journal of Inequalities and Applications
1 Journal of Dynamical and Control Systems
1 Communications in Contemporary Mathematics
1 Journal of Evolution Equations
1 Dynamical Systems
1 Journal of Applied Mathematics
1 Boundary Value Problems
1 Discrete and Continuous Dynamical Systems. Series S
1 Advances in Mathematical Physics
1 Annalen der Physik
1 Frontiers of Computer Science
1 Journal of Logical and Algebraic Methods in Programming
1 Open Mathematics
1 Journal of Applied Mathematics and Computational Mechanics
1 Results in Applied Mathematics

Citations by Year