From requirements to specifications: a formal approach. - Zhi Li 017; Jon G. Hall; Lucia Rapanotti (IWAAPF@ICSE, 2006)

Deriving specifications from requirements through problem reduction. - Lucia Rapanotti; Jon G. Hall; Zhi Li 017 (IEE Proc. Softw., 2006)

Progressing problems from requirements to specifications in problem frames. - Zhi Li 017 (2007)

Using a Protocol Template for Case Study Planning. - Pearl Brereton; Barbara A. Kitchenham; David Budgen; Zhi Li 017 (EASE, 2008)

A Quality Checklist for Technology-Centred Testing Studies. - Barbara A. Kitchenham; Andrew James Burn; Zhi Li 017 (EASE, 2009)

An Evaluation of Quality Checklist Proposals - A participant-observer case study. - Barbara A. Kitchenham; O. Pearl Brereton; David Budgen; Zhi Li 017 (EASE, 2009)

On the Construction of Specifications from Requirements. - Zhi Li 017; Jon G. Hall; Lucia Rapanotti (CIbSE, 2011)

Repeatability of systematic literature reviews. - Barbara A. Kitchenham; Pearl Brereton; Zhi Li 017; David Budgen; Andrew James Burn (EASE, 2011)

Validating Search Processes in Systematic Literature Reviews. - Barbara A. Kitchenham; Zhi Li 017; Andrew James Burn (EAST, 2011)

A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems. - Zhuoqun Yang; Zhi Li 017; Zhi Jin; Yunchuan Chen (REFSQ, 2014)

On the systematic transformation of requirements to specifications. - Zhi Li 017; Jon G. Hall; Lucia Rapanotti (Requir. Eng., 2014)

CARE: A Computer-Aided Requirements Engineering Tool for Problem-Oriented Software Development. - Guoyuan Liu; Zhi Li 017; Shilang Huang; Zhaofeng Ouyang; Zhe Liu (Int. J. Softw. Eng. Knowl. Eng., 2015)

On the Problem-Oriented Validation of Cyber-Physical Systems Using System-Level Test Sequences (S). - Xiao Zhang; Zhi Li 017; Ziyan Zhao; Chao Wang; Yuekun Yu; Changlan Fu (DMSVIVA, 2018)

面向问题的软件开发协同建模工具的研究与实现 (Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development). - Xiao Zhang; Zhi Li 017; Ziyan Zhao; Changlan Fu; Weidong Li; Yuekun Yu; Chao Wang (计算机科学, 2018)

A Review of Meta-ethnographies in Software Engineering. - Changlan Fu; He Zhang 001; Xin Huang 019; Xin Zhou 016; Zhi Li 017 (EASE, 2019)

RE4CPS: Requirements Engineering for Cyber-Physical Systems. - Zhi Jin; Xiaohong Chen 001; Zhi Li 017; Yijun Yu (RE, 2019)

Exclusive feature selection and multi-view learning for Alzheimer's Disease. - Jiaye Li 001; Lin Wu; Guoqiu Wen; Zhi Li 017 (J. Vis. Commun. Image Represent., 2019)

ServeNet: A Deep Neural Network for Web Services Classification. - Yilong Yang 001; Nafees Qamar; Peng Liu 070; Katarina Grolinger; Weiru Wang 001; Zhi Li 017; Zhifang Liao (ICWS, 2020)

NFRNet: A Deep Neural Network for Automatic Classification of Non-Functional Requirements. - Bing Li; Zhi Li 017; Yilong Yang 001 (RE, 2021)

Zoom4PF: A Tool for Refining Static and Dynamic Domain Descriptions in Problem Frames. - Shangfeng Wei; Zhi Li 017; Yilong Yang 001; Hongbin Xiao (RE, 2021)

An Extended Meta-Model of Problem Frames for Enriching Environmental Descriptions. - Hongbin Xiao; Zhi Li 017; Yilong Yang 001; Jie Deng; Shangfeng Wei (RE Workshops, 2021)

Residual attention graph convolutional network for web services classification. - Bing Li; Zhi Li 017; Yilong Yang 001 (Neurocomputing, 2021)

Trace4PF: A tool for Automated Decomposition of Problem Diagrams with Traceability. - Yajun Deng; Zhi Li 017; Hongbin Xiao (SEKE, 2022)

A Simplified Method for Automatic Verification of Java Programs. - Zhi Li 017; Ling Xie; Yilong Yang 001 (SEKE, 2022)

PF4Microservices: A decomposion scheme for microservices based on Problem Frames. - Zhi Li 017; Yitao Bo; Hongbin Xiao (CoRR, 2022)

Natural Language Processing-Based Requirements Modeling: A Case Study on Problem Frames. - Jiahao Wei; Xuan Chen; Hongbin Xiao; Shangzhi Tang; Xiaolan Xie; Zhi Li 017 (APSEC, 2023)

Using Problem Frames Approach for Key Information Extraction from Natural Language Requirements. - Shangzhi Tang; Xuan Chen; Hongbin Xiao; Jiahao Wei; Zhi Li 017 (QRS Companion, 2023)

NL2PD: A Tool for Problem Diagram Generation from Requirements in Natural Language. - Xuan Chen; Hongbin Xiao; Yajun Deng; Zhi Li 017 (RE, 2023)

NFRNet-LT:Improving Accuracy in Extracting Long-tailed Non-functional Requirements. - Jiaqing Deng; Zhi Li 017; Xiayu Zhou; Hongbin Xiao (RE, 2023)

PF4MD: A Microservice Decomposition Tool Combining Problem Frames. - Yulong Li; Zhi Li 017; Yitao Bu; Hongbin Xiao; Yajun Deng (RE, 2023)

Augmenting the Problem Frames Approach with Explicit Data Descriptions Using ChatGPT. - Ling Xie; Hongbin Xiao; Zhi Li 017 (REW, 2023)

A Multimedia Approach to Problem Descriptions for Fine-Grained Detail Characterization. - Bowen Zheng; Zhi Li 017; Hongbin Xiao (REW, 2023)

Knowledge Graph Completion by Jointly Learning Structural Features and Soft Logical Rules. - Weidong Li; Rong Peng; Zhi Li 017 (IEEE Trans. Knowl. Data Eng., 2023)

Optimal neighborhood kernel clustering with adaptive local kernels and block diagonal property. - Cuiling Chen; Jian Wei; Zhi Li 017 (Neural Comput. Appl., 2023)

Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving. - Yang Wang 165; Peng Zhang 083; Maolin Sun; Zeyu Lu; Yibiao Yang; Yutian Tang; Junyan Qian; Zhi Li 017; Yuming Zhou (IEEE Trans. Software Eng., 2023)

RM2EIS: A Tool for Auto-Generation of EIS from Requirements Model. - Yihui Jian; Yilong Yang 001; Shaohong Zhu; Zhi Li 017; Li Zhang 029 (Internetware, 2024)

Dual-stream Multi-modal Interactive Vision-language Tracking. - Zhiyi Mo; Guangtong Zhang; Jian Nong; Bineng Zhong; Zhi Li 017 (MMAsia, 2024)

A Microservice Decomposition Approach Driven by Sub-Requirement References in Problem Diagrams. - Yitao Bu; Hongbin Xiao; Zhi Li 017; Xiaolan Xie (RE Workshops, 2024)

Welcome to the Fourth International Workshop on Environment-Driven Requirements Engineering (EnviRE'24). - Zhi Li 017; Xiaohong Chen 001; Nan Niu; Yijun Yu (RE Workshops, 2024)

Extending Meta-Model of Problem Frames for Metaverse Human-Computer Interaction System. - Yilong Yang 001; Yuyu Cheng; Juntao Gao; Zhi Li 017 (RE Workshops, 2024)

Deriving and Verifying B Specifications from Problem Frames Models via Model Transformation. - Simin Yang; Hongbin Xiao; Zhi Li 017; Xiaolan Xie (RE Workshops, 2024)

Multiple kernel clustering with structure-preserving and block diagonal property. - Cuiling Chen; Zhi Li 017 (Multim. Tools Appl., 2024)

Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving". - Yang Wang 165; Peng Zhang 083; Maolin Sun; Zeyu Lu; Yibiao Yang; Yutian Tang; Junyan Qian; Zhi Li 017; Yuming Zhou (IEEE Trans. Software Eng., 2024)

Efficient 3-D Processor Array Reconfiguration Algorithms Based on Bucket Effect. - Hao Ding 007; Yanlong He; Zhongyi Zhai; Zhi Li 017; Junyan Qian; Lingzhong Zhao (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Tackling visual and conceptual complexity of problem-oriented modeling of requirements. - Waqas Junaid; Zhi Li 017 (Softw. Qual. J., 2024)

PF2UML: A Tool for Problem-Oriented Requirements Modeling and Transformation. - Hongbin Xiao; Zhi Li 017; Yilong Yang 001; Fei Tang; Dongming Jin (SIGSOFT FSE Companion, 2025)