Session Types with Multiple Senders Single Receiver. - Zekun Ji; Shuling Wang; Xiong Xu (SETTA, 2023)

Session Types With Multiple Senders Single Receiver (report version). - Zekun Ji; Shuling Wang; Xiong Xu (CoRR, 2023)

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. - Shuling Wang 003; Zekun Ji; Xiong Xu; Bohua Zhan; Qiang Gao; Naijun Zhan (ICCPS, 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 003; Naijun Zhan (CoRR, 2024)

Case Study: Modeling, Simulation, Verification, and Code Generation of an Automatic Cruise Control System. - Xiong Xu; Shuling Wang 003; Zekun Ji; Qiang Gao; Xiangyu Jin; Bohua Zhan; Naijun Zhan (The Practice of Formal Methods (II), 2024)