Gaogao Yan

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 5

Top Topics

Constraint Satisfaction Problems

Constraint Propagation

Tree Decomposition

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan
Automatically Generating SystemC Code from HCSP Formal Models. ACM Trans. Softw. Eng. Methodol. 29 (1) (2020)
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
Synthesizing SystemC Code from Delay Hybrid CSP. APLAS (2017)
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
Synthesizing SystemC Code from Delay Hybrid CSP. CoRR (2017)
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
Approximate Bisimulation and Discretization of Hybrid CSP. CoRR (2016)
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
Approximate Bisimulation and Discretization of Hybrid CSP. FM (2016)
Gaogao Yan, Xueyang Zhu, Rongjie Yan, Guangyuan Li
Formal Throughput and Response Time Analysis of MARTE Models. ICFEM (2014)