Mingsong Chen

According to our database, Mingsong Chen authored at least 219 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Hyperbolic prototype rectification for few-shot 3D point cloud classification.

Yuanzhi Feng, Shing-Ho J. Lin, Xuan Tang, Mu-Yu Wang, Jianzhang Zheng, Zi-Yao He, Zi-Yi Pang, Jian Yang, Mingsong Chen, Xian Wei

Pattern Recognit., 2025

2024

CaBaFL: Asynchronous Federated Learning via Hierarchical Cache and Feature Balance.

Zeke Xia, Ming Hu, Dengke Yan, Xiaofei Xie, Tianlin Li, Anran Li, Junlong Zhou, Mingsong Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

FlexFL: Heterogeneous Federated Learning via APoZ-Guided Flexible Pruning in Uncertain Scenarios.

Zekai Chen, Chentao Jia, Ming Hu, Xiaofei Xie, Anran Li, Mingsong Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Towards Intelligent Adaptive Edge Caching Using Deep Reinforcement Learning.

Ting Wang, Yuxiang Deng, Jiawei Mao, Mingsong Chen, Gang Liu, Jieming Di, Keqin Li

IEEE Trans. Mob. Comput., October, 2024

Connecting the physical space and cyber space of autonomous systems more closely.

Xisheng Li, Jinghao Sun, Jiarui Wang, Kailu Duan, Mingsong Chen, Nan Guan, Zhishan Guo, Qingxu Deng, Yong Xie

Real Time Syst., September, 2024

DPQ: dynamic pseudo-mean mixed-precision quantization for pruned neural network.

Songwen Pei, Jiyao Wang, Bingxue Zhang, Wei Qin, Hai Xue, Xiaochun Ye, Mingsong Chen

Mach. Learn., July, 2024

Efficient Exact Subgraph Matching via GNN-based Path Dominance Embedding.

Yutong Ye, Xiang Lian, Mingsong Chen

Proc. VLDB Endow., March, 2024

A domain adversarial graph convolutional network for intelligent monitoring of tool wear in machine tools.

Kai Li, Zhoulong Li, Xianshi Jia, Lei Liu, Mingsong Chen

Comput. Ind. Eng., January, 2024

Improving Reliability and Sustainability of Hazard-Aware Cyber-Physical Systems.

Peijin Cong, Junlong Zhou, Weiming Jiang, Mingsong Chen, Shiyan Hu, Keqin Li

IEEE Trans. Sustain. Comput., 2024

Efficient one-shot Neural Architecture Search with progressive choice freezing evolutionary search.

Chen Zhang, Qiyu Wan, Lening Wang, Yu Wen, Mingsong Chen, Jingweijia Tan, Kaige Yan, Xin Fu

Neurocomputing, 2024

Zeoformer: Coarse-Grained Periodic Graph Transformer for OSDA-Zeolite Affinity Prediction.

Xiangxiang Shen, Zheng Wan, Lingfeng Wen, Licheng Sun, Ou Yang Ming Jie, Xuan Tang, Xian Zeng, Mingsong Chen, Xiao He, Xian Wei

CoRR, 2024

SBDet: A Symmetry-Breaking Object Detector via Relaxed Rotation-Equivariance.

Zhiqiang Wu, Yingjie Liu, Hanlin Dong, Xuan Tang, Jian Yang, Bo Jin, Mingsong Chen, Xian Wei

CoRR, 2024

Dynamic Subgraph Matching via Cost-Model-based Vertex Dominance Embeddings (Technical Report).

Yutong Ye, Xiang Lian, Nan Zhang, Mingsong Chen

CoRR, 2024

When Foresight Pruning Meets Zeroth-Order Optimization: Efficient Federated Learning for Low-Memory Devices.

Pengyu Zhang, Yingjie Liu, Yingbo Zhou, Xiao Du, Xian Wei, Ting Wang, Mingsong Chen

CoRR, 2024

Reverse Influential Community Search Over Social Networks (Technical Report).

Qi Wen, Nan Zhang, Yutong Ye, Xiang Lian, Mingsong Chen

CoRR, 2024

KoReA-SFL: Knowledge Replay-based Split Federated Learning Against Catastrophic Forgetting.

Zeke Xia, Ming Hu, Dengke Yan, Ruixuan Liu, Anran Li, Xiaofei Xie, Mingsong Chen

CoRR, 2024

MIP: CLIP-based Image Reconstruction from PEFT Gradients.

Peiheng Zhou, Ming Hu, Xiaofei Xie, Yihao Huang, Kangjie Chen, Mingsong Chen

CoRR, 2024

Personalized Federated Instruction Tuning via Neural Architecture Search.

Pengyu Zhang, Yingbo Zhou, Ming Hu, Junxian Feng, Jiawen Weng, Mingsong Chen

CoRR, 2024

Approximate Matrix Multiplication over Sliding Windows.

Ziqi Yao, Lianzhi Li, Mingsong Chen, Xian Wei, Cheng Chen

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

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

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

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

Proceedings of the International Joint Conference on Neural Networks, 2024

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

Proceedings of the International Joint Conference on Neural Networks, 2024

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Top-<i>L</i> Most Influential Community Detection Over Social Networks.

Nan Zhang, Yutong Ye, Xiang Lian, Mingsong Chen

Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

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

Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

Social Lode: Human Trajectory Prediction with Latent Odes.

Kexin Ke, Jian Yang, Yingjie Liu, Mingsong Chen, Xian Wei, Xuan Tang

Proceedings of the IEEE International Conference on Acoustics, 2024

AdaptiveFL: Adaptive Heterogeneous Federated Learning for Resource-Constrained AIoT Systems.

Chentao Jia, Ming Hu, Zekai Chen, Yanxin Yang, Xiaofei Xie, Yang Liu, Mingsong Chen

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Exact Fusion via Feature Distribution Matching for Few-Shot Image Generation.

Yingbo Zhou, Yutong Ye, Pengyu Zhang, Xian Wei, Mingsong Chen

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

Hyperbolic Graph Diffusion Model.

Lingfeng Wen, Xuan Tang, Mingjie Ouyang, Xiangxiang Shen, Jian Yang, Daxin Zhu, Mingsong Chen, Xian Wei

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Situation-Dependent Causal Influence-Based Cooperative Multi-Agent Reinforcement Learning.

Xiao Du, Yutong Ye, Pengyu Zhang, Yaning Yang, Mingsong Chen, Ting Wang

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

FedMut: Generalized Federated Learning via Stochastic Mutation.

Ming Hu, Yue Cao, Anran Li, Zhiming Li, Chengwei Liu, Tianlin Li, Mingsong Chen, Yang Liu

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL.

Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, Mingsong Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023

A new dynamic security defense system based on TCP_REPAIR and deep learning.

Jianxun Tang, Mingsong Chen, Haoyu Chen, Shenqi Zhao, Yu Huang

J. Cloud Comput., December, 2023

Hierarchical Relational Graph Learning for Autonomous Multirobot Cooperative Navigation in Dynamic Environments.

Ting Wang, Xiao Du, Mingsong Chen, Keqin Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems.

Ming Hu, E. Cao, Hongbing Huang, Min Zhang, Xiaohong Chen, Mingsong Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

Enabling High-Efficient ReRAM-Based CNN Training Via Exploiting Crossbar-Level Insignificant Writing Elimination.

Lening Wang, Qiyu Wan, Peixun Ma, Jing Wang, Mingsong Chen, Shuaiwen Leon Song, Xin Fu

IEEE Trans. Computers, November, 2023

Accelerate Safety Model Checking Based on Complementary Approximate Reachability.

Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023

Carbon Emissions Reduction of Neural Network by Discrete Rank Pruning.

Songwen Pei, Jie Luo, Sheng Liang, Haonan Ding, Xiaochun Ye, Mingsong Chen

CCF Trans. High Perform. Comput., September, 2023

Swarm Intelligence-Based Task Scheduling for Enhancing Security for IoT Devices.

Junlong Zhou, Yufan Shen, Liying Li, Cheng Zhuo, Mingsong Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023

Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration.

Ming Hu, Min Zhang, Frédéric Mallet, Xin Fu, Mingsong Chen

IEEE Trans. Computers, May, 2023

Multi-Agent Reinforcement Learning for Dynamic Resource Management in 6G in-X Subnetworks.

Xiao Du, Ting Wang, Qiang Feng, Chenhui Ye, Tao Tao, Lu Wang, Yuanming Shi, Mingsong Chen

IEEE Trans. Wirel. Commun., March, 2023

Machine Learning Empowered Intelligent Data Center Networking - Evolution, Challenges and Opportunities

Ting Wang, Bo Li, Mingsong Chen, Shui Yu

Springer Briefs in Computer Science, Springer, ISBN: 978-981-19-7394-9, 2023

Energy and Reliability-Aware Task Scheduling for Cost Optimization of DVFS-Enabled Cloud Workflows.

E. Cao, Saira Musa, Mingsong Chen, Tongquan Wei, Xian Wei, Xin Fu, Meikang Qiu

IEEE Trans. Cloud Comput., 2023

FairLight: Fairness-Aware Autonomous Traffic Signal Control With Hierarchical Action Space.

Yutong Ye, Jiepin Ding, Ting Wang, Junlong Zhou, Xian Wei, Mingsong Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023

Filtering Out High Noise Data for Distributed Deep Neural Networks.

Yangguang Cui, Liying Li, Zhe Tao, Mingsong Chen, Tongquan Wei

IEEE Trans Autom. Sci. Eng., 2023

Efficient Federated Learning for AIoT Applications Using Knowledge Distillation.

Tian Liu, Jun Xia, Zhiwei Ling, Xin Fu, Shui Yu, Mingsong Chen

IEEE Internet Things J., 2023

A Survey of AI-enabled Dynamic Manufacturing Scheduling: From Directed Heuristics to Autonomous Learning.

Jiepin Ding, Mingsong Chen, Ting Wang, Junlong Zhou, Xin Fu, Keqin Li

ACM Comput. Surv., 2023

AdapterFL: Adaptive Heterogeneous Federated Learning for Resource-constrained Mobile Computing Systems.

Ruixuan Liu, Ming Hu, Zeke Xia, Jun Xia, Pengyu Zhang, Yihao Huang, Yang Liu, Mingsong Chen

CoRR, 2023

Have Your Cake and Eat It Too: Toward Efficient and Accurate Split Federated Learning.

Dengke Yan, Ming Hu, Zeke Xia, Yanxin Yang, Jun Xia, Xiaofei Xie, Mingsong Chen

CoRR, 2023

Top-L Most Influential Community Detection Over Social Networks (Technical Report).

Nan Zhang, Yutong Ye, Xiang Lian, Mingsong Chen

CoRR, 2023

WaveAttack: Asymmetric Frequency Obfuscation-based Backdoor Attacks Against Deep Neural Networks.

Jun Xia, Zhihao Yue, Yingbo Zhou, Zhiwei Ling, Xian Wei, Mingsong Chen

CoRR, 2023

Efficient Exact Subgraph Matching via GNN-based Path Dominance Embedding (Technical Report).

Yutong Ye, Xiang Lian, Mingsong Chen

CoRR, 2023

Protect Federated Learning Against Backdoor Attacks via Data-Free Trigger Generation.

Yanxin Yang, Ming Hu, Yue Cao, Jun Xia, Yihao Huang, Yang Liu, Mingsong Chen

CoRR, 2023

EqGAN: Feature Equalization Fusion for Few-shot Image Generation.

Yingbo Zhou, Zhihao Yue, Yutong Ye, Pengyu Zhang, Xian Wei, Mingsong Chen

CoRR, 2023

FedMR: Federated Learning via Model Recombination.

Ming Hu, Zhihao Yue, Zhiwei Ling, Yihao Huang, Cheng Chen, Xian Wei, Yang Liu, Mingsong Chen

CoRR, 2023

Autoencoders with Intrinsic Dimension Constraints for Learning Low Dimensional Image Representations.

Jianzhang Zheng, Hao Shen, Jian Yang, Xuan Tang, Mingsong Chen, Hui Yu, Jielong Guo, Xian Wei

CoRR, 2023

A Survey of Geometric Optimization for Deep Learning: From Euclidean Space to Riemannian Manifold.

Yanhong Fei, Xian Wei, Yingjie Liu, Zhengyu Li, Mingsong Chen

CoRR, 2023

CyclicFL: A Cyclic Model Pre-Training Approach to Efficient Federated Learning.

Pengyu Zhang, Yingbo Zhou, Ming Hu, Xin Fu, Xian Wei, Mingsong Chen

CoRR, 2023

Continual Learning via Manifold Expansion Replay.

Zihao Xu, Xuan Tang, Yufei Shi, Jianfeng Zhang, Jian Yang, Mingsong Chen, Xian Wei

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

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

Proceedings of the IEEE Real-Time Systems Symposium, 2023

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

Proceedings of the IEEE Real-Time Systems Symposium, 2023

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

Proceedings of the IEEE Real-Time Systems Symposium, 2023

RECO: Rotation Equivariant COnvolutional Neural Network for Human Trajectory Forecasting.

Jijun Cheng, Hao Wang, Dongheng Shao, Jian Yang, Mingsong Chen, Xian Wei, Xuan Tang

Proceedings of the Pattern Recognition and Computer Vision - 6th Chinese Conference, 2023

Model-Contrastive Learning for Backdoor Elimination.

Zhihao Yue, Jun Xia, Zhiwei Ling, Ming Hu, Ting Wang, Xian Wei, Mingsong Chen

Proceedings of the 31st ACM International Conference on Multimedia, 2023

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

Proceedings of the International Joint Conference on Neural Networks, 2023

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

Proceedings of the International Joint Conference on Neural Networks, 2023

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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

LWSA: A Learning-Based Workflow Scheduling Algorithm for Energy-Efficient UAV Delivery System.

Jiali Wang, Yutong Ye, Ting Wang, Mingsong Chen

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

FedEntropy: Efficient Federated Learning for Non-IID Scenarios Using Maximum Entropy Judgment-based Client Selection.

Zhiwei Ling, Zhihao Yue, Jun Xia, Ting Wang, Mingsong Chen, Xiang Lian

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2023

2022

Efficient Federated Learning Using Layer-Wise Regulation and Momentum Aggregation.

Fan Zhang, Zekuan Fang, Yiming Li, Mingsong Chen

J. Circuits Syst. Comput., December, 2022

Rethinking Data Center Networks: Machine Learning Enables Network Intelligence.

Bo Li, Ting Wang, Peng Yang, Mingsong Chen, Mounir Hamdi

J. Commun. Inf. Networks, June, 2022

Personality-Guided Cloud Pricing via Reinforcement Learning.

Peijin Cong, Junlong Zhou, Mingsong Chen, Tongquan Wei

IEEE Trans. Cloud Comput., 2022

Personality- and Value-Aware Scheduling of User Requests in Cloud for Profit Maximization.

Peijin Cong, Guo Xu, Junlong Zhou, Mingsong Chen, Tongquan Wei, Meikang Qiu

IEEE Trans. Cloud Comput., 2022

Throughput-Conscious Energy Allocation and Reliability-Aware Task Assignment for Renewable Powered In-Situ Server Systems.

Junlong Zhou, Kun Cao, Xiumin Zhou, Mingsong Chen, Tongquan Wei, Shiyan Hu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

PervasiveFL: Pervasive Federated Learning for Heterogeneous IoT Systems.

Jun Xia, Tian Liu, Zhiwei Ling, Ting Wang, Xin Fu, Mingsong Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

A novel adversarial domain adaptation transfer learning method for tool wear state prediction.

Kai Li, Mingsong Chen, Yongcheng Lin, Zhou Li, Xianshi Jia, Bin Li

Knowl. Based Syst., 2022

Special issue on Reliable Software Technologies (AEiC2021).

Wupan Zhao, Yutong Ye, Jiepin Ding, Ting Wang, Tongquan Wei, Mingsong Chen

J. Syst. Archit., 2022

Multiserver configuration for cloud service profit maximization in the presence of soft errors based on grouped grey wolf optimizer.

Peijin Cong, Xiangpeng Hou, Minhui Zou, Jiangshan Dong, Mingsong Chen, Junlong Zhou

J. Syst. Archit., 2022

Mapping series-parallel streaming applications on hierarchical platforms with reliability and energy constraints.

Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei

J. Parallel Distributed Comput., 2022

Towards Fast and Accurate Federated Learning with Non-IID Data for Cloud-Based IoT Applications.

Tian Liu, Jiahao Ding, Ting Wang, Miao Pan, Mingsong Chen

J. Circuits Syst. Comput., 2022

Improving IoT data availability via feedback- and voting-based anomaly imputation.

Liying Li, Haizhou Wang, Youyang Wang, Mingsong Chen, Tongquan Wei

Future Gener. Comput. Syst., 2022

Modeling and tagging of time sequence signals in the milling process based on an improved hidden semi-Markov model.

Kai Li, Chaochao Qiu, Xinzhao Zhou, Mingsong Chen, Yongcheng Lin, Xianshi Jia, Bin Li

Expert Syst. Appl., 2022

HierarchyFL: Heterogeneous Federated Learning via Hierarchical Self-Distillation.

Jun Xia, Yi Zhang, Zhihao Yue, Ming Hu, Xian Wei, Mingsong Chen

CoRR, 2022

GitFL: Adaptive Asynchronous Federated Learning using Version Control.

Ming Hu, Zeke Xia, Zhihao Yue, Jun Xia, Yihao Huang, Yang Liu, Mingsong Chen

CoRR, 2022

FedCross: Towards Accurate Federated Learning via Multi-Model Cross Aggregation.

Ming Hu, Peiheng Zhou, Zhihao Yue, Zhiwei Ling, Yihao Huang, Yang Liu, Mingsong Chen

CoRR, 2022

FedMR: Fedreated Learning via Model Recombination.

Ming Hu, Zhihao Yue, Zhiwei Ling, Xian Wei, Mingsong Chen

CoRR, 2022

FedEntropy: Efficient Device Grouping for Federated Learning Using Maximum Entropy Judgment.

Zhiwei Ling, Zhihao Yue, Jun Xia, Ming Hu, Ting Wang, Mingsong Chen

CoRR, 2022

Multi-agent Reinforcement Learning for Dynamic Resource Management in 6G in-X Subnetworks.

Xiao Du, Ting Wang, Qiang Feng, Chenhui Ye, Tao Tao, Yuanming Shi, Mingsong Chen

CoRR, 2022

Model-Contrastive Learning for Backdoor Defense.

Zhihao Yue, Jun Xia, Zhiwei Ling, Ming Hu, Ting Wang, Xian Wei, Mingsong Chen

CoRR, 2022

Learning from Attacks: Attacking Variational Autoencoder for Improving Image Classification.

Jianzhang Zheng, Fan Yang, Hao Shen, Xuan Tang, Mingsong Chen, Liang Song, Xian Wei

CoRR, 2022

Machine Learning Empowered Intelligent Data Center Networking: A Survey.

Bo Li, Ting Wang, Peng Yang, Mingsong Chen, Shui Yu, Mounir Hamdi

CoRR, 2022

FedCAT: Towards Accurate Federated Learning via Device Concatenation.

Ming Hu, Tian Liu, Zhiwei Ling, Zhihao Yue, Mingsong Chen

CoRR, 2022

O-ViT: Orthogonal Vision Transformer.

Yanhong Fei, Yingjie Liu, Xian Wei, Mingsong Chen

CoRR, 2022

A weighted adaptive transfer learning for tool tip dynamics prediction of different machine tools.

Kai Li, Chaochao Qiu, Yongcheng Lin, Mingsong Chen, Xianshi Jia, Bin Li

Comput. Ind. Eng., 2022

A Generalized Multivariable Adaptive Super-Twisting Control and Observation for Amphibious Robot.

Weidong Zeng, Lijiu Zheng, Mingsong Chen, Yongcheng Lin, Guanqiang Wang, Baihui Gao, Shiquan Huang

IEEE Access, 2022

Orthogonal Spatial-Temporal Graph Convolutional Networks for Traffic Flow Forecasting.

Yanhong Fei, Ming Hu, Xian Wei, Mingsong Chen

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2022

Using Multi-feature Embedding towards Accurate Knowledge Tracing.

Yang Yu, Caidie Huang, Liangyu Chen, Mingsong Chen

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

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

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

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

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2022

Geodesic Self-Attention for 3D Point Clouds.

Zhengyu Li, Xuan Tang, Zihao Xu, Xihao Wang, Hui Yu, Mingsong Chen, Xian Wei

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

BS-pFL: Enabling Low-Cost Personalized Federated Learning by Exploring Weight Gradient Sparsity.

Lening Wang, Manojna Sistla, Mingsong Chen, Xin Fu

Proceedings of the International Joint Conference on Neural Networks, 2022

Eliminating Backdoor Triggers for Deep Neural Networks Using Attention Relation Graph Distillation.

Jun Xia, Ting Wang, Jiepin Ding, Xian Wei, Mingsong Chen

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

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

Proceedings of the Computer Vision - ECCV 2022, 2022

Accelerated synthesis of neural network-based barrier certificates using collaborative learning.

Jun Xia, Ming Hu, Xin Chen, Mingsong Chen

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

MonitorLight: Reinforcement Learning-based Traffic Signal Control Using Mixed Pressure Monitoring.

Zekuan Fang, Fan Zhang, Ting Wang, Xiang Lian, Mingsong Chen

Proceedings of the 31st ACM International Conference on Information & Knowledge Management, 2022

Work-in-Progress: Cooperative MLP-Mixer Networks Inference On Heterogeneous Edge Devices through Partition and Fusion.

Yiming Li, Shouzhen Gu, Mingsong Chen

Proceedings of the International Conference on Compilers, 2022

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

Proceedings of the 23rd Asia-Pacific Network Operations and Management Symposium, 2022

2021

A Collaborative and Sustainable Edge-Cloud Architecture for Object Tracking with Convolutional Siamese Networks.

Haifeng Gu, Zishuai Ge, E. Cao, Mingsong Chen, Tongquan Wei, Xin Fu, Shiyan Hu

IEEE Trans. Sustain. Comput., 2021

FDA$^3$: Federated Defense Against Adversarial Attacks for Cloud-Based IIoT Applications.

Yunfei Song, Tian Liu, Tongquan Wei, Xiangfeng Wang, Zhe Tao, Mingsong Chen

IEEE Trans. Ind. Informatics, 2021

Efficient Federated Learning for Cloud-Based AIoT Applications.

Xinqian Zhang, Ming Hu, Jun Xia, Tongquan Wei, Mingsong Chen, Shiyan Hu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Learning-Based Modeling and Optimization for Real-Time System Availability.

Liying Li, Junlong Zhou, Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu

IEEE Trans. Computers, 2021

Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.

Haifeng Gu, Jianning Zhang, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie

IEEE Trans. Computers, 2021

A Feature Fusion Framework and Its Application to Automatic Seizure Detection.

Chengbin Huang, Weiting Chen, Mingsong Chen, Binhang Yuan

IEEE Signal Process. Lett., 2021

Exploring reliable edge-cloud computing for service latency optimization in sustainable cyber-physical systems.

Kun Cao, Tongquan Wei, Mingsong Chen, Keqin Li, Jian Weng, Wuzheng Tan

Softw. Pract. Exp., 2021

EC-BAAS: Elliptic curve-based batch anonymous authentication scheme for Internet of Vehicles.

Mingyue Zhang, Junlong Zhou, Gongxuan Zhang, Minhui Zou, Mingsong Chen

J. Syst. Archit., 2021

An Ensemble Learning-Based Cooperative Defensive Architecture Against Adversarial Attacks.

Tian Liu, Yunfei Song, Ming Hu, Jun Xia, Jianning Zhang, Mingsong Chen

J. Circuits Syst. Comput., 2021

Learning Robust and Lightweight Model through Separable Structured Transformations.

Xian Wei, Yanhui Huang, Yangyu Xu, Mingsong Chen, Hai Lan, Yuanxiang Li, Zhongfeng Wang, Xuan Tang

CoRR, 2021

ViR: the Vision Reservoir.

Xian Wei, Bin Wang, Mingsong Chen, Ji Yuan, Hai Lan, Jiehuang Shi, Xuan Tang, Bo Jin, Guozhang Chen, Dongping Yang

CoRR, 2021

Efficient Federated Learning for AIoT Applications Using Knowledge Distillation.

Tian Liu, Jun Xia, Xian Wei, Ting Wang, Xin Fu, Mingsong Chen

CoRR, 2021

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.

Ming Hu, Jiepin Ding, Min Zhang, Frédéric Mallet, Mingsong Chen

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

ICE: Intelligent Caching at the Edge.

Ting Wang, Jiawei Mao, Mingsong Chen, Gang Liu, Jieming Di, Shui Yu

Proceedings of the IEEE Global Communications Conference, 2021

FedLight: Federated Reinforcement Learning for Autonomous Multi-Intersection Traffic Signal Control.

Yutong Ye, Wupan Zhao, Tongquan Wei, Shiyan Hu, Mingsong Chen

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

DIAVA: A Traffic-Based Framework for Detection of SQL Injection Attacks and Vulnerability Analysis of Leaked Data.

Haifeng Gu, Jianning Zhang, Tian Liu, Ming Hu, Junlong Zhou, Tongquan Wei, Mingsong Chen

IEEE Trans. Reliab., 2020

Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation.

Mingsong Chen, Saijie Huang, Xin Fu, Xiao Liu, Jifeng He

IEEE Trans. Cloud Comput., 2020

Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications.

Ming Hu, Wenxue Duan, Min Zhang, Tongquan Wei, Mingsong Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Urban Traffic Signal Control Based on Multiobjective Joint Optimization.

Yongrong Wu, Yijie Zhou, Yanming Feng, Yutian Xiao, Shaojie He, Junsheng Zhou, Tianhe Ren, Jinling Chen, Mingsong Chen, Jianbing Xiahou, Fan Lin, Chao Huang

Sci. Program., 2020

AGNES-SMOTE: An Oversampling Algorithm Based on Hierarchical Clustering and Improved SMOTE.

Xin Wang, Yue Yang, Mingsong Chen, Qin Wang, Qin Qin, Hua Jiang, Huijiao Wang

Sci. Program., 2020

Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.

Dongdong An, Jing Liu, Min Zhang, Xiaohong Chen, Mingsong Chen, Haiying Sun

J. Syst. Softw., 2020

FPGA-Based ROI Encoding for HEVC Video Bitrate Reduction.

Zhilei Chai, Shen Li, Qunfang He, Mingsong Chen, Wenjie Chen

J. Circuits Syst. Comput., 2020

FDA3 : Federated Defense Against Adversarial Attacks for Cloud-Based IIoT Applications.

Yunfei Song, Tian Liu, Tongquan Wei, Xiangfeng Wang, Zhe Tao, Mingsong Chen

CoRR, 2020

Reliable and Energy-aware Mapping of Streaming Series-parallel Applications onto Hierarchical Platforms.

Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei

Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020

SpectreCheck: An Approach to Detecting Speculative Execution Side Channels in Data Cache.

Haifeng Gu, Mingsong Chen, Yanzhao Wang, Fei Xie

Proceedings of the 2020 IEEE International Conference on Embedded Software and Systems, 2020

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

Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language.

Shiyu Zhang, Juan Zhai, Lei Bu, Mingsong Chen, Linzhang Wang, Xuandong Li

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint.

Fei Gao, Frédéric Mallet, Min Zhang, Mingsong Chen

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2019

Resource Management for Improving Soft-Error and Lifetime Reliability of Real-Time MPSoCs.

Junlong Zhou, Jin Sun, Xiumin Zhou, Tongquan Wei, Mingsong Chen, Shiyan Hu, Xiaobo Sharon Hu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Directed Test Generation for Validation of Cache Coherence Protocols.

Yangdi Lyu, Xiaoke Qin, Mingsong Chen, Prabhat Mishra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Game Theoretic Feedback Control for Reliability Enhancement of EtherCAT-Based Networked Systems.

Liying Li, Peijin Cong, Kun Cao, Junlong Zhou, Tongquan Wei, Mingsong Chen, Shiyan Hu, Xiaobo Sharon Hu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Affinity-Driven Modeling and Scheduling for Makespan Optimization in Heterogeneous Multiprocessor Systems.

Kun Cao, Junlong Zhou, Peijin Cong, Liying Li, Tongquan Wei, Mingsong Chen, Shiyan Hu, Xiaobo Sharon Hu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

QoS-Adaptive Approximate Real-Time Computation for Mobility-Aware IoT Lifetime Optimization.

Kun Cao, Guo Xu, Junlong Zhou, Tongquan Wei, Mingsong Chen, Shiyan Hu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Energy-aware virtual machine allocation for cloud with resource reservation.

Xinqian Zhang, Tingming Wu, Mingsong Chen, Tongquan Wei, Junlong Zhou, Shiyan Hu, Rajkumar Buyya

J. Syst. Softw., 2019

Cost and makespan-aware workflow scheduling in hybrid clouds.

Junlong Zhou, Tian Wang, Peijin Cong, Pingping Lu, Tongquan Wei, Mingsong Chen

J. Syst. Archit., 2019

A survey of optimization techniques for thermal-aware 3D processors.

Kun Cao, Junlong Zhou, Tongquan Wei, Mingsong Chen, Shiyan Hu, Keqin Li

J. Syst. Archit., 2019

Lifetime-aware real-time task scheduling on fault-tolerant mixed-criticality embedded systems.

Kun Cao, Guo Xu, Junlong Zhou, Mingsong Chen, Tongquan Wei, Keqin Li

Future Gener. Comput. Syst., 2019

Guest Editorial.

Kanad Basu, Mingsong Chen, Rubin A. Parekhji

J. Electron. Test., 2019

Throughput Maximization for Multicore Energy-Harvesting Systems Suffering Both Transient and Permanent Faults.

Junlong Zhou, Peijin Cong, Jin Sun, Xiumin Zhou, Tongquan Wei, Mingsong Chen

IEEE Access, 2019

Personality-Aware VNF Deployment for Profit Maximization.

Ruiming Yang, Kun Cao, Peijin Cong, Junlong Zhou, Mingsong Chen, Tongquan Wei

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

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

Proceedings of the 46th International Symposium on Computer Architecture, 2019

Adaptive Detection Method for Packet-In Message Injection Attack in SDN.

Xinyu Zhan, Mingsong Chen, Shui Yu, Yue Zhang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

Reliability Aware Cost Optimization for Memory Constrained Cloud Workflows.

E. Cao, Saira Musa, Jianning Zhang, Mingsong Chen, Tongquan Wei, Xin Fu, Meikang Qiu

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

CE-Based Optimization for Real-time System Availability under Learned Soft Error Rate.

Liying Li, Tongquan Wei, Junlong Zhou, Mingsong Chen, Xiaobo Sharon Hu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Sample-Guided Automated Synthesis for CCSL Specifications.

Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, Mingsong Chen

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Differentially Private Robust ADMM for Distributed Machine Learning.

Jiahao Ding, Xinyue Zhang, Mingsong Chen, Kaiping Xue, Chi Zhang, Miao Pan

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018

Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling under Thermal and Energy Variations.

Mingsong Chen, Xinqian Zhang, Haifeng Gu, Tongquan Wei, Qi Zhu

IEEE Trans. Sustain. Comput., 2018

Developing User Perceived Value Based Pricing Models for Cloud Markets.

Peijin Cong, Liying Li, Junlong Zhou, Kun Cao, Tongquan Wei, Mingsong Chen, Shiyan Hu

IEEE Trans. Parallel Distributed Syst., 2018

Cost-Constrained QoS Optimization for Approximate Computation Real-Time Tasks in Heterogeneous MPSoCs.

Tongquan Wei, Junlong Zhou, Kun Cao, Peijin Cong, Mingsong Chen, Gongxuan Zhang, Xiaobo Sharon Hu, Jianming Yan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Thermal-aware correlated two-level scheduling of real-time tasks with reduced processor energy on heterogeneous MPSoCs.

Junlong Zhou, Jianming Yan, Kun Cao, Yanchao Tan, Tongquan Wei, Mingsong Chen, Gongxuan Zhang, Xiaodao Chen, Shiyan Hu

J. Syst. Archit., 2018

Soft error-aware energy-efficient task scheduling for workflow applications in DVFS-enabled cloud.

Tingming Wu, Haifeng Gu, Junlong Zhou, Tongquan Wei, Xiao Liu, Mingsong Chen

J. Syst. Archit., 2018

A proof-based method of hybrid systems development using differential invariants.

Jie Liu, Jing Liu, Miaomiao Zhang, Haiying Sun, Xiaohong Chen, Dehui Du, Mingsong Chen

Frontiers Comput. Sci., 2018

Video Vehicle Detection and Recognition Based on MapReduce and Convolutional Neural Network.

Mingsong Chen, Weiguang Wang, Shi Dong, Xinling Zhou

Proceedings of the Advances in Swarm Intelligence - 9th International Conference, 2018

Leveraging User Heterogeneities to Maximize Profits in the Cloud.

Guo Xu, Tongquan Wei, Junlong Zhou, Mingsong Chen

Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Reliability-Aware Energy Optimization for Throughput-Constrained Applications on MPSoC.

Changjiang Gou, Anne Benoit, Mingsong Chen, Loris Marchal, Tongquan Wei

Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Parking rank: A novel method of parking lots sorting and recommendation based on public information.

Shi Dong, Mingsong Chen, Lei Peng, Huiyun Li

Proceedings of the IEEE International Conference on Industrial Technology, 2018

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

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

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

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Specification-driven automated conformance checking for virtual prototype and post-silicon designs.

Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie

Proceedings of the 55th Annual Design Automation Conference, 2018

A CGRA based Neural Network Inference Engine for Deep Reinforcement Learning.

Minglan Liang, Mingsong Chen, Zheng Wang, Jingwei Sun

Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

2017

Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics.

Mingsong Chen, Yongxiang Bao, Xin Fu, Geguang Pu, Tongquan Wei

IEEE Trans. Parallel Distributed Syst., 2017

Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms.

Kaige Yan, Lu Peng, Mingsong Chen, Xin Fu

ACM Trans. Design Autom. Electr. Syst., 2017

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.

Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frédéric Mallet, Tingliang Zhou

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Emerging technology enabled energy-efficient GPGPUs register file.

Chenhao Xie, Jingweijia Tan, Mingsong Chen, Yang Yi, Lu Peng, Xin Fu

Microprocess. Microsystems, 2017

Reliability and temperature constrained task scheduling for makespan minimization on heterogeneous multi-core platforms.

Junlong Zhou, Kun Cao, Peijin Cong, Tongquan Wei, Mingsong Chen, Gongxuan Zhang, Jianming Yan, Yue Ma

J. Syst. Softw., 2017

Fault-Tolerant Task Scheduling for Mixed-Criticality Real-Time Systems.

Junlong Zhou, Min Yin, Zhifang Li, Kun Cao, Jianming Yan, Tongquan Wei, Mingsong Chen, Xin Fu

J. Circuits Syst. Comput., 2017

GPU-Based Fluid Motion Estimation Using Energy Constraint.

Siyuan Xu, Han Zhuang, Xin Fu, Junlong Zhou, Mingsong Chen

J. Circuits Syst. Comput., 2017

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

Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

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

Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

ACPP: An effective privacy preserving scheme for precise location sharing in internet of vehicles.

Xinling Zhou, Mingsong Chen, Lei Peng, Huiyun Li

Proceedings of the IEEE International Conference on Information and Automation, 2017

An FPGA-Based Real-Time Moving Object Tracking Approach.

Wenjie Chen, Yangyang Ma, Zhilei Chai, Mingsong Chen, Daojing He

Proceedings of the Algorithms and Architectures for Parallel Processing, 2017

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Data flow testing for virtual prototypes.

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

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

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

FingerVoice: A Syllable Based Input System Via Fingers Touching.

Wenjie Chen, Yangyang Ma, Zhilei Chai, Mingsong Chen

Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

2016

Mitigating the Impact of Hardware Variability for GPGPUs Register File.

Jingweijia Tan, Mingsong Chen, Yang Yi, Xin Fu

IEEE Trans. Parallel Distributed Syst., 2016

Exploring Soft-Error Robust and Energy-Efficient Register File in GPGPUs using Resistive Memory.

Jingweijia Tan, Zhi Li, Mingsong Chen, Xin Fu

ACM Trans. Design Autom. Electr. Syst., 2016

Thermal-Aware Task Scheduling for Energy Minimization in Heterogeneous Real-Time MPSoC Systems.

Junlong Zhou, Tongquan Wei, Mingsong Chen, Jianming Yan, Xiaobo Sharon Hu, Yue Ma

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques.

Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu, Prabhat Mishra

IEEE Trans. Computers, 2016

Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach.

Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking.

Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Game Theoretic Energy Allocation for Renewable Powered In-Situ Server Systems.

Junlong Zhou, Jianfei Chen, Kun Cao, Tongquan Wei, Mingsong Chen

Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

Quantitative timing analysis of UML activity diagrams using statistical model checking.

Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Große, Rolf Drechsler

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams.

Haiying Sun, Mingsong Chen, Min Zhang, Jing Liu, Ying Zhang

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking.

Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu, Prabhat Mishra

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

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

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Learning-oriented Property Decomposition for Automated Generation of Directed Tests.

Mingsong Chen, Xiaoke Qin, Prabhat Mishra

J. Electron. Test., 2014

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling.

Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu, Xiao Liu

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications.

Ang Li, Zishan Qin, Mingsong Chen, Jing Liu

Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

A novel quantitative evaluation approach for software project schedules using statistical model checking.

Dehui Du, Mingsong Chen, Xiao Liu, Yun Yang

Proceedings of the 36th International Conference on Software Engineering, 2014

Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking.

Saijie Huang, Mingsong Chen, Xiao Liu, Dehui Du, Xiaohong Chen

Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

Runtime Verification by Convergent Formula Progression.

Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A novel requirement analysis approach for periodic control systems.

Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He

Frontiers Comput. Sci., 2013

Assertion-Based Functional Consistency Checking between TLM and RTL Models.

Mingsong Chen, Prabhat Mishra

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning.

Mingsong Chen, Saijie Huang, Geguang Pu, Prabhat Mishra

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

Spatio-temporal Properties Analysis for Cyber-physical Systems.

Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis.

Mingsong Chen, Lei Zhou, Geguang Pu, Jifeng He

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012

Automatic RTL Test Generation from SystemC TLM Specifications.

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita

ACM Trans. Embed. Comput. Syst., 2012

Extending the Four-Variable Model for Cyber-Physical Systems.

Xiaohong Chen, Mingsong Chen

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

An approach to communicating process modeling of MARTE.

Zhike Wu, Jing Liu, Xiaohong Chen, Mingsong Chen

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Efficient self-learning techniques for SAT-based test generation.

Ang Li, Mingsong Chen

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011

Property Learning Techniques for Efficient Generation of Directed Tests.

Mingsong Chen, Prabhat Mishra

IEEE Trans. Computers, 2011

Decision ordering based property decomposition for functional test generation.

Mingsong Chen, Prabhat Mishra

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Functional Test Generation Using Efficient Property Clustering and Learning Techniques.

Mingsong Chen, Prabhat Mishra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Efficient test case generation for validation of UML activity diagrams.

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita

Des. Autom. Embed. Syst., 2010

Synchronized Generation of Directed Tests Using Satisfiability Solving.

Xiaoke Qin, Mingsong Chen, Prabhat Mishra

Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

Efficient decision ordering techniques for SAT-based test generation.

Mingsong Chen, Xiaoke Qin, Prabhat Mishra

Proceedings of the Design, Automation and Test in Europe, 2010

2009

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.

Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li

Comput. J., 2009

Efficient Techniques for Directed Test Generation Using Incremental Satisfiability.

Prabhat Mishra, Mingsong Chen

Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

2008

Coverage-driven automatic test generation for uml activity diagrams.

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007

Towards RTL test generation from SystemC TLM specifications.

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006

Automatic Test Case Generation for UML Activity Diagrams.

Mingsong Chen, Xiaokang Qiu, Xuandong Li

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006