Wenhua Yang (杨文华)

Ph.D., ACM, IEEE and CCF Member

Assistant Professor

I am an assistant professor at the College of Computer Science and Technology of Nanjing University of Aeronautics and Astronautics. Before joining NUAA, I obtained my Ph.D. degree in computer science and technology from Nanjing University in 2017 (Ph.D. supervisor Prof. Chang Xu). While studying for my doctorate, I was both a member of ICS in NJU and CASTLE Lab in HKUST.

Email: ywh the-at-symbol nuaa.edu.cn

Office: Room 16-204 in NUAA Jiangjun Rd. Campus

Research Interests

My research interests mainly include, but are not restricted to:

Self-adaptive & cyber physical systems: design, development, verification and validation of self-adaptive & cyber physical systems.

Intelligent software development: instilling intelligence in solutions for software engineering problems, with (but not limited to) AI technologies, and providing software engineering solutions for intelligent software.

To prospective students: I am recruiting devoted postgraduate students to do research in the above-mentioned areas. Interested undergraduate students are also encouraged to contact me, to work on related topics.

Selected Publications

Haibo Ye, Wenhua Yang, Yunyu Yao, Tao Gu, and Zhiqiu Huang. BTrack: Using Barometer for Energy Efficient Location Tracking on Mountain Roads. IEEE Access, forthcoming.

Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, and Jian Lu. Efficient Validation of Self-adaptive Applications by Counterexample Probability Maximization. The Journal of Systems and Software (JSS), Vol. 138, pp. 82-99, Apr 2018. [pdf]

Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, and Jian Lu. Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. ACM Transactions on Internet Technology (TOIT), Vol. 18, No. 2, Article 20, pp. 1-37, Jan 2018. [pdf]

Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, and Jian Lu. Suppressing Detection of Inconsistency Hazards by Pattern Learning. Information and Software Technology (IST), Vol. 74, pp. 219-229, Jun 2016. [pdf]

Wenhua Yang, Yepang Liu, Chang Xu, and S.C. Cheung. A Survey on Dependability Improvement Techniques for Pervasive Computing Systems. Science China Information Sciences (SCIS), Vol. 58, No. 5, Article 052102, pp. 1-14, May 2015. [pdf]

Zelin Zhao, Xiaoxing Ma, Chang Xu, and Wenhua Yang. Automated Recommendation of Dynamic Software Update Points. In Proceedings of the 6th Asia-Pacific Symposium on Internetware (INTERNETWARE 2014), pp. 136-144, Hong Kong, China, Nov 2014. [pdf]

Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, and Jian Lu. SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. In Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC 2014), pp. 414-421, Jeju, Korea, Dec 2014. [pdf]

Yepang Liu, Chang Xu, S.C. Cheung, and Wenhua Yang. CHECKERDROID: Automated Quality Assurance for Smartphone Applications. International Journal of Software and Informatics (IJSI), Vol. 8, Iss. 1, pp. 21-41, 2014. [pdf]

Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu. Verifying Self-adaptive Applications Suffering Uncertainty. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), pp. 199-209, Vasteras, Sweden, Sept 2014. [pdf]

Wenhua Yang, Chang Xu, and Linghao Zhang. IDEA: Improving Dependability for Self-Adaptive Applications. In Proceedings of the ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE 2013 Doctoral Symposium), Article 1, pp. 1-6, Beijing, China, Dec 2013. [pdf]

Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lu. Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications. In Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), pp. 592-597, Silicon Valley, California, USA, Nov 2013. [pdf]

Wang Xi, Chang Xu, Wenhua Yang, Xuezhi Hong. An Empirical Study of How Context Inconsistency and Its Resolution Impacts Context-aware Applications. In Proceedings of the National Software Application Conference (NASAC 2013), Article 25, pp. 1-11, Tianjin, China, Nov 2013. [pdf]

Teaching Activities

Principles and Techniques of Compilers (Fall 2018)

Teaching assistant at NUAA.

Principles and Techniques of Compilers (22010120,Fall 2015)

Teaching assistant at Nanjing University.

Principles and Techniques of Compilers (22010120,Fall 2014)

Teaching assistant at Nanjing University.

Fundings

2019 - 2021, PI

National Natural Science Foundation of China

2018 - 2020, PI

Open Research Funding of State Key Laboratory for Novel Software Technology

2018 - 2020, PI

Open Research Funding of Key Laboratory of Safety-Critical Software of Ministry of Industry and Information Technology

2018 - 2020, PI

Start-up Funding for New Faculty at NUAA

Honors and Awards

  • National Scholarship, Oct 2016
  • Nanrui Scholarship, Oct 2015
  • Fujitsu Scholarship, Nov 2013
  • Honor Graduates, Jul 2012
  • National Scholarship for Encouragement, Oct 2011 and Oct 2010