| 2026 | TASE | LLM-Guided Requirement Scenario-Based Testing for Simulink Models. | Ling Qin, Jincao Feng, Weikai Miao |
| 2025 | AAAI | Perception-Guided Jailbreak Against Text-to-Image Models. | Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang, Weikai Miao, Geguang Pu, Yang Liu |
| 2024 | QRS | Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models. | Yilongfei Xu, Jincao Feng, Weikai Miao |
| 2022 | SEKE | A framework for Requirements specification of machine-learning systems. | Xi Wang, Weikai Miao |
| 2021 | SEKE | Fine-Grained Neural Network Abstraction for Efficient Formal Verification. | Zhaosen Wen, Weikai Miao, Min Zhang |
| 2021 | TASE | A Formal Engineering Approach to Product Family Modeling. | Xi Wang, Ridha Khdri, Weikai Miao |
| 2021 | TASE | Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. | Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu |
| 2020 | ICA3PP | Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study. | Xudong Tang, Qiang Wang, Weikai Miao |
| 2019 | APSEC | A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. | Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng |
| 2018 | ICSE | Smartunit: empirical evaluations for automated unit testing of embedded software in industry. | Chengyu Zhang, Yichen Yan, Hanru Zhou, Yinbo Yao, Ke Wu, Ting Su, Weikai Miao, Geguang Pu |
| 2017 | SEKE | Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph. | Lixu Shao, Yucong Duan, Xiaobing Sun, Honghao Gao, Donghai Zhu, Weikai Miao |
| 2016 | ICFEM | Automated Requirements Validation for ATP Software via Specification Review and Testing. | Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu, Shuohao Chen, Kunpeng Xiong |
| 2016 | QRS | Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking. | Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen |
| 2016 | SNPD | Automatic support for formal specification construction using pattern knowledge. | Xi Wang, Weikai Miao |
| 2015 | CONCUR | On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference. | Fu Song, Weikai Miao, Geguang Pu, Min Zhang |
| 2015 | ICFEM | Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. | Shaoying Liu, Xi Wang, Weikai Miao |
| 2015 | TASE | A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. | Weikai Miao, Xi Wang, Shaoying Liu |
| 2015 | TASE | Formal Verification of PKMv3 Protocol Using DT-Spin. | Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao |
| 2011 | APSCC | A Formal Specification-Based Testing Approach to Accurate Web Service Selection. | Weikai Miao, Shaoying Liu |
| 2009 | APSCC | Service-oriented modeling using the SOFL formal engineering method. | Weikai Miao, Shaoying Liu |