当前位置: X-MOL首页全球导师 国内导师 › 江智浩

个人简介

教育背景 2010-09--2016-06 宾夕法尼亚大学 博士 2008-09--2010-06 宾夕法尼亚大学 硕士 2004-09--2008-06 电子科技大学 工学学士 奖励信息 (1) World Embedded Systems Contest, 一等奖, 其他, 2012 (2) Best Student Paper Award, 一等奖, 其他, 2012 专利成果 ( 1 ) Digital Twin for vehicle risk evaluation, 发明, 2018, 第 2 作者, 专利号: 16/007.693 ( 2 ) Collision Avoidance for a connected vehicle based on a digital behavioral twin, 发明, 2018, 第 1 作者, 专利号: 16/007.796

研究领域

基于模型的软件设计 形式化方法

近期论文

查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

NicolaPaoletti,ZhihaoJiang,MdArifulIslam,etal,“SynthesizingStealthyReprogrammingAttacksonCardiacDevices”,inProceedingsof201910thACM/IEEEInternationalConferenceOnCyber-PhysicalSystems(ICCPS2019),2019. RaghavanSanthanaGopalan,WatanabeKosuke,KangEunsuk,LinChung-Wei,JiangZhihao,ShiraishiShinichi,“Property-drivenruntimeresolutionoffeatureinteractions”,inProceedingsof18thInternationalConferenceonRuntimeVerification(RV2018),2018. KukJang,JamesWeimer,HoussamAbbas,ZhihaoJiang,JacksonLiang,SanjayDixit,RahulMangharam,“ComputerAidedClinicalTrialsforImplantauleCardiacDevices”,inProceedingsof201840thAnnualInternationalConferenceoftheIEEEEngineeringinMedicineandBiologySociety(EMBC),2018. XimingChen,EunsukKang,ShinichiShiraishi,VictorM.PreciadoandZhihaoJiang,“DigitalBehavioralTwinsforSafeConnectedCars”,inProceedingsofACM/IEEE21stInternationalConferenceonModelDrivenEngineeringLanguagesandSystems(Accepted),2018. ZhihaoJiang,HoussamAbbas,PieterJMosterman,RahulMangharam“Automatedclosed-loopmodelcheckingofimplantablepacemakersusingabstractiontrees”,ACMSIGBEDReviewvol.14,issue2,pp.15-23,2017. ZhihaoJiang,HoussamAbbas,KukJinJang,MarcoBeccani,JacksonLiang,SanjayDixit,RahulMangharam“In-silicopre-clinicaltrialsforimplantablecardioverterdefibrillators”,inProceedingsofIEEE38thAnnualInternationalConferenceofEngineeringinMedicineandBiologySociety(EMBC),2016. JiangZhihao,AbbasHoussam,JangKukJin,MangharamRahul,“TheChallengesofHigh-ConfidenceMedicalDeviceSoftware”,COMPUTER,vol.49,issue1,pp.33-41,January2016. AbbasHoussam,JangKukJin,JiangZhihao,MangharamRahul,“Towardsmodelcheckingofimplantablecardioverterdefibrillators”,inProceedingsofthe19thInternationalConferenceonHybridSystems:ComputationandControl,pp.87-92,April11,2016. JiangZhihao,MangharamRahul,“High-confidencemedicaldevicesoftwaredevelopment”,FoundationsandTrendsinElectronicDesignAutomation,vol.9,issue4,pp.309-391,2015. PajicMiroslav,JiangZhihao,LeeInsup,SokolskyOleg,MangharamRahul,“Safety-CriticalMedicalDeviceDevelopmentUsingtheUPP2SFModelTranslationTool”,ACMTransactionsonEmbeddedComputingSystems,vol.13,specialissueSI,articlenumber127,supplement4,July2014. JiangZhihao,PajicMiroslav,AlurRajeev,MangharamRahul,“Closed-loopverificationofmedicaldeviceswithmodelabstractionandrefinement”,InternationalJournalonSoftwareToolsforTechnologyTransfer,vol.16,issue2,pp.191-213,April2014. JiangZhihao,PajicMiroslav,MangharamRahul,“Cyber-PhysicalModelingofImplantableCardiacMedicalDevices”,inProceedingsoftheIEEE,vol.100,issue1,specialIssueSI,pp.122-137,January2012. PajicMiroslav,JiangZhihao,LeeInsup,SokolskyOleg,MangharamRahul,“Fromverificationtoimplementation:Amodeltranslationtoolandapacemakercasestudy”,inProceedingsof18thIEEERealTimeandEmbeddedTechnologyandApplicationsSymposium(RTAS2012),pp.173-184,2012. Jiang,Zhihao;Pajic,Miroslav;Moarref,Salar;Alur,Rajeev;Mangharam,Rahul“Modelingandverificationofadualchamberimplantablepacemaker”ToolsandAlgorithmsfortheConstructionandAnalysisofSystems-18thInt.Conf.,TACAS2012,Publicationyear:2012Pages:188-203. Jiang,Zhihao;Pajic,Miroslav;Mangharam,Rahul“Model-basedclosed-looptestingofimplantablepacemakers”Proceedings-2011IEEE/ACM2ndInternationalConferenceonCyber-PhysicalSystems,ICCPS2011Publicationyear:2011Pages:131-140. Jiang,Zhihao;Pajic,Miroslav;Connolly,Allison;Dixit,Sanjay;Mangharam,Rahul“Real-timeheartmodelforimplantablecardiacdevicevalidationandverification”Proceedings-22ndEuromicroConferenceonReal-TimeSystems,ECRTS2010Publicationyear:2010Pages:239-248

推荐链接
down
wechat
bug