Lei Li

Simulink-based MPSoC design flow

Kai Huang, Ahmed Jerraya, Sang-Il Han et al. · Proceedings - ACM IEEE Design Automation Conference · 2007 · 48 citations

Engineering, Computer Engineering, Computer Science +15

Symbolic Execution of Virtual Devices

Kai Cong, Fei Xie, Lei Li · 2013 · 32 citations

Computing, Computer Science, Computer Systems +14

Automatic concolic test generation with virtual prototypes for post-silicon validation

Kai Cong, Fei Xie, Lei Li · 2013 · 21 citations

Computing, Computer Engineering, Computer Systems +13

Automatic concolic test generation with virtual prototypes for post-silicon validation

Kai Cong, Fei Xie, Lei Li · 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) · 2013 · 13 citations

Computing, Computer Engineering, Computer Systems +13

<i>ShieldTSE</i>: A Privacy-Enhanced Split Federated Learning Framework for Traffic State Estimation in IoV

Tong Chen, Jiejie Zhao, Haiquan Wang et al. · IEEE Internet of Things Journal · 2024 · 12 citations

Computing, Cloud Computing, Computer Science +16