Qian-wen Gou

dblp:279/3494 · DBLP profile ↗
← Back
5ranked-venue papers
4as first author
4since 2021 · last 2024
0009-0000-0668-5790ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 1 since 2021Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2024 Semantic similarity-based program retrieval: a multi-relational graph perspective
Qian-wen Gou, Yunwei Dong, YuJiao Wu, Qiao Ke
Frontiers Comput. Sci.1
2024 Code generation for Security and Stability Control System based on extended reactive component
Qian-wen Gou, Yunwei Dong
J. Syst. Archit.1
2024 SynthoMinds: Bridging human programming intuition with retrieval, analogy, and reasoning in program synthesis
Qian-wen Gou, Yunwei Dong, Qiao Ke
J. Syst. Softw.1
2024 RRGcode: Deep hierarchical search-based code generation
Qian-wen Gou, Yunwei Dong, YuJiao Wu, Qiao Ke
J. Syst. Softw.1
2020 Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL
abstract
Cyber-physical systems (CPSs) are becoming increasingly important in safety-critical systems. Particular risk analysis (PRA) is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development. Human factors like the physical environment are the most important part of particular risk assessment. Therefore, it is necessary to analyze the safety of the system considering human factor and physical factor. In this paper, we propose a new particular risk model (PRM) to improve the modeling ability of the Architecture Analysis and Design Language (AADL). An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system. To simulate the PRM with the proposed PRA method, model transformation from PRM to a deterministic and stochastic Petri net model is implemented. Finally, a case study on the power grid system of CPS is modeled and analyzed using the proposed method.
Mingrui Xiao, Yunwei Dong, Qian-wen Gou, Yong-Hua Chen
Frontiers Inf. Technol. Electron. Eng.3