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 five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

Automatically Generating SystemC Code from HCSP Formal Models.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

2017

Synthesizing SystemC Code from Delay Hybrid CSP.

[BibT_eX]

[DOI]

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

2016

Approximate Bisimulation and Discretization of Hybrid CSP.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

2014

Formal Throughput and Response Time Analysis of MARTE Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Gaogao Yan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...