| A novel approach to parameterized verification of cache coherence protocols Y Li, K Duan, Y Lv, J Pang, S Cai 2016 IEEE 34th International Conference on Computer Design (ICCD), 560-567, 2016 | 15 | 2016 |
| An automatic proving approach to parameterized verification Y Li, K Duan, DN Jansen, J Pang, L Zhang, Y Lv, S Cai ACM Transactions on Computational Logic (TOCL) 19 (4), 1-25, 2018 | 9 | 2018 |
| ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols Y Li, J Pang, Y Lv, D Fan, S Cao, K Duan Automated Technology for Verification and Analysis: 13th International …, 2015 | 9 | 2015 |
| Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols Y Li Proceedings of the 2007 ACM symposium on Applied computing, 1534-1535, 2007 | 8 | 2007 |
| Generalized unsolicited tests for authentication protocol analysis Y Li, J Pang 2006 Seventh International Conference on Parallel and Distributed Computing …, 2006 | 8 | 2006 |
| Towards a theory of bisimulation for the higher-order process calculi YJ Li, XX Liu Journal of Computer Science and Technology 19 (3), 352-363, 2004 | 8 | 2004 |
| Enhanced symbolic simulation of a round-robin arbiter Y Li, N Zeng, WNN Hung, X Song 2011 IEEE 29th International Conference on Computer Design (ICCD), 102-107, 2011 | 5 | 2011 |
| Extending the strand space method to verify Kerberos v Y Li, J Pang Eighth International Conference on Parallel and Distributed Computing …, 2007 | 4 | 2007 |
| Extending the strand space method with timestamps: Part II application to kerberos V Y Li, J Pang Journal of Information Security 1 (2), 56-67, 2010 | 3 | 2010 |
| L-CMP: An automatic learning-based parameterized verification tool J Cao, Y Li, J Pang Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 2 | 2018 |
| Extending the Strand Space Method with Timestamps: Part I the Theor Y Li, J Pang Journal of Information Security 1 (2), 2010 | 2 | 2010 |
| An automatic parameterized verification of FLASH cache coherence protocol Y Li, J Cao, K Duan 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 1 | 2018 |
| On the Formal Modeling of Inductive Verification for Cryptographical Protocols Y Li, X Song, X Li 2012 13th International Conference on Parallel and Distributed Computing …, 2012 | 1 | 2012 |
| A Novel Formalization of Symbolic Trajectory Evaluation Semantics in Isabelle/HOL | | |
| Formalising Verilog: Operational semantics and bisimulation | | |
| Generalized Unsolicited Tests for Authentication Protocol Analysis | | |
| A Study on the formal semantics of Verilog | | |
| Towards a theory of bisimulation for a fragment of Verilog | | |
| Contextual labelled semantics for Higher-Order process calculi | | |
