Li Yongjian

Li Yongjian

Institute of Software, Chinese Academy of Sciences - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4824098
-
person_outline Li Yongjian's MOST POPULAR ARTICLES
1-) A novel approach to parameterized verification of cache coherence protocols 2016 IEEE 34th International Conference on Computer Design (ICCD), 560-567, 2016
2-) An automatic proving approach to parameterized verification ACM Transactions on Computational Logic (TOCL) 19 (4), 1-25, 2018
3-) ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols Automated Technology for Verification and Analysis: 13th International …, 2015
4-) Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols Proceedings of the 2007 ACM symposium on Applied computing, 1534-1535, 2007
5-) Generalized unsolicited tests for authentication protocol analysis 2006 Seventh International Conference on Parallel and Distributed Computing …, 2006