A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. - Weikai Miao; Qianqian Yan; Yihao Huang 001; Jincao Feng; Hanyue Zheng (APSEC, 2019)

Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. - Yihao Huang 001; Jincao Feng; Hanyue Zheng; Jiayi Zhu 002; Shang Wang; Siyuan Jiang; Weikai Miao; Geguang Pu (ASE, 2019)

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. - Jincao Feng; Weikai Miao; Hanyue Zheng; Yihao Huang 001; Jianwen Li; Zheng Wang 005; Ting Su 001; Bin Gu 006; Geguang Pu; Mengfei Yang; Jifeng He 001 (ESEC/SIGSOFT FSE, 2020)

Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. - Hanyue Zheng; Jincao Feng; Weikai Miao; Geguang Pu (TASE, 2021)

ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations. - Liangru Sun; Felix Juefei-Xu; Yihao Huang 001; Qing Guo 005; Jiayi Zhu 002; Jincao Feng; Yang Liu 003; Geguang Pu (CoRR, 2022)

ALA: Naturalness-aware Adversarial Lightness Attack. - Yihao Huang 001; Liangru Sun; Qing Guo 005; Felix Juefei-Xu; Jiayi Zhu 002; Jincao Feng; Yang Liu 003; Geguang Pu (ACM Multimedia, 2023)

Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models. - Yilongfei Xu; Jincao Feng; Weikai Miao (QRS, 2024)

S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm. - Yilongfei Xu; Zhewei Wang; Jinhao Liang; Yueling Zhang; Jincao Feng; Weikai Miao; Jiangtao Wang 009; Geguang Pu (SFPVV, 2024)