Yi Lv

Putative phosphorylation sites on WCA domain of HA2 is essential for Helicoverpa armigera single nucleopolyhedrovirus replication

Xinwen Chen, Yun Wang, Yuan Zhou, 2011, Virologica Sinica.

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

Dongrui Fan, Yongjian Li, Jun Pang, 2015, ATVA.

Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods

Fan Zhang, Junjie Yang, Kai Huang, 2018, FM.

Fast complete memory consistency verification

Tianshi Chen, Yi Lv, Yunji Chen, 2009, 2009 IEEE 15th International Symposium on High Performance Computer Architecture.