| 2025 | ICFEM | LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving. | Yifan Wu, Yanhong Huang, Jianqi Shi |
| 2025 | ICSE | SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation. | Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, Xiangfeng Wang |
| 2024 | ICFEM | Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. | Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu, Shengchao Qin |
| 2024 | ICFEM | NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. | Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang |
| 2024 | SMC | SELus: Towards Spatio-Temporal Modeling and Quantitative Evaluation for Cyber-Physical Systems. | Quanguo Zhang, Jing Liu, Mingxing Liu, Yanhong Huang, Rongbin Hou, Jianqi Shi |
| 2024 | SMC | Static Code Analysis of IEC 61131-3 ST Programs via Symbolic Execution. | Mengyan Zhao, Yanhong Huang, Jianqi Shi, Yinghao Chen, Yang Yang |
| 2023 | IJCNN | Improving Single-Step Adversarial Training By Local Smoothing. | Shaopeng Wang, Yanhong Huang, Jianqi Shi, Yang Yang, Xin Guo |
| 2023 | SMC | A Tool for Transforming SysML State Machine into Uppaal Automatically. | Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang |
| 2022 | SEKE | A Federated Model Personalisation Method Based on Sparsity Representation and Clustering. | Hailin Yang, Yanhong Huang, Jianqi Shi, Fangda Cai |
| 2021 | APSEC | Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. | Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi |
| 2021 | LCN | A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL. | Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang |
| 2021 | SEKE | Dynamically Detecting Invariants for Automatic Testing PLC Programs (S). | Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang |
| 2021 | SEKE | Tree Ensemble Property Verification from A Testing Perspective. | Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang |
| 2021 | TASE | A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. | Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin |
| 2020 | APSEC | Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams. | Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin |
| 2020 | ICFEM | VARF: Verifying and Analyzing Robustness of Random Forests. | Chaoqun Nie, Jianqi Shi, Yanhong Huang |
| 2020 | SEKE | A Novel Self-Attention Based Automatic Code Completion Neural Network. | Bohao Wang, Wanyou Lv, Jianqi Shi, Yanhong Huang |
| 2019 | ICA3PP | ParaMoC: A Parallel Model Checker for Pushdown Systems. | Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang |
| 2019 | ICST | SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective. | Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang |
| 2019 | KSEM | Automated Mining and Checking of Formal Properties in Natural Language Requirements. | Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei |
| 2019 | REFSQ | Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications. | Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She |
| 2019 | TASE | Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution. | Li Hao, Jianqi Shi, Ting Su, Yanhong Huang |
| 2018 | ISPA | Efficient Parallel CTL Model-Checking for Pushdown Systems. | Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi |
| 2018 | ISPA | Parallel Model Checking on Pushdown Systems. | Hansheng Wei, Xinyu Chen, Xin Ye, Neng Fu, Yanhong Huang, Jianqi Shi |
| 2017 | ICECCS | Decomposition and Collaboration of Industrial Control System with Resource Constraints. | Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang |
| 2016 | APSEC | Formalization and Verification of the Powerlink Protocol Using CSP. | Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin |
| 2015 | ICECCS | GPU Accelerated On-the-Fly Reachability Checking. | Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin |
| 2015 | TASE | Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. | Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu |
| 2014 | APSEC | pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. | Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu |
| 2014 | TASE | Modeling and Verifying the TTCAN Protocol Using Timed CSP. | Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu |
| 2013 | ICST | A Denotational Model for Interrupt-Driven Programs. | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu |
| 2013 | TASE | A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. | Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu |
| 2012 | ICECCS | ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. | Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang |
| 2012 | ICECCS | xBIL - A Hardware Resource Oriented Binary Intermediate Language. | Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye |
| 2012 | ISORC | ESF - An Extensive Service Foundation from Internet of Things Perspective. | Jianqi Shi, Xin Ye, Liangyu Chen, Pei Zhang, Ningkang Jiang |
| 2012 | TASE | Formal Verification and Simulation: Co-verification for Subway Control Systems. | Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi |
| 2012 | TASE | Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. | Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye |
| 2011 | TASE | Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. | Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi |
| 2011 | TASE | Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. | Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu |
| 2007 | APSEC | The Validation and Verification of WSCDL. | Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He |