Formal Throughput and Response Time Analysis of MARTE Models. - Gaogao Yan; Xueyang Zhu; Rongjie Yan; Guangyuan Li (ICFEM, 2014)

Approximate Bisimulation and Discretization of Hybrid CSP. - Gaogao Yan; Li Jiao; Yangjia Li; Shuling Wang 003; Naijun Zhan (FM, 2016)

Synthesizing SystemC Code from Delay Hybrid CSP. - Gaogao Yan; Li Jiao; Shuling Wang 003; Naijun Zhan (APLAS, 2017)

Automatically Generating SystemC Code from HCSP Formal Models. - Gaogao Yan; Li Jiao; Shuling Wang 003; Lingtai Wang; Naijun Zhan (ACM Trans. Softw. Eng. Methodol., 2020)