MingsongChen
AssociateProfessor
软件学院
MASTEmbeddedSystemsLab
联系电话：+862162235306
办公时间：
传真：
主页网址：
办公地点：
电子邮箱：mschen@sei.ecnu.edu.cn
通讯地址：MathBuildingEast201,EastChinaNornalUniversity(ZhongshanCampus)
研究方向
ResearchInterests:
Modeling,Analysis,SimulationandTestingofEmbeddedSystems(MAST),Cyber-PhysicalSystems‚SoftwareAnalysisandTesting‚FormalVerification‚SAT
1：Prof.Chen'spapergotBestPaperNominationinInternationalConferenceonVLSIDesign,2013.
3:Ang'spapergotacceptedbyCODES+ISSS,2012.
社会兼职
u国际会议程序委员
[1]InternationalWorkshoponFormalmethOdsforReal-timeDistributedSystems(FORDS’12)
[2]InternationalConferenceonContemporaryComputing(IC3)‚2010.
[3]ACMSymposiumonAppliedComputing(SAC)‚2011‚2012,2013.
[4]InternationalConferenceonFormalEngineeringMethods(ICFEM)‚2010.
[5]MicrosoftReasearchAsiaVerifiedSoftware,2012
u会议与期刊审稿人
[1]InternationalConferenceonHardware/SoftwareCodesignandSystemSynthesis(CODES+ISSS)‚2007‚2008‚2009,2012.
[2]InternationalConferenceonVLSIDesign(VLSIDesign)‚2007‚2008‚2009‚2010
[3]ACMGreatLakesSymposiumonVLSI(GLSVLSI)‚2009
[4]IEEEComputerSocietyAnnualSymposiumonVLSI(ISVLSI)‚2009
[5]DesignAutomationConference(DAC)‚2009‚2010‚2011
[6]AsiaandSouthPacificDesignAutomationConference(ASP-DAC)‚2010.
[7]DesignAutomation&TestinEurope(DATE)‚2010
[8]TheInternationalConferenceonComputer-AidedDesign(ICCAD),2012
[8]JournalofElectronicTesting
[9]VLSIDesign
[10]IEEEDesign&TestofComputers
[11]IEEETransactionsonComputers
[12]FrontiersofComputerScienceinChina
学术成果
SupportedBy:
- InnovationResearchGrantfromECNU(PI?2011.1-2012.12)
- DoctoralFundofMinistryofEducationofChina(PI?2012.1-2013.12)
- NaturalScienceFoundationofChina(PI,2013.1-2015.12)
Books&BookChapters
[B1]MingsongChen?XiaokeQin,Heon-moKoo,andPrabhatMishra..System-LeveLValidation:High-LevelModelingandDirectedTestGenerationTechniques.Springer,2012.(ISBN:978-1-4614-1358-5)
Journals
[J7]MingsongChenandPrabhatMishra.EfficientPropertyDecompositionTechniquesforAutomatedDirectedTestGeneration.SubmittedtoACMTransactionsonDesignAutomationofElectronicSystems.
[J6]ZhengWang,GeguangPu,JianwenLi,YuxiangChen,YongxinZhao,MingsongChen,BinGu,JifengHE.AnApproachtoRequirementAnaysisforPeriodicControlSystems.ToappearinFrontiersofComputerScienceinChina.
[J5]MingsongChenandPrabhatMishra.AutomaitcRTLTestGenerationfromSystemCTLMSpecifications.ACMTransactiononEmbeddedComputingSystems,vol.11(2),38,2012.
[J4]MingsongChenandPrabhatMishra.PropertyLearningTechniquesforEfficientGenerationofDirectedTests.IEEETransactionsonComputers?vol.60(6)?852-864?2011.
[J3]MingsongChen?PrabhatMishraandDhrubajyotiKalita.EfficientAutomaticTestGenerationforValidationofUMLActivityDiagram.DesignAutomationforEmbeddedSystems?vol.14(2)?105-130?2010.
[J2]MingsongChenandPrabhatMishra.EfficientSAT-basedTestGenerationusingPropertyClustering.IEEETransactionsonComputer-AidedDesignofIntegratedCircuitsandSystems?vol.29(3)?396-404?2010.
[J1]MingsongChen?XiaokangQiu?WeiXu?LinzhangWang?JianhuaZhao?XuandongLi.UMLActivityDiagramBasedAutomaticTestCaseGenerationforJavaPrograms.InTheComputerJournal?OxfordPress?vol52(5)?545-556?2009.
Conferences&Workshops
[C12]MingsongChenandPrabhatMishra.Assertion-BasedFunctionalConsistencyCheckingbetweenTLMandRTLModels.InternationalConferenceonVLSIDesign?Pune?India?2013.(Nominatedforbestpaperaward)
[C11]AngLiandMingsongChen.EfficientSelf-learningTechniquesforSAT-basedTestGeneration.InProceedingsoftheInternationalConferenceonHardware/SoftwareCodesignandSystemSynthesisesign(CODES+ISSS).Pages-?2012.
[C10]XiaohongChenandMingsongChen.ExtendingtheFour-VariableModelforCyber-PhysicalSystems.ISORCworkshop,31-36,2012.
[C9]MingsongChenandPrabhatMishra.DecisionOrderingBasedPropertyDecompositionforFunctionalTestGeneration.Design?AutomationandTestinEurope?DATE.Pages-?Grenoble?France?14-18March?2011.
[C8]MingsongChen.EfficientApproachesForFunctionalValidationofSOCDesignsUsingHigh-LevelSpecifications?DesignAutomationConference,PHDForum?2010.
[C7]MingsongChen?XiaokeQinandPrabhatMishra?EfficientDecisionOrderingTechniquesforSAT-basedTestGeneration?DesignAutomationandTestinEurope?pages495-490?Dresden?Germany?2010.
[C6]XiaokeQin?MingsongChenandPrabhatMishra?SynchronizedGenerationofDirectedTestsusingSatisfiabilitySolving?InternationalConferenceonVLSIDesign?Bangalore?India?January3-7?2010.
[C5]PrabhatMishraandMingsongChen.EfficientTechniquesforDirectedTestGenerationusingIncrementalSatisfiability.InternationalConferenceonVLSIDesign?2009.(Nominatedforbestpaperaward)
[C4]MingsongChen?PrabhatMishraandDhrubajyotiKalita.Coverage-drivenAutomaticTestGenerationforUMLActivityDiagrams.ACMGreatLakesSymposiumonVLSI(GLSVLSI)?2008.
[C3]MingsongChen?PrabhatMishraandDhrubajyotiKalita.TowardsRTLTestGenerationfromSystemCTLMSpecifications.IEEEInternationalHighLevelDesignValidationandTestWorkshop(HLDVT)?2007.
[C2]JeeyoungKim?YiDu?MingsongChen?AhmedHelmy.ComparingMobilityandPredictabilityofVoIPandWLANTraces.CRAWDADWorkshop2007(Co-locatedwithMobiCom).Montréal?Canada?September?2007
[C1]MingsongChen?XiaokangQiu?XuandongLi.AutomaticTestCaseGenerationforUMLActivityDiagrams.FirstInternationalWorkshoponAutomationonSoftwareTest(AST).pages2-8?Shanghai?May?2006
Dissertations
[1]"EfficientApproachesforFunctionalValidationofSoCDesignusingHighLevelSpecifications".Ph.D.DissertationinUniversityofFlorida.
Others
[1]陈铭松赵建华李宣东郑国梁.一种动态消减时间自动机可达性搜索空间的方法.计算机科学?2007?34(01):213-218
[2]邱晓康陈铭松王林章李宣东郑国梁.行为图驱动的Java程序运行时验证工具.计算机科学?2007?34(12):273-277
[3]陈铭松赵建华李宣东郑国梁.时间自动机可达性分析中的状态空间约减技术综述.计算机科学?2006?33(06):1-7
