| An approach to constructing feature models based on requirements clustering K Chen, W Zhang, H Zhao, H Mei 13th IEEE International Conference on Requirements Engineering (RE'05), 31-40, 2005 | 233 | 2005 |
| Towards automatic model synchronization from model transformations Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007 | 224 | 2007 |
| A propositional logic-based method for verification of feature models W Zhang, H Zhao, H Mei Formal Methods and Software Engineering: 6th International Conference on …, 2004 | 200 | 2004 |
| Supporting automatic model inconsistency fixing Y Xiong, Z Hu, H Zhao, H Song, M Takeichi, H Mei Proceedings of the 7th joint meeting of the European software engineering …, 2009 | 132 | 2009 |
| A feature-oriented approach to modeling requirements dependencies W Zhang, H Mei, H Zhao 13th IEEE International Conference on Requirements Engineering (RE'05), 273-282, 2005 | 124 | 2005 |
| Transformation from CIM to PIM: A feature-oriented component-based approach W Zhang, H Mei, H Zhao, J Yang Model Driven Engineering Languages and Systems: 8th International Conference …, 2005 | 123 | 2005 |
| Feature-driven requirement dependency analysis and high-level software design W Zhang, H Mei, H Zhao Requirements Engineering 11, 205-220, 2006 | 118 | 2006 |
| A software architecture centric engineering approach for Internetware H Mei, G Huang, H Zhao, W Jiao Science in China Series F: Information Sciences 49, 702-730, 2006 | 89 | 2006 |
| A reinforcement learning-based framework for the generation and evolution of adaptation rules T Zhao, W Zhang, H Zhao, Z Jin 2017 IEEE international conference on autonomic computing (ICAC), 103-112, 2017 | 75 | 2017 |
| The impact of reasoning step length on large language models M Jin, Q Yu, D Shu, H Zhao, W Hua, Y Meng, Y Zhang, M Du arXiv preprint arXiv:2401.04925, 2024 | 66 | 2024 |
| IntelliMerge: A refactoring-aware software merging technique B Shen, W Zhang, H Zhao, G Liang, Z Jin, Q Wang Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019 | 63 | 2019 |
| A bdd-based approach to verifying clone-enabled feature models’ constraints and customization W Zhang, H Yan, H Zhao, Z Jin High Confidence Software Reuse in Large Systems: 10th International …, 2008 | 55 | 2008 |
| Targeting requirements violations of autonomous driving systems by dynamic evolutionary search Y Luo, XY Zhang, P Arcaini, Z Jin, H Zhao, F Ishikawa, R Wu, T Xie 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 48 | 2021 |
| Modelling and analysing resilient cyber-physical systems A Bennaceur, C Ghezzi, K Tei, T Kehrer, D Weyns, R Calinescu, ... 2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019 | 47 | 2019 |
| A use case based approach to feature models' construction B Wang, W Zhang, H Zhao, Z Jin, H Mei 2009 17th IEEE International Requirements Engineering Conference, 121-130, 2009 | 36 | 2009 |
| An optimization strategy to feature models’ verification by eliminating verification-irrelevant features and constraints H Yan, W Zhang, H Zhao, H Mei Formal Foundations of Reuse and Domain Engineering: 11th International …, 2009 | 34 | 2009 |
| A dynamic-priority based approach to fixing inconsistent feature models B Wang, Y Xiong, Z Hu, H Zhao, W Zhang, H Mei Model Driven Engineering Languages and Systems: 13th International …, 2010 | 26 | 2010 |
| A metamodel for modeling system features and their refinement, constraint and interaction relationships H Mei, W Zhang, H Zhao Software & Systems Modeling 5, 172-186, 2006 | 26 | 2006 |
| Smartfixer: Fixing software configurations based on dynamic priorities B Wang, L Passos, Y Xiong, K Czarnecki, H Zhao, W Zhang Proceedings of the 17th International Software Product Line Conference, 82-90, 2013 | 25 | 2013 |
| Exploring Concept Depth: How Large Language Models Acquire Knowledge and Concept at Different Layers? M Jin, Q Yu, J Huang, Q Zeng, Z Wang, W Hua, H Zhao, K Mei, Y Meng, ... arXiv preprint arXiv:2404.07066, 2024 | 22 | 2024 |