EDBT 2026 Demo / reviewers in the wild / expert
Gaogao Yan
dblp:152/5449
· DBLP profile ↗
4ranked-venue papers
4as first author
0since 2021 · last 2020
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 4 first-authorTheory of computation · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Embedded and real-time systems · 100% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Embedded and real-time systems
model-based design |
0.4 | 1 | 2020 | Automatically Generating SystemC Code from HCSP Formal Models · ACM Trans. Softw. Eng. Methodol. 2020 |
Embedded and real-time systems
cyber-physical system platforms |
0.2 | 1 | 2016 | Approximate Bisimulation and Discretization of Hybrid CSP · FM 2016 |
Embedded and real-time systems › cyber-physical system platforms
hybrid systems |
0.2 | 1 | 2016 | Approximate Bisimulation and Discretization of Hybrid CSP · FM 2016 |
Logic in computer science
bisimulation |
0.2 | 1 | 2016 | Approximate Bisimulation and Discretization of Hybrid CSP · FM 2016 |
Methods — techniques the papers use, named apart from their topics
approximate bisimulation · 0.9discretization · 0.5transformation rules · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Automatically Generating SystemC Code from HCSP Formal ModelsabstractIn model-driven design of embedded systems, how to generate code from high-level control models seamlessly and correctly is challenging. This is because hybrid systems are involved with continuous evolution, discrete jumps, and the complicated entanglement between them, while code only contains discrete actions. In this article, we investigate the code generation from Hybrid Communicating Sequential Processes (HCSP), a formal hybrid control model, to SystemC. We first introduce the notion of approximate bisimulation as a criterion to check the consistency between two different systems, especially between the original control model and the final generated code. We prove that it is decidable whether two HCSPs are approximately bisimilar in bounded time and unbounded time with some conditions, respectively. For both the cases, we present two sets of rules correspondingly for discretizing HCSPs and prove that the original HCSP model and the corresponding discretization are approximately bisimilar. Furthermore, based on the discretization, we define a transformation function to map a discretized HCSP model to SystemC code such that they are also approximately bisimilar. We finally implement a tool to automatically realize the translation from HCSP to SystemC code and illustrate our approach through some case studies. Gaogao Yan, Shuling Wang 0003, Lingtai Wang, Naijun Zhan |
ACM Trans. Softw. Eng. Methodol. | 1 |
| 2017 | Synthesizing SystemC Code from Delay Hybrid CSP
Gaogao Yan, Shuling Wang 0003, Naijun Zhan |
APLAS | 1 |
| 2016 | Approximate Bisimulation and Discretization of Hybrid CSP
Gaogao Yan, Yangjia Li, Shuling Wang 0003, Naijun Zhan |
FM | 1 |
| 2014 | Formal Throughput and Response Time Analysis of MARTE Models
Gaogao Yan, Xue-Yang Zhu, Rongjie Yan |
ICFEM | 1 |