| 2026 | COMPSAC | RustDAP: Lightweight Rust Vulnerability Detection Method via LLM-Based Data Augmentation and Semantic-Structural Prompting. | Chenghuan Ye, Zhibin Yang, Yong Zhou, Zhixun Wang, Yuanrui Zhang, Chengwei Liu |
| 2025 | ISSRE | Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification. | Ai Liu, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang, Zhiqiu Huang |
| 2025 | MODELS | Automated AADL Architecture Modeling: Leveraging Large Language Models for Safety-Critical Software. | Yaxin Zou, Zhibin Yang, Hao Liu, Jiawei Liang, Yong Zhou, Zonghua Gu |
| 2025 | QRS | Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models. | Min Zhou, Zhibin Yang, Yong Zhou, Shuyi Yang, Ai Liu |
| 2025 | SETTA | A Generic Dynamic Logic for Program Reasoning Based on Operational Semantics. | Yuanrui Zhang, Zhibin Yang |
| 2025 | TASE | Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness. | Ai Liu, Yang Liu, Shaoying Liu, Zhibin Yang |
| 2024 | ADC | Tri-modality Collaborative Learning for Person Re-identification. | Shizhuo Deng, Qingyuan Yang, Zhibin Yang, Dongyue Chen, Yu Yang, Hao Wang |
| 2024 | FM | AGVTS: Automated Generation and Verification of Temporal Specifications for Aeronautics SCADE Models. | Hanfeng Wang, Zhibin Yang, Yong Zhou, Xilong Wang, Weilin Deng, Wei Li |
| 2024 | ICANN | Subgraph Collaborative Graph Contrastive Learning for Recommendation. | Jie Ma, Jiwei Qin, Peichen Ji, Zhibin Yang, Donghao Zhang, Chaoqun Liu |
| 2023 | SETTA | Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance. | Yingmin Xiao, Zhibin Yang, Yong Zhou, Zhiqiu Huang |
| 2020 | ADMA | A Context-Aware Computing Method of Sentence Similarity Based on Frame Semantics. | Wenjing Liu, Tiexin Wang, Zhibin Yang, Jingwen Cao |
| 2019 | IECON | Day-Ahead Hierarchical Optimal Scheduling for Offshore Integrated Electricity-Gas-Heat Energy System Considering Load Forecasting. | Shnwei Liu, Zhibin Yang, Yinchang Du, Fanxu Kong, Yurong Ding, Xuechun Wang |
| 2018 | ICSE | Beyond spatial and temporal memory safety. | Zhe Chen, Chuanqi Tao, Zhiyi Zhang, Zhibin Yang |
| 2018 | MEMOCODE | Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. | Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali |
| 2016 | TACAS | Parametric Runtime Verification of C Programs. | Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang |
| 2015 | ISSRE | Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B. | Yongwang Zhao, Zhibin Yang, David Sann, Yang Liu |
| 2014 | MODELS | Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties. | Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali |
| 2014 | SCOPES | A verified transformation: from polychronous programs to a variant of clocked guarded actions. | Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma |
| 2011 | ICECCS | Two Formal Semantics of a Subset of the AADL. | Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin |
| 2009 | DATE | Towards a formal semantics for the AADL behavior annex. | Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi |
| 2009 | ICECCS | A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. | Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma |
| 2008 | AINA | An Expanded Stochastic Model in DAG Schemes. | Kai Hu, Yan Jiang, Zhibin Yang, Shiran Chen |