Haiyan Zhao
Haiyan Zhao
Verified email at pku.edu.cn - Homepage
TitleCited byYear
Towards automatic model synchronization from model transformations
Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
1952007
A propositional logic-based method for verification of feature models
W Zhang, H Zhao, H Mei
International Conference on Formal Engineering Methods, 115-130, 2004
1732004
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
1682005
Feature-driven requirement dependency analysis and high-level software design
W Zhang, H Mei, H Zhao
Requirements Engineering 11 (3), 205-220, 2006
1112006
Transformation from CIM to PIM: a feature-oriented component-based approach
W Zhang, H Mei, H Zhao, J Yang
International Conference on Model Driven Engineering Languages and Systems …, 2005
1092005
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
1072005
Supporting automatic model inconsistency fixing
Y Xiong, Z Hu, H Zhao, H Song, M Takeichi, H Mei
Proceedings of the the 7th joint meeting of the European software …, 2009
962009
A software architecture centric engineering approach for Internetware
H Mei, G Huang, H Zhao, W Jiao
Science in China Series F: Information Sciences 49 (6), 702-730, 2006
772006
A bdd-based approach to verifying clone-enabled feature models’ constraints and customization
W Zhang, H Yan, H Zhao, Z Jin
International Conference on Software Reuse, 186-199, 2008
572008
Ministry of education
T Ling, K Shaozhong, SX d Areas
Northwest Sci-Tec University of Agriculture and Forestry, Yangling 712100, 2008
342008
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
322009
An optimization strategy to feature models’ verification by eliminating verification-irrelevant features and constraints
H Yan, W Zhang, H Zhao, H Mei
International Conference on Software Reuse, 65-75, 2009
312009
A metamodel for modeling system features and their refinement, constraint and interaction relationships
H Mei, W Zhang, H Zhao
Software & Systems Modeling 5 (2), 172-186, 2006
222006
A dynamic-priority based approach to fixing inconsistent feature models
B Wang, Y Xiong, Z Hu, H Zhao, W Zhang, H Mei
International Conference on Model Driven Engineering Languages and Systems …, 2010
202010
TDL: a transformation description language from feature model to use case for automated use case derivation
W Yu, W Zhang, H Zhao, Z Jin
Proceedings of the 18th International Software Product Line Conference …, 2014
172014
Mining binary constraints in the construction of feature models
L Yi, W Zhang, H Zhao, Z Jin, H Mei
2012 20th IEEE International Requirements Engineering Conference (RE), 141-150, 2012
162012
Modeling variability in software product family.
SX Zou, W Zhang, HY Zhao, H Mei
Ruan Jian Xue Bao(J. Softw.) 16 (1), 37-49, 2005
152005
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
142013
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
142013
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
132017
The system can't perform the operation now. Try again later.
Articles 1–20