Edit Profile (opens in new tab) Wang, Shuling Co-Author Distance Author ID: wang.shuling Published as: Wang, Shuling; Wang, Shu-Ling Documents Indexed: 45 Publications since 1966, including 1 Book Co-Authors: 67 Co-Authors with 40 Joint Publications 1,680 Co-Co-Authors all top 5 Co-Authors 1 single-authored 14 Zhan, Naijun 7 Li, Haitao 4 Qiu, Zongyan 3 Liu, Zhiming 3 Talpin, Jean-Pierre 3 Xu, Xiong 2 Feng, Yu 2 Fu, Hua-Hua 2 Guelev, Dimitar P. 2 Jiao, Li 2 Li, Ruixue 2 Shu, Qin 2 Yan, Gaogao 2 Yao, Kailun 2 Zhan, Bohua 2 Zhang, Lijun 2 Zhao, Hengjun 2 Zhao, Liang 1 Ainsworth, Mark 1 Barbosa, Luís Soares 1 Cao, Hongyan 1 Chen, Mingshuai 1 Chen, Xingwei 1 Chen, Yung-Ming 1 Dai, Jiangtao 1 Ding, Xueying 1 Fränzle, Martin 1 Guo, Dongxing 1 Huang, Danjun 1 Jin, Xiangyu 1 Ke, Wei 1 Kelly, Donald W. 1 Li, Xiaodong 1 Li, Yalu 1 Li, Yangjia 1 Liang, Song 1 Liao, Wen-Hwa 1 Lin, Qianqian 1 Liu, Aixin 1 Liu, Tao 1 Liu, Xinbin 1 Liu, Yida 1 Liu, Yijing 1 Liu, Yu’na 1 Long, Quan 1 Miao, Lianying 1 Morisset, Charles 1 Ni, Yun 1 Niu, Ben 1 Peng, Yu 1 Pu, Geguang 1 Ravn, Anders P. 1 Ribeiro, Paula R. 1 Sloan, Ian Hugh 1 Sun, Weiwei 1 Tseng, Yu-Chee 1 Wang, Juping 1 Wu, Ranchao 1 Xia, Meixia 1 Yang, Baiqiang 1 Yang, MengFei 1 Yang, Xinrong 1 Yue, Zhongqi 1 Zhan, Haolan 1 Zhang, Chichen 1 Zhang, Cuihua 1 Zhao, Guodong 1 Zhao, Xiangpeng 1 Zhu, Haiyang 1 Zhu, Junlei 1 Zou, Liang all top 5 Serials 3 Journal of the Franklin Institute 3 Physics Letters. A 2 IEEE Transactions on Automatic Control 2 Frontiers of Computer Science 1 IMA Journal of Numerical Analysis 1 International Journal of Mechanical Sciences 1 Wave Motion 1 SIAM Journal on Control and Optimization 1 Theoretical Computer Science 1 Mathematics in Practice and Theory 1 Formal Aspects of Computing 1 Journal of Natural Science of Heilongjiang University 1 Engineering Analysis with Boundary Elements 1 Journal of Combinatorial Optimization 1 Journal of Applied Statistics 1 Journal of Northeastern University. Natural Science 1 Journal of Software 1 Journal of Hefei University of Technology. Natural Science 1 Chinese Mathematics 1 Frontiers of Computer Science in China 1 Control Theory and Technology 1 Journal of Logical and Algebraic Methods in Programming 1 Journal of Central China Normal University. Natural Sciences all top 5 Fields 23 Computer science (68-XX) 13 Systems theory; control (93-XX) 4 Mathematical logic and foundations (03-XX) 3 Statistics (62-XX) 2 Ordinary differential equations (34-XX) 2 Mechanics of deformable solids (74-XX) 2 Fluid mechanics (76-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 119 times in 90 Documents Cited by ▼ Year ▼ Robustness for stability and stabilization of Boolean networks with stochastic function perturbations. Zbl 07352071 Li, Haitao; Yang, Xinrong; Wang, Shuling 25 2021 Perturbation analysis for controllability of logical control networks. Zbl 1454.93027 Li, Haitao; Wang, Shuling; Li, Xiaodong; Zhao, Guodong 17 2020 Event-triggered control for disturbance decoupling problem of mix-valued logical networks. Zbl 1429.93230 Wang, Shuling; Li, Haitao; Li, Yalu; Sun, Weiwei 10 2020 Set stability and synchronization of logical networks with probabilistic time delays. Zbl 1398.93353 Ding, Xueying; Li, Haitao; Wang, Shuling 9 2018 Formal verification of Simulink/Stateflow diagrams. Zbl 1471.68159 Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin 8 2015 Formal verification of Simulink/Stateflow diagrams. A deductive approach. Zbl 1412.68006 Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 6 2017 Formal modelling, analysis and verification of hybrid systems. Zbl 1444.68105 Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 5 2013 Semantics of BPEL4WS-like fault and compensation handling. Zbl 1120.68324 Qiu, Zongyan; Wang, Shuling; Pu, Geguang; Zhao, Xiangpeng 5 2005 Column stacking approach to resolution of systems of fuzzy relational inequalities. Zbl 1411.93106 Wang, Shuling; Li, Haitao 5 2019 An efficient numerical method for exterior and interior inverse problems of Helmholtz equation. Zbl 0825.76732 Wang, S. L.; Chen, Y. M. 5 1991 State feedback stabilization of large-scale logical control networks via network aggregation. Zbl 07480615 Li, Haitao; Liu, Yuna; Wang, Shuling; Niu, Ben 5 2021 Post-processing with computable error bounds for the finite element approximation of a nonlinear heat conduction problem. Zbl 0890.65109 Ainsworth, M.; Kelly, D. W.; Sloan, I. H.; Wang, S. L. 4 1997 An assume/guarantee based compositional calculus for hybrid CSP. Zbl 1354.68204 Wang, Shuling; Zhan, Naijun; Guelev, Dimitar 4 2012 A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220 Wang, Shuling; Zhan, Naijun; Zhang, Lijun 2 2017 On Haar series. Zbl 0178.07001 Wang, S.-l. 2 1966 An exercise on transition systems. Zbl 1279.68265 Ribeiro, Paula R.; Barbosa, L. S.; Wang, Shuling 2 2008 Simplification of Shapley value for cooperative games via minimum carrier. Zbl 1488.91008 Li, Haitao; Wang, Shuling; Liu, Aixin; Xia, Meixia 2 2021 A multi-path QoS routing protocol in a wireless mobile ad hoc network. Zbl 0987.68927 Liao, Wen-Hwa; Tseng, Yu-Chee; Wang, Shu-Ling; Sheu, Jang-Ping 1 2001 Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264 Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun 1 2015 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 0- and 2/3-magnetization plateaus in three-leg antiferromagnetic Heisenberg spin-1/2 ladders with leg-dimerization. Zbl 1298.82013 Li, Rui-Xue; Wang, Shu-Ling; Ni, Yun; Yao, Kai-Lun; Fu, Hua-Hua 1 2014 A semantic model of confinement and locality theorem. Zbl 1267.68091 Wang, Shuling; Shu, Qin; Liu, Yijing; Qiu, Zongyan 1 2010 Graph-based object-oriented Hoare logic. Zbl 1390.68192 Zhao, Liang; Wang, Shuling; Liu, Zhiming 1 2013 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 A denotational semantics of simulink with higher-order UTP. Zbl 07618116 Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun 1 2023 Synthesizing SystemC code from delay hybrid CSP. Zbl 1503.68186 Yan, Gaogao; Jiao, Li; Wang, Shuling; Zhan, Naijun 1 2017 Gurtin and Murdoch’s surface effect on the elastic behavior of an elastic half space subjected to body forces. Zbl 1521.74173 Chen, Xingwei; Wang, Shuling; Yue, Zhongqi 1 2022 Statistical diagnosis of a nonparametric regression model with random right censorship. Zbl 1223.62053 Wang, Shuling; Feng, Yu; Liu, Xinbin 1 2010 Type safety for FJ and FGJ. Zbl 1168.68346 Wang, Shuling; Long, Quan; Qiu, Zongyan 1 2006 Approximate bisimulation and discretization of hybrid CSP. Zbl 1427.68218 Yan, Gaogao; Jiao, Li; Li, Yangjia; Wang, Shuling; Zhan, Naijun 1 2016 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 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 Gurtin and Murdoch’s surface effect on the elastic behavior of an elastic half space subjected to body forces. Zbl 1521.74173 Chen, Xingwei; Wang, Shuling; Yue, Zhongqi 1 2022 Robustness for stability and stabilization of Boolean networks with stochastic function perturbations. Zbl 07352071 Li, Haitao; Yang, Xinrong; Wang, Shuling 25 2021 State feedback stabilization of large-scale logical control networks via network aggregation. Zbl 07480615 Li, Haitao; Liu, Yuna; Wang, Shuling; Niu, Ben 5 2021 Simplification of Shapley value for cooperative games via minimum carrier. Zbl 1488.91008 Li, Haitao; Wang, Shuling; Liu, Aixin; Xia, Meixia 2 2021 Perturbation analysis for controllability of logical control networks. Zbl 1454.93027 Li, Haitao; Wang, Shuling; Li, Xiaodong; Zhao, Guodong 17 2020 Event-triggered control for disturbance decoupling problem of mix-valued logical networks. Zbl 1429.93230 Wang, Shuling; Li, Haitao; Li, Yalu; Sun, Weiwei 10 2020 Column stacking approach to resolution of systems of fuzzy relational inequalities. Zbl 1411.93106 Wang, Shuling; Li, Haitao 5 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 Set stability and synchronization of logical networks with probabilistic time delays. Zbl 1398.93353 Ding, Xueying; Li, Haitao; Wang, Shuling 9 2018 Formal verification of Simulink/Stateflow diagrams. A deductive approach. Zbl 1412.68006 Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 6 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 Approximate bisimulation and discretization of hybrid CSP. Zbl 1427.68218 Yan, Gaogao; Jiao, Li; Li, Yangjia; Wang, Shuling; Zhan, Naijun 1 2016 Formal verification of Simulink/Stateflow diagrams. Zbl 1471.68159 Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin 8 2015 Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264 Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun 1 2015 0- and 2/3-magnetization plateaus in three-leg antiferromagnetic Heisenberg spin-1/2 ladders with leg-dimerization. Zbl 1298.82013 Li, Rui-Xue; Wang, Shu-Ling; Ni, Yun; Yao, Kai-Lun; Fu, Hua-Hua 1 2014 Formal modelling, analysis and verification of hybrid systems. Zbl 1444.68105 Zhan, Naijun; Wang, Shuling; Zhao, Hengjun 5 2013 Graph-based object-oriented Hoare logic. Zbl 1390.68192 Zhao, Liang; Wang, Shuling; Liu, Zhiming 1 2013 An assume/guarantee based compositional calculus for hybrid CSP. Zbl 1354.68204 Wang, Shuling; Zhan, Naijun; Guelev, Dimitar 4 2012 A semantic model of confinement and locality theorem. Zbl 1267.68091 Wang, Shuling; Shu, Qin; Liu, Yijing; Qiu, Zongyan 1 2010 Statistical diagnosis of a nonparametric regression model with random right censorship. Zbl 1223.62053 Wang, Shuling; Feng, Yu; Liu, Xinbin 1 2010 An exercise on transition systems. Zbl 1279.68265 Ribeiro, Paula R.; Barbosa, L. S.; Wang, Shuling 2 2008 Type safety for FJ and FGJ. Zbl 1168.68346 Wang, Shuling; Long, Quan; Qiu, Zongyan 1 2006 Semantics of BPEL4WS-like fault and compensation handling. Zbl 1120.68324 Qiu, Zongyan; Wang, Shuling; Pu, Geguang; Zhao, Xiangpeng 5 2005 A multi-path QoS routing protocol in a wireless mobile ad hoc network. Zbl 0987.68927 Liao, Wen-Hwa; Tseng, Yu-Chee; Wang, Shu-Ling; Sheu, Jang-Ping 1 2001 Post-processing with computable error bounds for the finite element approximation of a nonlinear heat conduction problem. Zbl 0890.65109 Ainsworth, M.; Kelly, D. W.; Sloan, I. H.; Wang, S. L. 4 1997 An efficient numerical method for exterior and interior inverse problems of Helmholtz equation. Zbl 0825.76732 Wang, S. L.; Chen, Y. M. 5 1991 On Haar series. Zbl 0178.07001 Wang, S.-l. 2 1966 all cited Publications top 5 cited Publications all top 5 Cited by 187 Authors 11 Li, Haitao 11 Wang, Shuling 9 Fu, Shihua 8 Zhan, Naijun 7 Liu, Yang 7 Lu, Jianquan 6 Feng, Jun’e 5 Wang, Jianjun 4 De Leone, Renato 4 Xia, Jianwei 4 Yang, Xinrong 3 Chen, Zengqiang 3 Li, Lulu 3 Liu, Zhongxin 3 Lou, Jungang 3 Qiao, Lishan 3 Talpin, Jean-Pierre 3 Wang, Biao 3 Wu, Yuhu 3 Zhan, Bohua 3 Zhang, Zhipeng 3 Zhao, Jianli 2 Barbosa, Luís Soares 2 Cavalcanti, Ana 2 Cheng, Daizhan 2 Foster, Simon 2 Gao, Hui 2 Gui, Weihua 2 Guo, Yuqian 2 Kobayashi, Koichi 2 Lanotte, Ruggero 2 Li, Bowen 2 Liu, Wen 2 Liu, Zhiming 2 Lü, Xiaodong 2 Ruan, Qihua 2 Shi, Kaibo 2 Tini, Simone 2 Wen, Chingfeng 2 Woodcock, James C. P. 2 Wu, Yan-Kuen 2 Xu, Xiong 2 Yang, Yujing 2 Zhang, Anguo 2 Zhang, Hongbin 2 Zhao, Guodong 2 Zhao, Liang 2 Zhao, Rong 2 Zhong, Jie 1 Adelt, Julius 1 Ahmad, Ehsan 1 Ait-Ameur, Yamine 1 Alaiba, Vasile 1 Alghamdi, Sultan M. 1 Andrei, Ştefan 1 Barbosa, Marco Antonio 1 Bentkamp, Alexander 1 Bjørner, Dines 1 Bogomolov, Sergiy 1 Boyer, Benoît 1 Brettschneider, Daniel 1 Chao, Cai 1 Chen, Haodong 1 Chen, Mingshuai 1 Chen, Qi 1 Chen, Xingwei 1 Chin, Wei-Ngan 1 Chu, Tianguang 1 Dai, Jiangtao 1 Dai, Liyun 1 Dai, Shaoyu 1 Ding, Chengxiang 1 Ding, Xueying 1 Dong, Yunwei 1 Dou, Wenhui 1 Du, Leihao 1 Dupont, Guillaume 1 Fan, Jixiang 1 Fu, Kunkun 1 Gan, Ting 1 Gao, Huanbing 1 Gao, Jinwu 1 Ghorbal, Khalil 1 Gui, Xudong 1 Guo, Peilian 1 Han, Changda 1 Han, Xiaoguang 1 Herber, Paula 1 Hofmann, Dirk 1 Hongli, Yang 1 Hsu, Yuan-Teng 1 Hu, Yunfeng 1 Jia, Yingzhe 1 Jiang, Chunfeng 1 Jiang, Kaichen 1 Jiao, Li 1 Jin, Xiangyu 1 Kar, Haranath 1 Kastenbaum, Stéphane 1 Ke, Wei ...and 87 more Authors all top 5 Cited in 33 Serials 13 Journal of the Franklin Institute 10 Applied Mathematics and Computation 4 Circuits, Systems, and Signal Processing 4 Formal Aspects of Computing 4 Nonlinear Analysis. Hybrid Systems 3 International Journal of Control 3 Automatica 3 Systems & Control Letters 3 Control Theory and Technology 3 Journal of Logical and Algebraic Methods in Programming 3 International Journal of Systems Science. Principles and Applications of Systems and Integration 2 Information Sciences 2 Theoretical Computer Science 2 Journal of Symbolic Computation 2 Journal of Systems Science and Complexity 2 Frontiers of Computer Science 1 International Journal of Engineering Science 1 Fuzzy Sets and Systems 1 Journal of Computer and System Sciences 1 SIAM Journal on Control and Optimization 1 Cybernetics and Systems 1 Science of Computer Programming 1 Information and Computation 1 Neural Networks 1 International Journal of Robust and Nonlinear Control 1 Formal Methods in System Design 1 European Journal of Control 1 Journal of Applied Statistics 1 Qualitative Theory of Dynamical Systems 1 Fuzzy Optimization and Decision Making 1 Journal of Statistical Mechanics: Theory and Experiment 1 Science China. Information Sciences 1 Asian Journal of Control all top 5 Cited in 17 Fields 56 Systems theory; control (93-XX) 28 Computer science (68-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Biology and other natural sciences (92-XX) 4 Mathematical logic and foundations (03-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Category theory; homological algebra (18-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Combinatorics (05-XX) 1 Difference and functional equations (39-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) Citations by Year