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 twenty-second IEEE/ACM international conference on …, 2007
2202007
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
2012005
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
1962004
Feature-driven requirement dependency analysis and high-level software design
W Zhang, H Mei, H Zhao
Requirements Engineering 11 (3), 205-220, 2006
1292006
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
1262005
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
1202009
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
1192005
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
852006
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
662008
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
502017
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
372009
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
362009
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
242019
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
242013
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
242013
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
242006
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
232010
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
222019
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
212012
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
152014
The system can't perform the operation now. Try again later.
Articles 1–20