Ran Wei

The TianQin project: Current progress on science and technology

Jianwei Mei, Yanzheng Bai, Jiahui Bao et al. · Progress of Theoretical and Experimental Physics · 2020 · 336 citations · Full text

Model based system assurance using the structured assurance case metamodel

Ran Wei, Tim Kelly, Xiaotian Dai et al. · Journal of Systems and Software · 2019 · 50 citations · Full text

Model-based System Engineering, Engineering, Software Testing +13

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

Simon Foster, Yakoub Nemouchi, Mario Gleirscher et al. · Formal Aspects of Computing · 2021 · 26 citations · Full text

Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry

Zhe Jiang, Shuai Zhao, Ran Wei et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2021 · 23 citations

Automotive Engineering, Automotive Industry, Engineering +21

Augmenting general-purpose large-language models with domain-specific multimodal knowledge graph for question-answering in construction project management

Shenghua Zhou, Keyan Liu, Dezhi Li et al. · Advanced Engineering Informatics · 2025 · 23 citations