Xiong Xu

17 papers A 1C 1Misc 1Journal 11Unranked 2
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
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
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 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 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 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 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
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