Publications

In press

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
J26 To appear In IEEE Transactions on Sustainable Computing

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

Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frederic Mallet
J25 To appear In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | tools

Emerging technology enabled energy-efficient gpgpus register file

Chenhao Xie, Jingweijia Tan, Mingsong Chen, Yang Yi, Lu Peng, Xin Fu
J24 To appear In Journal of Microprocessors and Microsystems

Statistical Model Checking-Based Evaluation and Optimization forCloud Workflow Resource Allocation

Mingsong Chen, Xin Fu, Saijie Huang, Xiao Liu, Jifeng He
J23 To appear In IEEE Transactions on Cloud Computing

Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms

Kaige Yan, Peng Lu, Mingsong Chen, Xin Fu
J22 To appear In ACM Transactions on Design Automation of Electronic Systems

2017

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

Mingsong Chen, Xin Fu, Geguang Pu, Tongquan Wei
J21 In IEEE Transactions on Parallel and Distributed Systems 28(5), 2017 | Pages 1299-1314 | tools | benchmarks

Fault-Tolerant Task Scheduling for Mixed-Criticality Real-TimeSystems

Min Yin, Junlong Zhou, Zhifang Li, Kun Cao, Jianmin Yan, Tongquan Wei, Mingsong Chen, Xin Fu
J20 In Journal of Circuits, Systems and Computers 26(1), 2017 | Pages 1-17

GPU-Based Fluid Motion Estimation using Energy Constrain

Siyuan Xu, Han Zhuang, Xin Fu, Zhifang Li, Mingsong Chen
J19 In Journal of Circuits, Systems and Computers 26(2), 2017 | Pages 1-20

基于通信的列车控制系统可信构造：形式化方法研究

陈铭松 , 鲍勇翔 , 孙海英 , 缪炜恺 , 陈小红 , 周庭梁
J18 In 软件学报 28(5), 2017 | Pages 1183-1203

2016

Mitigating the Impact of Hardware Variability for GPGPUs Register File

Jingweijia Tan, Mingsong Chen, Yang Yi, Xin Fu
J17 In ACM Transactions on Design Automation of Electronic Systems 21(2), 2016 | Pages 34:1-34:25

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

Junlong Zhou, Tongquan Wei, Mingsong Chen, Yue Ma, Sharon Hu
J16 In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 35(8), 2016 | Pages 1269-1282

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

Jingweijia Tan, Zhifang Li, Mingsong Chen, Xin Fu
J15 In IEEE Transactions on Parallel and Distributed Systems 21(2), 2016 | Pages 34

Efficient Resource Constrained Scheduling using Parallel Structure Aware Pruning Techniques

Mingsong Chen, Xiqian Zhang, Geguang Pu, Xin Fu, Prabhat Mishra
J14 In IEEE Transactions on Computers 65(7), 2016 | Pages 2059-2073 | tools | benchmarks

不确定环境下基于价格时间自动机的智能大厦空调系统调度策略评估

陈铭松 , 顾璠 , 徐思远 , 陈小红 , 周庭梁
J13 In 软件学报 27(3), 2016 | Pages 655-669

2014

Efficient Learning-Oriented Property Decomposition for Automated Generation of Directed Tests

Mingsong Chen, Xiaokang Qiu, Prabhat Mishra
J12 In Journal of Electronic Testing 30(3), 2014 | Pages 287-306

基于GPU平台的有效字典压缩与解压缩技术

覃子姗 , 顾璠 , 邱晓康 , 陈铭松
J11 In 基于GPU平台的有效字典压缩与解压缩技术 8(5), 2014 | Pages 525-536

2013

An Approach to Requirement Anaysis for Periodic Control Systems

Zhike Wu, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Jifeng He
J10 In Frontiers of Computer Science in China 7(4), 2013 | Pages 214-235

CPS研究热点概述

陈铭松 , 黄赛杰 , 李昂
J9 In 中国计算机学会通讯 9(7), 2013 | Pages 8-16

2012

Automaitc RTL Test Generation from SystemC TLM Specifications

Mingsong Chen, Prabhat Mishra
J8 In ACM Transactions on Embedded Computing Systems 11(2), 2012 | Pages 38

2011

Property Learning Techniques for Efficient Generation of Directed Tests

Mingsong Chen, Prabhat Mishra
J7 In IEEE Transactions on Computers 60(6), 2011 | Pages 852-864

2010

Efficient test case generation for validation of UML activity diagrams

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
J6 In ACM Transactions on Design Automation of Electronic Systems 14(2), 2010 | Pages 852-864

Efficient SAT-based Test Generation using Property Clustering

Mingsong Chen, Prabhat Mishra
J5 In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 29(3), 2010 | Pages 396-404

2009

UML Activity Diagram Based Automatic Test Case Generation for Java Programs

Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Junlong Zhou, Xuandong Li
J4 In The Computer Journal 52(5), 2009 | Pages 545-556

2007

一种动态消减时间自动机可达性搜索空间的方法

陈铭松 , 赵建华 , 李宣东 , 郑国梁
J3 In 计算机科学 34(01), 2007 | Pages 213-218

行为图驱动的Java程序运行时验证工具

邱晓康 , 陈铭松 , 王林章 , 李宣东 , 郑国梁
J2 In 计算机科学 34(12), 2007 | Pages 273-277

2006

时间自动机可达性分析中的状态空间约减技术综述

陈铭松 , 赵建华 , 李宣东 , 郑国梁
J1 In 计算机科学 33(06), 2006 | Pages 1-7


Disclaimer

The above publications are covered by copyright. Permission to make digital/hard copy of all or part of the following papers, technical reports, and presentations for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. To copy otherwise, to republish, to post on servers, or to redistribute to lists requires prior specific permission.

2017

Data flow testing for virtual prototypes

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler
C30 In Design, Automation and Test in Europe (DATE) | Lausanne, Switzerland, March 2017

Energy-Adaptive Scheduling of Imprecise Computation Tasks for QoS Optimization in Real-Time MPSoC

Junlong Zhou, Jianmin Yan, Tongquan Wei, Mingsong Chen, Sharon Hu
C29 In Design, Automation and Test in Europe (DATE) | Lausanne, Switzerland, March 2017

2016

Static Thermal-Aware Task Assignment and Scheduling for Makespan Minimization in Heterogeneous Real-time MPSoCs

Kun Cao, Junlong Zhou, Min Yin, Tongquan Wei, Mingsong Chen
C28 In International Symposium on System and Software Reliability (ISSSR) | Shanghai, China, December 2016

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

Junlong Zhou, Jianfei Chen, Kun Cao, Tongquan Wei, Mingsong Chen
C27 In International Conference on Parallel and Distributed Systems (ICPADS) | Wuhan, China, December 2016

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

Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen
C26 In International Conference on Software Quality, Reliability & Security (QRS) | Vienne, Ausria, August 2016 | Pages 274–285

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

Yuanyang Wang, Xiaohong Chen, Haiying Sun, Mingsong Chen
C25 In International Conference on Software Engineering and Knowledge Engineering (SEKE) | San Francisco, CA, USA, July 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
C24 In International Conference on Software Engineering and Knowledge Engineering (COMPSAC) | Georgia, USA, June 2016

Timing Analysis of UML Activity Diagrams Using Statistical Model

Fan Gu, Xiqian Zhang, Mingsong Chen, Daniel Große, Rolf Drechsler
C23 In Design, Automation and Test in Europe (DATE) | Dresden, Germany, March 2016 | tools | ppt

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
C22 In International Conference on Software Engineering and Knowledge Engineering (COMPSAC) | Taichung, Taiwan, July 2015

Variation-Aware Evaluation for MPSoC Task Allocation and Scheduling Strategies using Statistical Model Checking

Mingsong Chen, Daian Yue, Xiaokang Qiu, Xin Fu, Prabhat Mishra
C21 In Design, Automation and Test in Europe (DATE) | Grenoble, Germany, March 2015 | tools | ppt

2014

Runtime Verification by Convergent Formula Progression

Yan Shen, Jianwen Li, Zhike Wu, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
C20 In Asia-Pacific Software Engineering Conference (APSEC) | , South Korea, December 2014 | Pages 255–262

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

Saijie Huang, Mingsong Chen, Jing Liu, Dehui Du, Xiaohong Chen
C19 In IEEE International Conference on Big Data and Cloud Computing (BdCloud) | Sydney, Australia, December 2014 | tools | ppt

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

Ang Li, Zishan Qin, Mingsong Chen, Jianwen Li, Xiaohong Chen
C18 In IEEE International Conference on Software Security and Reliability (SERE) | CA, USA, June 2014 | tools | ppt

A Novel Quantitative Evaluation Approach for Software Project Schedules using Statistical Model Checking

Dehui Du, Mingsong Chen, Xuandong Li, Yun Yang
C17 In International Conference on Software Engineering (ICSE) | hyderabad, india, July 2014

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

Mingsong Chen, Fan Gu, Lei Zhou, Geguang Pu, Xiao Liu
C16 In International Conference on VLSI Design (VLSID) | Mumbai, india, January 2014 | tools | ppt

2013

Spatio-temporal Properties Analysis for Cyber-physical Systems

Zhucheng Shao, Jing Liu, Zuohua Ding, Mingsong Chen, Ningkang Jiang
C15 In International Conference on Engineering of Complex Computer Systems (ICECCS) | , Singapore, February 2013

Bound-Oriented Parallel Pruning Approaches for Efficient Resource Constrained Scheduling of High-Level Synthesis

Mingsong Chen, Lei Zhou, Geguang Pu, Jifeng He
C14 In International Conference on Hardware/Software Codesign and System Synthesis Design (CODES+ISSS) | , , September 2013 | tools | ppt

Branch-and-Bound Style Resource Constrained Scheduling using Efficient Structure-Aware Pruning

Mingsong Chen, Sharon Hu, Geguang Pu, Prabhat Mishra
C13 In IEEE Computer Society Annual Symposium on VLSI (ISVLSI) | Natal, Brazil, August 2013 | tools | ppt

Assertion-Based Functional Consistency Checking between TLM and RTL Models

Mingsong Chen, Prabhat Mishra
C12 In International Conference on VLSI Design (VLSID) | Pune, india, January 2013 | tools | ppt | Nominated for best paper award

2012

Efficient Self-learning Techniques for SAT-based Test Generation

Ang Li, Mingsong Chen
C11 In International Conference on Hardware/Software Codesign and System Synthesis Design (CODES+ISSS) | , , September 2012 | tools | ppt

Extending the Four-Variable Model forCyber-Physical Systems

Xiaohong Chen, Mingsong Chen
C10 In IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing Workshops (ISORCW) | Shenzhen, China, April 2012 | Pages 31–36

An approach to communicating process modeling of MARTE

Zhike Wu, Jing Liu, Xiaohong Chen, Mingsong Chen
C9 In Proceedings of the Fourth Asia-Pacific Symposium on Internetware | QingDao, China, October 2012

2011

Decision Ordering Based Property Decomposition for Functional Test Generation

Mingsong Chen, Prabhat Mishra
C8 In Design, Automation and Test in Europe (DATE) | Grenoble, France, March 2011 | tools | ppt

2010

Efficient Approaches For Functional Validation of SOC Designs Using High-Level Specifications

Mingsong Chen
C7 In Design Automation Conference (DAC) PHD Forum | Anaheim, CA, USA, June 2010

Efficient Decision Ordering Techniques for SAT-based Test Generation

Mingsong Chen, Xiaoke Qin, Prabhat Mishra
C6 In Design, Automation and Test in Europe (DATE) | Dresden, Germany, March 2010 | Pages 490–495 | tools | ppt

Efficient Techniques for Directed Test Generation using Incremental Satisfiability

Prabhat Mishra, Mingsong Chen
C5 In International Conference on VLSI Design (VLSID) | Bangalore, india, January 2010 | tools | ppt | Nominated for best paper award

2008

Coverage-driven Automatic Test Generation for UML Activity Diagrams

Mingsong Chen, Prabhat Mishra
C4 In Great Lakes Symposium on VLSI (GLSVLSI) | New York, USA, May 2008 | tools | ppt

2007

Coverage-driven Automatic Test Generation for UML Activity Diagrams

Mingsong Chen, Prabhat Mishra
C3 In International Workshop on High-Level Design Validation and Test (HLDVT) | Irvine, CA, USA, November 2007

Comparing Mobility and Predictability of VoIP and WLAN Traces

Jeeyoung Kim, Yi Du, Mingsong Chen, Ahmed Helmy
C2 In CRAWDAD Workshop (CRAWDAD) | Montréal, Canada, September 2007 | tools | ppt

2006

Automatic Test Case Generation for UML Activity Diagrams

Mingsong Chen, Xiaokang Qiu, Xuandong Li
C1 In First International Workshop on Automation on Software Test (AST) | Shanghai, China, May 2006 | Pages 2–8 | tools


Disclaimer

The above publications are covered by copyright. Permission to make digital/hard copy of all or part of the following papers, technical reports, and presentations for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. To copy otherwise, to republish, to post on servers, or to redistribute to lists requires prior specific permission.

2012

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

Mingsong Chen, Xiaoke Qin, Heon-mo Koo, and Prabhat Mishra.
Book 2 ISBN:978-1-4614-1358-5 | 2012 | Publisher: Springer

Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием

Mingsong Chen, Xiaoke Qin, Heon-mo Koo, and Prabhat Mishra.
Book 1 ISBN:978-5-94836-365-3 | 2014 | Publisher: Texhocoepa

专利

一种基于GPU并行字典破解托库中的加密数据方法

陈铭松, 王红祥.
P16 中国，201710142457.X, 2017

一种基于云计算的虚拟现实自行车实现方法

陈铭松, 宋进忠.
P15 中国，201710139232.9, 2017

一种不确定环境下混成AADL模型量化分析方法

陈铭松, 鲍勇翔.
P14 申请，2016.6.8，201610223650.1

一种基于统计模型检验的UML活动图评估方法

陈铭松, 顾幡，黄赛杰，张心潜.
P13 申请，2015.3.06，201510005356.9

不确定性环境下ThingML模型的量化分析方法

陈铭松, 徐思远，王红祥.
P12 申请，2016.07.13，CN201610300114.7

一种面向节能的启发式云计算资源分配与调度方法

陈铭松, 吴庭明.
P11 申请，2016.12.20，2016110966411.5

一种新型高效的启发式两阶段并行分支定界方法

陈铭松, 刘必成，宋进忠，王红祥.
P10 申请，2016.11.02，CN201610292242.1

基于并行结构感知技术的资源约束条件下调度寻优方法

陈铭松, 刘必成.
P9 申请，2015.12.02，CN201510863693.1

制程变异下温度感知的MPSoC任务分配及调度策略的评估方法

陈铭松, 顾璠.
P8 申请，2015.5.29，CN201510285923.0

不确定环境下只能大厦空调系统的调度策略评估方法

陈铭松, 顾璠，张心潜.
P7 2015.9，中国，201510551875.5

基于机器学习和统计模型检验的工作流最优配置寻优方法

陈铭松, 张心潜，黄赛杰.
P6 2015.9，中国，201510551452.3

制程变异下基于UPPAAL-SMC的MPSoC任务调度建模与评估方法

陈铭松, 顾璠.
P5 2015.1,中国， 201510005475.4

一种基于统计模型检验的UML活动图评估方法

陈铭松, 黄赛杰.
P4 2015.1,中国， 201510005356.9，已授权

一种云计算中资源分配策略的评估方法

陈铭松, 黄赛杰.
P3 2014.5，中国， 201410189197.8

一种基于时间自动机的软硬件最优划分的可视化方法

陈铭松, 黄赛杰，浦戈光.
P2 中国，201410350399.6

一种基于流体运动矢量的并行分析方法

陈铭松, 王红祥，徐思远.
P1 申请，2016.7.27，201610490479.0

软件著作权

不确定环境下智能大厦空调系统的调度策略评估工具软件

陈铭松, 顾璠.
S7 受理号: 2015R11S188075

UML活动图至UPPAAL-SMC时间自动机网络转换工具软件

陈铭松, 张心潜.
S6 受理号: 2015R11S188074

基于GPU的流体运动矢量并行化方法软件

陈铭松, 王红祥，徐思远.
S5 2016SR219598，原始取得，2016.08.16

基于AADL模型的不确定性环境下CBTC系统评估软件

陈铭松, 鲍勇翔.
S4 2016SR119984，原始取得，2016.05.26

基于一种新型的启发式两阶段并行分支界定法的软件

陈铭松, 刘必成.
S3 2016SR119981，原始取得，2016.05.26

不确定环境下基于ThingML模型的量化分析工具软件

陈铭松, 徐思远，王红祥.
S2 2016SR375945，原始取得，2016.12.15

基于并行-结构感知技术的资源约束条件下调度寻优软件

陈铭松, 刘必成.
S1 2016SR037474，原始取得，2016.02.25