Yu Zhou

PhD, Associate Professor

College of Computer Science
Nanjing University of Aeronautics and Astronautics
Office: Room 408, College Building, NUAA, Jiangning Campus, Nanjing, China
Tel: +86 25 84896491-16408, Email: zhouyu<at>nuaa.edu.cn

I am an associate professor in the College of Computer Science and Technology at Nanjing University of Aeronautics and Astronautics (NUAA). I received my PhD in computer science from Nanjing University in 2009 supervised by Professor Jian Lü. From 2006-2007, I worked as a research assistant with Professor Jiannong Cao in Department of Computing at Hongkong Polytechnic University. From 2007-2008, I was funded by a joint PhD education program from China Scholarship Council and studied at University of Zurich, supervised by Professor Harald Gall. Before joining NUAA in 2011, I conducted PostDoc research on software engineering at Politecnico di Milano, Italy, working with Professor Luciano Baresi. From 2015-2016, I visited SEAL lab at Univesity of Zurich, where I am also an adjunct researcher. I am currently a senior member of China Computer Federation (CCF), a member of Technical Committee on System Software of CCF, and a member of Technical Committee on Software Engineering of CCF. I have broad interests in software engineering with a focus on intelligent software engineering, big data and cloud computing, software evolution and reliability analysis, and co-authored more than 50 papers in these fields.


Nanjing University, China

Bachelor of Science
Major: Computer Science & Technology
Sept. 2000 - Jun. 2004

Nanjing University, China

Doctor of Philosophy
Major: Computer Software & Theory

Advisor: Jian Lü

Sept. 2004 - Sept. 2009

University of Zurich, Switzerland

Joint Ph.D
Major: Software Engineering

Advisor: Harald Gall

Sept. 2007 - Sept. 2008

Politecnico di Milano, Italy

Postdoc Fellow
Major: Software Engineering

Advisor: Luciano Baresi

Jun. 2010 - Jun. 2011

Research Interests

The general road map of my research interests falls within the broad domain of software engineering. My recent research interests mainly include: artificial intelligence for software engineering, big data analysis, cloud computing, data mining, software evolution, and software reliability related analysis.

Recent Publications Selected


  1. Yu Zhou, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald Gall. DRONE: A Tool to Detect and Repair Directive Defects in Java APIs Documentation. 41st International Conference on Software Engineering (ICSE), Tool Demo Track, 2019. (To appear)
  2. Yu Zhou, Changzhi Wang, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald Gall. Automatic Detection and Repair Recommendation of Directive Defects in Java APIs Documentation. IEEE Trans. on Software Engineering, 2018. (DOI: 10.1109/TSE.2018.287971, to appear)
  3. Yu Zhou, Ruihang Gu, Taolue Chen, Zhiqiu Huang, Sebastiano Panichella, Harald Gall. Analyzing APIs Documentation and Code to Detect Directive Defects. 39th International Conference on Software Engineering (ICSE), Buenos Aires, IEEE/ACM, pp:27-37, 2017.
  4. Yu Zhou, Nvqi Zhou, Tingting Han, Jiayi Gu, Weigang Wu. Probabilistic Verification of Hierarchical Leader Election Protocol in Dynamic Systems. Frontiers of Computer Science. Vol.12, No.04, pp.763-776, Springer, 2018.
  5. Yu Zhou, Yanxiang Tong, Taolue Chen, Jin Han. Augmenting Defect Localization with Part-of-Speech and Invocation. International Journal of Software Engineering and Knowledge Engineering, Vol.27, No.06, pp.925-949, 2017.
  6. Yu Zhou, Yanxiang Tong, Ruihang Gu, Harald Gall. Combining Text Mining and Data Mining for Bug Report Classification. Journal of Software: Evolution and Process, Vol.28, No.3, pp:150-176, Wiley, 2016.
  7. Yu Zhou, Jidong Ge, Pengcheng Zhang, Weigang Wu. Model Based Verification of Dynamically Evolvable Service Oriented Systems. Science China: Information Sciences, Vol.59: 032101(17), 2016.
  8. Yu Zhou, Yankai Huang, Ou Wei, Zhiqiu Huang. Verifying Specifications with Associated Attributes in Graph Transformation Systems. Frontiers of Computer Science, Vol.9, No.3, pp:364-374, Springer,2015.
  9. Yu Zhou, Xiaoxing Ma, Harald Gall. A Middleware Platform for the Dynamic Evolution of Distributed Component-Based Systems. Computing, Vol.96, No.8, pp:725-747, Springer, 2014.
  10. Yu Zhou, Luciano Baresi, Matteo Rossi. Towards A Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. Journal of Computer Science and Technology (JCST), Vol.28, No.1, pp:188-202, Springer, 2013.
  11. Yu Zhou, Jidong Ge, Jun Hu. An Agent-Based Approach for Software Self-Adaptation. ICIC-Express Letters, Vol.7, No.2, 2013.
  12. Yu Zhou, Zhiqiu Huang. Verification of Real-Time Models with Hierarchical Extensions. ICIC-Express Letters, Vol.7, No.2, 2013.
  13. Yu Zhou, Yanxiang Tong, Ruihang Gu, Harald Gall. Combining Text Mining and Data Mining for Bug Report Classification. In Proc. of 30th International Conference on Software Maintenance and Evolution (ICSM/ICSME), IEEE, pp:311-320, 2014.
  14. Yu Zhou, Jidong Ge, Pengcheng Zhang. Hierarchical Timed Automata Based Verification of Dynamic Evolution Process in Open Environments. In Proc. of the International Conference on Software and System Process (ICSSP), pp:161-165, ACM, 2014.
  15. Yu Zhou, Yankai Huang, Jidong Ge, Jun Hu. Towards Fine-Grained Verification of Application Mobility. WISE workshops, LNCS vol.8182, Springer, 2013.
  16. Yu Zhou, Xuefeng Yan, Zhiqiu Huang. A Graph Transformation Based Approach for Modeling Component Migration in Mobile Environments. In Proc. of COMPSAC Workshops, IEEE Computer Society, 2012.
  17. Yifan Zhang, Kai Niu, Weigang Wu, Keqin Li, Yu Zhou. Speeding up VM startup by cooperative VM image caching. IEEE Trans. on Cloud Computing. (DOI: 10.1109/TCC.2018.2791509, to appear).
  18. Yunfei Meng, Zhiqiu Huang, Yu Zhou, Changbo Ke. Privacy-aware cloud service selection approach based on p-spec policy models and privacy sensitivities. Future Generations of Computer Systems, Elsevier, 2018 (to appear).
  19. Zhiwei Yang, Weigang Wu, Huaguan Li, Yu Zhou. Consensus in Smart Computing Systems. In Proc. of the 3rd Internatinal Conference on Smart Computing(SMARTCOMP), 2017 IEEE International Conference on. IEEE, 2017: 1-8.
  20. Yanxiang Tong, Yu Zhou, Lisheng Fang, Taolue Chen. Towards A Novel Approach for Defect Localization Based on Part-of-Speech and Invocation. In Proc. of the 7th International Symposium on Internetware, ACM, 2015.
  21. Pengcheng Zhang, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou. A Novel QoS Monitoring Approach Sensitive to Environmental Factors. ICWS, 2015:145-152.
  22. Yufeng Shi, Ou Wei, Yu Zhou. Model Checking Partial Software Product Line Designs. In Proc. of the International Workshop on Innovative Software Development Methodologies and Practices, ACM, 2014.
  23. Huaguan Li, Weigang Wu, Yu Zhou. Hierarchical Eventual Leader Election for Dynamic Systems. In Proc. of the 14th International Conference on Algorithms and Architectures for Prallel Processing (ICA3PP), LNCS Vol.8630, pp:338-351, Springer, 2014.
  24. Bingfeng Xu, Zhiqiu Huang, Jun Hu, Ou Wei, Yu Zhou. Minimal Cut Sequence Generation for State/Event Fault Trees. In Proc. of the 2013 Middleware Doctoral Symposium (Middleware’13), ACM, 2013.


  1. Yu Zhou, Taolue Chen. Software Adaptation in an Open Environment: A Software Architecture Perspective. ISBN: 9781138743472, CRC Press, Taylor & Francis Group. 2017.
  2. Yu Zhou, Weigang Wu, Huaguan Li. A Cluster Based Hierarchical Eventual Leader Election Protocol for Dynamic Systems. Chapter of Dynamic Systems: Modeling, Performance and Applications. ISBN: 9781536125573, Nova Science Publishers, Inc. 2017.
CRC Book Nova Book

Current courses

  • Software Design Patterns and Architecture (undergraduate course)
  • Software Metrics (graduate course, open to both Chinese and overseas graduate students)