头像

Mingsong Chen

Career:

Organization:

Discipline:

Related to the teacher

About

  • Department: Software Engineering Institute
  • Gender: male
  • Post: 200062
  • Graduate School: University of Florida
  • Degree: Ph.D.
  • Academic Credentials:
  • Tel: 021-62235116
  • Email: mschen@sei.ecnu.edu.cn
  • Office: Room E207, Math Building
  • Address: 3663 Zhongshan North Road, Putuo District, Shanghai China 200062
  • PostCode:
  • Fax:

Education

WorkExperience

Resume

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.



Other Appointments

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


Technical Program Committee Member:

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

[2] National Conference on Formal Methods and Applications (FMAC '16-18)

[3] Design Autoamtion and Test in Europe (DATE'14-16)

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

[5] ACM Symposium on Applied Computing (SAC'11-18)

[6] Australasian Symposium on Parallel and Distributed Computing (AusPDC 17

[7] Embedded System Technical Conference of CCF (ESTC'16-17).

[8] Microsoft Reasearch Asia Verified Software, 2012.

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

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

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



Research Fields

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.



News:

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

2: One papers got accepted by ICDE 2024.

3: One paper got accepted by CVPR 2024.

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

5: One paper got accepted by VLDB 2024.

6: One paper got accepted by DAC 2024.

7: One paper got accepted by ICRA 2024.

8: One papers got accepted by ICDE 2024.

9: Three papers got accepted by AAAI 2024.

10: 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: Jieping Ding (2020 - )

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

3: Yang Yu (2020 - )

      Publications: SEKE 2022

4: Pengyu Zhang (2021 - )

      Publications: CVPR 2024, AAAI 2024  

5: Yingbo Zhou (2021 - )

      Publications: CVPR 2024

6: Yaning Yang(2021 - )

      Publications: AAAI 2024 

7: Xiao Du (2022 - )

      Publications: AAAI 2024, IEEE TCAD 2023, TWC 2022


Master Students

1:Ruixuan Liu(2022 - )

    Publications: 

2: Zeke Xia(2022 - )

    Publications: 

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

7: Qi Wen (2023 - )

    Publications:

8: Yuyang Wang (2023 - )

    Publications:

9: Dengke Yan (2023 - )

    Publications:

10: Jiahao Wu (2023 - )

    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

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 - )

     Publications: IEEE TC 2015, DATE 2016, IEEE TSUSC 2017, JSS 2018, IEEE TCAD 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:

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





Enrollment and Training

Course

Scientific

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)


Academic Achievements



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 KalitaEfficient Automatic Test Generation for Validation of UML Activity Diagram.Design Automation for Embedded Systems‚ vol. 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

[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



中文期刊与杂志
          [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,中国, 201510005475.4,受理

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

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

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

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



Honor