Reasoning about Fences and Relaxed Atomics. - Mengda He; Viktor Vafeiadis; Shengchao Qin; João F. Ferreira 001 (PDP, 2016)

Firefly-based Facial Expression Recognition: Extended Abstract. - Kamlesh Mistry; Li Zhang 013; Yifeng Zeng; Mengda He (AAMAS, 2017)

Facial expression recongition using firefly-based feature optimization. - Kamlesh Mistry; Li Zhang 013; Graham Sexton; Yifeng Zeng; Mengda He (CEC, 2017)

Using function approximation for personalized point-of-interest recommendation. - Bilian Chen; Shenbao Yu; Jing Tang 001; Mengda He; Yifeng Zeng (Expert Syst. Appl., 2017)

Group sparse optimization for learning predictive state representations. - Yifeng Zeng; Biyang Ma; Bilian Chen; Jing Tang 001; Mengda He (Inf. Sci., 2017)

Automated specification inference in a combined domain via user-defined predicates. - Shengchao Qin; Guanhua He; Wei-Ngan Chin; Florin Craciun; Mengda He; Zhong Ming 001 (Sci. Comput. Program., 2017)

A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. - Quang Loc Le; Mengda He (APLAS, 2018)

Towards a Program Logic for C11 Release-Sequences. - Mengda He; Shengchao Qin; João F. Ferreira 001 (TASE, 2018)

GPS+: Reasoning About Fences and Relaxed Atomics. - Mengda He; Viktor Vafeiadis; Shengchao Qin; João F. Ferreira 001 (Int. J. Parallel Program., 2018)

Reasoning about C11 programs with fences and relaxed atomics. - Mengda He (2018)

ABAC Requirements Engineering for Database Applications. - Jim J. Longstaff; Mengda He (TASE, 2019)

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. - Chao Huang 015; Xin Chen 027; Enyi Tang; Mengda He; Lei Bu; Shengchao Qin; Yifeng Zeng (ICRA, 2020)

A Program Logic for Reasoning About C11 Programs With Release-Sequences. - Mengda He; Shengchao Qin; Zhiwu Xu 001 (IEEE Access, 2020)

Extracting automata from neural networks using active learning. - Zhiwu Xu 001; Cheng Wen 002; Shengchao Qin; Mengda He (PeerJ Comput. Sci., 2021)

Algebraic Semantics for C++11 Memory Model. - Lili Xiao; Huibiao Zhu; Mengda He; Shengchao Qin (COMPSAC, 2022)

Controlled Concurrency Testing via Periodical Scheduling. - Cheng Wen 002; Mengda He; Bohao Wu; Zhiwu Xu 001; Shengchao Qin (ICSE, 2022)

Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. - Cheng Wen 002; Jialun Cao; Jie Su 002; Zhiwu Xu 001; Shengchao Qin; Mengda He; Haokun Li; Shing-Chi Cheung; Cong Tian (CAV (2), 2024)

RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. - Zhiwu Xu 001; Bohao Wu; Cheng Wen 002; Bin Zhang; Shengchao Qin; Mengda He (ICSE, 2024)

Trace Semantics for C++11 Memory Model. - Lili Xiao; Huibiao Zhu; Sini Chen; Mengda He; Shengchao Qin (Formal Aspects Comput., 2024)

From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. - Jialun Cao; Yaojie Lu 001; Meiziniu Li; Haoyang Ma; Haokun Li; Mengda He; Cheng Wen 002; Le Sun 001; Hongyu Zhang 002; Shengchao Qin; Shing-Chi Cheung; Cong Tian (ACL (1), 2025)

Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL. - Jingjing Guan; Hui Li 070; Xiangdong Li; Xiaolei Wang; Binghan Wang; Qiuye Wang; Shengchao Qin; Mengda He; Md. Armanuzzaman; Ziming Zhao 001 (INFOCOM, 2025)

Enhancing deep learning for demand forecasting to address large data gaps. - Chirine Riachy; Mengda He; Sina Joneidy; Shengchao Qin; Tim Payne; Graeme Boulton; Annalisa Occhipinti; Claudio Angione (Expert Syst. Appl., 2025)