Ying Wang-College of Informatics

Name

Wang Ying

Sex

female

Title

lecturer

Institute

College of Informatics, Huazhong Agriculetural University

Address

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

Email

yingwang@mail.hzau.edu.cn

Mobile phone

Fax

Research Interest

Software Engineering, Formal Methods

Academic activities

Education and research experience

Education

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

Grants

[1] Dianfu Ma，Shun Zhang，Ying Wang，Xianxian Li，Dou Sun，Zhuqing Li. An XESB-based Fault-Tolerant Approach in Service Mediation Layer. No.CN 101247419.

[2] Dianfu Ma，Ning Li，Jian Liu，Jun Han，Zhuqing Li，Ying 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- 1095，2013. (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)

Basic Information
Name	Wang Ying		Sex	female		Title	lecturer
Institute		College of Informatics, Huazhong Agriculetural University
Address		No.1 Shizishan Street, Hongshan District, Wuhan 430070, China
Email		yingwang@mail.hzau.edu.cn
Mobile phone					Fax
Research Interest
Software Engineering, Formal Methods
Academic activities

Education and research experience
Education 2001.9-2005.6 National University of Defense Technology Computer Science , Bachelor 2005.9-2013.6 Beihang University Computer Science , PhD
Grants
[1] Dianfu Ma，Shun Zhang，Ying Wang，Xianxian Li，Dou Sun，Zhuqing Li. An XESB-based Fault-Tolerant Approach in Service Mediation Layer. No.CN 101247419. [2] Dianfu Ma，Ning Li，Jian Liu，Jun Han，Zhuqing Li，Ying 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- 1095，2013. (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)