bat·365(中文)在线官方网站-登录入口

学术成果

Publications [Papers]

Books& Book Chapters

[B1] Mingsong Chen‚ Xiaoke Qin, Heon-mo Koo, and Prabhat Mishra. System-Level Validation:High-Level Modeling and Directed Test Generation Techniques. Springer, 2012. (ISBN:978-1-4614-1358-5) [google book]

[B2] T. Wang, B. Li, M. Chen, and S. Yu, Machine Learning Empowered Intelligent Data Center Networking: Evolution, Challenges, and Opportunities, Springer, June, 2022

[B3] 宋梁，陈铭松（编), 5GtoB从理论到实践,电子工业出版社. ISBN:978-7-121-43748-9, 2022

[B4] 陈铭松，柴志雷，陈闻杰, 类脑计算， ISBN 978-7-5191-3018-3, 2022.

[B5] Liang Song, Mingsong Chen, Zhibing Xu. 5GtoB: From Theory to Practice. Springer, to appear.

Journals

[J68] Kun Cao, Mingsong Chen, Stamatis Karnouskos, Shiyan Hu. Reliability-Aware Personalized Deployment of Approximate Computation IoT Applications in Serverless Mobile Edge Computing. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2024.

[J67] Qiyu Wan, Lening Wang, Mingsong Chen, Jingweijia Tan, Kaige Yan, Xin Fu. Efficient One-Shot Neural Architecture Search With Progressive Choice Freezing. Neurocomputing, 2024.

[J66] Ting Wang, Yuxiang Deng, Jiaowei Mao, Mingsong Chen, Gang liu, Jieming Di, Keqing Li. Towards Intelligent Adaptive Edge Caching using Deep Reinforcement Learning. IEEE Transactions on Mobile Computing, 2024.

[J65] Songwen Pei, Jiyao Wang, Bingxue Zhang, Wei Qin, Hai Xue, Xiaochun Ye, Mingsong Chen. DPQ: dynamic pseudo-mean mixed-precision quantizationfor pruned neural network. Machine Learning, 2024.

[J64] Ming Hu, Jun Xia, Min Zhang, Frederic Mallet Mingsong Chen. Automated Synthesis of Safe Timing Behaviors for Requirements Models using CCSL, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023.

[J63] Lening Wang, Qiyu Wan, Jing Wang, Mingsong Chen, Xin Fu. Enabling High-Efficient ReRAM-based CNN Training via Exploiting Crossbar-Level Insignificant Writing Elimination, IEEE Transactions on Computers, 2023.

[J62] Songwen Pei, Jie Luo, Sheng Liang, Haonan Ding, Xiaochun Ye, Mingsong Chen. Carbon Emissions Reduction of Neural Network by Discrete Rank Pruning, CCF Transactions on High Performance Computing, 2023..

[J61] Ming Hu, E Cao, Hongbing Huang, Ming Zhang, Xiaohong Chen, Mingsong Chen. AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2023.

[J60] Jiepin Ding, Mingsong Chen, Ting Wang, Junlon Zhou, Xin Fu, Keqin Li. A Survey of AI-Enabled Dynamic Manufacturing Scheduling: From Directed Heuristic to Autonomous Learning, ACM Computing Survey. 2023.

[J59] Ting Wang, Xiao Du, Mingsong Chen, Keqin Li. Hierarchical Relational Graph Learning for Autonomous Multi-Robot Cooperative Navigation in Dynamic Environments, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2023.

[J58] Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu. Accelerate Safety Model Checking Based on Complementary Approximate Reachability. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023.

[J57] Tian Liu, Jun Xia, Zhiwei Ling, Xin Fu, Shui Yu, Mingsong Chen. Efficient Federated Learning for AIoT Applications Using Knowledge Distillation. IoT Journal, 2023.

[J56] Peijin Cong, Junlong Zhou, Weiming Jiang, Mingsong Chen, Keqin Li. Improving the Reliability and Sustainability of Hazard-Aware Cyber-Physical Systems. IEEE Transactions on Sustainable Computing, 2022.

[J55] Yutong Ye, Jieping Ding, Ting Wang, Junlong Zhou, Xian Wei, Mingsong Chen. FairLight: Fairness-Aware Autonomous Traffic Signal Control with Hierarchical Action Space, IEEE IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2022

[J54] Ming Hu, Min Zhang, Frederic Mallet, Xin Fu, Mingsong Chen. Accelerating Reinforcement Learning-based CCSL Specification Synthesis Using Curiosity-Driven Exploration. IEEE Transactions on Computers, 2022.

[J53] Yangguang Cui, Liying Li, Zhe Tao, Mingsong Chen, Tongquan Wei. Filtering Out High Noise Data for Distributed Deep Neural Networks. IEEE Transactions on Automation Science and Engineering, 2022, accepted.

[J52] Xiao Du, Ting Wang, Qiang Feng, Chenhui Ye, Tao Tao, Yuanming Shi, Mingsong Chen, Multi-agent Reinforcement Learning for Dynamic Resource Management in 6G in-X Subnetworks, IEEE Transactions on Wireless Communications, 2022, accepted.

[J51] Fan Zhang, Zekuang Fang, Yiming Li, Mingsong Chen. Efficient Federated Learning using Layer-wise Regulation and Momentum Aggregation. Journal of Circuits, Systems, and Computers. 2022.

[J50] E Cao, Saira Musa, Mingsong Chen, Tongquan Wei, Xian Wei, Xin Fu, and Meikang Qiu. Energy and Reliability-Aware Task Scheduling for Cost Optimization of DVFS-Enabled Cloud Workflows. IEEE Transactions on Cloud Computing, 2022.

[J49] Peijin Cong, Junlong Zhou, Mingsong Chen, Tongquan Wei: Personality-Guided Cloud Pricing via Reinforcement Learning. IEEE Trans. Cloud Comput. 10(2): 925-943, 2022.

[J48] Peijin Cong, Xiangpeng Hou, Minhui Zou, Jiangshan Dong, Mingsong Chen, Junlong Zhou: Multiserver configuration for cloud service profit maximization in the presence of soft errors based on grouped grey wolf optimizer. J. Syst. Archit. 127: 102512, 2022.

[J47] Wupan Zhao, Yutong Ye, Jiepin Ding, Ting Wang, Tongquan Wei, Mingsong Chen. IPDALight: Intensity- and Phase Duration-Aware Traffic Signal Control Based on Reinforcement Learning. J. Syst. Archit. 123: 102376, 2022.

[J46] Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei: Mapping series-parallel streaming applications on hierarchical platforms with reliability and energy constraints. J. Parallel Distributed Comput. 163: 45-61 (2022)

[J45] Junlong Zhou, Kun Cao, Xiumin Zhou, Mingsong Chen, Tongquan Wei, Shiyan Hu. Throughput-Cnscious Energy Allocation and Reliability-Aware Task Assignment for Renewable Powered In-Situ Server Systems, IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2021.

[J44] Chengbin Huang, Weiting Chen, Mingsong Chen, Binhang Yuan: A Feature Fusion Framework and Its Application to Automatic Seizure Detection. IEEE Signal Process. Lett. 28: 753-757 (2021).

[J43] Mingyue Zhang, Junlong Zhou, Gongxuan Zhang, Minhui Zou, Mingsong Chen: EC-BAAS: Elliptic curve-based batch anonymous authentication scheme for Internet of Vehicles. J. Syst. Archit. 117: 102161 (2021)

[J42] Kun Cao, Tongquan Wei, Mingsong Chen, Keqin Li, Jian Weng, Wuzhen Tan. Exploring reliable edge‐cloud computing for service latency optimization in sustainable cyber‐physical systems, Software Practice and Experience, 2021.

[J41] Ming Hu, Wenxue Duan, Min Zhang, Tongquan Wei, Mingsong Chen, Quantitative Timing Analysis for Cyber-Physical Systemsusing Uncertainty-Aware Scenario-Based Specifications, IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2020.

[J40] Xinqian Zhang, Min Hu, Jun Xia, Mingsong Chen, Tongquan Wei, Shiyan Hu: Efficient Federated Learning for Cloud-Based AIoT Applications. IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2020.

[J39] Haifeng Gu, Zishuai Ge, E Cao, Mingsong Chen, Tongquan Wei, Shiyan Hu: A Collaborative and Sustainable Edge-Cloud Architecture for Object Tracking with Convolutional Siamese Networks. IEEE Trans. on Sustainable Computing, 2020.

[J38] Yunfei Song, Tian Liu, Tongquan Wei, Xiangfeng Wang, Zhe Tao, Mingsong Chen. FDA3: Federated Defense Against Adversarial Attacks for Cloud-Based IIoT Applications. IEEE Transactions on Industrial Informatics, 2020

[J37] Liying Li, Junlong Zhou, Mingsong Chen, Tongquan and Sharon Hu. Learning-Based Modeling and Optimization for Real-time System Availability. IEEE Transactions on Computers, 2020

[J36] Haifeng Gu, Jianning Zhang, Mingsong Chen, Tongquan Wei, Li Lei and Fei Xie. Specification-Driven Conformance Checking for Virtual/Silicon Devices using Mutation Testing. IEEE Trans. on Computers, 2020.

[J35] Kun Cao, Junlong Zhou, Tongquan Wei, Mingsong Chen, Shiyan Hu, Keqin Li: A survey of optimization techniques for thermal-aware 3D processors. Journal of Systems Architecture - Embedded Systems Design 97: 397-415 (2019).

[J34] Junlong Zhou, Peijin Cong, Jin Sun, Xiumin Zhou, Tongquan Wei, Mingsong Chen: Throughput Maximization for Multicore Energy-Harvesting Systems Suffering Both Transient and Permanent Faults. IEEE Access 7: 98462-98473 (2019).

[J33] Haifeng Gu, Jianning Zhang, Xinqian Zhang, Junlong Zhou, Tongquan Wei, and Mingsong Chen. DIAVA: A Traffic-based Framework for Detection of SQL Injection Attacks and Vulnerability Analysis of Leaked Data. IEEE Transactions on Reliability, accepted, 2019..

[J32] Guo Xu, Tongquan Wei, Keqin Li, Kun Cao, Junlong Zhou, Mingsong Chen. Lifetime-Aware Real-Time Task Scheduling On Fault-Tolerant Mixed-Criticality Embedded Systems. Future Generation Computer Systems, accepted, 2019..

[J31] Junlong Zhou, Jin Sun, Xiumin Zhou, TongquanWei, Mingsong Chen, Shiyan Hu and Xiaobo Sharon Hu “Resource Management for Improving Soft -Error and Lifetime Reliability of Real-Time MPSoCs,” IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, 2019.

[J30] Kun Cao, Guo Xu, Junlong Zhou, Tongquan Wei, Mingsong Chen, Shiyan Hu. QoS-Adaptive Approximate Real-Time Computation for Mobility-Aware IoT Lifetime Optimization. IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2018.

[J29] Xinqian Zhang, Tingming Wu, Junlong Zhou, Mingsong Chen, Tongquan Wei, Shiyan Hu, and Rajkumar Buyya. Energy-Aware Virtual Machine Allocation for Cloud with Resource REservation. Journal of Systems and Software, 2018.

[J28] L. Li, P. Cong, K. Cao, J. Zhou, T. Wei, M. Chen, S. Hu, X. S. Hu. Game Theoretic Feedback Control for Reliability Enhancement of EtherCAT-Based Networked Systems. IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2018.

[27] K.Cao, J, Zhou, P, Cong, L. Li, T. Wei, M. Chen,S. Hu, X. S, Hu. Affinity-Driven Modeling and Scheduling for Makespan Optimization in Heterogeneous Multiprocessor Systems. IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2018.

[J26] Peijin Cong, Liying Li, Junlong Zhou, Kun Cao, Tongquan Wei, Mingsong Chen, Shiyan Hu..Profit-Driven Dynamic Cloud Pricing for Multiserver Systems Considering User Perceived Value. IEEE Transactions on Parallel and Distributed Systems, accepted, 2018.

[J25] Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen. A proof-based method for hybrid systems development using differential invariants. Frontier of Computer Science, 2018.

[J24] T. Wu, H. Gu, X. Liu, J. Zhou, T. Wei, and M.Chen. Energy-Efficient Task Scheduling for Reliability-Aware Workflow Applications in DVFS-Enabled Cloud. Journal of Systems Architecture, 2018.

[J23] Yangdi Lyu, Xiaoke Qin, Mingsong Chen and Prabhat Mishra. Directed Test Generation for Validation of Cache Coherence Protocols. IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2018.

[J22]Tongquan Wei, Junlong Zhou, Kun Cao, Peijin Cong, Mingsong Chen, X. Sharon Hu, and Jianming Yan. Cost-Constrained QoS Optimization for Approximate Computation Real-Time Tasks in Heterogeneous MPSoC Systems. IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2018.

[J21] Junlong Zhou, Jianming Yan, Junchao Tan, Tongquan Wei, Mingsong Chen, and Shiyan Hu. Thermal-Aware Correlated Two-Level Scheduling of Real-Time Tasks with Reduced Processor Energy on Heterogeneous MPSoCs. Journal of Systems Architecture, 2018.

[J20] Junlong Zhou, Kun Cao, PEijing Cong, Tongquan Wei, Mingsong Chen, Gongxuan Zhang, Jianmin Yan and Yue Ma.Reliability and Temperature Constrained Task Scheduling for Makespan Minimization on Heterogeneous Multi-core Platforms. Journal of Systems and Software, 133:1-16, 2017.

[J19] Mingsong Chen, Xinqian Zhang, Haifeng Gu, Tongquan Wei and Qi Zhu. Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling Under Thermal and Energy Variations. To appear in IEEE Transactions on Sustainable Computing, 2017.

[J18]Chenhao Xie, Jingweijia Tan, Mingsong Chen, Yang Yi, Lu Peng, Xin Fu. Emerging technology enabled energy-efficient gpgpus register file. To appear in Journal of Microprocessors and Microsystems.

[J17] Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei and Frederic Mallet. Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. To appear in IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD). [Tool]

[J16] Mingsong Chen, Xin Fu, Geguang Pu and Tongquan Wei. Efficient Resource Constrained Scheduling using Parallel Two-Phase Branch-and-Bound Heuristics. (Benchmarks: Benchmark.zip, Tools: Tools.zip), To appear in IEEE Transactions on Parallel and Distributed Systems (TPDS).

[J15] Min Yin, Junlong Zhou, Zhifang Li, Kun Cao, Jianmin Yan, Tongquan Wei, Mingsong Chen and Xin Fu. Fault-Tolerant Task Scheduling for Mixed-Criticality Real-TimeSystems. Journal of Circuits, Systems and Computers, accepted.

[J14] Siyuan Xu, Han Zhuang, Xin Fu, Junlong Zhou, and Mingsong Chen. GPU-Based Fluid Motion Estimation using Energy Constrain. Journal of Circuits, Systems and Computers, accepted.

[J13] Mingsong Chen, Xin Fu, Saijie Huang, Xiao Liu and Jifeng He. Statistical Model Checking-Based Evaluation and Optimization forCloud Workflow Resource Allocation. IEEE Transactions on Cloud Computing, accepted.

[J12] Jingweijia Tan, Mingsong Chen, Yang Yi, and Xin Fu, Mitigating the Impact of Hardware Variability for GPGPUs Register File, IEEE Transactions on Parallel and Distributed Systems (TPDS), 27(11): 3283-3297, 2016.

[J11] Kaige Yan, Peng Lu, Mingsong Chen, and Xin Fu. Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms.To appear in ACM Transactions on Design Automation of Electronic Systems (TODAES).

[J10] Junlong Zhou, Tongquan Wei, Mingsong Chen, Yue Ma, and Sharon Hu. Thermal-Aware Task Scheduling for Energy Minimization in Heterogeneous Real-Time MPSoC Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)‚ 35(8): 1269-1282, 2016..

[J9] Jingweijia Tan, Zhi Li, Mingsong Chen, and Xin Fu. Exploring Soft-Error Robust and Energy-Efficient Register File in GPGPUs using Resistive Memory.To appear in ACM Transactions on Design Automation of Electronic Systems (TODAES), 21(2): 34, 2016.

[J8] Mingsong Chen, Xiqian Zhang, Geguang Pu, Xin Fu and Prabhat Mishra. Efficient Resource Constrained Scheduling using Parallel Structure Aware Pruning Techniques. IEEE Transactions on Computers. 65(7): 2059-2073, 2016. (Benchmarks:Benchmark.zip Tools:Tools.zip)

[J7] Mingsong Chen, Xiaoke Qin and Prabhat Mishra. Efficient Learning-Oriented Property Decomposition for Automated Generation of Directed Tests. Journal of Electronic Testing (JETTA), 30(3): 287-306, 2014.

[J6] Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Jifeng HE. An Approach to Requirement Anaysis for Periodic Control Systems. Frontiers of Computer Science in China, 7(4): 214-235, 2013.

[J5] Mingsong Chen and Prabhat Mishra. Automaitc RTL Test Generation from SystemC TLM Specifications. ACM Transaction on Embedded Computing Systems, vol. 11(2), 38, 2012.

[J4] Mingsong Chen and Prabhat Mishra.Property Learning Techniques for Efficient Generation of Directed Tests. IEEE Transactions on Computers‚ vol. 60(6)‚ 852-864‚ 2011.

[J3]Mingsong Chen‚ Prabhat Mishra and Dhrubajyoti Kalita. Efficient Automatic Test Generation for Validation of UML Activity Diagram.Design Automation for Embedded Systems‚ vol. 14(2)‚ 105-130‚ 2010.

[J2] Mingsong Chen and Prabhat Mishra. Efficient SAT-based Test Generation using Property Clustering. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems‚ vol. 29(3)‚ 396-404‚ 2010.

[J1] Mingsong Chen‚ Xiaokang Qiu‚ Wei Xu‚ Linzhang Wang‚ Jianhua Zhao‚ Xuandong Li. UML Activity Diagram Based Automatic Test Case Generation for Java Programs. In The Computer Journal‚ Oxford Press‚ vol 52(5)‚ 545-556‚ 2009.

Conferences & Workshops

[C93] Jiawen Weng, Zeke Xia, Ming Hu and Mingsong Chen. FedQP: Towards Accurate Federated Learning using Quadratic Programming Guided Mutation. International Conference on Software Engineering and Knowledge Engineering (SEKE), 2024.

[C92] Zeke Xia, Ming Hu, Dengke Yan, Xiaofei Xie, Tianlin Li, Anran Lio, Junlong Zhou, Mingsong Chen. CaBaFL: Asynchronous Federated Learning via Hierarchical Cache and Feature Balance. International Conference on Embedded Software (EMSOFT) 2024.

[C91] Zekai Chen, Chentao Jia, Ming Hu, Xiaofei Xie, Anran Li, Mingsong Chen. FlexFL: Heterogeneous Federated Learning via APoZ-Guided Flexible Pruning in Uncertain Scenarios, International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2024.

[C91] Yang Yu, Yingbo Zhou, Yaokang Zhu, Yutong Ye, Liangyu Chen, Mingsong Chen. ECKT: Enhancing Code Knowledge Tracing via Large Language Models. Proceedings of the Annual Meeting of the Cognitive Science Society, 2024..

[C90] Zhen Cheng, Song Qiu, Li Sun, Dingding Han, Qingli Li, Mingsong Chen. Spatial-Temporal Traffic Prediction Based on Adaptive Graphs Fusioin and Dual-Graph Collaborative Convolution. International Joint Conference on Neural Networks (IJCNN), 2024.

[C89] Yuejun Jiao, Song Qiu, Li Sun, Dingding Han, Qingli Li, Mingsong Chen. DSA-SCGC: A Dual Self-Attention Mechanism based on Space-Channel Gourped Compression for Vehicle Re-Identification, International Joint Conference on Neural Networks (IJCNN), 2024.

[C88] Ming Hu, Zhihao Yue, Xiaofei Xie, Cheng Chen, Yihao Huang, Xian Wei, Xiang Lian, Yang Liu, Mingsong Chen. Is Aggregation the Only Choice? Federated Learning via Layer-wise Model Recombination, SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 2024.

[C87] Ziqi Yao, Lianzhi Li, Mingsong Chen, Xian Wei, Cheng Chen. Approximate Matrix Multiplication over Sliding Windows, SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 2024..

[C86] Nan Zhang, Yutong Ye, Xiang Lian, Mingsong Chen. Top-L Most Influential Community Detection Over Social Networks, IEEE International Conference on Data Engineering (ICDE), 2024.

[C85] Yingbo Zhou, Yutong Ye, Pengyu Zhang, Xian Wei, Mingsong Chen. Exact Fusion via Feature Distribution Matching for Few-shot Image Generation. Conference on Computer Vision and Pattern Recognition (CVPR), 2024.

[C84] Yutong Ye, Xiang Lian, Mingsong Chen. Efficient Exact Subgraph Matching via GNN-based Path Dominance Embedding, PVLDB, 2024.

[C83] Hongwei Liu, Jian Yang, Zhengyu Li, Ke Li, Jianzhang Zheng, Xihao Wang, Xuan Tang, Mingsong Chen, Xian Wei, Xiong You. ProEqBEV: Product Group Equivariant BEV Network in 3D Object Detection of Road Scenes for Autonomous Driving. IEEE International Conference on Robotics and Automation (ICRA), 2024.

[C82] Chentao Jia, Ming Hu, Zekai Chen, Yanxin Yang, Xiaofei Xie, Yang Liu and Mingsong Chen. AdaptiveFL: Adaptive Heterogeneous Federated Learning for Resource-Constrained AIoT Systems, Design Automation Conference (DAC), 2024.

[C81] Xiao Du, Yutong Ye, Pengyu Zhang, Yaning Yang, Mingsong Chen, Ting Wang. Situation-Dependent Causal Influence-Based Cooperative Multi-agent Reinforcement Learning, AAAI 2024.

[C80] Lingfeng Wen, Xuan Tang, Mingjie Ouyang, Xiangxiang Shen, Jian Yang, Daxin Zhu, Mingsong CHen, Xian Wei. Hyperbolic Graph Diffusion Model. AAAI 2024.

[C79] Ming Hu, Cao Yue, Anran Li, Zhiming Li, Chengwei Liu, Tianlin Li, Mingsong Chen, Yang Liu. FedMut: Generalized Federated Learning via Stochastic Mutation. AAAI 2024 (Oral).

[C78] Ming Hu, Peiheng Zhou, Zhihao Yue, Zhiwei Ling, Yihao Huang, Anran Li, Yang Liu, Xiang Lian, and Mingsong Chen, FedCross: Towards Accurate Federated Learning via Multi-Model Cross-Aggregation, In Proceedings of IEEE International Conference on Data Engineering (ICDE), Accepted, 2024.

[C77] Kexin Ke, Jian Yang, Yingjie Liu, Mingsong Chen, Xian Wei, Xuan Tang. Social LODE: Human Trajectory Prediction with Latent ODEs. International Conference on Acoustics, Speech, and Signal Processing, 2024.

[C76] Ming Hu, Zeke Xia, DengKe Yan, Zhihao Yue, Jun Xia, Yihao Huang, Yang Liu and Mingsong Chen. GitFL: Uncertainty-Aware Real-Time Asynchronous Federated Learning using Version Control. IEEE Real-Time Systems Symposium (RTSS), 2023.

[C75] Yutong Ye, Zhiwei Ling, Yaning Yang, Xian Wei, Chen Cheng, Su Chen, Mingsong Chen. Brief Industry Paper: RTLight: Digital Twin-based Real-Time Federated Traffic Signal Control, IEEE Real-Time Systems Symposium (RTSS), 2023.

[C74] Yanxin Yang, Nan Zhang, DengKe Yan, Xian Wei, Junlong Zhou, Hong Liu, Mingsong Chen. Brief Industry Paper: Towards Efficient Task Scheduling for AUTOSAR using Parallel Pruning, IEEE Real-Time Systems Symposium (RTSS), 2023.

[C73] Zhiwei Ling, Zhihao Yue, Jun Xia, Ting Wang, Mingsong Chen, Xiang Lian. FedEntropy: Efficient Federated Learning for Non-IID Scenarios Using Maximum Entropy Judgment-based Client Selection, IEEE International Symposium on Parallel and Distributed Processing with Applications, 2023.

[C72] Zihao Xu, Xuan Tang, Yufei Shi, Jianfeng Zhang, Jian Yang, Mingsong Chen, Xian Wei. Continual Learning Via Manifold Expansion Replay, IEEE International Conference on Systems, Man, and Cybernetics, 2023.

[C71] Jinghua Yu, Zeru Lou, Hongxing Hu, Geguang Pu, Mingsong Chen. Digital-Twin-Based Approaches and Applications for Improving Automotive Cybersecurity in Different Lifecycle Stages, SAE Technical Paper, 2023-01-0036

[C70] Jiali Wang, Yutong Ye, Ting Wang, Mingsong Chen. LWSA: A Learning-Based Workflow Scheduling Algorithm for Energy-Efficient UAV Delivery System, IEEE International Conference on Parallel and Distributed Systems, 2023.

[C69] Zhihao Yue, Jun Xia, Zhiwei Ling, Ming Hu, Ting Wang, Xian Wei, Mingsong Chen. Model-Contrastive Learning for Backdoor Elimination. ACM Multimedia, 2023.

[C68] Yutong Ye, Yinbo Zhou, Jiepin Ding, Ting Wang, Mingsong Chen, and Xiang Lian. InitLight: Initial Model Generation for Traffic Signal Control using Adversarial Inverse Reinforcement Learning, International Joint Conference on Artificial Intelligence (IJCAI), 2023.

[C67] Zhuang Liu, Song Qiu, Mingsong Chen, Dingding Han,Tiantian Qi, Qingli Li and Yue Lu. CCH-YOLOX: Improved YOLOX for Challenging Vehicle Detection from UAV Images. International Joint Conference on Neural Networks (IJCNN), 2023.

[C66] Yingjie Liu, Xuan Tang, See-Kiong Ng, Tongtong Zhang,Mingsong Chen and Xian Wei. SparGE: Sparse Coding-Based Patient Similarity Learning via Low-Rank Constraints and Graph Embedding. International Joint Conference on Neural Networks (IJCNN), 2023.

[C65] Zekuang Fang, Fan Zhang, Ting Wang, Xiang Lian, Mingsong Chen. MonitorLight: Reinforcement Learning-based Traffic Signal Control Using Mixed Pressure Monitoring. International Conference on Information and Knowledge Management (CIKM), 2022.

[C64] Yanhong Fei, Ming Hu, Xian Wei and Mingsong Chen. Orthogonal Spatial-Temporal Graph Convolutional Networks for Traffic Flow Forecasting, IEEE Symposium Series on Computational Intelligence (SSCI), 2022.

[C63] Zhengyu Li, Zihao Xu, Xihao Wang, XUAN TANG, Mingsong Chen, Hui Yu, Xian Wei. Geodesic Self-Attention for 3D Point Clouds. Conference on Neural Information Processing Systems (Neurips), 2022, accepted.

[C62] Xian Wei, Yang Xu, Yanhui Huang, Hairong Lv, Mingsong Chen, Hai Lan, Xuan Tang. Learning Extremely Lightweight and Robust Model with Differentiable Constraints on Sparsity and Condition Number. European Conference on Computer Vision (ECCV), 2022..

[C61] Yiming Li, Shouzheng Gu, Mingsong Chen. Work-in-Progress: Cooperative MLP-Mixer Networks Inference On Heterogeneous Edge Devices through Partition & Fusion, International Conference on Compilers, Architecture, and Synthesis of Embedded Systems (CASES), 2022.

[C60] Jun Xia, Tian Liu, Zhiwei Ling, Ting Wang, Xin Fu and Mingsong Chen, PervasiveFL: Pervasive Federated Learning for Heterogeneous IoT Systems, International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2022.

[C59] Lening Wang, Manojna Sistla, Mingsong Chen, Xin Fu. BS-pFL: Enabling Low-Cost Personalized Federated Learning by Exploring Weight Gradient Sparsity. International Joint Conference on Neural Networks (IJCNN), 2022.

[C58] Jun Xia, Ting Wang, Jieping Ding, Xian Wei, Mingsong Chen. Eliminating Backdoor Triggers for Deep Neural Networks Using Attention Relation Graph Distillation, International Joint Conference on Artificial Intelligence (IJCAI), 2022. (Acceptance Ratio 15%)

[C57] Yang Yu, Liangyu Chen, Caidie Huang and Mingsong Chen. Using Multi-feature Embedding towards Accurate Knowledge Tracing. International Conference on Software Engineering & Knowledge Engineering (SEKE), 2022.

[C56] Jun Xia, Ming Hu, Xin Chen, Mingsong Chen. Accelerated Synthesis of Neural Network-based Barrier Certificates Using Collaborative Learning. Design Automation Conference (DAC), 2022.

[C55] Yutong YE, Wupan Zhao, Tongquan Wei, Shiyan Hu, Mingsong Chen. FedLight: Federated Reinforcement Learning for Autonomous Multi-Intersection Traffic Signal Control. Design Automation Conference (DAC), 2021.

[C54] Ming Hu, Jiepin Ding, Min Zhang, Frederic Mallet and Mingsong Chen. Enumeration and Deduction Driven Co-Synthesis ofCCSL Specifications Using Reinforcement Learning, IEEE Real-Time Systems Symposium (RTSS), 2021.

[C53] T. Wang, J. Mao, M. Chen, G. Liu, J. Di and S. Yu ICE: Intelligent Caching at the Edge, IEEE Global Communications Conference 2021..

[C52] Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal and Tongquan Wei, Reliable and energy-aware mapping of streaming series-parallel applications onto hierarchical platforms, International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2020

[C51] Ming Hu, Wenxue Duan, Min Zhang, Tongquan Wei, Mingsong Chen, Quantitative Timing Analysis for Cyber-Physical Systemsusing Uncertainty-Aware Scenario-Based Specifications, International Conference on Embedded Software (EMSOFT), 2020.

[C50] Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang and Xuandong Li, Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language. Design, Automation and Test in Europe (DATE), 2020.

[C49] Fei Gao, Mallet Frederic, Min Zhang and Mingsong Chen. Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint, Design, Automation and Test in Europe (DATE), 2020..

[C48] Jiahao Ding, Xinyue Zhang, Mingsong Chen, Kaiping Xue, Chi Zhang, and Miao Pan. Differentially Private Robust ADMM for Distributed Machine Learning, IEEE BigData, 2019.

[C47] Ruiming Yang, Kun Cao, Peijin Cong, Junlong Zhou, Mingsong Chen, and Tongquan Wei. Personality-Aware VNF Deployment for Profit Maximization, International Symposium on Parallel and Distributed Processing with Applications (ISPA), 2019.

[C46] Xinyu Zhan, Mingsong Chen, Shui Yu and Yue Zhang. Adaptive detection method for Packet-In message injection attack in SDN, International Conference on Algorithms and Architectures for Parallel Processing, 2019.

[C45] E Cao, Saira Musa, Jianning Zhang, Mingsong Chen, Tongquan Wei, Xin Fu and Meikang Qiu. Reliability Aware Cost Optimization for Memory Constrained Cloud Workflows, International Conference on Algorithms and Architectures for Parallel Processing, 2019.

[C44] Chenhao Xie, Xin Fu, Mingsong Chen, Shuaiwen Leon Song. OO-VR: NUMA Friendly Object-Oriented VR Rendering Framework For Future NUMA-Based Multi-GPU Systems. International Symposium on Computer Architecture (ISCA), 2019.

[C43] Min Hu, Mingsong Chen, Tongquan Wei, Min Zhang and Frederic Mallet, Sample-Guided Automated Synthesis for CCSL Specifications, Design Automation Conference (DAC), 2019

[C42] Liying Li, Tongquan Wei, Junlong Zhou, Mingsong Chen and X. Sharon Hu, CE-Based Optimization for Real-time System Availability under Learned Soft Error Rate, Design, Automation and Test in Europe (DATE), 2019

[C41] Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal and Tongquan Wei. Reliability-Aware Energy Optimization for Throughput-Constrained Applications on MPSoC . International Conference on Parallel and Distributed Systems, 2018.

[C40] Guo Xu, Tongquan Wei, Junlong Zhou and Mingsong Chen. Leveraging User Heterogeneities to Maximize Profits in the Cloud. International Conference on Parallel and Distributed Systems, 2018.

[C39] Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, and Fei Xie. Specification-Driven Automated Conformance Checking for Virtual Prototype and Post-Silicon Designs. Design Automation Conference (DAC), 2018 [dac2018-slides.pdf]

[C38] Junlong Zhou, Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu, Yue Ma, Gongxuan Zhang and Jianming Yan. Variation-Aware Task Allocation and Scheduling for Improving Reliability of Real-Time MPSoCs. Design, Automation and Test in Europe (DATE), 2018

[C37] LiyingLi, Peijin Cong, Kun Cao, Junlong Zhou, Mingsong Chen, Tongquan Wei, “Feedback Control of Real-Time EtherCAT Networks for Reliability Enhancement in CPS. Design, Automation and Test in Europe (DATE), 2018.

[C36] Bicheng Liu, Shouzhen Gu, Mingsong Chen, Wang Kang, Jingtong Hu, Qingfeng Zhuge and Edwin H.-M. Sha. An Efficient Racetrack Memory-Based Processing-In-Memory Architecture for Convolutional Neural Networks. International Symposium on Parallel and Distributed Processing with Applications (ISPA), 2017

[C35] Wenjie Chen, Yangyang Ma, Zhilei Chai, Mingsong Chen:FingerVoice: A Syllable Based Input System Via Fingers Touching. ASSETS 2017.

[C34] Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen:An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. COMPSAC (1) 2017: 138-143.

[C33] P. Cong, L. Li, G. Shao, J. Zhou, M. Chen, K. Huang, and T. Wei. User Perceived Value-Aware Cloud Pricing for Profit Maximization of Multiserver Systems. International Conference on Parallel and Distributed Systems (ICPADS), 2017.

[C32] W. Chen, Y. Ma, Z. Chai, M. Chen and D. He. An FPGA-Based Real-Time Moving Object Tracking Approach. International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), 2017.

[C31] M. Hassan, V. Herdt, H. M. Le, M. Chen, D. Große, and R. Drechsler. Data flow testing for virtual prototypes. Design Automation and Test in Europe (DATE), 2017.

[C30] Junlong Zhou, Jianming Yan, Tongquan Wei, Mingsong Chen and X, Sharon. Energy-Adaptive Scheduling of Imprecise Computation Tasks for QoS Optimization in Real-Time MPSoC. Design Automation and Test in Europe (DATE), 2017.

[C29] Kun Cao, Junlong Zhou, Min Yin, Tongquan Wei and Mingsong Chen. Static Thermal-Aware Task Assignment and Scheduling for Makespan Minimization in Heterogeneous Real-time MPSoCs. International Symposium on System and Software Reliability (ISSSR) , 2016, to appear.

[C28] Junlong Zhou, Jianfei Chen, Kun Cao, Tongquan Wei and Mingsong Chen. Game Theoretic Energy Allocation for Renewable Powered In-Situ Server Systems, International Conference on Parallel and Distributed Systems (ICPADS), 2016, to appear.

[C27] Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei and Mingsong Chen. Quantitative Analysis of Variation-Aware Internet of Things Designs using Statistical Model Checking, International Conference on Software Quality, Reliability & Security (QRS), 274-285, 2016.

[C26] Yuanyang Wang, Xiaohong Chen, Haiying Sun and Mingsong Chen Title : Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach, International Conference on Software Engineering and Knowledge Engineering (SEKE), 2016.

[C25] Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang. Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams, accepted by International Computers, Software & Applications Conference (COMPSAC) 2016.

[C24] Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Grosse, Rolf Drechsler. Timing Analysis of UML Activity Diagrams Using Statistical Model. Design Automation and Test in Europe (DATE), 2016. (date2016_new.pdf)

[C23] Xiaohong Chen, Fan Gu, Mingsong Chen, Dehui Du, Jing Liu, Haiying Sun. Evaluating Energy Consumption for Cyber-Physical Energy System: an Environment Ontology based Approach. IEEE Computer Software and Applications Conference (COMPSAC), 2015. (Acceptance rate: 20%)

[C22] Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu and Prahbat Mishra. Variation-Aware Evaluation for MPSoC Task Allocation and Scheduling Strategies using Statistical Model Checking. Design, Automation and Test in Europe (DATE), 2015. (Acceptance rate:131/915 = 15%) (PPT: DATE15.pdf, CODE:variation.zip)

[C21]Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen:Runtime Verification by Convergent Formula Progression. APSEC (1) 2014: 255-262

[C20] Saijie Huang, Mingsong Chen, Xiao Liu, Dehui Du, Xiaohong Chen. Variation-Aware Resource Allocation Evaluation for Cloud Workflows using Statistical Model Checking.IEEE International Conf. on Big Data and Cloud Computing (BDCloud), 2014. (PPT: BDCloud14.pdf)

[C19] Ang Li, Zishan Qin, Mingsong Chen, Jing Liu. ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications . IEEE International Conference,on Software Security and Reliability, San Francisco, 2014. (PPT: SERE14.pdf)

[C18] Dehui Du, Mingsong Chen, Xiao Liu, Yun Yang. A Novel Quantitative Evaluation Approach for Software Project Schedules using Statistical Model Checking . International Conference on Software Engineering (ICSE) NIER Track‚ Hyderabad‚ India‚ 2014.

[C17] Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu and Xiao Liu. Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained SchedulingEfficient. International Conference on VLSI Design‚ Bombay‚ India‚ 2014. [ppt:vlsid2014.pdf]

[C16] Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang. Spatio-temporal Properties Analysis for Cyber-physical Systems. International Conference on Engineering of Complex Computer Systems (ICECCS) 2013

[C15] Mingsong Chen, Lei Zhou, Geguang Pu and Jifeng HE. Bound-Oriented Parallel Pruning Approaches for Efficient Resource Constrained Scheduling of High-Level Synthesis. International Conference on Hardware/Software Codesign and System Synthesis Design (CODES+ISSS), 2013. (Acceptance rate: 28%) [ppt:codes2013.pdf]

[C14] Mingsong Chen, Saijie Huang, Geguang Pu and Prabhat Mishra, Branch-and-Bound Style Resource Constrained Scheduling using Efficient Structure-Aware Pruning, International Symposium on VLSI (ISVLSI), pages -, 2013. [ppt: isvlsi2013.pdf]

[C13] Mingsong Chen and Prabhat Mishra.Assertion-Based Functional Consistency Checking between TLM and RTL Models. International Conference on VLSI Design‚ Pune‚ India‚ 2013. (Acceptance rate: 21.3%,Nominated for best paper award)[ppt: vlsid2013.pdf]

[C12] Ang Li and Mingsong Chen. Efficient Self-learning Techniques for SAT-based Test Generation. International Conference on Hardware/Software Codesign and System Synthesis Design (CODES+ISSS).Pages-‚ 2012. [ppt:codes+ISSS_2012.pdf]

[C10]Xiaohong Chen and Mingsong Chen.Extending the Four-Variable Model forCyber-Physical Systems. ISORC workshop, 31-36, 2012.

[C9]Mingsong Chen and Prabhat Mishra. Decision Ordering Based Property Decomposition for Functional Test Generation. Design‚ Automation and Test in Europe‚ DATE.Pages-‚ Grenoble‚ France‚ 14-18 March‚ 2011. [ppt:DATE2011_0445.pdf]
[C8]Mingsong Chen. Efficient Approaches For Functional Validation of SOC Designs Using High-Level Specifications‚ Design Automation Conference, PHD Forum‚ 2010.

[C11] Zhike Wu, Jing Liu, Xiaohong Chen, and Mingsong Chen.An approach to communicating process modeling of MARTE. Fourth Asia-Pacific Symposium on Internetware (Internetware), 2012.

[C7] Mingsong Chen‚ Xiaoke Qin and Prabhat Mishra‚ Efficient Decision Ordering Techniques for SAT-based Test Generation‚ Design Automation and Test in Europe‚ pages 495-490‚ Dresden‚ Germany‚ 2010. (PPT:

date2010.pdf)

[C6] Xiaoke Qin‚ Mingsong Chen and Prabhat Mishra‚ Synchronized Generation of Directed Tests using Satisfiability Solving‚International Conference on VLSI Design‚ Bangalore‚ India‚ January 3-7‚ 2010.

[C5] Prabhat Mishra and Mingsong Chen. Efficient Techniques for Directed Test Generation using Incremental Satisfiability. International Conference on VLSI Design‚ 2009. (Nominated for best paper award) [ppt:

vlsi09.pdf]

[C4] Mingsong Chen*‚ Prabhat Mishra and Dhrubajyoti Kalita. Coverage-driven Automatic Test Generation for UML Activity Diagrams.ACM Great Lakes Symposium on VLSI (GLSVLSI)‚ 2008. [ppt]

[C3] Mingsong Chen*‚ Prabhat Mishra and Dhrubajyoti Kalita. Towards RTL Test Generation from SystemC TLM Specifications.IEEE International High Level Design Validation and Test Workshop (HLDVT)‚ 2007.

[C2] Jeeyoung Kim‚ Yi Du‚ Mingsong Chen‚ Ahmed Helmy. Comparing Mobility and Predictability of VoIP and WLAN Traces. CRAWDAD Workshop 2007 (Co-located with MobiCom). Montréal‚ Canada‚ September‚ 2007 [ppt:

jeeyoung_crawdad_v3.ppt]

[C1] Mingsong Chen‚ Xiaokang Qiu‚ Xuandong Li. Automatic Test Case Generation for UML Activity Diagrams. First International Workshop on Automation on Software Test (AST). pages 2-8‚ Shanghai‚ May‚ 2006 [AGMDA1_3.rar]

Dissertations

[1] 'Efficient Approaches for Functional Validation of SoC Design using High Level Specifications'. Ph.D. Dissertation in University of Florida. [

SAT.pdf,

SOC.pdf]

中文期刊与杂志

[6] 邵明莉，曹鹗，胡铭，章玥，陈闻杰，陈铭松. 面向优先车辆感知的交通灯优化控制方法. 软件学报，32(8):2425-2438, 2021.

[5] 刘筱珊,袁正恒,陈小红,陈铭松,刘静,周庭梁. 区域控制器的安全需求建模与自动验证方法. 软件学报，2019。

[4] 韦璠，宋云飞、胡铭、陈小红、王祥丰、魏同权、陈铭松. 基于特征融合和整体多样性的单模型鲁棒性提升方法 . 软件学报，31(9):2756-2769, 2019。

[3] 陈铭松, 鲍勇翔, 孙海英 ,缪炜恺,陈小红, 周庭梁. 基于通信的列车控制系统可信构造：形式化方法研究 cbtc_v5.pdf . 软件学报, 28(5), 1182-1203, 2017.

[2] 陈铭松，顾璠，徐思远，陈小红. 不确定环境下基于价格时间自动机的智能大厦空调系统调度策略评估 . 软件学报,2016,27 (3):655-669

[1] 陈铭松黄赛杰李昂. CPS研究热点概述. 中国计算机学会通讯, 2013年第7期. CPS.pdf

中国专利

[1] 陈铭松，顾璠. 制程变异下基于UPPAAL-SMC的MPSoC任务调度建模与评估方法,2015.1,中国， 201510005475.4，受理

[2] 陈铭松，黄赛杰. 一种基于统计模型检验的UML活动图评估方法,2015.1,中国， 201510005356.9，受理

[3] 陈铭松，黄赛杰.一种云计算中资源分配策略的评估方法，2014.5，中国， 201410189197.8，受理

[4] 陈铭松，李昂.一种基于UML活动图的GUI测试方法，2013.12，中国，201310746056.7，受理

[5] 陈铭松，黄赛杰，浦戈光. 一种基于时间自动机的软硬件最优划分的可视化方法，中国，201410350399.6，受理

[J44] Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei: Mapping series-parallel streaming applications on hierarchical platforms with reliability and energy constraints. J. Parallel Distributed Comput. 163: 45-61 (2022)

教师个人主页

导航

陈铭松

相关教师

个人资料

教育经历

工作经历

个人简介

社会兼职

研究方向

招生与培养

开授课程

科研项目

学术成果

荣誉及奖励