| 2025 | DAC | Leveraging Critical Proof Obligations for Efficient IC3 Verification. | Lingfeng Zhu, Xindi Zhang, Yongjian Li, Shaowei Cai |
| 2025 | EMNLP | RECALL: REpresentation-aligned Catastrophic-forgetting ALLeviation via Hierarchical Model Merging. | Bowen Wang, Haiyuan Wan, Liwen Shi, Chen Yang, Peng He, Yue Ma, Haochen Han, Wenhao Li, Tiao Tan, Yongjian Li, Fangming Liu, Yifan Gong, Sheng Zhang |
| 2025 | ICA3PP | Formalizing Blockchain-Based Communication for Tactical Data Link. | Shangzhe Wu, Yongxin Zhao, Qiang Wang, Qiang Chen, Yongjian Li |
| 2025 | SEKE | Learning Behavior Trees for Automated Guided Vehicles via Genetic and Reinforcement Methods. | Wenzheng Yang, Yongxin Zhao, Qiang Wang, Yongjian Li, Yudan Tian |
| 2024 | SEKE | Detecting Semantic-level Polysemy Ambiguity by Fusing External Semantic Knowledge (S). | Huishan Yang, Xi Wu, Fengyong Peng, Yongxin Zhao, Yongjian Li |
| 2024 | TASE | A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. | Yongjian Li, Hongjian Jiang, Yongxin Zhao |
| 2023 | CaiSE | Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving. | Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li |
| 2023 | DATE | ChiselFV: A Formal Verification Framework for Chisel. | Mufan Xiang, Yongjian Li, Yongxin Zhao |
| 2023 | ICCD | Model Checking TileLink Cache Coherence Protocols By Murphi. | Zimin Li, Yongjian Li, Kaifan Wang, Kun Ma, Shizhen Yu |
| 2023 | SEKE | Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning. | Shuaishuai Feng, Xi Wu, Yongxin Zhao, Yongjian Li |
| 2023 | SEKE | Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S). | Fengyong Peng, Xi Wu, Yongxin Zhao, Yongjian Li |
| 2022 | ICECCS | Parameterized Design and Formal Verification of Multi-ported Memory. | Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi |
| 2022 | SEKE | Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. | Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li |
| 2021 | ISPA | CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. | Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao |
| 2021 | KSEM | Analyzing and Recommending Development Order Based on Design Class Diagram. | Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li |
| 2021 | SEKE | AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. | Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li |
| 2021 | TASE | Encoding Induction Proof in Dafny. | Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao |
| 2020 | ICCD | Accelerated Verification of Parametric Protocols with Decision Trees. | Yongjian Li, Taifeng Cao, David N. Jansen, Jun Pang, Xiaotao Wei |
| 2019 | ICCD | A Learning-Based Framework for Automatic Parameterized Verification. | Yongjian Li, Jialun Cao, Jun Pang |
| 2019 | ICFEM | Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. | Yongjian Li, Bow-Yaw Wang |
| 2018 | IPCCC | A Deep Learning Based Framework for Cloud Masquerade Attack Detection. | Shuting Xu, Shuhua Lai, Yongjian Li |
| 2018 | QRS | An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. | Yongjian Li, Jialun Cao, Kaiqiang Duan |
| 2016 | ICCD | A novel approach to parameterized verification of cache coherence protocols. | Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai |
| 2015 | ATVA | ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. | Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan |
| 2012 | PDCAT | On the Formal Modeling of Inductive Verification for Cryptographical Protocols. | Yongjian Li, Xiaoyu Song, Xiaojuan Li |
| 2011 | ICCD | Enhanced symbolic simulation of a round-robin arbiter. | Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song |
| 2009 | INDIN | A new decentralized approach for the lot sizing problem of durable products with demand substitution. | Yongjian Li, Xiaoqiang Cai |
| 2007 | PDCAT | Extending the Strand Space Method to Verify Kerberos V. | Yongjian Li, Jun Pang |
| 2007 | SAC | Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols. | Yongjian Li |
| 2006 | PDCAT | Generalized Unsolicited Tests for Authentication Protocol Analysis. | Yongjian Li, Jun Pang |
| 2005 | AAIM | Optimal Manpower Planning with Temporal Labor and Contract Period Constraints. | Yongjian Li, Jian Chen, Xiaoqiang Cai, Fengsheng Tu |
| 2005 | FORTE | The Inductive Approach to Strand Space. | Yongjian Li |
| 2004 | COMPSAC | Design of a CIL Connector to SPIN. | Yongjian Li, Rui Xue |
| 2002 | APLAS | Bisimulation for Higher-Order Pi-calculus. | Xinxin Liu, Yongjian Li |