王瑞 - 首都师范大学 - 信息工程学院

个人简介

个人简介王瑞，首都师范大学信息工程学院教授。2012毕业于清华大学计算机科学与技术系，获得计算机科学与技术工学博士学位。研究成果在国际顶级会议ICSE、EMSOFT、ICRA、A类顶级期刊TC、SCI1区期刊TII上发表，累计发表论文40余篇。主持国家自然科学基金2项，北京市教委、阿里达摩院等项目。工作经历 2019.01-今：首都师范大学，教授 2016.01-2018.12：首都师范大学，副教授 2012.07-2015.12：首都师范大学，讲师 2016.11-2017.11：美国波特兰州立大学，访问学者教育经历 2004.9-2012.7:清华大学，计算机科学与技术工学博士 2000.9-2004.7:西安交通大学，计算机科学与技术工学学士科研项目 [主持]国家自然科学基金面上项目：形式模型驱动的人机协作机器人设计与验证方法研究，2019-2022，60万 [主持]国家自然科学基金青年项目：基于概率时间自动机的移动机器人运动规划方法研究，2014-2016，23万 [主持]北京市教委面上项目：动态环境下基于MDP的机器人路径规划研究，2015-2017，15万 [主持]中思博安横向项目：区块链安全测评技术，201811-201911，15万 [主持]电子科技大学合作课题：采集控制与波形存储软件测试与验证，201808-201908，9.6万 [COPI]阿里达摩院项目：基于业务特征的Linux内核测试模型，2018-2019，50万

研究领域

机器人安全验证、形式化方法和信息物理系统。

近期论文

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

期刊 RuiWang,YingxiaWei,HoubingSong,YuJiang,YongGuan,XiaoyuSong,XiaojuanLi:FromOfflineTowardsReal-TimeVerificationforRobotSystems.IEEETrans.IndustrialInformatics14(4):1712-1721(2018)(SCIIF5.430) RuiWang,YongGuan,HoubingSong,XinxinLi,XiaojuanLi,ZhipingShi,XiaoyuSong.AFormalModel-BasedDesignMethodforRoboticSystems.IEEESystemJournal,DOI:10.1109/JSYST.2018.2867285,2018.(SCI,IF4.337) RWang，WNNHung，GYang，XSong.UncertaintyModelforConfigurableHardware/SoftwareandResourcePartitioning.IEEETransactionsonComputers,Volume65，No.10,Oct.2016,PP,3217-3223,SCI,(SCI，JCR-Q1，CCF-A) KangYang（研究生）,RuiWang（通信作者）,YuJiang,HoubingSong,ChenxiaLuo,YongGuan,XiaojuanLi,ZhipingShi:Sensorattackdetectionusinghistorybasedpairwiseinconsistency.FutureGenerationComp.Syst.86:392-402(2018)(SCIIF4.639) JiangY,LiuH,SongH,KongH,WangR（通信作者）,GuanY,ShaLiu,Safety-AssuredModel-DrivenDesignoftheMultifunctionVehicleBusController[J].IEEETransactionsonIntelligentTransportationSystems,Volume:19,Issue:10,Oct.2018.(SCIIF4.051) JiangY,SongH,WangR（通信作者），etal.Data-centeredruntimeverificationofwirelessmedicalcyber-physicalsystem[J].IEEETransactionsonIndustrialInformatics,2017,13(4):1900-1909.(SCIIF5.430) 会议论文 ChenxiaLuo（研究生）,RuiWang（通信作者）,YuJiang,KangYang,YongGuan,XiaojuanLi,ZhipingShi:RuntimeVerificationofRobotsCollisionAvoidanceCaseStudy.COMPSAC2018:PP.204-212(CCF-C) KangYang（研究生）,RuiWang（通信作者）,YuJiang,ChenxiaLuo,YongGuan,XiaojuanLi,ZhipingShi.EnhancedResilientSensorAttackDetectionUsingFusionIntervalandMeasurementHistory.EMSOFT2018.September30-October5,2018,Italy.(CCF-B) XinxinLi（研究生）,RuiWang（通信作者），YuJing,YongGuan,XiaojuanLi,XiaoyuSong.FormalModelingandAutomaticCodeSynthesisforRobotSystem.ICECCS2017,2017.11.9-14,Japan.(CCF-C) YuJiang,HanLiu,HuiKong,RuiWang,MohammadHosseini,JiaguangSunandLuiSha:"UseRuntimeVerificationtoImprovetheQualityofMedicalCarePractice",ACM/IEEE38thInternationalConferenceonSoftwareEngineering(ICSE):112-122,May14-22,AustinUSA,2016.(CCF-A)

学术兼职

中国计算机学会形式化专委委员，IEEE会员，ISO国际服务机器人标准化工作组（ISO/TC184/SC2/WG6）专家。曾担任ICST2019软件大赛主席，ICRA2014、COMPSAC2018分会场主席。