| 2025 | ISSRE | Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification. | Ai Liu, Yang Liu, Lei Rao, Shaoying Liu, Zhibin Yang, Zhiqiu Huang |
| 2025 | PRICAI | LLM-KGPlan: Long-Horizon Task Planning via Knowledge-Guided Reasoning. | Wei Fang, Dingyu Yang, Niansheng Chen, Guangyu Fan, Lei Rao, Songlin Cheng, Xiaoyong Song, Yingzhou Yu |
| 2025 | SMC | MFBPNet: A Multi-Scale Fusion and Boundary Perception Network for Real-Time Semantic Segmentation in Autonomous Driving. | Jiajia Guo, Guangyu Fan, Lei Rao, Songlin Cheng, Niansheng Chen, Xiaoyong Song, Dingyu Yang |
| 2025 | RTSS | Formal Timing Analysis of CQF Interference in TSN: A Network Calculus-Based Approach. | Luxi Zhao, Lei Rao, Qiao Li, Rubi Debnath |
| 2024 | CSCWD | SemGO: Goal-Oriented Semantic Policy Based on MHSA for Object Goal Navigation. | Yu Wu, Niansheng Chen, Lei Rao, Guangyu Fan, Dingyu Yang, Songlin Cheng, Xiaoyong Song, Yiping Ma |
| 2023 | CSCWD | ASKCC-DCNN-CTC: A Multi-Core Two Dimensional Causal Convolution Fusion Network with Attention Mechanism for End-to-End Speech Recognition. | Rongchuang Lv, Niansheng Chen, Songlin Cheng, Guangyu Fan, Lei Rao, Xiaoyong Song, Dingyu Yang |
| 2023 | IJCNN | An End-to-End Robotic Visual Localization Algorithm Based on Deep Learning. | Hongcheng Wang, Niansheng Chen, Guangyu Fan, Dingyu Yang, Lei Rao, Songlin Cheng |
| 2023 | Mobiquitous | KS-Autoformer: An Autoformer-Based SOC Prediction Framework for Electric Vehicles. | Yaoyidi Wang, Niansheng Chen, Lei Rao, Dingyu Yang, Guangyu Fan, Songlin Cheng, Xiaoyong Song |
| 2016 | INFOCOM | How cars talk louder, clearer and fairer: Optimizing the communication performance of connected vehicles via online synchronous control. | Xi Chen, Linghe Kong, Xue Liu, Lei Rao, Fan Bai, Qiao Xiang |
| 2015 | INFOCOM | Data preference matters: A new perspective of safety data dissemination in vehicular ad hoc networks. | Qiao Xiang, Xi Chen, Linghe Kong, Lei Rao, Xue Liu |
| 2015 | PERCOM | FINE: Frequency-divided instantaneous neighbors estimation system in vehicular networks. | Linghe Kong, Xi Chen, Xue Liu, Lei Rao |
| 2014 | DAC | An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems. | Chung-Wei Lin, Lei Rao, Paolo Giusto, Joseph D'Ambrosio, Alberto L. Sangiovanni-Vincentelli |
| 2014 | GLOBECOM | SmartCar: Smart charging and driving control for electric vehicles in the smart grid. | Lei Rao, Jianguo Yao |
| 2014 | ICDCS | Cooperative and Efficient Real-Time Scheduling for Automotive Communications. | Yu Hua, Lei Rao, Xue Liu, Dan Feng |
| 2014 | SIGMETRICS | Optimal energy source selection and capacity planning for green datacenters. | Fanxin Kong, Xue Liu, Lei Rao |
| 2013 | ICDCS | Present or Future: Optimal Pricing for Spot Instances. | Peijian Wang, Yong Qi, Dou Hui, Lei Rao, Xue Liu |
| 2013 | INFOCOM | Data center energy cost minimization: A spatio-temporal scheduling approach. | Jianying Luo, Lei Rao, Xue Liu |
| 2013 | INFOCOM | Delay analysis and study of IEEE 802.11p based DSRC safety communication in a highway environment. | Yuan Yao, Lei Rao, Xue Liu, Xingshe Zhou |
| 2012 | CLUSTER | eco-IDC: Trade Delay for Energy Cost with Service Delay Guarantee for Internet Data Centers. | Jianying Luo, Lei Rao, Xue Liu |
| 2012 | INFOCOM | Analysis of TDMA crossbar real-time switch design for AFDX networks. | Lei Rao, Qixin Wang, Xue Liu, Yufei Wang |
| 2011 | DCOSS | Exploiting concurrency for efficient dissemination in Wireless Sensor Networks. | Yi Gao, Jiajun Bu, Wei Dong, Chun Chen, Lei Rao, Xue Liu |
| 2011 | GLOBECOM | Dynamic Power Management of Distributed Internet Data Centers in Smart Grid Environment. | Peijian Wang, Lei Rao, Xue Liu, Yong Qi |
| 2011 | SIGCOMM | Taming power peaks in mapreduce clusters. | Nan Zhu, Lei Rao, Xue Liu, Jie Liu, Haibin Guan |
| 2010 | INFOCOM | Minimizing Electricity Cost: Optimization of Distributed Internet Data Centers in a Multi-Electricity-Market Environment. | Lei Rao, Xue Liu, Le Xie, Wenyu Liu |
| 2009 | Qshine | Joint Optimization of System Lifetime and Network Performance for Real-Time Wireless Sensor Networks. | Lei Rao, Xue Liu, Jian-Jia Chen, Wenyu Liu |
| 2000 | WSC | Street and traffic simulation: traffic flow simulation using CORSIM. | Larry E. Owen, YunLong Zhang, Lei Rao, Gene McHale |
| 1998 | WSC | Development and Application of a Validation Framework for Traffic Simulation Models. | Lei Rao, Larry E. Owen, David Goldsman |