头像

陈铭松

职称: 教授

直属机构:

学科:

相关教师

个人资料

  • 部门: 软件工程学院
  • 性别:
  • 专业技术职务: 教师
  • 毕业院校: University of Florida
  • 学位: 博士
  • 学历: 研究生
  • 联系电话: 02162235116
  • 电子邮箱: mschen@sei.ecnu.edu.cn
  • 办公地址: 数学馆东207
  • 通讯地址: MathBuilding E207, East China Nornal University (Zhongshan Campus)
  • 邮编: 200062
  • 传真:

教育经历

12006.6-2010.6 University of Florida 计算机科学 博士

2:2003.9-2006.6 南京大学 计算机科学与技术 硕士

31999.9-2003.6 南京大学计算机科学与技术 本科


工作经历

1:2021.1 至今    软硬件协同设计与应用教育部工程研究中心  主任

2:2015.12 至今   华东师范大学软件工程学院 教授

3:2010.7-2015.12  华东师范大学软件学院 副教授

个人简介

个人简介(CV.pdf)


陈铭松2003年与2006年分别获得南京大学计算机科学与技术专业本科与硕士学位,2010年获得美国佛罗里达大学计算机博士学位。2010年加入华东师范大学软件学院,2015年获教授职称。主要研究方向为信息物理融合系统设计自动化、芯片形式化验证方法与技术、可信人工智能、智能系统软硬件协同设计与优化。在嵌入式系统与云计算顶级期刊与会议如IEEE TC、IEEE TCAD、IEEE TPDS、CODES+ISSS、DAC、DATE、ECCV、RTSS、IJCAI、ISCA、Neurips上发表论文160余篇,获批软件著作权20余项,申请/获批专利30余项。主持完成包括国家重点研发计划项目与自然科学基金委重点项目在内的省部级项目9项。出版英文专著2部(其中一本被翻译为俄文版本)、中文专著1部、中文教材1本。2009年与2013年曾两次获得国际重要会议“国际VLSI设计大会”与“国际嵌入式大会”最佳论文提名。相关成果获得上海市科技进步特等奖(排名第三)、NASAC青年软件创新奖、上海市教学成果奖二等奖两项(2022排名第一、2017排名第五)。


目前担任SCI期刊Journal of Circuits, Systems and Computers(2013-至今)与IET Computers & Digital Techniques(2015年至今)副主编,担任过国际会议TASE 2021大会共同主席、SLIP 2019程序委员会共同主席、ESWeek 2022本地组织共同主席,以及第20届全国嵌入式系统大会大会主席。目前担任中国计算机协会嵌入式专委会副主任、上海市计算机协会物联网专委会副主任,是中国计算机协会杰出会员、IEEE高级会员、上海计算机协会YOCSEF学术委员(2018-2020副主席、2017-2018学术秘书)、中国计算机学会系统软件专委会与形式化方法专委会委员。担任包括嵌入式著名会议DAC、DATE、MEMOCODE、VLSID、SAC在内的20余个国际会议的技术委员会委员,担任过30余个著名期刊会议的审稿人,以及国家自然科学基金委重点项与面上项目的评阅人。


Biography(CV.pdf)

Mingsong Chen is a full Professor in the Software Engineering Institute (SEI) at the East China Normal University (ECNU). Currently he serves as the director of Engineering Research Center of SW/HW Co-Design and Application, Ministry of Education, China. His research interests include design automation of intelligent cyber physical systems, formal verification of SoC,trustworthy AI, AIoT modeling and verification, cloud/edge computing, computer architecture, and software engineering. 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 Distinguished Member of CCF, and a member of ACM. 


Call for Papers:

1:Embedded Systems Week,(ESweek 2024)

2:International Conference on Embedded and Real-Time Computing Systems and Application,(RTCSA 2024)


社会兼职

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] Local Chair: International Conference on Data Mining (ICDM 2023) 

[2] Co-local Arrangement Chair: Embedded Systems Week (ESWeek 2022) 

[3] Program Chair: 20th National CCF Embedded Systems Techinical Conference (ESTC2022) 

[4] Program Co-Chair: Theoretical Aspects of Software Engineering Conference (TASE 2021) 

[5] Technical Program Co-Chair: International Workshop on System-Level Interconnect Prediction (SLIP 2019) 

[6] Publicity Chair: IEEE Real-Time Systems Symposium (RTSS 2019) 

[7] Publicity Chair: International Conference on Embedded Software and Systems (ICESS 2019) 

[8] Track Chair: International Conference on VLSI Design (VLSID'19)

[9] Organizing Chair: CCF Embedded Systems Technical Conference (ESTC 2016)

[10] Organizing Chair: Microsoft Research Asia-ECNU Verified Software Symposium 2012  


Technical Program Committee Member:

[1] Design Autoamtion Conference (DAC'19-22)

[2] International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'24)

[3] International Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA'19)

[4] International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'19,24) 

[5] International Conference on Formal Methods and Models for System Design (MEMOCODE'18-19)

[6] International Workshop on Advances in IoT Architecture and Systems (AIoTAS'17-19)

[7] National Conference on Formal Methods and Applications (FMAC '16-19)

[8] Design Autoamtion and Test in Europe (DATE'14-16,19-23)

[9] International Conference on VLSI Design (VLSID'14-15,18-19)

[10] ACM Symposium on Applied Computing (SAC'11-23)

[11] Australasian Symposium on Parallel and Distributed Computing (AusPDC17)

[12] Embedded System Technical Conference of CCF (ESTC'16-18).

[13] Microsoft Reasearch Asia Verified Software, 2012.

[14] International Workshop on  Formal methOds for Real-time Distributed Systems (FORDS’12)

[15] International Conference on Contemporary Computing (IC3)‚ 2010.

[16] 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] 计算机学报

 

研究方向

主要研究方向为信息物理融合系统设计自动化、多模态嵌入式计算、可信人工智能、软硬件协同设计与优化、形式化方法与技术、计算机体系结构、物联网技术、智能教育信息技术。


News:

1:One papers got accepted by EMSOFT (TCAD) 2024.

2:One papers got accepted by CODES+ISSS (TCAD) 2024.

3:Two papers got accepted by KDD 2024.

4: Invited to serve on CODES+ISSS 2024 Program Committee. Consider submitting a paper!

5One paper got accepted by ICDE 2024.

6: One paper got accepted by CVPR 2024.

7: Invited to serve on RTCSA 2024 Program Committee. Consider submitting a paper!

8: One paper got accepted by VLDB 2024.

9: One paper got accepted by DAC 2024.

10: One paper got accepted by ICRA 2024.

11: One papers got accepted by ICDE 2024.

12: Three papers got accepted by AAAI 2024.

13: One paper got accepted by IEEE TMC 2024.


Current Students:

Ph.D. Students

1: Yutong Ye (2020 - )

      Publications: ICDE 2024, CVPR 2024, VLDB 2024, IJCAI 2023, IEEE TCAD 2022, JSA 2022, DAC 2021

2: Yang Yu (2020 - )

      Publications: SEKE 2022, CogSci 2024

3: Pengyu Zhang (2021 - )

      Publications: CVPR 2024, AAAI 2024  

4: Yingbo Zhou (2021 - )

      Publications: CVPR 2024, CogSci 2024, IJCAI 2023

5: Yaning Yang(2021 - )

      Publications: AAAI 2024 

6: Xiao Du (2022 - )

      Publications: AAAI 2024, IEEE TCAD 2023, TWC 2022


Master Students

1:Ruixuan Liu(2022 - )

    Publications: 

2: Zeke Xia(2022 - )

    Publications: EMSOFT (TCAD) 2024

3: Nan Zhang (2022 - )

    Publications: ICDE 2024

4: Peiheng Zhou (2022 - )

    Publications: ICDE 2024

5: Yanxing Yang (2022 - )

    Publications:

6: Chengtao Jia (2023 - )

    Publications: DAC 2024, CODES+ISSS (TCAD) 2024

7: Qi Wen (2023 - )

    Publications:

8: Yuyang Wang (2023 - )

    Publications:

9: Dengke Yan (2023 - )

    Publications: EMSOFT (TCAD) 2024

10: Jiahao Wu (2023 - )

    Publications:


Undergraduate Students:

1: Zekai Chen (2024 - )

     Publications: CODES+ISSS (TCAD) 2024

2: Jiawen Weng (2024 - )

     Publications: SEKE 2024

          


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

2:Changjiang Gou (2016 - 2020) 

     Publications: ICPADS 2018, SBAC-PAD 2020

     Employment: Pujiang National Lab

3:Ming Hu (2019 - 2022) 

      Publications: IEEE TCAD 2023 (2 papers), IEEE TC 2023, DAC 2022, RTSS 2021, DAC 2019, EMSOFT 2020, IEEE TR 2020, IEEE TCAD 2020

      Employment: Postdoc NTU

4:Tian Liu (2018 - 2022) 

      Publications: IOTJ 2022, JCSC 2022, JCSC 2020, IEEE TII 2020, IEEE TR 2020

      Employment: Huawei

5:Jun Xia (2019 - 2023 ) 

     Publications: IEEE TCAD 2023, IOTJ 2022, CODES+ISSS (TCAD) 2022, DAC 2022, IJCAI 2022, DAC 2019, IEEE TCAD 2020

6:Xinqian Zhang (2015 - 2024)

     Publications: IEEE TC 2015, DATE 2016, IEEE TSUSC 2017, JSS 2018, IEEE TCAD 2020

7: Jieping Ding (2020 - 2024)

      Publications: ACM CSUR 2023, IEEE TCAD 2022, IJCAI 2022




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:

18: E Cao (2018-2020)

     Publications: IEEE TCAD 2023, IEEE TCC 2022, ICA3PP 2019, IEEE TSUSC 2020

      Employment: Intel

19: Fan Wei (2018-2020)

     Publications: 软件学报 2019

      Employment: Meituan

20:Jianning Zhang (2018 - 2022) 

     Publications: IEEE TC 2020, IEEE TR 2020

      Employment: 美亚柏科 

21:Wupan Zhao (2019 - 2022)

       Publications: JSA 2022

       Employment: Meituan

22: Wenqian Zhang (2019 - 2022)

       Employment: 公务员

23: Hongbin Huang (2019 - 2022)

       Publications: IEEE TCAD 2023

      Employment: Huawei

24: Liang Zhou (2019 - 2022)

       Employment: Zoom

25: Yang Jiao (2019 - 2022)

       Employment: 红桃K软件

26:Yanyue Ma (2019 - 2022)

       Employment: Zoom

27: Fan Zhang (2020 - 2023)

    Publications: CIKM 2022, JCSC 2022

     Employment: 拼多多

28: Yanhong Fei (2020 - 2023)

    Publications: SSCI 2022

     Employment: Byte Dance

29: Yiming Li (2020 - 2023)

    Publications: CASES 2022

     Employment: 芯原科技

30: Zekuan Fang (2020 - 2023)

    Publications: CIKM 2022,JSCS 2022

     Employment: 浙江大学读博

31:Jiali Wang(2021 - 2024)

    Publications: ICPADS 2023

32: Yi Zhang(2021 - 2024)

    Publications: 

33: Zhiwei Ling (2021 - 2024)

    Publications: ISPA 2023, IOTJ 2022, ESWeek 2022

34: Zhihao Yue (2021 - 2024)

    Publications: ACM MM 2023



招生与培养

开授课程

科研项目

Supported By:

  • Natural Science Foundation of China (PI, 2023.1-2026.12, 0.54M RMB)

  • 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]

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

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

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

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


Journals

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Conferences & Workshops

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[C7] Mingsong Chen‚ Xiaoke Qin and Prabhat Mishra‚ Efficient Decision Ordering Techniques for SAT-based Test Generation‚ Design Automation and Test in  Europe‚ pages 495-490‚ Dresden‚ Germany‚ 2010. (PPT: date2010.pdf)
[C6] Xiaoke Qin‚ Mingsong Chen and Prabhat Mishra‚ Synchronized Generation of Directed Tests using Satisfiability Solving‚International Conference on VLSI Design‚ Bangalore‚ India‚ January 3-7‚ 2010.
[C5] Prabhat Mishra and Mingsong Chen. Efficient Techniques for Directed Test Generation using Incremental Satisfiability.  International Conference on VLSI Design‚ 2009. (Nominated for best paper award)  [ppt: vlsi09.pdf]
[C4] Mingsong Chen*‚ Prabhat Mishra and Dhrubajyoti Kalita. Coverage-driven Automatic Test Generation for UML Activity Diagrams.ACM Great Lakes Symposium on VLSI (GLSVLSI)‚ 2008. [ppt]
[C3] Mingsong Chen*‚ Prabhat Mishra and Dhrubajyoti Kalita. Towards RTL Test Generation from SystemC TLM Specifications.IEEE International High Level Design Validation and Test Workshop (HLDVT)‚ 2007.
[C2] Jeeyoung Kim‚ Yi Du‚ Mingsong Chen‚ Ahmed Helmy. Comparing Mobility and Predictability of VoIP and WLAN Traces. CRAWDAD Workshop 2007 (Co-located with MobiCom). Montréal‚ Canada‚ September‚ 2007 [ppt: jeeyoung_crawdad_v3.ppt]

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


Dissertations

中文期刊与杂志

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

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

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

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

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

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



中国专利

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

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

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

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

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


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


荣誉及奖励

荣誉与科研获奖

1:上海市计算机学会青年科技英才奖 2022

2:紫江优秀青年学者2020

3:NASAC青年软件创新奖 2020

4:上海市人才基金  2020

5:上海市科技进步特等奖(排名第三) 2019



教学获奖

1:中国信工传媒集团优秀出版物(专业类三等奖)2023

2:华东师范大学研究生教育卓越育人奖(优秀导师将)2023

3:华东师范大学研究生教育卓越育人奖(优秀教学奖,排名第二) 2023

4:华东师范大学研究生教学成果奖(特等奖,排名第二)2023

5:上海市计算机学会教学成果二等奖(排名第二) 2022

6:高等教育(研究生)上海市优秀教学成果二等奖(排名第一)  2022

7:高等教育(研究生)上海市优秀教学成果二等奖(排名第五)  2017

8:华东师范大学研究生教学成果一等奖(排名第一)  2022

9:华东师范大学研究生教学成果奖 2017

10:华东师范大学青年教学竞赛,三等奖,2016



学生竞赛获奖

0: 中国“互联网+”大学生创新创业大赛,上海市银奖,2023

1: 第十四届中国大学生服务外包创新创业大赛(创业实践类)全国二等奖,2023

2:第十八届“挑战杯”全国大学生课外学术科技作品竞赛“黑科技”专项赛,二等奖,2023

3:中国研究生机器人创新设计大赛,二等奖,2023

4:国大学生计算机系统能力培养大赛龙芯杯全国总决赛优秀教师奖,2019,2020,2022

5:指导研究生获得华为杯杯全国大学生物联网设计大赛全国总决赛,三等奖,2022

6:指导研究生获得华为杯杯全国大学生物联网设计大赛华东赛区,一等奖,2022

7:指导本科生获全国大学生计算机系统能力培养大赛龙芯杯总决赛三等奖2020

8:指导研究生获华为杯全国研究生数学建模竞赛,二等奖,2020

9:指导本科生获全国大学生计算机系统能力培养大赛龙芯杯总决赛二等奖2019

10:上海市教学成果奖(排名前五)等奖,2017

11:指导研究生获得TI杯全国大学生物联网设计大赛,一等奖,2017

12:指导研究生获得TI杯全国大学生物联网设计大赛华东赛区等奖,2017

13:指导研究生获得全国大学生云计算大赛,等奖,2017