default search action

combined dblp search
author search
venue search
publication search

ask others

Shuling Wang

> Home > Persons

This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/algorithms/WangJG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithms/WangJG24
Shuling Wang, Fengze Jiang, Xiaojin Gong:
A Sparsity-Invariant Model via Unifying Depth Prediction and Completion. Algorithms 17(7): 298 (2024)
[j40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/WangJG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/WangJG24
Shuling Wang, Fengze Jiang, Xiaojin Gong:
A Transformer-Based Image-Guided Depth-Completion Model with Dual-Attention Fusion Module. Sensors 24(19): 6270 (2024)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/LiWL24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/LiWL24a
Haitao Li, Shuling Wang, Wenrong Li:
Aggregation Method to Strategy Consensus of Large-Size Networked Evolutionary Matrix Games. IEEE Trans. Autom. Control. 69(6): 3975-3981 (2024)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/DuWL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/DuWL24
Kejun Du, Shuling Wang, Hong K. Lo:
Traffic Parameters Estimation With Partial Vehicle Trajectories by the Iterative Partial Backpropagation Maximum Likelihood Estimation (IPB-MLE) Framework. IEEE Trans. Intell. Transp. Syst. 25(10): 14855-14865 (2024)
2023
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/WangL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/WangL23
Shuling Wang, Haitao Li:
Aggregation method to reachability and optimal control of large-size Boolean control networks. Sci. China Inf. Sci. 66(7) (2023)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/XuZWTZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/XuZWTZ23
Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan:
A denotational semantics of Simulink with higher-order UTP. J. Log. Algebraic Methods Program. 130: 100809 (2023)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/XuTWZZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/XuTWZZ23
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Bohua Zhan, Naijun Zhan:
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP. ACM Trans. Softw. Eng. Methodol. 32(1): 9:1-9:48 (2023)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/transci/PatwaryWL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/transci/PatwaryWL23
Ashraf Uz Zaman Patwary, Shuling Wang, Hong K. Lo:
Iterative Backpropagation Method for Efficient Gradient Estimation in Bilevel Network Equilibrium Optimization Problems. Transp. Sci. 57(5): 1134-1159 (2023)
2022
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/jco/ZhuZLWHM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jco/ZhuZLWHM22
Haiyang Zhu, Junlei Zhu, Ying Liu, Shuling Wang, Danjun Huang, Lianying Miao:
Optimal frequency assignment and planar list L(2, 1)-labeling. J. Comb. Optim. 44(4): 2748-2761 (2022)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/YangWZZLXXM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/YangWZZLXXM22
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao:
Formal Analysis of 5G Authentication and Key Management for Applications (AKMA). J. Syst. Archit. 126: 102478 (2022)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/GuoZXWS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/GuoZXWS22
Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun:
Translating a large subset of stateflow to hybrid CSP with code optimization. J. Syst. Archit. 130: 102665 (2022)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/LiWYGX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/LiWYGX22
Bin Li, Shuling Wang, Haifeng Ye, Xiaojin Gong, Zhiyu Xiang:
Cross-Modal Knowledge Distillation for Depth Privileged Monocular Visual Odometry. IEEE Robotics Autom. Lett. 7(3): 6171-6178 (2022)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/spl/WangHLG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spl/WangHLG22
Shuling Wang, Mu Hu, Bin Li, Xiaojin Gong:
Self-Paced Knowledge Distillation for Real-Time Image Guided Depth Completion. IEEE Signal Process. Lett. 29: 867-871 (2022)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/WangL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/WangL22
Shuling Wang, Haitao Li:
Robust Set Controllability of Logical Control Networks: A Set Monotonicity Approach. IEEE Trans. Control. Netw. Syst. 9(3): 1261-1270 (2022)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/XuWZJTZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/XuWZJTZ22
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan:
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. Theor. Comput. Sci. 903: 1-25 (2022)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/tcyb/DingLLW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcyb/DingLLW22
Xueying Ding, Haitao Li, Jianquan Lu, Shuling Wang:
Optimal Strategy Estimation of Random Evolutionary Boolean Games. IEEE Trans. Cybern. 52(8): 7899-7905 (2022)
2021
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/WangL21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/WangL21a
Shuling Wang, Haitao Li:
New Results on the Disturbance Decoupling of Boolean Control Networks. IEEE Control. Syst. Lett. 5(4): 1157-1162 (2021)
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/remotesensing/LiZLZGYDRW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/remotesensing/LiZLZGYDRW21
Hui Li, Hongyan Zhang, Qixin Li, Jianjun Zhao, Xiaoyi Guo, Hong Ying, Guorong Deng, Wu Rihan, Shuling Wang:
Vegetation Productivity Dynamics in Response to Climate Change and Human Activities under Different Topography and Land Cover in Northeast China. Remote. Sens. 13(5): 975 (2021)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/LiYW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/LiYW21
Haitao Li, Xinrong Yang, Shuling Wang:
Robustness for Stability and Stabilization of Boolean Networks With Stochastic Function Perturbations. IEEE Trans. Autom. Control. 66(3): 1231-1237 (2021)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/LiLWN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/LiLWN21
Haitao Li, Yuna Liu, Shuling Wang, Ben Niu:
State Feedback Stabilization of Large-Scale Logical Control Networks via Network Aggregation. IEEE Trans. Autom. Control. 66(12): 6033-6040 (2021)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tcyb/LiYW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcyb/LiYW21
Haitao Li, Xinrong Yang, Shuling Wang:
Perturbation Analysis for Finite-Time Stability and Stabilization of Probabilistic Boolean Networks. IEEE Trans. Cybern. 51(9): 4623-4633 (2021)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tnn/WangL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnn/WangL21
Shuling Wang, Haitao Li:
Graph-Based Function Perturbation Analysis for Observability of Multivalued Logical Networkss. IEEE Trans. Neural Networks Learn. Syst. 32(11): 4839-4848 (2021)
2020
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/LiuKWYL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LiuKWYL20
Yuna Liu, Xiangshan Kong, Shuling Wang, Xiaojuan Yang, Haitao Li:
Further Results on Large-Scale Complex Logical Networks. IEEE Access 8: 215806-215816 (2020)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/LiangLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/LiangLW20
Shuang Liang, Haitao Li, Shuling Wang:
Structural controllability of Boolean control networks with an unknown function structure. Sci. China Inf. Sci. 63(11) (2020)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/LinWZG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/LinWZG20
Qianqian Lin, Shuling Wang, Bohua Zhan, Bin Gu:
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow. J. Comput. Sci. Technol. 35(6): 1324-1342 (2020)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/jfi/WangLLS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfi/WangLLS20
Shuling Wang, Haitao Li, Yalu Li, Weiwei Sun:
Event-triggered control for disturbance decoupling problem of mix-valued logical networks. J. Frankl. Inst. 357(2): 796-809 (2020)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jzusc/KongWLA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jzusc/KongWLA20
Xiang-shan Kong, Shuling Wang, Haitao Li, Fuad E. Alsaadi:
New developments in control design techniques of logical control networks. Frontiers Inf. Technol. Electron. Eng. 21(2): 220-233 (2020)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/siamco/LiWLZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamco/LiWLZ20
Haitao Li, Shuling Wang, Xiaodong Li, Guodong Zhao:
Perturbation Analysis for Controllability of Logical Control Networks. SIAM J. Control. Optim. 58(6): 3632-3657 (2020)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tcas/LiLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcas/LiLW20
Yalu Li, Haitao Li, Shuling Wang:
Finite-Time Consensus of Finite Field Networks With Stochastic Time Delays. IEEE Trans. Circuits Syst. 67-II(12): 3128-3132 (2020)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/YanJWWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/YanJWWZ20
Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan:
Automatically Generating SystemC Code from HCSP Formal Models. ACM Trans. Softw. Eng. Methodol. 29(1): 4:1-4:39 (2020)
2019
[j11]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/LiuZWYLLYZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/LiuZWYLLYZ19
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan:
Quantum Hoare Logic. Arch. Formal Proofs 2019 (2019)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jfi/WangL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfi/WangL19
Shuling Wang, Haitao Li:
Column stacking approach to resolution of systems of fuzzy relational inequalities. J. Frankl. Inst. 356(6): 3314-3332 (2019)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tcas/LiLW19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcas/LiLW19a
Yalu Li, Haitao Li, Shuling Wang:
Constrained Sampled-Data Reachability and Stabilization of Logical Control Networks. IEEE Trans. Circuits Syst. II Express Briefs 66-II(12): 2002-2006 (2019)
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jfi/DingLW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfi/DingLW18
Xueying Ding, Haitao Li, Shuling Wang:
Set stability and synchronization of logical networks with probabilistic time delays. J. Frankl. Inst. 355(15): 7735-7748 (2018)
2017
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/WangNNZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/WangNNZ17
Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan:
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. 60(8): 1111-1130 (2017)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/WangZZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/WangZZ17
Shuling Wang, Naijun Zhan, Lijun Zhang:
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems. Formal Aspects Comput. 29(4): 751-775 (2017)
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cssp/DaiGW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cssp/DaiGW13
Jiangtao Dai, Zhaozhuang Guo, Shuling Wang:
Robust H_∞ Control for a Class of 2-D Nonlinear Discrete Stochastic Systems. Circuits Syst. Signal Process. 32(5): 2297-2316 (2013)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/KeLWZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/KeLWZ13
Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao:
A graph-based generic type system for object-oriented programs. Frontiers Comput. Sci. 7(1): 109-134 (2013)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/ShuQW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/ShuQW13
Qin Shu, Zongyan Qiu, Shuling Wang:
Confinement framework for encapsulating objects. Frontiers Comput. Sci. 7(2): 236-256 (2013)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/GriesmayerLMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/GriesmayerLMW13
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang:
A framework for automated and certified refinement steps. Innov. Syst. Softw. Eng. 9(1): 3-16 (2013)
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/WangSLQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/WangSLQ10
Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu:
A semantic model of confinement and Locality theorem. Frontiers Comput. Sci. China 4(1): 28-46 (2010)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/WangJXZGZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/WangJXZGZ24
Shuling Wang, Zekun Ji, Xiong Xu, Bohua Zhan, Qiang Gao, Naijun Zhan:
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. ICCPS 2024: 123-134
2023
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/MitschSZW0M23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/MitschSZW0M23
Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive:
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. ARCH 2023: 170-188
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/bibm/LiuZWW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bibm/LiuZWW23
Ruhao Liu, Qingchen Zhang, Kai Wang, Shuling Wang:
Biomarker discovery using multimodal data with the potential application in lung tumor diagnosis. BIBM 2023: 3926-3932
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WangZCX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WangZCX23
Shuling Wang, Shanying Zhu, Cailian Chen, Liang Xu:
Controller Synthesis of Signal Temporal Logical Tasks for Cyber-Physical Production Systems via Acyclic Decomposition. CDC 2023: 2859-2864
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/dtpi/WangCOLCGLZWS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dtpi/WangCOLCGLZWS23
Shoufeng Wang, Hua-Min Chen, Ye Ouyang, Fan Li, Xuan Chen, Jianchao Guo, Yun Li, Lianhua Zhang, Shuling Wang, Jie Sun:
Digital Twin Network Application Requirement on Green Coordination of Computing and Networking. DTPI 2023: 1-6
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/JiWX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/JiWX23
Zekun Ji, Shuling Wang, Xiong Xu:
Session Types with Multiple Senders Single Receiver. SETTA 2023: 112-131
2022
[c53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/MitschZSBJW0LM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/MitschZSBJW0LM22
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive:
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. ARCH@SAFECOMP 2022: 185-203
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WangLZC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WangLZC22
Shuling Wang, Peizhe Li, Shanying Zhu, Cailian Chen:
Opportunistic Wireless Control Over State-Dependent Fading Channels^*. CDC 2022: 3896-3901
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/YiWZZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/YiWZZ22
Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan:
Machine-Checked Executable Semantics of Stateflow. ICFEM 2022: 421-438
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/ZhanLWZHYX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ZhanLWZHYX22
Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia:
Compositional Verification of Interacting Systems Using Event Monads. ITP 2022: 33:1-33:21
2021
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/MitschJZWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/MitschJZWZ21
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS 2021: 120-132
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/HuWLNFG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/HuWLNFG21
Mu Hu, Shuling Wang, Bin Li, Shiyu Ning, Li Fan, Xiaojin Gong:
PENet: Towards Precise and Efficient Image Guided Depth Completion. ICRA 2021: 13656-13662
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/ZhanGXJW0LCYZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/ZhanGXJW0LCYZ21
Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan:
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. RTAS 2021: 457-460
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/GuoZXWS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/GuoZXWS21
Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun:
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. SETTA 2021: 3-21
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/YangWZZLXXM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/YangWZZLXXM21
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao:
Formal Analysis of 5G AKMA. SETTA 2021: 102-121
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/wacv/LiHWWG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wacv/LiHWWG21
Bin Li, Mu Hu, Shuling Wang, Lianghao Wang, Xiaojin Gong:
Self-supervised Visual-LiDAR Odometry with Flip Consistency. WACV 2021: 3843-3851
2020
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/aaim/ZhuZLWHM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaim/ZhuZLWHM20
Haiyang Zhu, Junlei Zhu, Ying Liu, Shuling Wang, Danjun Huang, Lianying Miao:
The List L(2, 1)-Labeling of Planar Graphs with Large Girth. AAIM 2020: 501-512
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/arch/MitschMJZWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/MitschMJZWZ20
Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. ARCH 2020: 153-174
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icca/LiuW020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icca/LiuW020
Yuna Liu, Shuling Wang, Haitao Li:
Two Methods of Dealing with Large-Scale Logical Networks. ICCA 2020: 813-818
2019
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LiuZWYLLYZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LiuZWYLLYZ19
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan:
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. CAV (2) 2019: 187-207
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/MitschSTJZWZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/MitschSTJZWZ19
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. ARCH@CPSIoTWeek 2019: 141-161
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZhanLWTXZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZhanLWTXZ19
Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan:
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow. UTP 2019: 109-129
2018
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/adhs/MitschSTPZJWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/MitschSTPZJWZ18
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan:
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS 2018: 110-127
2017
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/YanJWZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/YanJWZ17
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan:
Synthesizing SystemC Code from Delay Hybrid CSP. APLAS 2017: 21-41
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/case/DingWL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/DingWL17
Xueying Ding, Shuling Wang, Haitao Li:
Output feedback disturbance decoupling of boolean control networks: A logical matrix factorization approach. CASE 2017: 181-186
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/GuelevWZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/GuelevWZ17
Dimitar P. Guelev, Shuling Wang, Naijun Zhan:
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. SETTA 2017: 110-127
2016
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/YanJLWZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/YanJLWZ16
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan:
Approximate Bisimulation and Discretization of Hybrid CSP. FM 2016: 702-720
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ChenRWYZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ChenRWYZ16
Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan:
A Two-Way Path Between Formal and Informal Design of Embedded Systems. UTP 2016: 65-92
2015
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/ZouZWF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/ZouZWF15
Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle:
Formal Verification of Simulink/Stateflow Diagrams. ATVA 2015: 464-481
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WangZZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WangZZ15
Shuling Wang, Naijun Zhan, Liang Zou:
An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems. ICFEM 2015: 382-399
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/PengWZ015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/PengWZ015
Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang:
Extending Hybrid CSP with Probability and Stochasticity. SETTA 2015: 87-102
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/HuWQ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/HuWQ15
Tingting Hu, Shuling Wang, Zongyan Qiu:
Verifying Interaction between Methods in Classes. TASE 2015: 119-126
2014
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/AhmadDWZZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/AhmadDWZZ14
Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou:
Adding Formal Meanings to AADL with Hybrid Annex. FACS 2014: 228-247
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/WangNN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/WangNN14
Shuling Wang, Flemming Nielson, Hanne Riis Nielson:
Denial-of-Service Security Attack in the Continuous-Time World. FORTE 2014: 149-165
2013
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ZhaoWL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ZhaoWL13
Liang Zhao, Shuling Wang, Zhiming Liu:
Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods 2013: 374-393
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/ZouZWFQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/ZouZWFQ13
Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin:
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. EMSOFT 2013: 9:1-9:10
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/GuelevWZZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/GuelevWZZ13
Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou:
Super-Dense Computation in Verification of Hybrid CSP Processes. FACS 2013: 13-22
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/ZhanWZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/ZhanWZ13
Naijun Zhan, Shuling Wang, Hengjun Zhao:
Formal Modelling, Analysis and Verification of Hybrid Systems. ICTAC Training School on Software Engineering 2013: 207-281
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/ZouLWZTYL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ZouLWZTYL13
Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, Yu Liu:
Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving. VSTTE 2013: 262-280
2012
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/tamc/WangZG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tamc/WangZG12
Shuling Wang, Naijun Zhan, Dimitar P. Guelev:
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. TAMC 2012: 72-83
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/ShuWL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/ShuWL12
Qin Shu, Shuling Wang, Yijing Liu:
Verifying OO Programs by Linking Algebraic and Abstract Specifications. TASE 2012: 219-222
2011
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeecmc/WangYG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeecmc/WangYG11
Shuling Wang, Shoubao Yang, Liangmin Guo:
LiChord: A Linear Code Based Structured P2P for Approximate Match. CMC 2011: 118-121
2010
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/WangW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/WangW10
Shuling Wang, Xu Wang:
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer. VERIFY@IJCAR 2010: 126-140
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/chinagrid/LiuYWW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chinagrid/LiuYWW10
Xiaoqian Liu, Shoubao Yang, Dong Wei, Shuling Wang:
A Trust Evaluation Model Based on Resistive Network. ChinaGrid 2010: 234-239
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/gcc/WangYWNX10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcc/WangYWNX10
Ximei Wang, Shoubao Yang, Shuling Wang, Xianlong Niu, Jing Xu:
An Application-Based Adaptive Replica Consistency for Cloud Storage. GCC 2010: 13-17
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LiuMW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LiuMW10
Zhiming Liu, Charles Morisset, Shuling Wang:
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF 2010: 258-273
2009
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/KeLWZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/KeLWZ09
Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao:
A Graph-Based Operational Semantics of OO Programs. ICFEM 2009: 347-366
2008
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/gcc/LiuYWX08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcc/LiuYWX08
Xiaoqian Liu, Shoubao Yang, Shuling Wang, Jing Xu:
R-DLS: An Improved DLS Algorithm. GCC 2008: 97-101
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/gcc/ChenYJW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcc/ChenYJW08
Wei Chen, Shoubao Yang, Yan Jiang, Shuling Wang:
Grid Resource Discovery Strategy Based on Historical Information. GCC 2008: 206-209
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/gcc/WangYSX08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcc/WangYSX08
Shuling Wang, Shoubao Yang, Kai Shen, Lihua Xie:
A Super Node Selecting Mechanism Based on AHP. GCC 2008: 403-406
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WangQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WangQ08
Shuling Wang, Zongyan Qiu:
A Generic Model for Confinement and its Application. TASE 2008: 57-64
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WangBO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WangBO08
Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira:
A Relational Model for Confined Separation Logic. TASE 2008: 263-270
2007
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RibeiroBW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RibeiroBW08
Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang:
An Exercise on Transition Systems. TTSS 2007: 89-106
2006
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/PuZQWZH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/PuZQWZH06
Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He:
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. FMOODS 2006: 251-266
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/WangLQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/WangLQ06
Shuling Wang, Quan Long, Zongyan Qiu:
Type Safety for FJ and FGJ. ICTAC 2006: 257-271
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/YangZQPW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/YangZQPW06
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang:
A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894
2005
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/QiuWPZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/QiuWPZ05
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao:
Semantics of BPEL4WS-Like Fault and Compensation Handling. FM 2005: 350-365
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PuZWQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PuZWQ06
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu:
Towards the Semantics and Verification of BPEL4WS. WLFM@FM 2005: 33-52
2004
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GeguangXSZHY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GeguangXSZHY04
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi:
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2017
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/ChenHTWYZZZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/ChenHTWYZZZ17
Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou:
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. Provably Correct Systems 2017: 39-58

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2017
[e1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/ZWZ2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/ZWZ2017
Naijun Zhan, Shuling Wang, Hengjun Zhao:
Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach. Springer 2017, ISBN 978-3-319-47014-6

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-15674
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-15674
Shuling Wang, Zekun Ji, Bohua Zhan, Xiong Xu, Qiang Gao, Naijun Zhan:
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. CoRR abs/2402.15674 (2024)
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-03035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-03035
Bohua Zhan, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, Naijun Zhan:
Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems. CoRR abs/2403.03035 (2024)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-08936
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-08936
Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes. CoRR abs/2407.08936 (2024)
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-15492
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-15492
Shuling Wang, Peizhe Li, Shanying Zhu, Cailian Chen, Xinping Guan:
Infinite-Horizon Optimal Wireless Control Over Shared State-Dependent Fading Channels for IIoT Systems. CoRR abs/2408.15492 (2024)
2023
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-15020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-15020
Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin:
A Generalized Hybrid Hoare Logic. CoRR abs/2303.15020 (2023)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-10004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-10004
Ye Ouyang, Yaqin Zhang, Peng Wang, Yunxin Liu, Wen Qiao, Jun Zhu, Yang Liu, Feng Zhang, Shuling Wang, Xidong Wang:
6G Network Business Support System. CoRR abs/2307.10004 (2023)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-12187
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-12187
Zekun Ji, Shuling Wang, Xiong Xu:
Session Types With Multiple Senders Single Receiver (report version). CoRR abs/2310.12187 (2023)
2022
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-11965
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-11965
Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan:
Machine-checked executable semantics of Stateflow. CoRR abs/2207.11965 (2022)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-02978
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-02978
Shuling Wang, Peizhe Li, Shanying Zhu, Cailian Chen:
Opportunistic Wireless Control Over State-Dependent Fading Channels. CoRR abs/2209.02978 (2022)
2021
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-01322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-01322
Bin Li, Mu Hu, Shuling Wang, Lianghao Wang, Xiaojin Gong:
Self-supervised Visual-LiDAR Odometry with Flip Consistency. CoRR abs/2101.01322 (2021)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-00783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-00783
Mu Hu, Shuling Wang, Bin Li, Shiyu Ning, Li Fan, Xiaojin Gong:
PENet: Towards Precise and Efficient Image Guided Depth Completion. CoRR abs/2103.00783 (2021)
2017
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GuelevWZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuelevWZ17
Dimitar P. Guelev, Shuling Wang, Naijun Zhan:
Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus. CoRR abs/1706.06246 (2017)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-09019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-09019
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan:
Synthesizing SystemC Code from Delay Hybrid CSP. CoRR abs/1709.09019 (2017)
2016
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LiuLWYZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LiuLWYZ16
Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan:
A Theorem Prover for Quantum Hoare Logic and Its Applications. CoRR abs/1601.03835 (2016)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/YanJLWZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/YanJLWZ16
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan:
Approximate Bisimulation and Discretization of Hybrid CSP. CoRR abs/1609.00091 (2016)
2015
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PengWZ015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PengWZ015
Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang:
Extending Hybrid CSP with Probability and Stochasticity. CoRR abs/1509.01660 (2015)
2014
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WangNN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WangNN14
Shuling Wang, Flemming Nielson, Hanne Riis Nielson:
A Framework for Hybrid Systems with Denial-of-Service Security Attack. CoRR abs/1403.6367 (2014)
2011
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1112-0215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1112-0215
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang:
A Framework for Automated and Certified Refinement Steps. CoRR abs/1112.0215 (2011)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.