个人简介
朱雪阳女中国科学院软件研究所
招生信息
软件工程(083500)
计算机软件与理论(081202)
招生方向
嵌入式系统设计,形式化方法
科研项目
（1）同步数据流模型优化研究,主持,自然科学基金面上项目,2016-01--2019-12
（2）度量区间时序逻辑MITL的模型检测与控制器合成,参与,自然科学基金面上项目,2015-01--2018-12
（3）动态数据结构的形状性质与数据约束：基于分离逻辑的自动分析与验证,参与,自然科学基金面上项目,2015-01--2018-12
BookChapters
18.Xue-YangZhu,WenhuiZhang,GuangyuanLi,YiLv,andHuiminLin.ReportonAdvancesinModelChecking.ReportonAdvancesinComputerScienceandTechnology(2011-2012).ISBN：9787504660206,ChinaScienceandTechnologyPress,2012.PP169-186.(inChinesewithEnglishabstract)(pdf)
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
1.Xue-YangZhu.AModel-BasedPerformanceAnalysisFrameworkforEmbeddedSystems.JournalofSoftware,2016,27(Suppl.(2)):328−335(inChinesewithEnglishabstract).(pdf)
2.Xue-YangZhu,MarcGeilen,TwanBasten,andSanderStuijk.Multi-ConstraintStaticSchedulingofSynchronousDataflowGraphsviaRetimingandUnfolding.IEEETrans.onComputer-AidedDesignofIntegratedCircuitsandSystems.2016,35(6):905-918，.(pdf,doi).
3.Xue-YangZhu,TwanBasten,MarcGeilen,andSanderStuijk.EfficientRetimingofMultirateDSPAlgorithms.IEEETrans.onComputer-AidedDesignofIntegratedCircuitsandSystems,2012,31(6):831-844.(pdf,doi).
4.JianZhang,WenhuiZhang,NaijunZhan,YidongShen,HaimingChen,YunquanZhang,YongjiWang,EnhuaWu,HonganWang,XueyangZhu.BasicresearchincomputerscienceandsoftwareengineeringatSKLCS.FrontiersofComputerScienceinChina.2008,2(1):1-11.(pdf,doi)
5.XueyangZhu.TheDualSoftwareArchitectureDescriptionFrameworkXYZ/ADL.ComputerResearchandDevelopment,2007,44(9):1485-1494.(inChinesewithEnglishabstract)(pdf)
6.Xue-YangZhu,andZhi-SongTang.CompositionalSemanticsandRefinementofStatecharts.JournalofSoftware,2006,17(4):670-681.(inChinesewithEnglishabstract)(pdf)
7.Xue-YangZhu,andZhi-SongTang.AtemporallogicsemanticsforUMLactivitydiagrams.JournalofComputerResearchandDevelopment,2005,42(9):1478-1484.(inChinesewithEnglishabstract)(pdf)
8.Xue-YangZhu,andZhi-SongTang.Atemporallogic-basedsoftwarearchitecturedescriptionlanguageXYZ/ADL.JournalofSoftware,2003,14(4):713-720.(inChinesewithEnglishabstract)(pdf)9.Yu-LeiGu,Xue-YangZhu,GuangquanZhang,YifanHe.ParetoOptimalSchedulingforSynchronousDataFlowGraphsonHeterogeneousMultiprocessor.InProc.Ofthe21stInternationalConferenceonEngineeringofComplexComputerSystems(ICECCS2016).Dubai,UAE,6-8Nov.,2016.(pdf,doi)
10.Yu-LeiGu,Xue-YangZhuandGuangquanZhang.ParetoOptimalSchedulingofSynchronousDataFlowGraphsviaParallelMethods.InProc.Ofthe1stInternationalSymposiumonDependableSoftwareEngineering:Theories,ToolsandApplications(SETTA2015).Nanjing,China,4-6Nov.,2015.LNCS,vol.9409,pp.217-223.(pdf,doi)
11.Xue-YangZhu,RongjieYan,Yu-LeiGu,JianZhang,WenhuiZhangandGuangquanZhang.StaticOptimalSchedulingforSynchronousDataFlowGraphswithModelChecking.InProc.Ofthe20thInternationalSymposiumonFormalMethods(FM2015).Oslo,Norway,24-26June,2015.LNCS,vol.9109,pp.551–569,2015.(pdf,doi)
12.Yu-LeiGu,Xue-YangZhu,RongjieYanandGuangquanZhang.ParetoOptimizationandSchedulingofSynchronousDataflowGraphsonaHeterogeneousMulticorePlatform.10thNationalAnnualConferenceonHighPerformanceComputing(HPCChina2014).Guangzhou,China.6-8Nov.,2014.(inChinesewithEnglishabstract)
13.YeshengChai,Xue-YangZhu,RongjieYan,andGuangquanZhang.MARTEModelsbasedSystemReliabilityPrediction.13thNationalSoftwareApplicationConference(NASAC2014).Guilin,China,7-9,Nov.,2014.(inChinesewithEnglishabstract)
14.GaogaoYan,Xue-YangZhu,RongjieYan,andGuangyuanLi.FormalThroughputandResponseTimeAnalysisofMARTEModels.InProc.ofthe16thInternationalConferenceonFormalEngineeringMethods(ICFEM2014),LNCS,vol.8829,pages430-445,Luxembourg,3-7November,2014.(pdf,doi)
15.Xue-YangZhu,MarcGeilen,TwanBasten,andSanderStuijk.Memory-ConstrainedStaticRate-OptimalSchedulingofSynchronousDataflowGraphsviaRetiming.InProc.Ofthe17thDesign,AutomationandTestinEurope(DATE2014),Dresden,Germany,24-28March,2014.(pdf,doi)
16.Xue-YangZhu，MarcGeilen,TwanBasten,andSanderStuijk.StaticRate-OptimalSchedulingofMultirateDSPAlgorithmsviaRetimingandUnfolding.InProc.Ofthe18thIEEEReal-TimeandEmbeddedTechnologyandApplicationsSymposium(RTAS2012,partofCPSWeek2012),pages109-118.Beijing,China,16-19April2012.(pdf,doi)
17.Xue-YangZhu.RetimingMulti-RateDSPAlgorithmstoMeetReal-TimeRequirement,InProc.Ofthe13thDesign,AutomationandTestinEurope(DATE2010),pages1785-1790.Dresden,Germany,8-12March,2010.(pdf,doi)
京公网安备 11010802027423号