Zekun Ji

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

Collaborative distances:

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

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, Bohua Zhan, Xiong Xu, Qiang Gao, Naijun Zhan

CoRR, 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