Ying Wang

Release time:May 27, 2020Edit:Browse times:

Personal Information

Basic Information


Wang Ying






College of Informatics, Huazhong Agriculetural   University


No.1   Shizishan Street, Hongshan District, Wuhan 430070, China



Mobile phone



Research Interest

Software Engineering, Formal Methods

Academic activities


Education and research experience


2001.9-2005.6 National   University of Defense Technology  Computer Science , Bachelor 2005.9-2013.6 Beihang   University                        Computer   Science ,  PhD



[1] Dianfu MaShun ZhangYing WangXianxian LiDou SunZhuqing Li. An XESB-based Fault-Tolerant Approach in Service Mediation   Layer. No.CN 101247419.

[2] Dianfu MaNing LiJian   LiuJun HanZhuqing LiYing Wang. An XML Transformation Approach based on   Formal Description and State Transition. No.CN 101282345.

Representative publications*for corresponding authors, # for first authors

[1] Ying Wang#, Dianfu Ma, Yongwang Zhao, Lu Zhou, Xianqi   Zhao. An AADL-based modeling method for ARINC653-based avionics software [C].   In Proceedings of the 35th IEEE Computer Software and Applications Conference   (COMPSAC 2011), July 16-20, 2011, Munich, German, pp.224-229, IEEE Computer   Society. (CCF C , EI)

[2] Ying Wang#, Dianfu Ma, Yongwang Zhao, Lu Zhou,   Xianqi Zhao. Automatic RT-Java code generation from AADL models for   ARINC653-based avionics software[C]. In Proceedings of the 36th IEEE Computer   Software and Applications Conference (COMPSAC 2012), July 16-20, 2012, Izmir,   Turkey, pp.670-679, IEEE Computer Society. (CCF C, EI)

[3] Ying Wang#, Dianfu Ma, Hualei Shen, Yongwang Zhao.   AADL653: An AADL-based formal language for modeling and validation of   ARINC653-based avionics software[J]. Journal of Computational Information   Systems, Vol. 9 (10): 3919- 3930, 2013. (EI)

[4] Ying Wang#, Dianfu Ma. An Automatic Development Process   for Integrated Modular Avionics Software [J]. Journal of Networks, Vol. 8   (5): 1088- 10952013.   (EI)

[5] Lei Wang, Dianfu Ma, Yongwang Zhao, Xianqi Zhao, Ying   Wang*. An approach to develop architecture of ARINC653-based Avionic   software [C]. Lecture Notes in Electrical Engineering, v330, p257-262, 2015   (EI)

[6] Ying Wang#,   Lili Cui, Jianyong Wang*, Hongwei Yang. Spatial and Temporal Partitioning   Validation for ARINC635-based Avionics Software [C]. Sixth International Conference   on Electronics and Information Engineering, 2016. Volume 9794 , SPIE (EI)



ICP 05008441 Address: No. 430070, Shizishan Street, Nanhu, Wuhan, Hubei Province
Telephone number: 027-87288509 recruitment and employment telephone number: 027-87286876 E Mail: Coi@mail. com. Hzau.edu.cn at coi-xinwen@mail. hzau.edu.cn

Copyright © 2010 Huazhong Agricultural University