| 2025 | ICECCS | Checking Linearizability of Multi-core Task Management and Scheduling System. | Qiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, Yi Lv |
| 2024 | SETTA | Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects. | Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu |
| 2023 | HealthCom | Personalized-Enhanced Federated Learning on Heterogeneous Internet of Medical Things. | Yi Lv, Lichen Yan, Puning Zhang, Di Hu, Shuman Shao |
| 2023 | HealthCom | Online Resource Scheduling Mechanism for Quality of Service Assurance in Intelligent Medical. | Hong Zhang, Yuxin Liao, Lingtong Ma, Yi Lv, Jun Luo |
| 2023 | WCNC | Hybrid Worker Selection for Task Coverage Maximization in Mobile Crowdsensing. | Yi Lv, Xin Chen, Peng He, Yaping Cui, Ruyan Wang, Dapeng Wu |
| 2023 | TASE | VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. | Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang |
| 2022 | ITP | Compositional Verification of Interacting Systems Using Event Monads. | Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia |
| 2022 | MICCAI | Coarse to Fine Automatic Segmentation of Abdominal Multiple Organs. | Yi Lv, Yu Ning, Junchen Wang |
| 2022 | SETTA | Decidability of Liveness for Concurrent Objects on the TSO Memory Model. | Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu |
| 2021 | MICCAI | Three Uses of One Neural Network: Automatic Segmentation of Kidney Tumor and Cysts Based on 3D U-Net. | Yi Lv, Junchen Wang |
| 2021 | VTC | Transmission Performance Guaranteed Task Distribution Strategy in Mobile Crowdsensing. | Yi Lv, Yan Wang, Yaping Cui, Peng He, Dapeng Wu, Ruyan Wang |
| 2020 | GLOBECOM | Degrees of Freedom of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels. | Rui Ni, Yi Lv, Qian Zhu, Guangjian Wang, Gaoning He, Mrouane Debbah |
| 2020 | MICCAI | Detect and Identify Aneurysms Based on Adjusted 3D Attention UNet. | Yizhuan Jia, Weibin Liao, Yi Lv, Ziyu Su, Jiaqi Dou, Zhongwei Sun, Xuesong Li |
| 2020 | MICCAI | 3D Attention U-Net with Pretraining: A Solution to CADA-Aneurysm Segmentation Challenge. | Ziyu Su, Yizhuan Jia, Weibin Liao, Yi Lv, Jiaqi Dou, Zhongwei Sun, Xuesong Li |
| 2019 | ICNC | Att-ConvLSTM: PM2.5 Prediction Model and Application. | Zhe Xu, Yi Lv |
| 2017 | ICCCN | Power-Aware Lightpath Management for SDN-Based Elastic Optical Networks. | Yu Xiong, Jin Shi, Yi Lv, George N. Rouskas |
| 2017 | SOFSEM | Decomposable Relaxation for Concurrent Data Structures. | Chao Wang, Yi Lv, Peng Wu |
| 2016 | ICCD | A novel approach to parameterized verification of cache coherence protocols. | Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai |
| 2016 | ICECCS | An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. | Wei Ji, Farn Wang, Peng Wu, Yi Lv |
| 2016 | SOFSEM | Bounded TSO-to-SC Linearizability Is Decidable. | Chao Wang, Yi Lv, Peng Wu |
| 2015 | APLAS | Quasi-Linearizability is Undecidable. | Chao Wang, Yi Lv, Gaoang Liu, Peng Wu |
| 2015 | APSEC | Input-Driven Active Testing of Multi-threaded Programs. | Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv |
| 2015 | ATVA | ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. | Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan |
| 2015 | ATVA | TSO-to-TSO Linearizability Is Undecidable. | Chao Wang, Yi Lv, Peng Wu |
| 2014 | ATVA | Efficiently and Completely Verifying Synchronized Consistency Models. | Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu |
| 2011 | CIS | Fast Verification of Memory Consistency for Chip Multi-Processor. | Zheng Lv, Hao Chen, Feng Chen, Yi Lv |
| 2009 | HPCA | Fast complete memory consistency verification. | Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen, Haihua Shen, Pengyu Wang, Hong Pan |
| 2009 | TASE | Environment Abstraction with State Clustering and Parameter Truncating. | Hong Pan, Yi Lv, Huimin Lin |
| 2007 | MEMOCODE | Computing Invariants for Parameter Abstraction. | Yi Lv, Huimin Lin, Hong Pan |