陈铭松 教授、博导、副院长（主持工作）
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校：
学位：
学历：
邮编：
联系电话： +8
传真：
电子邮箱： mschen@sei.ecnu.edu.cn
办公地址：
通讯地址： MathBuilding E214, East China Nornal University (Zhongshan Campus)

教育经历

工作经历

个人简介

社会兼职
Editorial Activity:
[1] Associate Editor of Journal of Circuits, Systems and Computers (JCSC), 2013 - present
[2] Associate Editor of IET Computers & Digital Techniques(CDT), 2016 - present
Organizing Committee:
[1] Technical Program Co-Chair: International Workshop on System-Level Interconnect Prediction (SLIP2019)
[2] Publicity Chair:IEEE Real-Time Systems Symposium (RTSS 2019)
[3] Publicity Chair:International Conference on Embedded Software and Systems (ICESS 2019)
[4] Track Chair: International Conference on VLSI Design (VLSID'19)
[5] Organizing Chair: CCF Embedded Systems Technical Conference (ESTC 2016)
[6] Organizing Chair: Microsoft Research Asia-ECNU Verified Software Symposium 2012


Technical Program Committee Member:
[1] Design Autoamtion Conference (DAC'19)
[2]InternationalSymposium on Dependable Software Engineering Theories, Tools and Applications (SETTA'19)
[3]International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'19)
[4] International Conference on Formal Methods and Models for System Design (MEMOCODE'18-19)
[5]InternationalWorkshop on Advances in IoT Architecture and Systems (AIoTAS'17-19)
[6] National Conference on Formal Methods and Applications (FMAC '16-19)
[7] Design Autoamtion and Test in Europe (DATE'14-16,19)
[8] International Conference on VLSI Design (VLSID'14-15,18-19)
[9] ACM Symposium on Applied Computing (SAC'11-18)
[10] Australasian Symposium on Parallel and Distributed Computing (AusPDC 17)
[11] Embedded System Technical Conference of CCF (ESTC'16-18).
[12] Microsoft Reasearch Asia Verified Software, 2012.
[13] International Workshop on Formal methOds for Real-time Distributed Systems (FORDS’12)
[14] International Conference on Contemporary Computing (IC3)? 2010.
[15] International Conference on Formal Engineering Methods (ICFEM)? 2010.


Reviewer:
[1] International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)? 2007? 2008? 2009, 2012.
[2] International Conference on VLSI Design (VLSI Design)? 2007? 2008? 2009? 2010
[3] ACM Great Lakes Symposium on VLSI (GLSVLSI)? 2009
[4] IEEE Computer Society Annual Symposium on VLSI (ISVLSI)? 2009
[5] Design Automation Conference (DAC)? 2009-2016
[6] Asia and South Pacific Design Automation Conference (ASP-DAC)? 2010.
[7] Design Automation & Test in Europe (DATE)? 2010-2016
[8] The International Conference on Computer-Aided Design (ICCAD), 2012
[9] Journal of Electronic Testing
[10] ACM Transactions on Design Automation of Electronic Systems
[11] IEEE Design & Test of Computers
[12] IEEE Transactions on Computers
[13] IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
[14] ACM Transactions on Cyber-Physical Systems
[15] Frontiers of Computer Science in China
[16] Journal of Systems and Software
[17] 软件学报
[18] 计算机学报


研究方向
个人简介(CV.pdf)

陈铭松2003年与2006年分别获得南京大学计算机科学与技术专业本科与硕士学位，2010年获得美国佛罗里达大学计算机博士学位。2010年加入华东师范大学软件学院，2015年获教授职称。主要研究方向为信息物理融合系统设计自动化、计算机体系结构、物联网技术，形式化方法。在嵌入式系统与云计算顶级期刊与会议如ACM TECS、ACM TODAES、IEEE TC、IEEE TCAD、IEEE TCC、 IEEE TPDS、CODES+ISSS、DAC、DATE、ISCA上发表论文100余篇，获批软件著作权10余项，申请/获批专利20余项。主持完成包括自然科学基金委重点项目在内的省部级项目7项。相关研究成果2013年形成Springer英文专著一部，其俄文版本也于2014年正式出版。2009年与2013年曾两次获得国际重要会议“国际VLSI设计大会”与“国际嵌入式大会”最佳论文提名。

目前担任SCI期刊Journal of Circuits, Systems and Computers（2013-至今）与IET Computers & Digital Techniques（2015年至今）副主编，担任过嵌入式领域顶级会议CODES+ISSS 2013 Session主席，可信软件知名会议SERE 2014 Session主席，2012微软亚洲研究院-ECNU“可验证软件国际研讨会”组织主席，中国计算机协会2016嵌入式专委会年会组织主席与出版主席。目前担任上海市计算机协会物联网专委会副主任，IEEE高级会员，中国计算机协会高级会员，中国计算机协会嵌入式专委会常委委员，上海计算机协会YOCSEF学术委员与2017-2018学术秘书，中国计算机系会形式化方法专委会委员。担任包括嵌入式著名会议DATE、MEMOCODE、VLSID、SAC在内的20余个国际会议的技术委员会委员，担任过20余个著名期刊会议的审稿人，以及国家自然科学基金委重点项与面上项目的评阅人。

聘博士后/博士/硕士研究生：本人承担了一项关于智慧城市物联网相关的国家重点研发计划，需要招收物联网、智能信息物理融合系统、云计算/边缘计算的研究人员，如果你有良好的背景与编程能力，欢迎随时和我联系！

Biography(CV.pdf)
Mingsong Chen is a full Professor in the Computer Science and Software Engineering Institute (CS&SEI) at the East China Normal University (ECNU). Currently he serves as the vice director of the department of Embedded Software and Systems. His research interests include design automation of smart cyber physical systems, cloud/edge computing, computer architecture, and IoT. He received his B.S. and M. Eng. from Nanjing University in 2003 and 2006 respectively, and Ph.D. from the University of Florida, in 2010 - all in Computer Science. Prof. Chen is a Senior Member of IEEE, a Senior Member of CCF, and a member of ACM.

Call for Papers:
1：IEEE Real-Time Systems Symposium, (RTSS 2019)
2：International Workshop on System-Level Interconnect Prediction,(SLIP 2019)
3:International Conference on Embedded Software and Systems, 2019.


News:
0: One paper got accepted by SBAC-PAD 2020.
1: One paper got accepted by IEEE Transactions on Cloud Computing.
2: One paper got accepted by EMSOFT 2020.
3: One paper got accepted by JCSC 2020.
4: One paper got accepted by IEEE Transactions on Industrial Informatics 2020.
5: Two papers got accepted by IEEE Transactions on Computers 2020.
6: One paper got accepted by IEEE Transactions on Sustainable Computing2020.
7: Two paper got accepted by DATE 2020.


Current Students:
Ph.D. Students
1：Xinqian Zhang (2015 - )
Publications: IEEE TC 2015, DATE 2016, IEEE TSUSC 2017, JSS 2018, IEEE TCAD 2020
2：Jun Xia (2019 - )
Publications: DAC 2019, EMSOFT 2020， IEEE TR 2020, IEEE TCAD 2020
3：Ming Hu (2019 - )
Publications: DAC 2019, EMSOFT 2020， IEEE TR 2020, IEEE TCAD 2020
4：Tian Liu (2018 - )
Publications: JCSC 2020, IEEE TII 2020, IEEE TR 2020
5: Yutong Ye (2020 - )
Publications:
6: Jieping Ding (2020 - )
Publications:
7: Yang Yu (2020 - )
Publications:


Master Students
1: E Cao (2018-2020)
Publications:ICA3PP 2019, IEEE TSUSC 2020
2: Fan Wei (2018-2020)
Publications: 软件学报 2019
3：Jianning Zhang (2018 - )
Publications: IEEE TC 2020, IEEE TR 2020
5：Wupan Zhao (2019 - )
Publications:
6: Wenqian Zhao (2019 - )
Publications:
7: Hongbin Huang (2019 - )
Publications:
8: Liang Zhou (2019 - )
Publications:
9: Yang Jiao (2019 - )
Pubhlications:
10： Yanyue Ma （2019 - ）
Publications:
11： Fan Zhang （2020 - ）
Publications:
12: Yanhong Fei （2020 - ）
Publications:
13: Yiming Li (2020 - )
Publications:
14: Zekuan Fang (2020 - )
Publications:


Alumini:
PH.D. Students

1：Haifeng Gu (2015 - 2020)
Publications: IEEE TSUSC 2017, DAC 2018, JSA 2018, IEEE TR 2020, IEEE TSUSC 2020, IEEE TC 2020
Employment: Huawei
3：Changjiang Gou (2016 - 2020)
Publications: ICPADS 2018, SBAC-PAD 2020


Master Students
1: Ang Li (2011-2014)
Publications: SERE 2014, CODES+ISSS 2012, CCF 2013
Employment: National Engieering Lab of Embedded Systems
2: Saijie Huang (2012-2015)
Publications: ISVLSI 2013, CCF 2013, BDCloud 2014, IEEE TCC
Awards: National Graduate Scholarship
Employment: SPD Bank
3: Fan Gu (2013-2016)
Publications: VLSID 2014, COMPSAC 2015, DATE 2016, 软件学报 2016
Employment: Agriculture Bank of China
4: Yongxiang Bao (2014-2017)
Publications: IEEE TPDS, 软件学报 2017, IEEE TCAD
Employment: 拍拍贷（ppdai.com）
5: Siyuan Xu (2014-2017)
Publications: 软件学报 2016, QRS2016, JCSC 2016
Awards: National Graduate Scholarship
Employment: PhD student, Purdue, USA
6: Jinzhong Song (2015-2018)
Employment: Alibaba
7: Hongxiang Wang (2015-2018)
Employment: Baidu
8: Tingming Wu (2015-2018)
Publications: ESTC 2017, JSA 2018
Employment: Baidu
9: Bicheng Liu (2015-2018)
Publications: ESTC 2017, ISPA 2017
Awards: National Graduate Scholarship
Employment: UCloud
10: Zishuai Ge (2016-2019)
Publications: IEEE TSUSC 2020
Employment: Sina
11: Fang Tian (2016-2019)
Employment: Hikvision
12: Yunfei Song (2017-2020)
Publications: IEEE TII 2020
Employment: Intel
13: Yongkang Xie (2017-2020)
Employment: Cisco
14: Wenxue Duan (2017-2020)
Publications: EMSOFT 2020
Employment: Huawei
15: Saira Musa (2017-2020)
Publications: ICA3PP 2019
16: Mingli Shao (2018-2020)
Publications: 软件学报 2020
Employment: 猿辅导
17: Lan Jiang (2018-2020)
Publications:

Undergraduate Students
1：Han Zhuang（2013）
Publications: JCSC 2016
2: Daian Yue (2014)
Publications: DATE 2015




开授课程


科研项目


学术成果
Supported By:Natural Science Foundation of China(PI, 2019.1-2022.12, 0.65M RMB)
National key research and development program (Chief PI, 2019.7-2022.6, 17M RMB)
Intel Research Project(PI, 2018.5-2018.12, 52K RMB)
Natural Science Foundation of China (PI, 2017.1-2017.12, 0.16M RMB)
Key Project from Natural Science Foundation of China (PI, 2015.1-2016.12, 1.5M RMB)
Natural Science Foundation of China (PI, 2013.1-2015.12, 0.25M RMB)
Key project from Ministry of Education of Shanghai (PI, 2014.01-2016-12,, 0.16M RMB)
Doctoral Fund of Ministry of Education of China (PI? 2012.1 - 2013.12, 40K RMB)
Open Project of Sw/Hw Co-design Engineering Research Center, Ministry of Education of China(PI? 2013.4 - 2015.12)
Innovation Research Grant from ECNU (PI? 2011.1 - 2012.12, Finished)

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]

Journals
[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, LiLei 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 ofSystems 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, JianmingYan, 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 inJournal 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 inIEEE 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 Chenand 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, andMingsong 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 andJifeng 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 andDistributed 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 inACM 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 inACM 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.zipTools:Tools.zip)
[J7] Mingsong Chen, Xiaoke Qin and Prabhat Mishra. Efficient Learning-Oriented Property Decompositionfor 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 Chenand Prabhat Mishra. Automaitc RTL Test Generation from SystemC TLM Specifications. ACM Transaction on EmbeddedComputing 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 Chenand 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
[C51]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. DesignAutomation 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, MinZhang, 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 forFunctional 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 andTestinEurope? 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 VLSIDesign?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 LevelSpecifications'.Ph.D. Dissertation in University of Florida.[SAT.pdf, SOC.pdf]

中文期刊与杂志
[12] 刘筱珊,袁正恒,陈小红,陈铭松,刘静,周庭梁. 区域控制器的安全需求建模与自动验证方法. 软件学报，录用，2019。
[11] 段文雪, 胡铭, 周琼, 吴庭明, Junlong Zhou, 刘晓, 魏同权, 陈铭松.云计算系统可靠性研究综述. 计算机研究与发展，录用，2019。
[10] 韦璠，宋云飞、胡铭、陈小红、王祥丰、魏同权、陈铭松.基于特征融合和整体多样性的单模型鲁棒性提升方法. 软件学报，录用，2019。
[9] 刘必成, 顾海峰, 陈铭松 ,谷守珍,陈闻杰.一种基于斯格明子介质的高效存内计算框架. 计算机研究与发展，录用，2018。
[8] 陈铭松, 鲍勇翔, 孙海英 ,缪炜恺,陈小红, 周庭梁.基于通信的列车控制系统可信构造：形式化方法研究cbtc_v5.pdf. 软件学报，录用。
[7] 陈铭松，顾璠，徐思远，陈小红. 不确定环境下基于价格时间自动机的智能大厦空调系统调度策略评估. 软件学报,2016,27(3):655-669
[6] 黄赛杰、陈铭松、金乃咏. 一种基于约束求解的Verilog语言静态分析方法. 计算机应用与软件, 2015年第12期.
[5] 覃子姗，顾璠，秦晓科，陈铭松.基于GPU平台的有效字典压缩与解压缩技术2014 Vol. 8 (5): 525-536
[4] 陈铭松 黄赛杰 李昂. CPS研究热点概述. 中国计算机学会通讯, 2013年第7期. CPS.pdf
[3] 陈铭松 赵建华 李宣东 郑国梁 .一种动态消减时间自动机可达性搜索空间的方法. 计算机科学? 2007? 34 (01): 213-218
[2] 邱晓康 陈铭松 王林章 李宣东 郑国梁 . 行为图驱动的Java程序运行时验证工具. 计算机科学? 2007? 34 (12): 273-277
[1] 陈铭松 赵建华 李宣东 郑国梁. 时间自动机可达性分析中的状态空间约减技术综述. 计算机科学? 2006? 33 (06): 1-7

中国专利
[1] 陈铭松，顾璠. 制程变异下基于UPPAAL-SMC的MPSoC任务调度建模与评估方法,2015.1,中国， 5.4，受理
[2] 陈铭松，黄赛杰. 一种基于统计模型检验的UML活动图评估方法,2015.1,中国， 6.9，受理
[3] 陈铭松，黄赛杰.一种云计算中资源分配策略的评估方法，2014.5，中国， 7.8，受理
[4] 陈铭松，李昂.一种基于UML活动图的GUI测试方法，2013.12，中国，6.7， 受理
[5] 陈铭松，黄赛杰，浦戈光. 一种基于时间自动机的软硬件最优划分的可视化方法，中国，9.6，受理




荣誉及奖励


招生信息














10 访问


相关教师