Zhi Li

According to our database, Zhi Li authored at least 26 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Efficient 3-D Processor Array Reconfiguration Algorithms Based on Bucket Effect.

Hao Ding, Yanlong He, Zhongyi Zhai, Zhi Li, Junyan Qian, Lingzhong Zhao

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

2023

Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving.

Yang Wang, Peng Zhang, Maolin Sun, Zeyu Lu, Yibiao Yang, Yutian Tang, Junyan Qian, Zhi Li, Yuming Zhou

IEEE Trans. Software Eng., November, 2023

Knowledge Graph Completion by Jointly Learning Structural Features and Soft Logical Rules.

Weidong Li, Rong Peng, Zhi Li

IEEE Trans. Knowl. Data Eng., March, 2023

Augmenting the Problem Frames Approach with Explicit Data Descriptions Using ChatGPT.

Ling Xie, Hongbin Xiao, Zhi Li

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

NL2PD: A Tool for Problem Diagram Generation from Requirements in Natural Language.

Xuan Chen, Hongbin Xiao, Yajun Deng, Zhi Li

Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

2022

PF4Microservices: A decomposion scheme for microservices based on Problem Frames.

Zhi Li, Yitao Bo, Hongbin Xiao

CoRR, 2022

A Simplified Method for Automatic Verification of Java Programs.

Zhi Li, Ling Xie, Yilong Yang

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Trace4PF: A tool for Automated Decomposition of Problem Diagrams with Traceability.

Yajun Deng, Zhi Li, Hongbin Xiao

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

Residual attention graph convolutional network for web services classification.

Bing Li, Zhi Li, Yilong Yang

Neurocomputing, 2021

An Extended Meta-Model of Problem Frames for Enriching Environmental Descriptions.

Hongbin Xiao, Zhi Li, Yilong Yang, Jie Deng, Shangfeng Wei

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Zoom4PF: A Tool for Refining Static and Dynamic Domain Descriptions in Problem Frames.

Shangfeng Wei, Zhi Li, Yilong Yang, Hongbin Xiao

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

NFRNet: A Deep Neural Network for Automatic Classification of Non-Functional Requirements.

Bing Li, Zhi Li, Yilong Yang

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

2020

ServeNet: A Deep Neural Network for Web Services Classification.

Yilong Yang, Nafees Qamar, Peng Liu, Katarina Grolinger, Weiru Wang, Zhi Li, Zhifang Liao

Proceedings of the 2020 IEEE International Conference on Web Services, 2020

2019

A Review of Meta-ethnographies in Software Engineering.

Changlan Fu, He Zhang, Xin Huang, Xin Zhou, Zhi Li

Proceedings of the Evaluation and Assessment on Software Engineering, 2019

2018

面向问题的软件开发协同建模工具的研究与实现 (Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development).

Xiao Zhang, Zhi Li, Ziyan Zhao, Changlan Fu, Weidong Li, Yuekun Yu, Chao Wang

计算机科学, 2018

On the Problem-Oriented Validation of Cyber-Physical Systems Using System-Level Test Sequences (S).

Xiao Zhang, Zhi Li, Ziyan Zhao, Chao Wang, Yuekun Yu, Changlan Fu

Proceedings of the 24th International DMS Conference on Visualization and Visual Languages, 2018

2014

On the systematic transformation of requirements to specifications.

Zhi Li, Jon G. Hall, Lucia Rapanotti

Requir. Eng., 2014

2011

Validating Search Processes in Systematic Literature Reviews.

Barbara A. Kitchenham, Zhi Li, Andrew James Burn

Proceedings of the EAST 2011, 2011

Repeatability of systematic literature reviews.

Barbara A. Kitchenham, Pearl Brereton, Zhi Li, David Budgen, Andrew James Burn

Proceedings of the 15th International Conference on Evaluation & Assessment in Software Engineering, 2011

On the Construction of Specifications from Requirements.

Zhi Li, Jon G. Hall, Lucia Rapanotti

Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

2009

An Evaluation of Quality Checklist Proposals - A participant-observer case study.

Barbara A. Kitchenham, O. Pearl Brereton, David Budgen, Zhi Li

Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009

A Quality Checklist for Technology-Centred Testing Studies.

Barbara A. Kitchenham, Andrew James Burn, Zhi Li

Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009

2008

Using a Protocol Template for Case Study Planning.

Pearl Brereton, Barbara A. Kitchenham, David Budgen, Zhi Li

Proceedings of the 12th International Conference on Evaluation and Assessment in Software Engineering, 2008

2007

Progressing problems from requirements to specifications in problem frames.

Zhi Li

PhD thesis, 2007

2006

Deriving specifications from requirements through problem reduction.

Lucia Rapanotti, Jon G. Hall, Zhi Li

IEE Proc. Softw., 2006

From requirements to specifications: a formal approach.

Zhi Li, Jon G. Hall, Lucia Rapanotti

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006