Refactoring product lines, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.201-210, 2006. ,
DOI : 10.1145/1173706.1173737
Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.615-636, 2010. ,
DOI : 10.1016/j.is.2010.01.001
The Sat4j library, release 2.2, JSAT, vol.7, issue.2-3, pp.59-65, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00868136
Global Inverse Consistency for Interactive Constraint Satisfaction, CP 2013, pp.159-174, 2013. ,
DOI : 10.1007/978-3-642-40627-0_15
URL : https://hal.archives-ouvertes.fr/hal-01147298
Evolution of Software Product Lines, Evolving Software Systems, pp.265-295, 2014. ,
DOI : 10.1007/978-3-642-45398-4_9
Formalizing cardinality-based feature models and their specialization, Software Process: Improvement and Practice, pp.7-29, 2005. ,
DOI : 10.1002/spip.213
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.4104
Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Software Process: Improvement and Practice, pp.143-169, 2005. ,
Cardinality-Based Feature Modeling and Constraints: A Progress Report, International Workshop on Software Factories at OOPSLA'05, 2005. ,
Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia, Reliability Engineering and System Safety, vol.58, issue.2, pp.127-144, 1997. ,
Consistency maintenance for evolving feature models, Expert Systems with Applications, vol.39, issue.5, pp.4987-4998, 2012. ,
DOI : 10.1016/j.eswa.2011.10.014
Feature-Oriented Domain Analysis (FODA) -Feasibility Study The Software Engineering Institute, 1990. ,
Evolution of the Linux Kernel Variability Model, SPLC'10, pp.136-150 ,
DOI : 10.1007/978-3-642-15579-6_10
A Formal Semantics for Feature Cardinalities in Feature Diagrams Investigating the Safe Evolution of Software Product Lines, VaMoS'11 GPCE'11, pp.82-89, 2011. ,
Knowledge Based Method to Validate Feature Models, SPLC'08 Workshops, pp.217-225, 2008. ,
Towards a catalog of variability evolution patterns, Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD '12, pp.62-69, 2012. ,
DOI : 10.1145/2377816.2377825
Coevolution of variability models and related artifacts, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.91-100, 2013. ,
DOI : 10.1145/2491627.2491628
Model-driven support for product line evolution on feature level, Journal of Systems and Software, vol.85, issue.10, pp.2261-2274, 2012. ,
DOI : 10.1016/j.jss.2011.08.008
Cardinality-based feature models with constraints, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.162-166, 2013. ,
DOI : 10.1145/2491627.2491638
URL : https://hal.archives-ouvertes.fr/hal-00825971
Automated Selection and Configuration of Cloud Environments Using Software Product Lines Principles, 2014 IEEE 7th International Conference on Cloud Computing, 2014. ,
DOI : 10.1109/CLOUD.2014.29
URL : https://hal.archives-ouvertes.fr/hal-00965836
Requirements for product derivation support: Results from a systematic literature review and an expert survey, Information and Software Technology, vol.52, issue.3, pp.324-346, 2010. ,
DOI : 10.1016/j.infsof.2009.11.001
Extending Feature Diagrams with UML Multiplicities, 2002. ,
Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.136-145, 2006. ,
DOI : 10.1109/RE.2006.23
Co-evolution of models and feature mapping in software product lines, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.76-85, 2012. ,
DOI : 10.1145/2362536.2362550
EMF: Eclipse Modeling Framework, 2009. ,
Reasoning about edits to feature models, 2009 IEEE 31st International Conference on Software Engineering, pp.254-264, 2009. ,
DOI : 10.1109/ICSE.2009.5070526
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected? In VaMos'09, pp.145-153 ,