发表论文
Yongjian Li, Bohua Zhan, Jun Pang, Mechanizing the CMP Abstraction for Parameterized Verification. Proc. ACM Program. Lang., Vol. 8, No. OOPSLA1, Article 141. Publication date: April 2024
Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li: Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving. CAiSE 2023: 33-49
Mufan Xiang, Yongjian Li, Yongxin Zhao: ChiselFV: A Formal Verification Framework for Chisel. DATE 2023: 1-6
Zimin Li, Yongjian Li, Kaifan Wang, Kun Ma, Shizhen Yu: Model Checking TileLink Cache Coherence Protocols By Murphi. ICCD 2023: 30-37
Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi:Parameterized Design and Formal Verification of Multi-ported Memory. ICECCS 2022: 33-41
Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li: Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. SEKE 2022: 369-375
Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li: AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. SEKE 2021: 108-113
Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao: Encoding Induction Proof in Dafny. TASE 2021: 95-102
Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang: Formal Analysis of TSN Scheduler for Real-Time Communications. IEEE Trans. Reliab. 70(3): 1286-1294 (2021)
Yongjian Li, Taifeng Cao, David N. Jansen, Jun Pang, Xiaotao Wei: Accelerated Verification of Parametric Protocols with Decision Trees. ICCD 2020: 397-404
Yongjian Li, Jialun Cao, Jun Pang: A Learning-Based Framework for Automatic Parameterized Verification. ICCD 2019: 450-459
Yongjian Li, Bow-Yaw Wang: Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. ICFEM 2019: 403-419
Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, and Shaowei Cai: An Automatic Proving Approach to Parameterized Verification, ACM Trans. Comput. Log., 2018, 19(4)：27:1.
Yongjian Li, Jialun Cao, Jun Pang. L-CMP: An Automatic Learning-based Parameterized Verification Tool. IEEE/ACM International Conference on Automated Software Engineering (ASE-18) Tool-track, 2018.
Yongjian Li, Jialun Cao, Kaiqiang Duan. An Automatic Parameterized Verification of the FLASH Cache Coherence Protocol. The 18th IEEE conference on software quality and reliability and security(QRS-2018), 2018.
Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang and Shaowei Cai. A Novel Approach to Parameterized Verification of Cache Coherence Protocols. IEEE 29th International Conference on Computer Design (ICCD), IEEE Press, 2016.
Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao and Kaiqiang Duan. paraVerifier: An Au- tomatic Framework for Proving Parameterized Cache Coherence Protocols. The 13th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, 2015.
Yongjian Li, Jun Pang. Foramilzing provable anonymity in Isabelle/HOL. Formal Aspects of Computing, Springer, 2014.
Yongjian Li, Xiaoyu Song. On the formal modeling of inductive verification for cryptographical protocols. Accepted in The Thirteen International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT12), IEEE Computer Press, 2012.
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song. Combining symmetry reduction with generalized symbolic trajectory evaluation. Accepted in The Computer Journal, Oxford Unversity Press, 2012.
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song. Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. Haifa Verification conference (HVC) 2012, LNCS7261: 242-246
Yongjian Li, Jun Pang. An Inductive Approach to Provable Anonymity. Conference on Availability, Reliability and Security (ARES) 2011: 454-459, IEEE Press.
Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song. Enhanced symbolic simulation of a round-robin arbiter. International conference on computer design (ICCD) 2011:102-107, IEEE Press.
Yongjian Li, jun Pang. An inductive approach to strand space theory. Formal Aspects of Computing. Springer.
Yongjian li, William N. N. Hung, Xiaoyu Song. Automatically Exploring Structural Symmetry in Symbolic Trajectory Evaluation. Formal Methods in System Design 39(2): 117-143 (2011). Springer.
Yongjian li, William N. N. Hung, Xiaoyu Song. A Novel Formalization of Symbolic Trajectory Evaluation Semantics in Isabelle/HOL. Theoretical Computer Science: 2746-2765 (2011). Elsevier. 2011.01
Yongjian Li, Jun Pang. Extending the Strand Space Method with Timestamps: Part I the Theory. Jounal of Information Security, Vol.1. 45-55. doi: 10.4236/jis.2010.12007. October 2010.
Yongjian Li, Jun Pang. Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V. Jounal of Information Security, Vol.1.56-67. doi:10.4236/jis.2010.12007. October 2010.
Li yongjian, Xue rui. Design of a CIL Connector to SPIN. International Journal of Software Engineering and Knowledge Engineering 18(1): 65-91. 2008.
Li yongjian, Xue rui. Using SPIN to Model Cryptographic Protocols. In proceedings of International Conference on Information Technology : 741-745, IEEE Press. April 2004.
Yongjian Li. The inductive approach to strand space theory. Proceedings of Formal Techniques for Networked and Distributed Systems-FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Lecture Notes in Computer Science 3731 : 547-552, Springer 2005. October 2005.
Yongjian Li, Jun Pang. Generalized Unsolicited Tests for Authentication Protocol Analysis. Proceedings of the International Conference on Parallel and Distributed Computing (PDCAT 2006): 509-514, IEEE CS Press. 2006.
Yongjian Li, Jun Pang. Extending the Strand Space Method to Verify Kerberos V. Proceedings of the International Conference on Parallel and Distributed Computing (PDCAT 2007): 437-444，IEEE CS Press. 2007.
Li yongjian, Liu XinXin. Towards a theory of bisimulation for the Higher-Order process calculi. Journal of computer science and technology, Vol 19(3): 352-363. 2004. 2004.
Yongjian Li. Contextual labelled semantics for Higher-Order process calculi. Electronic Notes in Theoretical Computer Science 138, 61-77, 2005. Elsevier. 2005.
Yongjian Li. Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols. 2007 ACM Symposium on Applied Computing (SAC 2007): 1534-1535， ACM Press. 2007.
Yongjian Li, Jifeng He, Yongqiang Sun. Verilog 代数语义研究. 软件学报，Vol.14. No.3. 2003.
Yongjian Li, Jifeng He, Yongqiang Sun. Verilog 操作语义研究. 软件学报，Vol.13 No.10, 2002.
Yongjian Li, Jifeng He, Yongqiang Sun. Verilog 形式化语义研究. 软件学报，Vol.12. No.10, 2001.
Yongjian Li, Jifeng He. Towards a theory of bisimulation for a fragment of Verilog. proceedings of 17th international parallel & distributed processing symposium, 2003，IEEE Press. 2003.
Yongjian Li, Jifeng He. Formalising Verilog. Proceedings of Applied Informatics (AI 2001) IASTED International Conference, symposium 3, Softare, Acta Press. 2001.
