Follow
Haiyan Zhao
Haiyan Zhao
Verified email at pku.edu.cn - Homepage
Title
Cited by
Cited by
Year
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
2222007
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
2202005
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
2032004
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
1332009
Feature-driven requirement dependency analysis and high-level software design
W Zhang, H Mei, H Zhao
Requirements Engineering 11, 205-220, 2006
1262006
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
1242005
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
1242005
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
972006
Explainability for large language models: A survey
H Zhao, H Chen, F Yang, N Liu, H Deng, H Cai, S Wang, D Yin, M Du
ACM Transactions on Intelligent Systems and Technology 15 (2), 1-38, 2024
712024
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
682017
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
582008
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
492019
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
382009
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
352009
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
342019
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
302021
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
282006
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
252010
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
232013
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
232013
The system can't perform the operation now. Try again later.
Articles 1–20