华东师范大学--陈铭松

陈铭松
Associate Professor Mingsong Chen
软件学院
Computing Theory Institute

联系电话：+86 32204750-129

传真：

办公地点：

通讯地址：

Math Building East 211, East China Nornal University (Zhongshan Campus)

办公时间：

主页网址：

电子邮箱：

mschen@sei.ecnu.edu.cn

Research Interests:

Cyber-Physical Systems‚ Embedded Systems‚ SW/HW Codesign‚ High Level Specification Modeling and Validation‚ Software Analysis and Testing‚ Formal Verification‚ SAT

Supported By:

Innovation Research Grant from ECNU (PI‚ 2011.1 - 2012.12)
Doctoral Fund of Ministry of Education of China (PI‚ 2012.1 - 2013.12)

News:

1: CALL For Papers: International Workshop on Formal methOds for Real-time Distributed Systems (FORDS’12)‚ Shenzheng‚ China‚ April 2012

2: CALL For Papers: 27thACM Symposium on Applied Computing‚ Trento‚ Italy‚ March 2012

u 国际会议程序委员

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

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

[3] ACM Symposium on Applied Computing (SAC)‚ 2011‚ 2012.

[4] International Conference on Formal Engineering Methods (ICFEM)‚ 2010.

u 会议与期刊审稿人

[1] International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)‚ 2007‚ 2008‚ 2009.

[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‚ 2010‚ 2011

[6] Asia and South Pacific Design Automation Conference (ASP-DAC)‚ 2010.

[7] Design Automation & Test in Europe (DATE)‚ 2010

[8] Journal of Electronic Testing

[9] VLSI Design

[10] IEEE Design & Test of Computers

[11] IEEE Transactions on Computers

Publications [Citations]
       Books
       [1] Mingsong Chen‚ Xiaoke Qin‚ Heon-mo Koo and Prabhat Mishra. System-Level Validation: High-Level Modeling
       and Directed Test Generation Techniques. Springer. To appear in Dec. 2012.

Journals

[1] Lei Zhou‚ Mingsong Chen‚ Geguang Pu‚ Jifeng He‚ Zongyan Qiu. Efficient Pruning Techniques for Resource Constrained

Scheduling of High-Level Synthesis. Under review.

[2] Mingsong Chen and Prabhat Mishra. Efficient Property Decomposition Techniques for Automated Directed Test Generation.
Under review.

[3] Mingsong Chen and Prabhat Mishra. Automaitc RTL Test Generation from SystemC TLM Specifications. Accept to appear in ACM Transaction on Embedded Computing Systems.

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

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

[6] 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.

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

[1] 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.

[2] 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.

[3] 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.

[4] 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)

[5] Mingsong Chen‚ Prabhat Mishra and Dhrubajyoti Kalita. Coverage-driven Automatic Test Generation for UML Activity Diagrams. ACM Great Lakes Symposium on VLSI (GLSVLSI)‚ 2008.

[6] 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.

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

[8] 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

Dissertations

[1] "Efficient Approaches for Functional Validation of SoC Design using High Level Specifications". Ph.D. Dissertation in University of Florida.

Others

[1] 陈铭松赵建华李宣东郑国梁 . 一种动态消减时间自动机可达性搜索空间的方法. 计算机科学‚ 2007‚ 34 (01): 213-218

[2] 邱晓康陈铭松王林章李宣东郑国梁 . 行为图驱动的Java程序运行时验证工具. 计算机科学‚ 2007‚ 34 (12): 273-277

[3] 陈铭松赵建华李宣东郑国梁. 时间自动机可达性分析中的状态空间约减技术综述. 计算机科学‚ 2006‚ 33 (06): 1-7