Gaogao Yan

According to our database, Gaogao Yan authored at least 4 papers between 2014 and 2020.

Collaborative distances:

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

2020

Automatically Generating SystemC Code from HCSP Formal Models.

Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan

ACM Trans. Softw. Eng. Methodol., 2020

2017

Synthesizing SystemC Code from Delay Hybrid CSP.

Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Approximate Bisimulation and Discretization of Hybrid CSP.

Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan

Proceedings of the FM 2016: Formal Methods, 2016

2014

Formal Throughput and Response Time Analysis of MARTE Models.

Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li

Proceedings of the Formal Methods and Software Engineering, 2014