| 2026 | DATE | Enhance Language Model-based Repair for Memory-related Vulnerabilities via Knowledge-and Semantic-guided Analysis. | Hao Shen, Ming Hu, Yanxin Yang, Xiaofei Xie, Mingsong Chen |
| 2026 | ICDE | AdaFedRec: Adaptive Heterogeneous Federated Recommender Systems Across Multi-Device Users. | Zhenkai Li, Ming Hu, Chentao Jia, Yining Sun, Zhufeng Lu, Mingyang Yu, Yanxin Yang, Xiaofei Xie, Mingsong Chen |
| 2025 | AAAI | MultiSFL: Towards Accurate Split Federated Learning via Multi-Model Aggregation and Knowledge Replay. | Zeke Xia, Ming Hu, Dengke Yan, Ruixuan Liu, Anran Li, Xiaofei Xie, Mingsong Chen |
| 2025 | CCS | FilterFL: Knowledge Filtering-based Data-Free Backdoor Defense for Federated Learning. | Yanxin Yang, Ming Hu, Xiaofei Xie, Yue Cao, Pengyu Zhang, Yihao Huang, Mingsong Chen |
| 2025 | CIKM | GCLS | Qi Wen, Yiyang Zhang, Yutong Ye, Yingbo Zhou, Nan Zhang, Xiang Lian, Mingsong Chen |
| 2025 | CogSci | Enhancing Cognitive Game Tracing via Diverse Information and Time-aware Modeling. | Yang Yu, Bo Ma, Liangyu Chen, Mingsong Chen |
| 2025 | DAC | MMDFL: Multi-Model-based Decentralized Federated Learning for Resource-Constrained AIoT Systems. | Dengke Yan, Yanxin Yang, Ming Hu, Xin Fu, Mingsong Chen |
| 2025 | ICASSP | A Novel Underwater Acoustic Signal Denoising Model Based on Complex Convolution Dual-branch Multi-scale Attention Network. | Jianxun Tang, Zhe Chen, Mingsong Chen |
| 2025 | ICASSP | CE-FFT: Communication-Efficient Federated Fine-Tuning for Large Language Models via Quantization and In-Context Learning. | Pengyu Zhang, Yingjie Liu, Yingbo Zhou, Ming Hu, Xian Wei, Mingsong Chen |
| 2025 | ICASSP | EqGAN: Reformation-based Feature Equalization Fusion for Few-shot Image Generation. | Yingbo Zhou, Zhihao Yue, Yutong Ye, Pengyu Zhang, Xian Wei, Mingsong Chen |
| 2025 | ICASSP | FiTGAN: Content Fusion with Style Transformation for Few-shot Image Generation. | Yingbo Zhou, Pengyu Zhang, Yutong Ye, Zhihao Yue, Xian Wei, Mingsong Chen |
| 2025 | ICLR | R2Det: Exploring Relaxed Rotation Equivariance in 2D Object Detection. | Zhiqiang Wu, Yingjie Liu, Hanlin Dong, Xuan Tang, Jian Yang, Bo Jin, Mingsong Chen, Xian Wei |
| 2025 | IJCAI | PDDFormer: Pairwise Distance Distribution Graph Transformer for Crystal Material Property Prediction. | Xiangxiang Shen, Zheng Wan, Lingfeng Wen, Licheng Sun, Jian Yang, Xuan Tang, Shing-Ho J. Lin, Xiao He, Mingsong Chen, Xian Wei |
| 2025 | KDD | Gradients as An Action: Towards Communication-Efficient Federated Recommender Systems via Adaptive Action Sharing. | Zhufeng Lu, Chentao Jia, Ming Hu, Xiaofei Xie, Mingsong Chen |
| 2025 | SEKE | MuseCNN: Embedding-Guided Polyphonic Music Accompaniment Generation. | Yuyang Wang, Yutong Ye, Yingbo Zhou, Qi Wen, Xiang Lian, Xian Wei, Mingsong Chen |
| 2025 | RTAS | Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs. | Jinghao Sun, Xisheng Li, Mingyang Gong, Nan Guan, Zhishan Guo, Mingsong Chen, Jun Zhao, Qingxu Deng |
| 2024 | AAAI | FedMut: Generalized Federated Learning via Stochastic Mutation. | Ming Hu, Yue Cao, Anran Li, Zhiming Li, Chengwei Liu, Tianlin Li, Mingsong Chen, Yang Liu |
| 2024 | AAAI | Situation-Dependent Causal Influence-Based Cooperative Multi-Agent Reinforcement Learning. | Xiao Du, Yutong Ye, Pengyu Zhang, Yaning Yang, Mingsong Chen, Ting Wang |
| 2024 | AAAI | Hyperbolic Graph Diffusion Model. | Lingfeng Wen, Xuan Tang, Mingjie Ouyang, Xiangxiang Shen, Jian Yang, Daxin Zhu, Mingsong Chen, Xian Wei |
| 2024 | CogSci | ECKT: Enhancing Code Knowledge Tracing via Large Language Models. | Yang Yu, Yingbo Zhou, Yaokang Zhu, Yutong Ye, Liangyu Chen, Mingsong Chen |
| 2024 | CVPR | Exact Fusion via Feature Distribution Matching for Few-Shot Image Generation. | Yingbo Zhou, Yutong Ye, Pengyu Zhang, Xian Wei, Mingsong Chen |
| 2024 | DAC | AdaptiveFL: Adaptive Heterogeneous Federated Learning for Resource-Constrained AIoT Systems. | Chentao Jia, Ming Hu, Zekai Chen, Yanxin Yang, Xiaofei Xie, Yang Liu, Mingsong Chen |
| 2024 | ICASSP | Social Lode: Human Trajectory Prediction with Latent Odes. | Kexin Ke, Jian Yang, Yingjie Liu, Mingsong Chen, Xian Wei, Xuan Tang |
| 2024 | ICDE | FedCross: Towards Accurate Federated Learning via Multi-Model Cross-Aggregation. | Ming Hu, Peiheng Zhou, Zhihao Yue, Zhiwei Ling, Yihao Huang, Anran Li, Yang Liu, Xiang Lian, Mingsong Chen |
| 2024 | ICDE | Top- | Nan Zhang, Yutong Ye, Xiang Lian, Mingsong Chen |
| 2024 | IJCNN | Spatial-Temporal Traffic Prediction Model Based on Adaptive Graphs Fusion and Dual-Graph Collaborative Convolution. | Zhen Cheng, Song Qiu, Li Sun, Dingding Han, Qingli Li, Mingsong Chen |
| 2024 | ICRA | ProEqBEV: Product Group Equivariant BEV Network for 3D Object Detection in Road Scenes of Autonomous Driving. | Hongwei Liu, Jian Yang, Zhengyu Li, Ke Li, Jianzhang Zheng, Xihao Wang, Xuan Tang, Mingsong Chen, Xiong You, Xian Wei |
| 2024 | IJCNN | DSA-SCGC: A Dual Self-Attention Mechanism based on Space-Channel Grouped Compression for Vehicle Re-Identification. | Yuejun Jiao, Song Qiu, Li Sun, Dingding Han, Qingli Li, Mingsong Chen |
| 2024 | ICTAI | Continual Learning of 3D Point Cloud with Hyperbolic Manifold Replay. | Jin Yu, Zihao Xu, Zhengyu Li, Mingsong Chen, Xuan Tang, Xian Wei |
| 2024 | KDD | Is Aggregation the Only Choice? Federated Learning via Layer-wise Model Recombination. | Ming Hu, Zhihao Yue, Xiaofei Xie, Cheng Chen, Yihao Huang, Xian Wei, Xiang Lian, Yang Liu, Mingsong Chen |
| 2024 | KDD | Approximate Matrix Multiplication over Sliding Windows. | Ziqi Yao, Lianzhi Li, Mingsong Chen, Xian Wei, Cheng Chen |
| 2024 | SEKE | FedQP: Towards Accurate Federated Learning using Quadratic Programming Guided Mutation. | Jiawen Weng, Zeke Xia, Ran Li, Ming Hu, Mingsong Chen |
| 2023 | ICPADS | LWSA: A Learning-Based Workflow Scheduling Algorithm for Energy-Efficient UAV Delivery System. | Jiali Wang, Yutong Ye, Ting Wang, Mingsong Chen |
| 2023 | IJCAI | InitLight: Initial Model Generation for Traffic Signal Control Using Adversarial Inverse Reinforcement Learning. | Yutong Ye, Yingbo Zhou, Jiepin Ding, Ting Wang, Mingsong Chen, Xiang Lian |
| 2023 | IJCNN | CCH-YOLOX: Improved YOLOX for Challenging Vehicle Detection from UAV Images. | Zhuang Liu, Song Qiu, Mingsong Chen, Dingding Han, Tiantian Qi, Qingli Li, Yue Lu |
| 2023 | IJCNN | SparGE: Sparse Coding-based Patient Similarity Learning via Low-rank Constraints and Graph Embedding. | Yingjie Liu, Xian Wei, See-Kiong Ng, Tongtong Zhang, Mingsong Chen, Xuan Tang |
| 2023 | SMC | Continual Learning via Manifold Expansion Replay. | Zihao Xu, Xuan Tang, Yufei Shi, Jianfeng Zhang, Jian Yang, Mingsong Chen, Xian Wei |
| 2023 | RTSS | GitFL: Uncertainty-Aware Real-Time Asynchronous Federated Learning Using Version Control. | Ming Hu, Zeke Xia, Dengke Yan, Zhihao Yue, Jun Xia, Yihao Huang, Yang Liu, Mingsong Chen |
| 2023 | RTSS | Brief Industry Paper: Towards Efficient Task Scheduling for AUTOSAR using Parallel Pruning. | Yanxing Yang, Nan Zhang, Dengke Yan, Xian Wei, Junlong Zhou, Hong Liu, Mingsong Chen |
| 2023 | RTSS | Brief Industry Paper: RTLight: Digital Twin-Based Real-Time Federated Traffic Signal Control. | Yutong Ye, Zhiwei Ling, Yaning Yang, Xian Wei, Cheng Chen, Su Chen, Mingsong Chen |
| 2022 | APNOMS | DDoS Attack Detection Combining Time Series-based Multi-dimensional Sketch and Machine Learning. | Yanchao Sun, Yuanfeng Han, Yue Zhang, Mingsong Chen, Shui Yu, Yimin Xu |
| 2022 | CASES | Work-in-Progress: Cooperative MLP-Mixer Networks Inference On Heterogeneous Edge Devices through Partition and Fusion. | Yiming Li, Shouzhen Gu, Mingsong Chen |
| 2022 | CIKM | MonitorLight: Reinforcement Learning-based Traffic Signal Control Using Mixed Pressure Monitoring. | Zekuan Fang, Fan Zhang, Ting Wang, Xiang Lian, Mingsong Chen |
| 2022 | DAC | Accelerated synthesis of neural network-based barrier certificates using collaborative learning. | Jun Xia, Ming Hu, Xin Chen, Mingsong Chen |
| 2022 | ECCV | Learning Extremely Lightweight and Robust Model with Differentiable Constraints on Sparsity and Condition Number. | Xian Wei, Yangyu Xu, Yanhui Huang, Hairong Lv, Hai Lan, Mingsong Chen, Xuan Tang |
| 2022 | IJCAI | Eliminating Backdoor Triggers for Deep Neural Networks Using Attention Relation Graph Distillation. | Jun Xia, Ting Wang, Jiepin Ding, Xian Wei, Mingsong Chen |
| 2022 | IJCNN | BS-pFL: Enabling Low-Cost Personalized Federated Learning by Exploring Weight Gradient Sparsity. | Lening Wang, Manojna Sistla, Mingsong Chen, Xin Fu |
| 2022 | PRICAI | DSAM-GN: Graph Network Based on Dynamic Similarity Adjacency Matrices for Vehicle Re-identification. | Yuejun Jiao, Song Qiu, Mingsong Chen, Dingding Han, Qingli Li, Yue Lu |
| 2022 | PRICAI | A Vehicle Re-ID Algorithm Based on Channel Correlation Self-attention and Lstm Local Information Loss. | Tiantian Qi, Song Qiu, Li Sun, Zhuang Liu, Mingsong Chen, Yue Lyu |
| 2022 | SEKE | Using Multi-feature Embedding towards Accurate Knowledge Tracing. | Yang Yu, Caidie Huang, Liangyu Chen, Mingsong Chen |
| 2021 | DAC | FedLight: Federated Reinforcement Learning for Autonomous Multi-Intersection Traffic Signal Control. | Yutong Ye, Wupan Zhao, Tongquan Wei, Shiyan Hu, Mingsong Chen |
| 2021 | GLOBECOM | ICE: Intelligent Caching at the Edge. | Ting Wang, Jiawei Mao, Mingsong Chen, Gang Liu, Jieming Di, Shui Yu |
| 2021 | RTSS | Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning. | Ming Hu, Jiepin Ding, Min Zhang, Frdric Mallet, Mingsong Chen |
| 2020 | DATE | Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint. | Fei Gao, Frdric Mallet, Min Zhang, Mingsong Chen |
| 2020 | DATE | Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. | Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li |
| 2020 | HPCC | Parallel Implementation of H.265 Intra-Frame Coding Based on FPGA Heterogeneous Platform. | Wenjie Chen, Qunfang He, Shen Li, Bo Xiao, Mingsong Chen, Zhilei Chai |
| 2020 | SBAC-PAD | Reliable and Energy-aware Mapping of Streaming Series-parallel Applications onto Hierarchical Platforms. | Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei |
| 2019 | DAC | Sample-Guided Automated Synthesis for CCSL Specifications. | Ming Hu, Tongquan Wei, Min Zhang, Frdric Mallet, Mingsong Chen |
| 2019 | DATE | CE-Based Optimization for Real-time System Availability under Learned Soft Error Rate. | Liying Li, Tongquan Wei, Junlong Zhou, Mingsong Chen, Xiaobo Sharon Hu |
| 2019 | ICA3PP | Reliability Aware Cost Optimization for Memory Constrained Cloud Workflows. | E. Cao, Saira Musa, Jianning Zhang, Mingsong Chen, Tongquan Wei, Xin Fu, Meikang Qiu |
| 2019 | ICA3PP | Adaptive Detection Method for Packet-In Message Injection Attack in SDN. | Xinyu Zhan, Mingsong Chen, Shui Yu, Yue Zhang |
| 2019 | ISCA | OO-VR: NUMA friendly object-oriented VR rendering framework for future NUMA-based multi-GPU systems. | Chenhao Xie, Xin Fu, Mingsong Chen, Shuaiwen Leon Song |
| 2019 | ISPA | Personality-Aware VNF Deployment for Profit Maximization. | Ruiming Yang, Kun Cao, Peijin Cong, Junlong Zhou, Mingsong Chen, Tongquan Wei |
| 2018 | DAC | Specification-driven automated conformance checking for virtual prototype and post-silicon designs. | Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie |
| 2018 | DATE | Feedback control of real-time EtherCAT networks for reliability enhancement in CPS. | Liying Li, Peijin Cong, Kun Cao, Junlong Zhou, Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu |
| 2018 | DATE | Variation-aware task allocation and scheduling for improving reliability of real-time MPSoCs. | Junlong Zhou, Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu, Yue Ma, Gongxuan Zhang, Jianming Yan |
| 2018 | ICPADS | Reliability-Aware Energy Optimization for Throughput-Constrained Applications on MPSoC. | Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei |
| 2018 | ICPADS | Leveraging User Heterogeneities to Maximize Profits in the Cloud. | Guo Xu, Tongquan Wei, Junlong Zhou, Mingsong Chen |
| 2017 | ASSETS | FingerVoice: A Syllable Based Input System Via Fingers Touching. | Wenjie Chen, Yangyang Ma, Zhilei Chai, Mingsong Chen |
| 2017 | COMPSAC | An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. | Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen |
| 2017 | DATE | Data flow testing for virtual prototypes. | Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Groe, Rolf Drechsler |
| 2017 | DATE | Energy-adaptive scheduling of imprecise computation tasks for QoS optimization in real-Time MPSoC systems. | Junlong Zhou, Jianming Yan, Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu |
| 2017 | ICA3PP | An FPGA-Based Real-Time Moving Object Tracking Approach. | Wenjie Chen, Yangyang Ma, Zhilei Chai, Mingsong Chen, Daojing He |
| 2017 | ICPADS | User Perceived Value-Aware Cloud Pricing for Profit Maximization of Multiserver Systems. | Peijin Cong, Liying Li, Gaoyuan Shao, Junlong Zhou, Mingsong Chen, Kai Huang, Tongquan Wei |
| 2017 | ISPA | An Efficient Racetrack Memory-Based Processing-in-Memory Architecture for Convolutional Neural Networks. | Bicheng Liu, Shouzhen Gu, Mingsong Chen, Wang Kang, Jingtong Hu, Qingfeng Zhuge, Edwin Hsing-Mean Sha |
| 2016 | COMPSAC | Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams. | Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang |
| 2016 | DATE | Quantitative timing analysis of UML activity diagrams using statistical model checking. | Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Groe, Rolf Drechsler |
| 2016 | ICPADS | Game Theoretic Energy Allocation for Renewable Powered In-Situ Server Systems. | Junlong Zhou, Jianfei Chen, Kun Cao, Tongquan Wei, Mingsong Chen |
| 2016 | QRS | Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking. | Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen |
| 2016 | SEKE | Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach. | Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen |
| 2015 | COMPSAC | Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach. | Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun |
| 2015 | DATE | Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking. | Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu, Prabhat Mishra |
| 2014 | APSEC | Runtime Verification by Convergent Formula Progression. | Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen |
| 2014 | ICSE | A novel quantitative evaluation approach for software project schedules using statistical model checking. | Dehui Du, Mingsong Chen, Xiao Liu, Yun Yang |
| 2014 | VLSID | Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling. | Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu, Xiao Liu |
| 2013 | ICECCS | Spatio-temporal Properties Analysis for Cyber-physical Systems. | Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang |
| 2013 | VLSID | Assertion-Based Functional Consistency Checking between TLM and RTL Models. | Mingsong Chen, Prabhat Mishra |
| 2012 | ISORC | Extending the Four-Variable Model for Cyber-Physical Systems. | Xiaohong Chen, Mingsong Chen |
| 2011 | DATE | Decision ordering based property decomposition for functional test generation. | Mingsong Chen, Prabhat Mishra |
| 2010 | DATE | Efficient decision ordering techniques for SAT-based test generation. | Mingsong Chen, Xiaoke Qin, Prabhat Mishra |
| 2010 | VLSID | Synchronized Generation of Directed Tests Using Satisfiability Solving. | Xiaoke Qin, Mingsong Chen, Prabhat Mishra |
| 2009 | VLSID | Efficient Techniques for Directed Test Generation Using Incremental Satisfiability. | Prabhat Mishra, Mingsong Chen |
| 2006 | ICSE | Automatic Test Case Generation for UML Activity Diagrams. | Mingsong Chen, Xiaokang Qiu, Xuandong Li |