A taxonomy of variability realization techniques, Software: Practice and Experience, vol.2, issue.8, pp.705-754, 2005. ,
DOI : 10.1002/spe.652
Software Product Line Engineering: Foundations, Principles and Techniques, 2005. ,
DOI : 10.1007/3-540-28901-1
Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, pp.122-132, 2009. ,
DOI : 10.1109/ICSE.2009.5070514
Toward Compositional Software Product Lines, IEEE Software, vol.27, issue.3, pp.29-34, 2010. ,
DOI : 10.1109/MS.2010.32
Modelling requirements variability across product lines, 13th IEEE International Conference on Requirements Engineering (RE'05), pp.41-52, 2005. ,
DOI : 10.1109/RE.2005.45
Multi-level feature trees, Requirements Engineering, vol.8, issue.1, pp.57-75, 2007. ,
DOI : 10.1007/s00766-007-0046-0
Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains, 2008 12th International Software Product Line Conference, pp.12-21, 2008. ,
DOI : 10.1109/SPLC.2008.15
Supplier independent feature modelling, SPLC'09, pp.191-200, 2009. ,
Aspect-Oriented Feature Models, Proceedings of MODELS'10 workshops. MOD- ELS'10, pp.110-124, 2011. ,
DOI : 10.1007/978-3-642-12107-4_23
Supporting multiple perspectives in feature-based configuration. Software and Systems Modeling, pp.1-23, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00718144
Multi-dimensional variability modeling, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.11-20, 2011. ,
DOI : 10.1145/1944892.1944894
On extracting feature models from product descriptions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.45-54, 2012. ,
DOI : 10.1145/2110147.2110153
URL : https://hal.archives-ouvertes.fr/hal-00718467
Towards a Theory of Views for Feature Models, Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering, pp.91-100, 2010. ,
A systematic review and an expert survey on capabilities supporting multi product lines, Information and Software Technology, vol.54, issue.8, pp.828-852, 2012. ,
DOI : 10.1016/j.infsof.2012.02.002
FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013. ,
DOI : 10.1016/j.scico.2012.12.004
URL : https://hal.archives-ouvertes.fr/hal-00767175
Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007. ,
DOI : 10.1016/j.comnet.2006.08.008
Reverse engineering feature models, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.461-470, 2011. ,
DOI : 10.1145/1985793.1985856
On Extracting Feature Models from Sets of Valid Feature Combinations, Proceedings of FASE'13, pp.53-67, 2013. ,
DOI : 10.1007/978-3-642-37057-1_5
Support for reverse engineering and maintaining feature models, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013. ,
DOI : 10.1145/2430502.2430530
URL : https://hal.archives-ouvertes.fr/hal-00766786
Separating Concerns in Feature Models: Retrospective and Support for Multi-Views, Domain Engineering: Product Lines, Conceptual Models, and Languages, 2013. ,
DOI : 10.1007/978-3-642-36654-3_1
URL : https://hal.archives-ouvertes.fr/hal-00767213
Multi-perspectives on Feature Models, LNCS, vol.7590, pp.252-268, 2012. ,
DOI : 10.1007/978-3-642-33666-9_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.500.1215
Viewpoint-Oriented Variability Modeling, 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp.67-72, 2009. ,
DOI : 10.1109/COMPSAC.2009.19
Decision-making coordination and efficient reasoning techniques for feature-based configuration, Science of Computer Programming, vol.75, issue.5, pp.311-332, 2010. ,
DOI : 10.1016/j.scico.2009.12.004
Staged configuration through specialization and multilevel configuration of feature models, Software Process: Improvement and Practice, pp.143-169, 2005. ,
DOI : 10.1002/spip.225
Comparing Approaches to Implement Feature Model Composition, LNCS, vol.6138, pp.3-19, 2010. ,
DOI : 10.1007/978-3-642-13595-8_3
URL : https://hal.archives-ouvertes.fr/hal-00484232
Feature assembly: A new feature modeling technique, Conceptual Modeling (ER'10, pp.233-246, 2010. ,
Cool features and tough decisions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.173-182, 2012. ,
DOI : 10.1145/2110147.2110167
A survey of variability modeling in industrial practice, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013. ,
DOI : 10.1145/2430502.2430513
Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), pp.23-34, 2007. ,
DOI : 10.1109/SPLINE.2007.24
A survey on UML-based aspect-oriented design modeling, ACM Computing Surveys, vol.43, issue.4, pp.1-2833, 2011. ,
DOI : 10.1145/1978802.1978807
A reference process for model composition, Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling, AOM '08, pp.1-6, 2008. ,
DOI : 10.1145/1404920.1404921
Efficient synthesis of feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.97-106, 2012. ,
DOI : 10.1145/2362536.2362553
A note on finding optimum branchings Companion web page: https://github.com/FAMILIAR-project/ familiar-documentation, pp.309-312, 1979. ,
Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, 2010. ,
DOI : 10.1016/j.is.2010.01.001
Reasoning about edits to feature models, 2009 IEEE 31st International Conference on Software Engineering, pp.254-264, 2009. ,
DOI : 10.1109/ICSE.2009.5070526
A knowledge compilation map, J. Artif. Intell. Res. (JAIR), vol.17, pp.229-264, 2002. ,
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Transactions on Software Engineering, vol.39, issue.8, 2012. ,
DOI : 10.1109/TSE.2012.86
Intermodeling, Queries, and Kleisli Categories, LNCS, vol.7212, pp.163-177, 2012. ,
DOI : 10.1007/978-3-642-28872-2_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.1101
Generating counterexamples of model-based software product lines, 17th International Conference on Software Product Lines (SPLC'13), 2013. ,
DOI : 10.1007/s10009-014-0341-2
URL : https://hal.archives-ouvertes.fr/hal-01026581