Zekun Ji

According to our database, Zekun Ji authored at least 5 papers between 2023 and 2024.

Collaborative distances:

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

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

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

Session Types With Multiple Senders Single Receiver (report version).

Zekun Ji, Shuling Wang, Xiong Xu

CoRR, 2023

Session Types with Multiple Senders Single Receiver.

Zekun Ji, Shuling Wang, Xiong Xu

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