OMReasoner: combination of multi-matchers for ontology matching: results for OAEI 2014. - Guohua Shen; Yinling Liu; Fei Wang 049; Jia Si; Zi Wang; Zhiqiu Huang; Dazhou Kang (OM, 2014)

一种结合线性时序逻辑和故障树的软件安全验证方法 (Method Combining Linear Temporal Logic and Fault Tree for Software Safety Verification). - Fei Wang 049; Guohua Shen; Zhiqiu Huang; Lin Ma; Chang Liu; Haifeng Li; Lili Liao (计算机科学, 2015)

An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. - Fei Wang 049; Zhibin Yang; Zhi-qiu Huang; Chengwei Liu; Yong Zhou; Jean-Paul Bodeveix; Mamoun Filali (IEEE Trans. Reliab., 2020)

Embedding Traceability in Large Language Model Code Generation: Towards Trustworthy AI-Augmented Software Engineering. - Fei Wang 049; Xuefeng Xi; Zhiming Cui; Huan Dai; XinYu Wang (SIGSOFT FSE Companion, 2025)