Shuling Wang

According to our database, Shuling Wang authored at least 45 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries.

Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu

CoRR, June, 2025

HpC: A Calculus for Hybrid and Mobile Systems - Full Version.

Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan

CoRR, January, 2025

HpC: A Calculus for Hybrid and Mobile Systems.

Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan

Proc. ACM Program. Lang., 2025

2024

Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System.

Xiong Xu, Shuling Wang, Zekun Ji, Qiang Gao, Xiangyu Jin, Bohua Zhan, Naijun Zhan

Proceedings of the Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II, 2024

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.

Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

CoRR, 2024

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.

Bohua Zhan, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, Naijun Zhan

CoRR, 2024

The Design of Intelligent Temperature Control System of Smart House with MARS.

Yihao Yin, Hao Wu, Shuling Wang, Xiong Xu, Fanjiang Xu, Naijun Zhan

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes.

Shuling Wang, Zekun Ji, Xiong Xu, Bohua Zhan, Qiang Gao, Naijun Zhan

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

2023

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP.

Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Bohua Zhan, Naijun Zhan

ACM Trans. Softw. Eng. Methodol., January, 2023

A denotational semantics of Simulink with higher-order UTP.

Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan

J. Log. Algebraic Methods Program., 2023

A Generalized Hybrid Hoare Logic.

Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin

CoRR, 2023

ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.

Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan

Theor. Comput. Sci., 2022

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).

Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao

J. Syst. Archit., 2022

Machine-Checked Executable Semantics of Stateflow.

Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan

Proceedings of the Formal Methods and Software Engineering, 2022

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

Formal Analysis of 5G AKMA.

Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.

Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Automatically Generating SystemC Code from HCSP Formal Models.

Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan

ACM Trans. Softw. Eng. Methodol., 2020

ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Quantum Hoare Logic.

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan

Arch. Formal Proofs, 2019

Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.

Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems.

Shuling Wang, Naijun Zhan, Lijun Zhang

Formal Aspects Comput., 2017

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP.

Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan

Comput. J., 2017

Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus.

Dimitar P. Guelev, Shuling Wang, Naijun Zhan

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Synthesizing SystemC Code from Delay Hybrid CSP.

Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.

Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou

Proceedings of the Provably Correct Systems, 2017

2016

A Theorem Prover for Quantum Hoare Logic and Its Applications.

Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan

CoRR, 2016

A Two-Way Path Between Formal and Informal Design of Embedded Systems.

Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Approximate Bisimulation and Discretization of Hybrid CSP.

Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan

Proceedings of the FM 2016: Formal Methods, 2016

2015

Extending Hybrid CSP with Probability and Stochasticity.

Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems.

Shuling Wang, Naijun Zhan, Liang Zou

Proceedings of the Formal Methods and Software Engineering, 2015

Formal Verification of Simulink/Stateflow Diagrams.

Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

A Framework for Hybrid Systems with Denial-of-Service Security Attack.

Shuling Wang, Flemming Nielson, Hanne Riis Nielson

CoRR, 2014

Denial-of-Service Security Attack in the Continuous-Time World.

Shuling Wang, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Adding Formal Meanings to AADL with Hybrid Annex.

Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving.

Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, Yu Liu

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Formal Modelling, Analysis and Verification of Hybrid Systems.

Naijun Zhan, Shuling Wang, Hengjun Zhao

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

Super-Dense Computation in Verification of Hybrid CSP Processes.

Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.

Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin

Proceedings of the International Conference on Embedded Software, 2013

2012

An Assume/Guarantee Based Compositional Calculus for Hybrid CSP.

Shuling Wang, Naijun Zhan, Dimitar P. Guelev

Proceedings of the Theory and Applications of Models of Computation, 2012