| 2025 | ICFEM | LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving. | Yifan Wu, Yanhong Huang, Jianqi Shi |
| 2025 | IROS | All-in-one Defensive Network (ADNet): Trustworthy Segmentation of Complex Maritime Environments for Unmanned Surface Vessels (USVs). | Yanhong Huang, Yuze Duan, Peng Wu, Yuanchang Liu |
| 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 |
| 2023 | SEKE | LTLf Satisfiability Checking via Formula Progression (S). | Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li |
| 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 | Probabilistic Denotational Semantics for an Interrupt Modelling Language. | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He |
| 2015 | ICECCS | A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. | Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu |
| 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 |
| 2013 | ICFEM | Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. | Yanhong Huang, Joo F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He |
| 2013 | ICST | A Denotational Model for Interrupt-Driven Programs. | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu |
| 2013 | TASE | Modeling and Verification of AUTOSAR OS and EMS Application. | Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo |
| 2012 | ICECCS | ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. | Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang |
| 2012 | SEW | A Timed CSP Model for the Time-Triggered Language Giotto. | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, Joo F. Ferreira |
| 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 | ICECCS | Formal Model of Interrupt Program from a Probabilistic Perspective. | Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu |
| 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 |
| 2010 | TASE | Probabilistic Model of System Survivability. | Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu |