PURLTL: Mining LTL Specification from Imperfect Traces in Testing. - Bo Peng; Pingjia Liang; Tingchen Han; Weilin Luo; Jianfeng Du; Hai Wan; Rongzhen Ye; Yuhang Zheng (ASE, 2023)

How to Evaluate Semantic Communications for Images With ViTScore Metric? - Tingting Zhu 007; Bo Peng; Jifan Liang; Tingchen Han; Hai Wan; Jingqiao Fu; Junjie Chen (IEEE Trans. Cogn. Commun. Netw., 2024)

NADA: Neural Acceptance-Driven Approximate Specification Mining. - Weilin Luo; Tingchen Han; Junming Qiu; Hai Wan; Jianfeng Du; Bo Peng; Guohui Xiao 001; Yanan Liu (Proc. ACM Softw. Eng., 2025)