Xiong Xu

According to our database, Xiong Xu authored at least 13 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• 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

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

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

Translating a large subset of stateflow to hybrid CSP with code optimization.

Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun

J. Syst. Archit., 2022

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

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