Login / Signup
Zekun Ji
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 5
Top Topics
Software Reuse
Modeling Language
Application Development
Rapid Prototyping
Top Venues
CoRR
SETTA
ICCPS
</>
Publications
</>
Shuling Wang
,
Zekun Ji
,
Xiong Xu
,
Bohua Zhan
,
Qiang Gao
,
Naijun Zhan
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes.
ICCPS
(2024)
Shuling Wang
,
Zekun Ji
,
Bohua Zhan
,
Xiong Xu
,
Qiang Gao
,
Naijun Zhan
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes.
CoRR
(2024)
Bohua Zhan
,
Xiong Xu
,
Qiang Gao
,
Zekun Ji
,
Xiangyu Jin
,
Shuling Wang
,
Naijun Zhan
Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.
CoRR
(2024)
Zekun Ji
,
Shuling Wang
,
Xiong Xu
Session Types with Multiple Senders Single Receiver.
SETTA
(2023)
Zekun Ji
,
Shuling Wang
,
Xiong Xu
Session Types With Multiple Senders Single Receiver (report version).
CoRR
(2023)