删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
西北工业大学计算机学院导师教师师资介绍简介-董云卫
本站小编 Free考研考试/2021-06-29
相册
基本信息 The basic information
董云卫
计算机学院
博士研究生毕业
博士
教授
计算机科学与技术
综合介绍 General Introduction
董云卫博士,西北工业大学计算机学院教授,博士生导师,西安市大学生创业导师,IEEE可靠性性协会执委会委员、西安分会主席。1991年毕业于哈尔滨工业大学数学系,1994年于哈尔滨工业大学获得硕士学位,2004年于西北大学获得软件工程博士学位。2006年至2007年间在澳大利亚Swinbourne科技大学从事博士后研究工作,与T.Y.Chen教授合作开展嵌入式软件测试研究。主要研究方向:AI嵌入系统构造与验证、系统架构模型设计与分析理论、信息物理融合系统、软件测试。曾任航天科工集团第210研究所工程师、西安协同软件股份有限公司总工程师、西安协同数码股份有限公司总工程师、西安软件工程中心总工程师。目前主持和参加国家自然基金、国家863计划、国防预研、国家高新技术产业化专项计划、国家“核高基”专项计划等近10多项课题,发表学术论文近近百篇,出版专著2部。
荣誉获奖 Awards Information
2000年获首届“陕西省十大软件行业****”,2001年获首届“中国软件行业****”提名。
2009年陕西省科技成果三等1奖项: SyNPU企业服务总线
2011年国防科技成果三等奖1项:网络化嵌入式系统开发运行平台
科学研究 Scientific Research
Selected publications
1.Xiaomin Wei, Yunwei Dong, Pengpeng Sun, and Mingrui Xiao. Safety analysis of AADL models for grid cyber-physical systems via model checking of stochastic games. Electronics, 8(2):212, 2019.
2.Xiaomin Wei, Yunwei Dong, Xuelin Li, W. Eric Wong: Architecture-level hazard analysis using AADL. Journal of Systems and Software, vol. 137, pp. 580- 604, 2018.
3.Dong Y, He Y, Lu Y, et al. A Model Driven Approach for Device Driver Development, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS2017), 2017: 122-129.
4.Tingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Lau, Fei-Ching Kuo and Sebastian Ng. Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence. In Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods( ICFEM 2017),November 2017.
5.Dave Towey,Yunwei Dong,Chang-ai Sun,Tsong Yueh Chen: Metamorphic testing as a test case selection strategy.SCIENCE CHINA Information Sciences59(5):050108:1-050108:2(2016)
6.Ehsan Ahmad, Yunwei Dong, Brian Larson, JiDong Lü, Tao Tang, NaiJun Zhan, Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL, Science China Information Sciences, v 58, n 11, September 25, 2015.
Ehsan Ahmad, Yunwei Dong,Shuling Wang,Naijun Zhan,Liang Zou, Adding formal meanings to AADL with Hybrid Annex, Lecture Notes in Computer Science, v 8997, p 228-247, 2015.
7.葛永琪, 董云卫, 张健, 顾斌. “一种能量收集嵌入式系统自适应调度算法”. 软件学报, 2015, 26(4): 819-834.
8.顾斌,董云卫,王政,面向航天嵌入式软件的形式化建模方法,软件学报, 2015,26(2):321?331.
9.Xiaomin Wei, Yunwei Dong, Hong YE, QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model, 10.The9thTheoretical AspectsofSoftwareEngineeringConference (TASE), 2015.
Yunwei Dong, Zhe Li, Dave Towey. On the Relationship between Model Coverage and Code Coverage using MATLAB’s Simulink. 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2015, 213-218.
11.Gu Bin, Yunwei Dong and Xiaomin Wei. "A Qualitative Safety Analysis Method for AADL Model."The 8th Software Security and Reliability-Companion (SERE-C), 2014.
12.Yongqi Ge, Yunwei Dong and Hongbing Zhao. "An energy management strategy for energy-sustainable Cyber-physical system."The 9th Computer Science & Education (ICCSE), 2014.
13.Yu Zhang, Yunwei Dong and Fei Xie. "Bounded Model Checking of Hybrid Automata Pushdown System."The 14th International Conference on Quality Software (QSIC), 2014.
14.Yongqi Ge, Yunwei Dong and Hongbing Zhao. Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems.Theoretical Aspects of Software Engineering Conference (TASE), 2014.
Xiaomin Wei, Yunwei Dong, Mengmeng Yang, et al. "Hazard analysis for AADL model."The 20th Embedded and Real-Time Computing Systems and Applications (RTCSA), 2014.
15.Ehsan Ahmad,Yunwei Dong,Shuling Wang,Naijun Zhan,Liang Zou: Adding Formal Meanings to AADL with Hybrid Annex.FACS2014:228-247
16.Ehsan Ahmad, Brian R. Larson, Stephen C. Barrett, Naijun Zhan, Yunwei Dong. Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling. Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. ACM, 2014.
17.Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, Chunyan Ma, Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems, The 37th Annual International Computer Software & Applications Conference, Kyoto, Japan,July 22-26, 2013.
18.Zhang, Yu; Xie, Fei; Dong, Yunwei; Yang, Gang; Zhou, Xingshe, High fidelity virtualization of cyber-physical systems,International Journal of Modeling, Simulation, and Scientific Computing,World Scientific Publishing Co., Singapore, June 2013.
19.Xiaona WU, Yunwei DONG, Yongqi GE, Honbin ZHAO:A High Reliable Communication Technology in Electric Vehicle Charging Station. The 7th international conference on software security and reliability (SERE 2013) Washington, D.C., USA, SERE-C 2013,p 198-20.
20.Dong Yunwei, Cheng Yao, Wu Tingting, Ye HONG: On Schedulability Analysis for Embedded Systems with AADL Model, 13th international conference on Quality Software (QSIC2013) Nanjing, China, , QSIC 2013, p 320-325,**.
21.Yibo Cheng, Yunwei Dong, Zhe Li,A Transformation from Simulink/Stateflow to Hierarchical Interface Automata,2013 International Conference on Information Technology and Applications, ITA 2013,p 414-418,2013.
社会兼职 Social Appointments
IEEE会员、ACM会员、中国家算机学会高级会员、中国计算机学会软件工程专委会会员、中国计算机学会嵌入式系统专委会会员、陕西省计算机学会理事。
English Version
相关话题/工业 大学计算机
西北工业大学计算机学院导师教师师资介绍简介-翟正军
相册基本信息Thebasicinformation姓名:翟正军学院:计算机学院学历:硕士研究生毕业学位:工学硕士职称:教授职务:学科:计算机科学与技术,软件工程,网络空间安全邮箱:zhengjunzhai@139.com工作经历WorkExperience翟正军,三级长聘教授,博士生导师,现任西工大 ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29西北工业大学计算机学院导师教师师资介绍简介-杜承烈
相册基本信息Thebasicinformation姓名:杜承烈学院:计算机学院学历:博士研究生毕业学位:工学博士职称:教授职务:学科:计算机科学与技术工作经历WorkExperience杜承烈,1970年10月出生,工学博士,教授,博士生导师。主要学术兼职:中国计算机自动测量与控制技术协会理事,中国 ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29西北工业大学计算机学院导师教师师资介绍简介-段俊花
相册基本信息Thebasicinformation姓名:段俊花学院:计算机学院学历:博士研究生毕业学位:博士职称:副研究员(自然科学)职务:学科:工作经历WorkExperience2005.4~至今西北工业大学计算机学院研究方向:智能计算、多Agent系统、知识工程、嵌入式系统教育经历Educat ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29西北工业大学计算机学院导师教师师资介绍简介-邓磊
相册基本信息Thebasicinformation姓名:邓磊学院:计算机学院学历:博士研究生毕业学位:工学博士职称:副教授职务:副院长学科:工作经历WorkExperience2013.10-2014.10美国圣何塞州立大学访问****2012.12-西北工业大学-苏州工业园区企业博士后2005.1 ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29西北工业大学计算机学院导师教师师资介绍简介-樊晓桠
相册基本信息Thebasicinformation姓名:樊晓桠学院:计算机学院学历:博士研究生毕业学位:工学博士职称:教授职务:学科:计算机科学与技术工作经历WorkExperience樊晓桠,男,1962年生。工学博士,西北工业大学教授/博士生导师。计算机学院副院长,兼软件与微电子学院副院长,航空 ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29西北工业大学计算机学院导师教师师资介绍简介-杜洪涛
相册基本信息Thebasicinformation姓名:杜洪涛学院:计算机学院学历:博士研究生毕业学位:工学博士职称:副教授职务:学科:计算机科学与技术-计算机软件与理论科学研究ScientificResearch大数据存储与管理、分布式数据库EnglishVersion ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29西北工业大学计算机学院导师教师师资介绍简介-符宁
相册基本信息Thebasicinformation姓名:符宁学院:计算机学院学历:博士研究生毕业学位:博士职称:副研究员(自然科学)职务:学科:EnglishVersion ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29西北工业大学计算机学院导师教师师资介绍简介-付中华
相册基本信息Thebasicinformation姓名:付中华学院:计算机学院学历:博士研究生毕业学位:工学博士职称:副教授职务:学科:计算机科学与技术工作经历WorkExperience详见http://www.npu-aslp.org/gary教育教学EducationAndTeaching课程 ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29西北工业大学计算机学院导师教师师资介绍简介-谷建华
相册基本信息Thebasicinformation姓名:谷建华学院:计算机学院学历:博士研究生毕业学位:工学博士职称:教授职务:学科:计算机科学与技术综合介绍GeneralIntroduction谷建华,博士,西北工业大学计算机学院教授、博士生导师。中国计算机学会高级会员,中国计算机学会系统软件专业 ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29西北工业大学计算机学院导师教师师资介绍简介-郭斌
相册基本信息Thebasicinformation姓名:郭斌学院:计算机学院学历:博士研究生毕业学位:博士职称:教授职务:院长助理学科:计算机科学与技术电话:工作经历WorkExperience郭斌,1980年生,工学博士,西北工业大学计算机学院教授,博导,国家****科学基金获得者,计算机学院院长 ...西北工业大学师资导师 本站小编 Free考研考试 2021-06-29