Shuling Wang

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 76

Top Venues

CoRR

SETTA

IEEE Trans. Autom. Control.

J. Frankl. Inst.

Publications

Shuling Wang, Fengze Jiang, Xiaojin Gong
A Sparsity-Invariant Model via Unifying Depth Prediction and Completion. Algorithms 17 (7) (2024)
Haitao Li, Shuling Wang, Wenrong Li
Aggregation Method to Strategy Consensus of Large-Size Networked Evolutionary Matrix Games. IEEE Trans. Autom. Control. 69 (6) (2024)
Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes. CoRR (2024)
Shuling Wang, Zekun Ji, Xiong Xu, Bohua Zhan, Qiang Gao, Naijun Zhan
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. ICCPS (2024)
Shuling Wang, Zekun Ji, Bohua Zhan, Xiong Xu, Qiang Gao, Naijun Zhan
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. CoRR (2024)
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 (2024)
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)
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)
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 (2023)
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) (2023)
Zekun Ji, Shuling Wang, Xiong Xu
Session Types with Multiple Senders Single Receiver. SETTA (2023)
Ruhao Liu, Qingchen Zhang, Kai Wang, Shuling Wang
Biomarker discovery using multimodal data with the potential application in lung tumor diagnosis. BIBM (2023)
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) (2023)
Zekun Ji, Shuling Wang, Xiong Xu
Session Types With Multiple Senders Single Receiver (report version). CoRR (2023)
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 (2023)
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)
Shuling Wang, Haitao Li
Aggregation method to reachability and optimal control of large-size Boolean control networks. Sci. China Inf. Sci. 66 (7) (2023)
Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin
A Generalized Hybrid Hoare Logic. CoRR (2023)
Shuling Wang, Mu Hu, Bin Li, Xiaojin Gong
Self-Paced Knowledge Distillation for Real-Time Image Guided Depth Completion. IEEE Signal Process. Lett. 29 (2022)
Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan
Machine-Checked Executable Semantics of Stateflow. ICFEM (2022)
Shuling Wang, Peizhe Li, Shanying Zhu, Cailian Chen
Opportunistic Wireless Control Over State-Dependent Fading Channels. CoRR (2022)
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)
Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan
Machine-checked executable semantics of Stateflow. CoRR (2022)
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) (2022)
Shuling Wang, Haitao Li
Robust Set Controllability of Logical Control Networks: A Set Monotonicity Approach. IEEE Trans. Control. Netw. Syst. 9 (3) (2022)
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 (2022)
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 (2022)
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) (2022)
Shuling Wang, Peizhe Li, Shanying Zhu, Cailian Chen
. CDC (2022)
Xueying Ding, Haitao Li, Jianquan Lu, Shuling Wang
Optimal Strategy Estimation of Random Evolutionary Boolean Games. IEEE Trans. Cybern. 52 (8) (2022)
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 (2022)
Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia
Compositional Verification of Interacting Systems Using Event Monads. ITP (2022)
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao
Formal Analysis of 5G AKMA. SETTA (2021)
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)
Mu Hu, Shuling Wang, Bin Li, Shiyu Ning, Li Fan, Xiaojin Gong
PENet: Towards Precise and Efficient Image Guided Depth Completion. ICRA (2021)
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS (2021)
Bin Li, Mu Hu, Shuling Wang, Lianghao Wang, Xiaojin Gong
Self-supervised Visual-LiDAR Odometry with Flip Consistency. CoRR (2021)
Haitao Li, Xinrong Yang, Shuling Wang
Robustness for Stability and Stabilization of Boolean Networks With Stochastic Function Perturbations. IEEE Trans. Autom. Control. 66 (3) (2021)
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) (2021)
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) (2021)
Mu Hu, Shuling Wang, Bin Li, Shiyu Ning, Li Fan, Xiaojin Gong
PENet: Towards Precise and Efficient Image Guided Depth Completion. CoRR (2021)
Haitao Li, Xinrong Yang, Shuling Wang
Perturbation Analysis for Finite-Time Stability and Stabilization of Probabilistic Boolean Networks. IEEE Trans. Cybern. 51 (9) (2021)
Shuling Wang, Haitao Li
Graph-Based Function Perturbation Analysis for Observability of Multivalued Logical Networkss. IEEE Trans. Neural Networks Learn. Syst. 32 (11) (2021)
Bin Li, Mu Hu, Shuling Wang, Lianghao Wang, Xiaojin Gong
Self-supervised Visual-LiDAR Odometry with Flip Consistency. WACV (2021)
Shuling Wang, Haitao Li
New Results on the Disturbance Decoupling of Boolean Control Networks. IEEE Control. Syst. Lett. 5 (4) (2021)
Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. SETTA (2021)
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) (2020)
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) (2020)
Yuna Liu, Shuling Wang, Haitao Li
Two Methods of Dealing with Large-Scale Logical Networks. ICCA (2020)
Yuna Liu, Xiangshan Kong, Shuling Wang, Xiaojuan Yang, Haitao Li
Further Results on Large-Scale Complex Logical Networks. IEEE Access 8 (2020)
Shuang Liang, Haitao Li, Shuling Wang
Structural controllability of Boolean control networks with an unknown function structure. Sci. China Inf. Sci. 63 (11) (2020)
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) (2020)
Yalu Li, Haitao Li, Shuling Wang
Finite-Time Consensus of Finite Field Networks With Stochastic Time Delays. IEEE Trans. Circuits Syst. (12) (2020)
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)
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) (2020)
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)
Haitao Li, Shuling Wang, Xiaodong Li, Guodong Zhao
Perturbation Analysis for Controllability of Logical Control Networks. SIAM J. Control. Optim. 58 (6) (2020)
Yalu Li, Haitao Li, Shuling Wang
Constrained Sampled-Data Reachability and Stabilization of Logical Control Networks. IEEE Trans. Circuits Syst. II Express Briefs (12) (2019)
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)
Shuling Wang, Haitao Li
Column stacking approach to resolution of systems of fuzzy relational inequalities. J. Frankl. Inst. 356 (6) (2019)
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)
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
Quantum Hoare Logic. Arch. Formal Proofs 2019 (2019)
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)
Xueying Ding, Haitao Li, Shuling Wang
Set stability and synchronization of logical networks with probabilistic time delays. J. Frankl. Inst. 355 (15) (2018)
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)
Dimitar P. Guelev, Shuling Wang, Naijun Zhan
Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus. CoRR (2017)
Xueying Ding, Shuling Wang, Haitao Li
Output feedback disturbance decoupling of boolean control networks: A logical matrix factorization approach. CASE (2017)
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
Synthesizing SystemC Code from Delay Hybrid CSP. APLAS (2017)
Shuling Wang, Naijun Zhan, Lijun Zhang
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems. Formal Aspects Comput. 29 (4) (2017)
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
Synthesizing SystemC Code from Delay Hybrid CSP. CoRR (2017)
Dimitar P. Guelev, Shuling Wang, Naijun Zhan
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. SETTA (2017)
Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. 60 (8) (2017)
Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan
A Theorem Prover for Quantum Hoare Logic and Its Applications. CoRR (2016)
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)
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
Approximate Bisimulation and Discretization of Hybrid CSP. CoRR (2016)
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
Approximate Bisimulation and Discretization of Hybrid CSP. FM (2016)
Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle
Formal Verification of Simulink/Stateflow Diagrams. ATVA (2015)
Shuling Wang, Naijun Zhan, Liang Zou
An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems. ICFEM (2015)
Tingting Hu, Shuling Wang, Zongyan Qiu
Verifying Interaction between Methods in Classes. TASE (2015)
Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang
Extending Hybrid CSP with Probability and Stochasticity. CoRR (2015)
Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang
Extending Hybrid CSP with Probability and Stochasticity. SETTA (2015)
Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou
Adding Formal Meanings to AADL with Hybrid Annex. FACS (2014)
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
Denial-of-Service Security Attack in the Continuous-Time World. FORTE (2014)
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
A Framework for Hybrid Systems with Denial-of-Service Security Attack. CoRR (2014)
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
A framework for automated and certified refinement steps. Innov. Syst. Softw. Eng. 9 (1) (2013)
Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. EMSOFT (2013)
Jiangtao Dai, Zhaozhuang Guo, Shuling Wang
Control for a Class of 2-D Nonlinear Discrete Stochastic Systems. Circuits Syst. Signal Process. 32 (5) (2013)
Naijun Zhan, Shuling Wang, Hengjun Zhao
Formal Modelling, Analysis and Verification of Hybrid Systems. ICTAC Training School on Software Engineering (2013)
Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou
Super-Dense Computation in Verification of Hybrid CSP Processes. FACS (2013)
Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao
A graph-based generic type system for object-oriented programs. Frontiers Comput. Sci. 7 (1) (2013)
Qin Shu, Zongyan Qiu, Shuling Wang
Confinement framework for encapsulating objects. Frontiers Comput. Sci. 7 (2) (2013)
Liang Zhao, Shuling Wang, Zhiming Liu
Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods (2013)
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)
Qin Shu, Shuling Wang, Yijing Liu
Verifying OO Programs by Linking Algebraic and Abstract Specifications. TASE (2012)
Shuling Wang, Naijun Zhan, Dimitar P. Guelev
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. TAMC (2012)
Shuling Wang, Shoubao Yang, Liangmin Guo
LiChord: A Linear Code Based Structured P2P for Approximate Match. CMC (2011)
Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
A Framework for Automated and Certified Refinement Steps CoRR (2011)
Ximei Wang, Shoubao Yang, Shuling Wang, Xianlong Niu, Jing Xu
An Application-Based Adaptive Replica Consistency for Cloud Storage. GCC (2010)
Shuling Wang, Qin Shu, Yijing Liu, Zongyan Qiu
A semantic model of confinement and Locality theorem. Frontiers Comput. Sci. China 4 (1) (2010)
Zhiming Liu, Charles Morisset, Shuling Wang
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF (2010)

Shuling Wang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shuling Wang