Mingsong Chen

发表

An approach to communicating process modeling of MARTE

Mingsong Chen, Jing Liu, Xiaohong Chen, 2012, Internetware.

Decision Ordering Based Learning Techniques

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

Bandwidth and fairness policy analysis of Register Insertion Ring

Mingsong Chen, Shengyuan Zhou, Faliang Ao, 2007, 2007 International Conference on Communications, Circuits and Systems.

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

Tongquan Wei, Mingsong Chen, Thomas Kunz, 2016, 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS).

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

Mingsong Chen, Jing Liu, Ang Li, 2014, 2014 Eighth International Conference on Software Security and Reliability.

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

Junlong Zhou, Tongquan Wei, Mingsong Chen, 2022, IEEE Transactions on Cloud Computing.

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

Xiao Liu, Mingsong Chen, Xiaohong Chen, 2014, 2014 IEEE Fourth International Conference on Big Data and Cloud Computing.

A novel requirement analysis approach for periodic control systems

Mingsong Chen, Bin Gu, Jifeng He, 2013, Frontiers of Computer Science.

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

Kun Cao, Tongquan Wei, Mingsong Chen, 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

Jin Sun, Tongquan Wei, Mingsong Chen, 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Leveraging User Heterogeneities to Maximize Profits in the Cloud

Tongquan Wei, Mingsong Chen, Guo Xu, 2018, 2018 IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS).

Coverage-driven automatic test generation for uml activity diagrams

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita, 2008, GLSVLSI '08.

Reliability Aware Cost Optimization for Memory Constrained Cloud Workflows

Tongquan Wei, Mingsong Chen, Meikang Qiu, 2019, ICA3PP.

A CGRA based Neural Network Inference Engine for Deep Reinforcement Learning

Zheng Wang, Mingsong Chen, Jingwei Sun, 2018, 2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS).

Towards RTL test generation from SystemC TLM specifications

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita, 2007, 2007 IEEE International High Level Design Validation and Test Workshop.

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

Ying Zhang, Min Zhang, Mingsong Chen, 2016, 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).

System-Level Validation

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

Decision ordering based property decomposition for functional test generation

Mingsong Chen, Prabhat Mishra, 2011, 2011 Design, Automation & Test in Europe.

Spatio-temporal Properties Analysis for Cyber-physical Systems

Zuohua Ding, Mingsong Chen, Ningkang Jiang, 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

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

Mingsong Chen, Min Zhang, Jing Liu, 2020, J. Syst. Softw..

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

Tongquan Wei, Mingsong Chen, Kun Cao, 2016, 2016 IEEE 22nd International Conference on Parallel and Distributed Systems (ICPADS).

Cost and makespan-aware workflow scheduling in hybrid clouds

Junlong Zhou, Tongquan Wei, Mingsong Chen, 2019, J. Syst. Archit..

Data flow testing for virtual prototypes

Rolf Drechsler, Mingsong Chen, Daniel Große, 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

Property Learning Techniques for Efficient Generation of Directed Tests

Mingsong Chen, Prabhat Mishra, Mingsong Chen, 2011, IEEE Transactions on Computers.

Property Clustering and Learning Techniques

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

An Ensemble Learning-Based Cooperative Defensive Architecture Against Adversarial Attacks

Tian Liu, Mingsong Chen, Ming Hu, 2020 .

Energy-aware virtual machine allocation for cloud with resource reservation

Tongquan Wei, Mingsong Chen, Shiyan Hu, 2019, J. Syst. Softw..

A Fairness Algorithm Based on Flow for RPR

Mingsong Chen, Shengyuan Zhou, Faliang Ao, 2006, 2006 International Conference on Communications, Circuits and Systems.

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

Tongquan Wei, Mingsong Chen, Xin Fu, 2017, IEEE Transactions on Parallel and Distributed Systems.

FPGA-Based ROI Encoding for HEVC Video Bitrate Reduction

Mingsong Chen, Shen Li, Wenjie Chen, 2020, J. Circuits Syst. Comput..

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

Tongquan Wei, Mingsong Chen, Shiyan Hu, 2018, J. Syst. Archit..

Feedback control of real-time EtherCAT networks for reliability enhancement in CPS

Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Bandwidth utilization and fairness policy analysis of resilient packet ring

Mingsong Chen, Shengyuan Zhou, Faliang Ao, 2005, Proceedings. 2005 International Conference on Communications, Circuits and Systems, 2005..

Resource allocation in OFDM-based heterogeneous cognitive radio networks with imperfect spectrum sensing and guaranteed QoS

Mingsong Chen, Jiaru Lin, Wenjun Xu, 2013, 2013 8th International Conference on Communications and Networking in China (CHINACOM).

Runtime Verification by Convergent Formula Progression

Bin Fang, Mingsong Chen, Ting Su, 2014, 2014 21st Asia-Pacific Software Engineering Conference.

An Observation on Resilient Packet Star-Ring

Mingsong Chen, Shengyuan Zhou, Faliang Ao, 2006, 2006 International Conference on Communications, Circuits and Systems.

Guest Editorial

Mingsong Chen, Rubin A. Parekhji, Kanad Basu, 2019, J. Electron. Test..

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach

Mingsong Chen, Jing Liu, Xiaohong Chen, 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

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

Mingsong Chen, Min Zhang, Fei Gao, 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).

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

Mingsong Chen, Huiyun Li, Xinling Zhou, 2017, 2017 IEEE International Conference on Information and Automation (ICIA).

Extending the Four-Variable Model for Cyber-Physical Systems

Mingsong Chen, Xiaohong Chen, Mingsong Chen, 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

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

Kun Cao, Junlong Zhou, Tongquan Wei, 2017, J. Syst. Softw..

The Implementation of PPM in Underwater Laser Communication System

Mingsong Chen, Shengyuan Zhou, Tiansong Li, 2006, 2006 International Conference on Communications, Circuits and Systems.

Test Generation Using Design and Property Decompositions

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

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

Junlong Zhou, Tongquan Wei, Mingsong Chen, 2021, IEEE Transactions on Computers.

User Perceived Value-Aware Cloud Pricing for Profit Maximization of Multiserver Systems

Tongquan Wei, Mingsong Chen, Liying Li, 2017, 2017 IEEE 23rd International Conference on Parallel and Distributed Systems (ICPADS).

Energy-adaptive scheduling of imprecise computation tasks for QoS optimization in real-Time MPSoC systems

Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu, 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

An Efficient Racetrack Memory-Based Processing-in-Memory Architecture for Convolutional Neural Networks

Mingsong Chen, Edwin Hsing-Mean Sha, Shouzhen Gu, 2017, 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC).

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

Kun Cao, Tongquan Wei, Mingsong Chen, 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Design and implementation of information hiding system based on RGB

Mingsong Chen, Xing Tang, 2013, 2013 3rd International Conference on Consumer Electronics, Communications and Networks.

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

Lei Zhou, Mingsong Chen, Jifeng He, 2013, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

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

Mingsong Chen, Huiyun Li, Shi Dong, 2018, 2018 IEEE International Conference on Industrial Technology (ICIT).

Test Generation for Cache Coherence Validation

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

On Queue Length of RPR

Mingsong Chen, Shengyuan Zhou, Faliang Ao, 2006, 2006 International Conference on Communications, Circuits and Systems.

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

Tongquan Wei, Mingsong Chen, Xin Fu, 2017, J. Circuits Syst. Comput..

Reuse of System-Level Validation Efforts

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

GPU-Based Fluid Motion Estimation Using Energy Constraint

Mingsong Chen, Xin Fu, Siyuan Xu, 2017, J. Circuits Syst. Comput..

Automated Generation of Directed Tests

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

Synchronized Generation of Directed Tests

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

Variable Periodic Pseudonym-based Location Privacy Preserving for ICV

Lei Peng, Mingsong Chen, Hongwei Zhu, 2017, ICIT 2017.

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

Tongquan Wei, Mingsong Chen, Anne Benoit, 2018, 2018 IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS).

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

Tian Liu, Tongquan Wei, Mingsong Chen, 2020, IEEE Transactions on Industrial Informatics.

Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms

Mingsong Chen, Lu Peng, Xin Fu, 2017, ACM Trans. Design Autom. Electr. Syst..

FingerVoice: A Syllable Based Input System Via Fingers Touching

Mingsong Chen, Wenjie Chen, ZhiLei Chai, 2017, ASSETS.

Functional Test Compaction

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

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

Mingsong Chen, Yue Zhang, Shui Yu, 2019, ICA3PP.

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

Mingsong Chen, Jifeng He, Xin Fu, 2020, IEEE Transactions on Cloud Computing.

Learning-Oriented Property Decomposition Approaches

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

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

Lei Zhou, Xiao Liu, Mingsong Chen, 2014, 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems.

Personality-Guided Cloud Pricing via Reinforcement Learning

Junlong Zhou, Tongquan Wei, Mingsong Chen, 2022, IEEE Transactions on Cloud Computing.

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

Mingsong Chen, Xiaohong Chen, Haiying Sun, 2016, SEKE.

Efficient approaches for functional validation of soc designs using high-level specifications

Mingsong Chen, Prabhat Mishra, Mingsong Chen, 2010 .

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

Mingsong Chen, Prabhat Mishra, Xin Fu, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

An FPGA-Based Real-Time Moving Object Tracking Approach

Mingsong Chen, Daojing He, Wenjie Chen, 2017, ICA3PP.

OO-VR: NUMA Friendly Object-Oriented VR Rendering Framework For Future NUMA-Based Multi-GPU Systems

Mingsong Chen, Shuaiwen Song, Xin Fu, 2019, 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA).

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

Xiao Liu, Tongquan Wei, Mingsong Chen, 2018, J. Syst. Archit..

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

Mingsong Chen, Hua Jiang, Qin Wang, 2020, Sci. Program..

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

Tongquan Wei, Mingsong Chen, Anne Benoit, 2020, 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD).

Efficient Techniques for Directed Test Generation Using Incremental Satisfiability

Mingsong Chen, Prabhat Mishra, Mingsong Chen, 2009, 2009 22nd International Conference on VLSI Design.

ST-LUSTRE: A Novel Spatio-Temporal Language Towards Safety-Critical Cyber-Physical Systems

Mingsong Chen, Jing Liu, Zhiwei Li, 2017 .

Synchronized Generation of Directed Tests Using Satisfiability Solving

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2010, 2010 23rd International Conference on VLSI Design.

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2012 .

Efficient self-learning techniques for SAT-based test generation

Mingsong Chen, Ang Li, 2012, CODES+ISSS '12.

2015 JETTA Reviewers

Robert Wille, Yong-Bin Kim, Alexandre M. Amory, 2016, Journal of electronic testing.

Automatic RTL Test Generation from SystemC TLM Specifications

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita, 2012, TECS.

Automatic test case generation for UML activity diagrams

Mingsong Chen, Xuandong Li, Xiaokang Qiu, 2006, AST '06.

Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques

Mingsong Chen, Prabhat Mishra, Xin Fu, 2016, IEEE Transactions on Computers.

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

Tongquan Wei, Mingsong Chen, Shiyan Hu, 2021, IEEE Transactions on Sustainable Computing.

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

Mingsong Chen, Prabhat Mishra, Geguang Pu, 2013, 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

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

Junlong Zhou, Tongquan Wei, Mingsong Chen, 2019, Future Gener. Comput. Syst..

Variation-aware task allocation and scheduling for improving reliability of real-time MPSoCs

Tongquan Wei, Mingsong Chen, Xiaobo Sharon Hu, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Sample-Guided Automated Synthesis for CCSL Specifications

Tongquan Wei, Mingsong Chen, Ming Hu, 2019, 2019 56th ACM/IEEE Design Automation Conference (DAC).

Quantitative timing analysis of UML activity diagrams using statistical model checking

Rolf Drechsler, Mingsong Chen, Daniel Große, 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).

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

Mingsong Chen, Xin Fu, Jingweijia Tan, 2016, TODE.

Directed Test Generation for Multicore Architectures

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

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

Xiao Liu, Mingsong Chen, Yun Yang, 2014, ICSE Companion.

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

Tongquan Wei, Mingsong Chen, Qi Zhu, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Mitigating the Impact of Hardware Variability for GPGPUs Register File

Mingsong Chen, Xin Fu, Yang Yi, 2016, IEEE Transactions on Parallel and Distributed Systems.

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

Mingsong Chen, Jing Liu, Xiaohong Chen, 2018, Frontiers of Computer Science.

Learning-oriented Property Decomposition for Automated Generation of Directed Tests

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2014, J. Electron. Test..

Urban Traffic Signal Control Based on Multiobjective Joint Optimization

Mingsong Chen, Junsheng Zhou, Jianbing Xiahou, 2020, Sci. Program..

Efficient test case generation for validation of UML activity diagrams

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita, 2010, Des. Autom. Embed. Syst..

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

Mingsong Chen, Weiguang Wang, Shi Dong, 2018, ICSI.

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

Kun Cao, Tongquan Wei, Mingsong Chen, 2019, J. Syst. Archit..

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

Wei Xu, Mingsong Chen, Jianhua Zhao, 2009, Comput. J..

Emerging technology enabled energy-efficient GPGPUs register file

Mingsong Chen, Lu Peng, Xin Fu, 2017, Microprocess. Microsystems.

Specification-Driven Automated Conformance Checking for Virtual Prototype and Post-Silicon Designs

Tongquan Wei, Mingsong Chen, Li Lei, 2018, Design Automation Conference.

Delay and throughput performance analysis of RPR's three priorities traffic

Mingsong Chen, Shengyuan Zhou, Faliang Ao, 2004, 2004 International Conference on Communications, Circuits and Systems (IEEE Cat. No.04EX914).

The Study of Pulse Interval Modulation in Wireless Laser Communication System

Mingsong Chen, Faliang Ao, Tianhua Zhou, 2006, 2006 International Conference on Communication Technology.

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

Tongquan Wei, Mingsong Chen, Fei Xie, 2021, IEEE Transactions on Computers.

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants

Mingsong Chen, Jing Liu, Xiaohong Chen, 2017, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).

Modeling and Specification of SoC Designs

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2013 .

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

Junlong Zhou, Tongquan Wei, Mingsong Chen, 2016, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

Junlong Zhou, Tongquan Wei, Mingsong Chen, 2020, IEEE Transactions on Reliability.

Assertion-Based Functional Consistency Checking between TLM and RTL Models

Mingsong Chen, Prabhat Mishra, Mingsong Chen, 2013, 2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems.

2013 18th International Conference on Engineering of Complex Computer Systems, Singapore, July 17-19, 2013

Kamel Barkaoui, Zuohua Ding, Fabrice Kordon, 2013, ICECCS.

Efficient decision ordering techniques for SAT-based test generation

Mingsong Chen, Prabhat Mishra, Xiaoke Qin, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).