Shuling Wang

57 papers A 1B 3C 5Misc 5Journal 26Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Formal design of safety-critical systems with MARS.
J. Syst. Archit.
Yihao Yin, Hao Wu, Wan Liu, Shuling Wang, Xiong Xu, Wang Lin, Fanjiang Xu, Naijun Zhan
2026 J jnl
Formal semantics for hierarchical Simulink diagrams in Isabelle/HOL.
J. Syst. Archit.
Yuzhen Qi, Shuling Wang, Xing Li, Bohua Zhan, Naijun Zhan
2026 J jnl
Modeling and Verification of Hybrid Systems by Extending AADL.
ACM Trans. Softw. Eng. Methodol.
Xiong Xu, Ehsan Ahmad, Shuling Wang, Xiangyu Jin, Bohua Zhan, Naijun Zhan
2025 J jnl
Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries.
CoRR
Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu
2025 J jnl
HpC: A Calculus for Hybrid and Mobile Systems - Full Version.
CoRR
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan
2025 J jnl
HpC: A Calculus for Hybrid and Mobile Systems.
Proc. ACM Program. Lang.
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan
2025 C conf
Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams.
ICFEM
Xiong Xu, Jixiang Miao, Shuling Wang, Jean-Pierre Talpin
2024 — ch.
Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System.
The Practice of Formal Methods (II)
Xiong Xu, Shuling Wang, Zekun Ji, Qiang Gao, Xiangyu Jin, Bohua Zhan, Naijun Zhan
2024 — conf
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes.
ICCPS
Shuling Wang, Zekun Ji, Xiong Xu, Bohua Zhan, Qiang Gao, Naijun Zhan
2024 J jnl
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes.
CoRR
Shuling Wang, Zekun Ji, Bohua Zhan, Xiong Xu, Qiang Gao, Naijun Zhan
2024 J jnl
HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.
CoRR
Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2024 J jnl
Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.
CoRR
Bohua Zhan, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, Naijun Zhan
2024 Misc conf
The Design of Intelligent Temperature Control System of Smart House with MARS.
SETTA
Yihao Yin, Hao Wu, Shuling Wang, Xiong Xu, Fanjiang Xu, Naijun Zhan
2023 J jnl
A Generalized Hybrid Hoare Logic.
CoRR
Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin
2023 J jnl
A denotational semantics of Simulink with higher-order UTP.
J. Log. Algebraic Methods Program.
Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan
2023 — conf
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving.
ARCH
Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive
2023 J jnl
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP.
ACM Trans. Softw. Eng. Methodol.
Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Bohua Zhan, Naijun Zhan
2022 — conf
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.
ARCH@SAFECOMP
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
2022 J jnl
Formal Analysis of 5G Authentication and Key Management for Applications (AKMA).
J. Syst. Archit.
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao
2022 C conf
Machine-Checked Executable Semantics of Stateflow.
ICFEM
Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan
2022 J jnl
Machine-checked executable semantics of Stateflow.
CoRR
Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan
2022 J jnl
Translating a large subset of stateflow to hybrid CSP with code optimization.
J. Syst. Archit.
Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun
2022 J jnl
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.
Theor. Comput. Sci.
Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan
2021 — conf
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving.
ARCH@ADHS
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2021 A conf
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.
RTAS
Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan
2021 Misc conf
Formal Analysis of 5G AKMA.
SETTA
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao
2020 — conf
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.
ARCH
Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2020 J jnl
Automatically Generating SystemC Code from HCSP Formal Models.
ACM Trans. Softw. Eng. Methodol.
Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan
2019 — conf
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.
ARCH@CPSIoTWeek
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2019 — conf
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.
CAV (2)
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
2019 J jnl
Quantum Hoare Logic.
Arch. Formal Proofs
Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan
2019 — conf
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.
UTP
Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan
2018 — conf
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.
ARCH@ADHS
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan
2017 J jnl
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems.
Formal Aspects Comput.
Shuling Wang, Naijun Zhan, Lijun Zhang
2017 Misc conf
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus.
SETTA
Dimitar P. Guelev, Shuling Wang, Naijun Zhan
2017 J jnl
Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus.
CoRR
Dimitar P. Guelev, Shuling Wang, Naijun Zhan
2017 — book
Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach.
Naijun Zhan, Shuling Wang, Hengjun Zhao
2017 — ch.
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
Provably Correct Systems
Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou
2017 J jnl
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP.
Comput. J.
Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan
2017 B conf
Synthesizing SystemC Code from Delay Hybrid CSP.
APLAS
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
2017 J jnl
Synthesizing SystemC Code from Delay Hybrid CSP.
CoRR
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
2016 J jnl
A Theorem Prover for Quantum Hoare Logic and Its Applications.
CoRR
Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan
2016 — conf
A Two-Way Path Between Formal and Informal Design of Embedded Systems.
UTP
Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan
2016 B conf
Approximate Bisimulation and Discretization of Hybrid CSP.
FM
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
2016 J jnl
Approximate Bisimulation and Discretization of Hybrid CSP.
CoRR
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
2015 C conf
An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems.
ICFEM
Shuling Wang, Naijun Zhan, Liang Zou
2015 Misc conf
Extending Hybrid CSP with Probability and Stochasticity.
SETTA
Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang
2015 J jnl
Extending Hybrid CSP with Probability and Stochasticity.
CoRR
Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang
2015 B conf
Formal Verification of Simulink/Stateflow Diagrams.
ATVA
Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle
2014 J jnl
A Framework for Hybrid Systems with Denial-of-Service Security Attack.
CoRR
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
2014 — conf
Adding Formal Meanings to AADL with Hybrid Annex.
FACS
Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou
2014 C conf
Denial-of-Service Security Attack in the Continuous-Time World.
FORTE
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
2013 — conf
Formal Modelling, Analysis and Verification of Hybrid Systems.
ICTAC Training School on Software Engineering
Naijun Zhan, Shuling Wang, Hengjun Zhao
2013 — conf
Super-Dense Computation in Verification of Hybrid CSP Processes.
FACS
Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou
2013 — conf
Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving.
VSTTE
Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, Yu Liu
2013 Misc conf
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.
EMSOFT
Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin
2012 C conf
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP.
TAMC
Shuling Wang, Naijun Zhan, Dimitar P. Guelev