Education Background:

BSc. from Fudan University(1987-1991)；MSc. from The University of York(2002-2003)；PhD. from The Open University(2003-2007)

Work Experience:

Environment Engineer, Software Engineer, Guilin Environmental Protection Bureau(1991-2004)；Visiting Scholar, The University of Liverpool(2001-2002)；Post-doctoral Researcher, Keele University(2007-2010)；Professor, Guangxi Normal University

Chinese

School of Computer Science & Engineering, Software and Artificial Intelligence

Head of Software Engineering Department

Guangxi Normal University

No.15 Yu Cai Road, Guilin

Guangxi 541004, P. R. China

Email: zhili1888@163.com | zhili@gxnu.edu.cn

Short Bio:

Li Zhi, PhD/Professor, Doctoral Supervisor, Distinguished Member of the China Computer Federation (CCF) (17369D), served as the first-term executive committee member of its Technical Council of Software Engineering, and member of its Technical Council of Service Computing, Systems Software, and Formal Methods. Senior Member of the Institute of Electrical and Electronics Engineers(IEEE) (95087776), Senior Member of the Association for Computing Machinery (ACM) (5077176). His serves as the associate editor of the international journal Expert Systems: The Journal of Knowledge Engineering (SCI journal, impact factor 3 in 2023). Bachelor of Science from Fudan University, Master of Science in Computer Science from the University of York in the UK, PhD in Computer Science from the Open University in the UK, and postdoctoral research in Software Engineering at the University of Keele in the UK, with a total of 9 years of study in the UK. Before entering the academic research field, he had more than 10 years of professional technical work experience. His main research interests include problem-oriented intelligent requirements engineering, modeling, analysis, and verification of Human-Cyber-Physical Systems (HCPS) based on Problem Frames, basic theories and applications of artificial intelligence, and human-computer interaction. He is the principal investigator of 3 National Natural Science Foundation projects, 6 provincial and ministerial-level projects, and has published more than 80 academic papers (including papers in top domestic and international journals and conferences such as TSE, FSE2025, TKDE, TCAD, Journal of Software(in Chinese), and Journal of Computer Science(in Chinese), and won the best paper award at international academic conferences 3 times), delivered more than 20 keynote and invited conference speeches, applied for and obtained 9 software copyrights and 1 authorized patent. He is the principal investigator of 2 Ministry of Education industry-university collaboration projects (sponsored by Tencent and Nanjing Mooctest), 1 municipal-or-departmental-level educational reform project, and 4 university-level educational reform projects, and won the first prize of university teaching achievements 3 times. Six of his master’s students have pursued doctoral studies at Nanjing University, Beihang University, Tianjin University, Wuhan University, Hunan University, and the China University of Petroleum.

Reviewer for Journals:

Academic Conference Chairs:

  1. Vice PC Chair, the 13th National Software Application Conference (NASAC 2014)
  2. Local Organisation Chair, the 10th International Conference on Advanced Data Mining and Applications (ADMA 2014)
  3. Publication Chair, the 5th Asia-Pacific Conference on Computer Aided System Engineering (APCASE 2017)
  4. Industry Chair, the 24th China Conference on Information Retrieval (CCIR 2018)
  5. General Chair, the 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019)
  6. Publicity Chair, the 25th International Conference on Evaluation and Assessment in Software Engineering (EASE 2021)
  7. Publicity Chair, the 26th International Conference on Evaluation and Assessment in Software Engineering (EASE 2022)

PC Member of the Following Conferences:

  • The 12th–15th National Software Application Conferences (NASAC 2013–2016)
  • The 25th–30th International Conferences on Software Engineering and Knowledge Engineering (SEKE 2013–2018)
  • International Workshop on Evolving Critical Software Systems (IWECS 2011), Shanghai, China
  • 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019)
  • The 26th China Conference on Information Retrieval (CCIR 2020)
  • 2020 CCF China Software Congress (NASAC 2020) — Track Chair: “Requirements Engineering under the Background of Artificial Intelligence”

Invited Presentations:

  1. “Problem-Oriented Software Safety and Reliability Requirements,” China RE Industry Summit, co-located with the 24th IEEE International Requirements Engineering Conference, Sept 18, 2016.
  2. “Problem-Oriented Urban Requirements Engineering on Big Data Analytics” (in Chinese), 16th NASAC, Harbin, Nov 3, 2017.
  3. “PURE: Problem-oriented Urban Requirements Engineering for Big Data Analytics,” DMSVIVA 2018, Redwood City, USA, Jun 30, 2018.
  4. “How can academics improve students' practical skills and capabilities in software development with the help of industries?” (in Chinese), Workshop on Teaching Practices in Software Engineering, Changshan, Jun 16, 2018.
  5. “AI4RE + RE4AI,” Panelist, Requirements Engineering Track, 10th International Software Quality Engineering (iSQE) Summit, Nanjing, Jul 20, 2019.
  6. “Three Challenges Facing Software Requirements Engineering,” Keynote & Panel & Video Interview, 11th iSQE Summit, Chongqing, Oct 23, 2020.
  7. “How to Teach Software Engineering Well: From Knowledge System to Teaching Method,” Round-table Panel, 5th Software-Engineering Practice Education Workshop, Xi’an, Dec 12, 2020.
  8. “AI-Driven Development and Construction of Computer-Science Disciplines,” 2021 Intelligent Information Processing & Network Engineering Conference & Advanced Computer Technology and Discipline-Building Forum, Guilin, Jun 5, 2021.
  9. “Challenges and Opportunities Brought by New Technologies to IoT Education,” 15th CCF China IoT Conference, Guilin, Oct 23, 2021.
  10. “Extending the ‘E = mc²’ Theory and Tool Support in Requirements Engineering,” CNCC2022 Technical Forum “Challenges and Opportunities for RE under New-Gen AI”, Online, Guiyang, Dec 8–10, 2022.
  11. Zhi Li, “E = mc² in Requirements Engineering,” Invited Speech, 15th International Conference on Advanced Computer Theory and Engineering (ICACTE 2022), Bilibili live, Sep 23–25, 2022.
  12. Zhi Li, “Automating the Requirements-Engineering Process of IoT: From NLP to Software Specifications,” Keynote Speech, 2nd International Conference on Internet of Things and Cloud Computing Technology, Sep 28, 2024.

General-Education Lectures:

  1. Li Zhi, “Cultivating and Practicing Scientific Spirit,” co-hosted by National Undergraduate Cultural-Quality Education Base, Guangxi Party Committee Education Working Committee New-Era Civilization Practice Center (Guilin Branch), Guangxi Normal University New-Era Civilization Practice Institute, Academic Affairs Office and University Youth League Committee, March 19, 2021.

Principal Investigator of Research Projects:

  1. “Modelling and Verification of Cyber-Physical Systems Based on Problem Frames” (NSFC 61862009)
  2. “Transformation and Validation of Requirements and Domain Models Based on Problem Frames Approach” (NSFC 61262004)
  3. “Deriving Specifications from Requirements Based on Problem Frames” (MoE [2013]639, Returned-Overseas Scholars)
  4. “Transformation and Verification of Problem Frames Based on Domain Knowledge” (Guangxi NSFC 2012GXNSFCA053010)
  5. “Problem-Oriented Verification of Software Reliability and Safety” (Guangxi Finance Gui-Ke-He 1347004-22)
  6. “Deriving Specifications from Requirements Based on Problem Frames” (MoE Key Lab HCST201102, Peking University)
  7. “Improving Student’s Practical Capability in Software Engineering Based on WeChat Mini-Programs” (Tencent 201801002044)
  8. “Teaching Software Engineering Courses to MSc Students in Bilingual Languages” (Guangxi Education JGY2013022)
  9. “Teaching Software Testing Using MOOC” (Guangxi Normal University XJGY201809)
  10. “Advanced Software Engineering (MSc course)” (Guangxi Normal University)
  11. “Software Engineering (undergraduate course)” (Guangxi Normal University)
  12. Guangxi Normal University 2020 Postgraduate Full-English Course Construction Project “Advanced Topics on Software Engineering” (completed, PI).
  13. Guangxi Degree & Postgraduate Education Reform Project “Exploration and Research on Bilingual Teaching for Master Students Majoring in Software Engineering” (No. JGY2013022, completed, PI).
  14. Guangxi Normal University Postgraduate Education Reform Project “Research and Practice of MOOC-based Teaching Mode for Software Testing” (No. XJGY201809, completed, PI).
  15. Postgraduate Course Construction Project “Advanced Software Engineering” (university-level, completed, PI).
  16. Undergraduate Bilingual Course Reform Project “Software Engineering” (university-level, completed, PI).
  17. National High-Tech R&D Program (863 Program) “Key Technologies for Multi-source Heterogeneous Data Integration and Mining” (No. 2012AA1005, completed, participant No. 10).
  18. UK EPSRC Project “Evidence-Based Practices Informing Computing” (No. EP/E046983/1, completed, post-doc researcher).
  19. NSFC General Project “Privacy Models and Protection Techniques for Diverse Data Sharing in Distributed Environments” (No. 61272535, completed, participant No. 2, PI: Prof. Li Xianxian).
  20. NSFC Project “Autonomous Knowledge and Action Reasoning for Intelligent Robots” (No. 61262005, completed, participant No. 4, PI: Prof. Zhou Shengming).
  21. Guangxi Innovative Research Team Project “Web Information Integration Management and Knowledge Discovery” (RMB 2 million, completed, participant No. 3, PI: Prof. Zhang Shichao).
  22. Guangxi Innovative Research Team Project “Controlled Preparation and Properties of Novel Molecular Solid Materials” (RMB 2 million, completed, participant No. 8, PI: Prof. Zeng Minghua).
  23. National Ministry of Education Bilingual Demonstration Course “E-Commerce” (completed, participant No. 3, PI: Prof. Liu Haiyan).
  24. First Prize of the 7th Guangxi Normal University Teaching Achievement Award (ranked 3rd), title: “Research and Practice on Bilingual Series Courses Teaching Reform for Information Management & Information Systems Major in Ethnic Regions”.
  25. First Prize of the 9th Guangxi Normal University Teaching Achievement Award (ranked 7th), title: “Reform and Practice on the Construction of Advantageous and Distinctive Computer Science & Technology Major in Local Universities” (2019).
  26. Cultivation Project of 2023 Higher Education (Postgraduate) Teaching Achievement Award “Cultivating Software Talents with Requirement-Driven Software-Testing Ability by Relying on Guangxi First-Class Discipline” (No. YJS2023009, ongoing, PI).

Software Copyrights:

  1. Problem-Oriented Computer-Aided Software Requirements Engineering Tool (2014SR098001)
  2. Software Requirements Elicitation System Based on Causal Relationships among Domains (2015SR209845)
  3. Problem-Oriented Visual Transformation System for Modelling and Verifying Software Safety and Reliability (2015SR209865)
  4. Requirements Pattern Matching System Based on Problem Frames (2016SR314622)
  5. July Collaborative Modelling Software for Problem Frames (2016SR372824)
  6. Elicitation and Analysis System of Causal Relationships in Problem Contexts: iOS App (2017SR495804)
  7. Problem-Oriented Requirements Change Management System (2018SR116019)
  8. System for Quantitatively Evaluating Correlation Relationships among Requirements Based on Problem Frames (2018SR099684)
  9. Li Zhi, Zhou Zecheng, Xiao Hongbin. Problem-Oriented Scenario-Based Requirements Generation System (2021SR0320312).
  10. Man Tingting, Pan Ziying, Jiang Haiyan, Li Zhixin, Li Zhi. YiTu Medical Imaging System (2019SR1414222).
  11. Li Bing, Deng Jie, Li Zhi, Guangxi Dongxin Cloud-Network Information Technology Co., Ltd., Guangxi Normal University. Mobile-Security-Based Privacy-Leakage Detection System.
  12. Zhu Shaohong, Qin Zhangrong, Li Zhi, Yang Yilong, Guangxi Normal University. An Enterprise-Level Application Automatic Generation Platform Based on Requirements Models (2021SR1828446).

Patents:

  1. Li Zhi, Cao Yuan, Guangxi Normal University. “A Method for Completing Missing Environmental-Protection Data.” Filed (Application No. 202111045903.8).
  2. Yang Yilong, Li Zhi, Zhu Shaohong, Zhang Li, Beihang University & Guangxi Normal University. “A Requirements-Based Enterprise-System Generation Method.” Filed (Application No. 202110891231.6).
  3. Li Zhi, Li Yunfang, Yang Yilong, Guangxi Normal University & Beihang University. “An Extension Method for Semi-Structured Natural-Language EARS Requirements Templates.” Filed (Application No. 20221028035.6).

Representative Papers:

  1. Zhi Li and Zhi Jin. From User Requirements to Software Specifications: An Approach Based on Problem Transformation. Journal of Software, vol. 24, no. 5, pp. 961-976, May 2013. doi:10.3724/SP.J.1001.2013.04371. (CCF A Chinese journal, EI: 20132416422503)
  2. Zhi Li, Jon G. Hall and Lucia Rapanotti. On the systematic transformation of requirements to specifications. Requirements Engineering, vol. 19, no. 4, pp. 397-419, 2014. doi:10.1007/s00766-013-0173-8. (CCF B, SCI & EI, EI: 20143600057817, SCI: WOS:000343825300005)
  3. Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li and Yuming Zhou. Uncovering bugs in code coverage profilers via control flow constraint solving. IEEE Transactions on Software Engineering, vol. 49, no. 11, pp. 4964-4987, 2023. doi:10.1109/TSE.2023.3321381. (CCF A, SCI & EI, SCI: 001111494200005)
  4. Guoyuan Liu, Zhi Li and Zhaofeng Ouyang. Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), pp. 727-729, Pittsburgh, USA, July 2015. Best Demo Paper Award (CCF C, EI: 20162202436858)
  5. Ziyan Zhao, Zhi Li, Changlan Fu, and Xiao Zhang. A Computer-aided Modeling and Verification Approach for Problem-oriented Software Development. In Proc. 5th Asia-Pacific Conference on Computer Aided System Engineering (APCASE 2017), pp. 21-28, Guilin, China, Nov. 2017. Best Paper Award
  6. Bing Li, Zhi Li and Yilong Yang. Residual attention graph convolutional network for web services classification. Neurocomputing, vol. 440, pp. 45-57, 2021. doi:10.1016/j.neucom.2021.01.089. (CCF C, SCI & EI, SCI: WOS:000642408200002)
  7. Zhuoqun Yang, Zhi Li, Zhi Jin and Yunchuan Chen. A Systematic Literature Review of Requirements Modeling and Analysis for Self-Adaptive Systems. In Proc. 20th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2014), LNCS vol. 8396, pp. 55-71, Springer, Essen, Germany, 2014. doi:10.1007/978-3-319-05843-6_5. Best Paper Award (CCF C, EI: 20142017723356)
  8. Bin Yin, Zhi Jin and Zhi Li. Reliability Concerns in the Problem Frames Approach and System Reliability Enhancement Patterns. Chinese Journal of Computers, vol. 36, no. 1, pp. 74-87, Jan. 2013. doi:10.3724/SP.J.1016.2013.00074. (EI: 20131016077729)
  9. Guoyuan Liu, Zhi Li, Shilang Huang, Zhaofeng Ouyang and Zhe Liu. CARE: A Computer-Aided Requirements Engineering Tool for Problem-Oriented Software Development. International Journal of Software Engineering and Knowledge Engineering, vol. 25, no. 9&10, pp. 1747-1752, 2015. doi:10.1142/S0218194015710114. (CCF C, SCI & EI, SCI: WOS:000372155400025)
  10. Ning Gao, Zhi Li. Generating Testing Codes for Behavior-Driven Development from Problem Diagrams: A Tool-Based Approach. In Proc. 2016 IEEE 24th International Requirements Engineering Conference (RE 2016), pp. 399-400, Beijing, China, 2016. doi:10.1109/RE.2016.54. (CCF B, EI: 20165203191005)
  11. Lucia Rapanotti, Jon G. Hall and Zhi Li. Deriving specifications from requirements through problem reduction. IEE Proceedings - Software, vol. 153, no. 5, pp. 183-198, 2006. doi:10.1049/ip-sen:20060011. (CCF B, SCI & EI, EI: 20064610233628)

Published Papers:

  1. Wenhao Wang, Zicheng Huang, Hongbin Xiao, Zhi Li, and Bo Huang. Learning in Imperfect Environments: Multi-Label Classification of Non-Functional Requirements under Long-Tailed Distribution. In Proc. QRS 2025 Workshops, Hangzhou, China, Jul 16–20, 2025. (EI, to appear)
  2. Liyuan Zhang, Hongbin Xiao, Wenhao Wang, Zhi Li, Changjin Li. PF4SAFE: Problem Frames extension for Safety Analysis based on FBN Evaluation. In Proc. QRS 2025 Workshops, Hangzhou, China, Jul 16–20, 2025. (EI, to appear)
  3. Yang Hua, Hongbin Xiao, Wenhao Wang, Zhi Li. XR4PD: Augmented Reality for Visualising Problem Diagrams in Requirements Analysis. In Proc. Internetware 2025, Trondheim, Norway, Jun 20–22, 2025. (EI, CCF C)
  4. Hongbin Xiao, Zhi Li, Yilong Yang, Fei Tang, Dongming Jin. PF2UML: A Tool for Problem-Oriented Requirements Modeling and Transformation. In Proc. ACM FSE 2025, Trondheim, Norway, Jun 23–27, 2025. (EI, CCF A)
  5. Yaqi Sun, Xiaolan Xie, Zhi Li, Kai Yang. Batch-transformer for scene text image super-resolution. The Visual Computer, vol. 40, no. 10, pp. 7399-7409, Aug 29, 2024. doi:10.1007/s00371-024-03598-7 (SCI & EI, CCF C)
  6. Yaqi Sun, Xiaolan Xie, Zhi Li, Huihuang Zhao. Image style transfer with saliency constrained and SIFT feature fusion. The Visual Computer, vol. 41, no. 7, pp. 4915-4930, Dec 7, 2024. doi:10.1007/s00371-024-03698-4 (SCI & EI, CCF C)
  7. Zhiyi Mo, Guangtong Zhang, Jian Nong, Bineng Zhong, Zhi Li. Dual-stream Multi-modal Interactive Vision-language Tracking. In Proc. MMAsia 2024, Article 59, pp. 1-7, Auckland, New Zealand, Dec 28, 2024. doi:10.1145/3696409.3700220 (EI)
  8. Affan Yasin, Rubia Fatima, Ira Puspitasari, Zheng JiangBin, Zhi Li. Enhancing Literature Quality Assessment Skill in Novice Researchers: A Collaborative Card-Based Learning Approach. Journal of Software: Evolution and Process, vol. 37, no. 1, 2025. doi:10.1002/smr.2753 (SCI & EI, CCF B)
  9. Waqas Junaid, Zhi Li. Tackling visual and conceptual complexity of problem-oriented modeling of requirements. Software Quality Journal, vol. 32, no. 2, pp. 681-702, Jun 2024. doi:10.1007/s11219-024-09662-8 (SCI & EI, CCF C)
  10. Cuiling Chen, Zhi Li. Multiple kernel clustering with structure-preserving and block diagonal property. Multimedia Tools and Applications, vol. 83, no. 3, pp. 6425-6445, Apr 22, 2023. doi:10.1007/s11042-023-15610-8 (SCI & EI, CCF C)
  11. Cuiling Chen, Zhi Li. One-step multiple kernel k-means clustering based on block diagonal representation. Expert Systems, vol. 41, no. 12, 2024. doi:10.1111/exsy.13720 (SCI & EI, CCF C)
  12. Cuiling Chen, Jian Wei, Zhi Li. Multiple kernel k-means clustering with block diagonal property. Pattern Analysis and Applications, vol. 26, no. 3, pp. 1515-1526, Jul 11, 2023. doi:10.1007/s10044-023-01183-7 (SCI)
  13. Cuiling Chen, Jian Wei, Zhi Li. Optimal neighborhood kernel clustering with adaptive local kernels and block diagonal property. Neural Computing & Applications, vol. 35, no. 30, pp. 22297-22312, Aug 7, 2023. doi:10.1007/s00521-023-08885-3 (SCI & EI)
  14. Cuiling Chen, Zhijun Hu, Hongbin Xiao, Junbo Ma, Zhi Li. One-Step Clustering with Adaptively Local Kernels and a Neighborhood Kernel. Mathematics, vol. 11, no. 18, 2023. doi:10.3390/math11183950 (SCI)
  15. Jiahao Wei, Xuan Chen, Zhi Li. Natural Language Processing-based Requirements Modeling: A Case Study on Problem Frames. In Proc. APSEC 2023, Seoul, Korea, Dec 4–7, 2023. (EI, CCF C)
  16. Shangzhi Tang, Xuan Chen, Hongbin Xiao, Jiahao Wei, Zhi Li. Using problem frames approach for key information extraction from natural language requirements. In Proc. QRS-C 2023, pp. 320-329, Chiang Mai, Thailand, Oct 22–26, 2023. doi:10.1109/QRS-C60940.2023.00037 (EI, CCF C)
  17. Hao Ding, Yanlong He, Zhongyi Zhai, Zhi Li, Junyan Qian, Lingzhong Zhao. Efficient Three-Dimensional Processor Array Reconfiguration Algorithms Based on Bucket Effect. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Early Access, Nov 29, 2023. doi:10.1109/TCAD.2023.3337196 (SCI & EI, CCF A)
  18. Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou. Uncovering bugs in code coverage profilers via control flow constraint solving. IEEE Transactions on Software Engineering, vol. 49, no. 11, pp. 4964-4987, Oct 4, 2023. doi:10.1109/TSE.2023.3321381 (SCI & EI, CCF A)
  19. Ling Xie, Hongbin Xiao, Zhi Li. Augmenting the Problem Frames Approach with Explicit Data Descriptions Using ChatGPT. In Proc. REW 2023, pp. 178-183, Hannover, Germany, Sep 4–8, 2023. doi:10.1109/REW57809.2023.00036 (EI)
  20. Bowen Zheng, Zhi Li, Hongbin Xiao. A multimedia-approach to problem descriptions for fine-grained detail characterization. In Proc. REW 2023, pp. 205-208, Hannover, Germany, Sep 4–8, 2023. doi:10.1109/REW57809.2023.00040 (EI)
  21. Yulong Li, Zhi Li, Yitao Bu, Hongbin Xiao, Yajun Deng. PF4MD: A Microservice Decomposition Tool Combining Problem Frames. In Proc. RE 2023, pp. 359-360, Hannover, Germany, Sep 4–8, 2023. doi:10.1109/RE57278.2023.00051 (EI, CCF B)
  22. Jiaqing Deng, Zhi Li, Xiayu Zhou, Hongbin Xiao. NFRNet-LT: Improving Accuracy in Extracting Long-tailed Non-functional Requirements. In Proc. RE 2023, pp. 355-356, Hannover, Germany, Sep 4–8, 2023. doi:10.1109/RE57278.2023.00049 (EI, CCF B)
  23. Xuan Chen, Hongbin Xiao, Yajun Deng, Zhi Li. NL2PD: A Tool for Problem Diagram Generation from Requirements in Natural Language. In Proc. RE 2023, pp. 361-362, Hannover, Germany, Sep 4–8, 2023. doi:10.1109/RE57278.2023.00052 (EI, CCF B)
  24. Lufeng Wei, Zhi Li, Yuansong Qin. Towards generating contextualised fault scenarios for reliability risk analysis of cyber-physical systems. In Proc. SEKE 2023, pp. 209-210, San Francisco, USA, Jul 1–10, 2023. doi:10.18293/SEKE2023-229 (EI, CCF C)
  25. Zhiyi Mo, Zhi Li. Learning to Propose and Refine for Accurate and Robust Tracking via an Alignment Convolution. Drones, vol. 7, no. 6, 343, 2023. doi:10.3390/drones7060343 (SCI)
  26. Yajun Deng, Zhi Li, Hongbin Xiao. Trace4PF: A tool for Automated Decomposition of Problem Diagrams with Traceability. In Proc. SEKE 2022, pp. 473-474, Pittsburgh, USA, Jul 1–10, 2022. (EI, CCF C)
  27. Zhi Li, Ling Xie, Yilong Yang. A Simplified Method for Automatic Verification of Java Programs. In Proc. SEKE 2022, pp. 471-472, Pittsburgh, USA, Jul 1–10, 2022. (EI, CCF C)
  28. Hui Liu, Yunfang Li, Zhi Li. EARS2TF: A Tool for Automated Planning Test from Semi-formalized Requirements. In Proc. SEKE 2022, pp. 469-470, Pittsburgh, USA, Jul 1–10, 2022. (EI, CCF C)
  29. Weidong Li, Rong Peng, Zhi Li. Improving knowledge graph completion via increasing embedding interactions. Applied Intelligence, 2022. doi:10.1007/s10489-021-02947-6 (SCI & EI, CCF C)
  30. Weidong Li, Rong Peng, Zhi Li. Knowledge Graph Completion by Jointly Learning Structural Features and Soft Logical Rules. IEEE Transactions on Knowledge and Data Engineering, Early Access, 2021. doi:10.1109/TKDE.2021.3108224 (SCI & EI, CCF A)
  31. Bing Li, Zhi Li, Yilong Yang. Classification of non-functional software requirements using word embeddings and long short-term memory. Journal of Guangxi Normal University (Natural Science Edition), vol. 39, no. 5, pp. 110-121, Sep 2021. doi:10.16088/j.issn.1001-6600.2020111401 (Core Chinese journal)
  32. Shangfeng Wei, Zhi Li, Yilong Yang, Hongbin Xiao. Zoom4PF: A Tool for Refining Static and Dynamic Domain Descriptions in Problem Frames. In Proc. RE 2021, pp. 414-415, Notre Dame, USA, Sep 20–24, 2021. (EI, CCF B)
  33. Hongbin Xiao, Zhi Li, Yilong Yang, Shangfeng Wei. An Extended Meta-Model of Problem Frames for Enriching Environmental Descriptions. In Proc. REW 2021, pp. 428-434, Notre Dame, USA, Sep 20–24, 2021. (EI)
  34. Bing Li, Zhi Li, Yilong Yang. NFRNet: A Deep Neural Network for Automatic Classification of Non-Functional Requirements. In Proc. RE 2021, pp. 434-435, Notre Dame, USA, Sep 20–24, 2021. (EI, CCF B)
  35. Waqas Junaid, Zhi Li. Evaluating the Effectiveness of Problem Frames for Contextual Modeling of Cyber-Physical Systems: a Tool Suite with Adaptive User Interfaces. In Proc. EASE 2021, pp. 284-287, Trondheim, Norway, Jun 21–23, 2021. doi:10.1145/3463274.3463344 (EI, CCF C)
  36. Lin Liu, Zhi Li. Requirements Engineering Under the Background of Artificial Intelligence Preface. Journal of Computer Research and Development, vol. 58, no. 4, pp. 681-682, 2021. doi:10.7544/issn1000-1239.2021.qy0401 (CCF A Chinese journal)
  37. Bing Li, Zhi Li and Yilong Yang. Residual attention graph convolutional network for web services classification. Neurocomputing, vol. 440, pp. 45-57, 14 June 2021 (online 13 Feb 2021). doi:10.1016/j.neucom.2021.01.089 (SCI & EI, CCF C)
  38. Zhi Li, Jie Deng, Yilong Yang, Shangfeng Wei. Transformational Approach from Problem Models of Cyber-Physical Systems to Use Case Diagrams in UML (in Chinese). Computer Science, vol. 47, no. 12, pp. 65-72, 2020. doi:10.11896/jsjkx.201200044 (CCF B Chinese journal)
  39. Yilong Yang, Nafees Qamar, Peng Liu, Katarina Grolinger, Weiru Wang, Zhi Li, Zhifang Liao. ServeNet: A Deep Neural Network for Web Services Classification. In Proc. ICWS 2020, pp. 168-175, Beijing, China, Oct 19–23, 2020. doi:10.1109/ICWS49710.2020.00029 (EI, CCF B)
  40. Yilong Yang, Xiaoshan Li, Zhi Li. Rapid Prototyping for Requirements Validation: A Best-Practice with RM2PT. In Proc. RE 2020, Zurich, Switzerland, Aug 31–Sep 4, 2020. (EI, CCF B)
  41. Zhi Jin, Xiaohong Chen, Zhi Li, Yijun Yu. RE4CPS: Requirements engineering for cyber-physical systems. In Proc. RE 2019, pp. 496–497, Jeju Island, Korea, Sep 2019. doi:10.1109/RE.2019.00072 (EI, CCF B)
  42. Yilong Yang, Xiaoshan Li, Zhi Li. Rapid Prototyping for Requirements Validation: A Best-Practice with RM2PT. In Proc. RE 2020, Zurich, Switzerland, Aug 31–Sep 4, 2020. (EI, CCF B)
  43. Jiaye Li, Lin Wu, Guoqiu Wen, Zhi Li. Exclusive feature selection and multi-view learning for Alzheimer's Disease. Journal of Visual Communication and Image Representation, vol. 64, 2019. doi:10.1016/j.jvcir.2019.102605 (SCI & EI)
  44. Changlan Fu, He Zhang, Xin Huang, Xin Zhou, Zhi Li. A Review of Meta-ethnographies in Software Engineering. In Proc. EASE 2019, pp. 68-77, Copenhagen, Denmark, Apr 15–17, 2019. doi:10.1145/3319008.3319015 (EI, CCF C)
  45. Xiao Zhang, Zhi Li, Ziyan Zhao, Changlan Fu, Weidong Li, Yuekun Yu, Chao Wang. Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development. Computer Science, vol. 45, no. 9, pp. 119-122, 2018. (CCF B Chinese journal)
  46. Changlan Fu, Xiao Zhang, Zhi Li, Ziyan Zhao, Chao Wang, Yuekun Yu. On the Problem-Oriented Verification of Cyber-Physical Systems Using System-Level Test Sequences. In Proc. DMSVIVA 2018, pp. 125-131, Redwood City, USA, Jun 29–30, 2018. doi:10.18293/DMSVIVA2018-021 (EI)
  47. Zhi Li. PURE: Problem-oriented Urban Requirements Engineering for Big Data Analytics, invited talk. In Proc. DMSVIVA 2018, pp. viii, Redwood City, USA, Jun 29–30, 2018. (Invited Talk)
  48. Ziyan Zhao, Zhi Li, Changlan Fu, Xiao Zhang. A Computer-aided Modeling and Verification Approach for Problem-oriented Software Development. In Proc. APCASE 2017, pp. 21-28, Guilin, China, Nov 2017. Best Paper Award
  49. Zhe Liu, Zhi Li. Research and Development of Computer-aided Requirements Engineering Tool Based on Multi-modal Interaction Technologies. Computer Science, vol. 44, no. 4, pp. 177-181, 2017. (CCF B Chinese journal)
  50. Ning Gao, Zhi Li. Research on Behavior-driven Development Based on Problem Frames. Computer Science, vol. 44, no. 11, pp. 187-190, 2017. (CCF B Chinese journal)
  51. Ning Gao, Zhi Li. Generating Testing Codes for Behavior-Driven Development from Problem Diagrams: A Tool-Based Approach. In Proc. RE 2016, pp. 399-400, Beijing, China, Sep 2016. doi:10.1109/RE.2016.54 (EI, CCF B)
  52. Guoyuan Liu, Zhi Li, Shilang Huang, Zhaofeng Ouyang, Zhe Liu. CARE: A Computer-Aided Requirements Engineering Tool for Problem-Oriented Software Development. International Journal of Software Engineering and Knowledge Engineering, vol. 25, no. 9&10, pp. 1747-1752, 2015. doi:10.1142/S0218194015710114 (SCI & EI, CCF C)
  53. Guoyuan Liu, Zhi Li, Zhaofeng Ouyang. CARE: A Computer-Aided Requirements Engineering Tool for Problem-Oriented Software Development. In Proc. SEKE 2015, pp. 727-729, Pittsburgh, USA, Jul 2015. Best Demo Paper Award (EI, CCF C)
  54. Zheng-hai He, Zhi Li. Research and Development of Computer-aided Requirements Analysis Tool Based on Human-computer Interaction. Computer Science, vol. 42, no. 12, pp. 181-183, 2015. (CCF B Chinese journal)
  55. Li-lu Zhu, Zhi Li. Formal Validation of Causal Behaviors of Problem Domains in Problem Frames Approach. Computer Science, vol. 42, no. 12, pp. 136-142, 2015. (CCF B Chinese journal)
  56. Guo-yuan Liu, Guang-hai Wan, Liu Pang, Zhi Li. Research and Development of Computer-aided Requirements Engineering Tool Based on Problem Frames. Computer Science, vol. 41, no. 11, pp. 137-140, 2014. (CCF B Chinese journal)
  57. Zhi Li, Lu Chen. System-Level Testing of Cyber-Physical Systems Based on Problem Concerns. In Proc. IWAAPO 2014, pp. 60-62, Nanjing, China, May 2014. doi:10.1145/2627508.2627511 (EI)
  58. Zhi Li, Jon G. Hall, Lucia Rapanotti. On the systematic transformation of requirements to specifications. Requirements Engineering, vol. 19, no. 4, pp. 397-419, 2014. doi:10.1007/s00766-013-0173-8 (SCI & EI, CCF B)
  59. Zhuoqun Yang, Zhi Li, Zhi Jin, Yunchuan Chen. A Systematic Literature Review of Requirements Modeling and Analysis for Self-Adaptive Systems. In Proc. REFSQ 2014, LNCS vol. 8396, pp. 55-71, Springer, Essen, Germany, Apr 2014. doi:10.1007/978-3-319-05843-6_5 Best Paper Award (EI, CCF C)
  60. Zhi Li, Zhi Jin. From User Requirements to Software Specifications: An Approach Based on Problem Transformation. Journal of Software, vol. 24, no. 5, pp. 961-976, May 2013. doi:10.3724/SP.J.1001.2013.04371 (CCF A Chinese journal, EI)
  61. Zhi Li, Liu Pang, Guo-yuan Liu, Zhi-shang Yang. A Model-Driven Software Requirements Analysis Method and Its Technical Support. Journal of Guangxi Normal University: Natural Science Edition, vol. 31, no. 2, Jun 2013. (Core Chinese journal)
  62. Bin Yin, Zhi Jin, Zhi Li. Reliability Concerns in the Problem Frames Approach and System Reliability Enhancement Patterns. Chinese Journal of Computers, vol. 36, no. 1, pp. 74-87, Jan 2013. doi:10.3724/SP.J.1016.2013.00074 (CCF A Chinese journal, EI)
  63. Barbara Kitchenham, Zhi Li, Andrew Burn. Validating search processes in systematic literature reviews. In Proc. IWAAPO 2011, pp. 42-44, Honolulu, USA, May 2011. (EI)
  64. Zhi Li, Jon G. Hall, Lucia Rapanotti. On the construction of specifications from requirements. In Proc. WER 2011, pp. 431-442, Rio de Janeiro, Brazil, Apr 2011. (EI)
  65. Barbara Kitchenham, Pearl Brereton, Zhi Li, David Budgen, Andrew Burn. Repeatability of Systematic Literature Reviews. In Proc. EASE 2011, pp. 46-55, Durham, UK, Apr 2011. doi:10.1049/ic.2011.0006 (EI, CCF C)
  66. Zhi Li. Towards Tool Support for Problem-Oriented Software Engineering using Knowledge-Based Techniques. In Proc. IWAAPO 2010, pp. 42-44, Cape Town, South Africa, May 2010. (co-located with ICSE 2010)
  67. Barbara Kitchenham, Andrew Burn, Zhi Li. A Quality Checklist for Technology-Centred Testing Studies. In Proc. EASE 2009, Durham, UK, Apr 2009. doi:10.14236/ewic/ease2009.15 (EI, CCF C)
  68. Zhi Li, Jon G. Hall, Lucia Rapanotti. Progressing Problems from requirements to Specifications in Problem Frames. In Proc. IWAAPF 2008, pp. 53-59, Leipzig, Germany, May 2008. doi:10.1145/1370811.1370823 (EI, co-located with ICSE 2008)
  69. Zhi Li. Progressing Problems from Requirements to Specifications in Problem Frames. PhD Thesis, Dept. of Computing, The Open University, UK, Jan 2008.
  70. Lucia Rapanotti, Jon G. Hall, Zhi Li. Deriving specifications from requirements through problem reduction. IEE Proceedings - Software, vol. 153, no. 5, pp. 183-198, Oct 2006. doi:10.1049/ip-sen:20060011 (SCI & EI, CCF B)
  71. Zhi Li, Jon G. Hall, Lucia Rapanotti. From requirements to specifications: a formal approach. In Proc. IWAAPF 2006, pp. 65-70, Shanghai, China, May 2006. doi:10.1145/1138670.1138681 (EI, co-located with ICSE 2006)
  72. Lucia Rapanotti, Jon G. Hall, Zhi Li. Problem reduction: a systematic technique for deriving specifications from requirements. Tech. Rep. No. 2006/02, ISSN 1744-1986, The Open University, Feb 2006.
  73. Zhi Li, Jon G. Hall, Lucia Rapanotti. A Constructive Approach to Problem Frame Semantics. Tech. Rep. No. 2004/26, ISSN 1744-1986, The Open University, Dec 2004.
  74. Zhi Li, Jon G. Hall, Lucia Rapanotti. Reasoning about decomposing and recomposing Problem Frames developments: a case study. In Proc. IWAAPF 2004, pp. 49-53, Edinburgh, UK, May 2004. doi:10.1049/ic:20040224 (co-located with ICSE 2004)