K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles, and Techniques, 2005.

K. C. Kang, J. Lee, and P. Donohoe, Feature-oriented product line engineering, IEEE software, vol.19, issue.4, pp.58-65, 2002.
DOI : 10.1109/ms.2002.1020288

S. Apel, D. S. Batory, C. Kästner, and G. Saake, Feature-Oriented Software Product Lines -Concepts and Implementation, 2013.

K. Czarnecki and A. Wasowski, Feature Diagrams and Logics: There and Back Again, Proceedings of the 11th International Conference on Software Product Lines (SPLC'07), pp.23-34, 2007.

D. Benavides, P. Trinidad, and A. R. Cortés, Using Constraint Programming to Reason on Feature Models, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pp.677-682, 2005.

B. Ganter and R. Wille, Formal concept analysis -mathematical foundations, 1999.

F. Loesch and E. Ploedereder, Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations, Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR'07), pp.159-170, 2007.

J. Carbonnel, M. Huchard, A. Miralles, and C. Nebut, Feature Model Composition Assisted by Formal Concept Analysis, Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'17, pp.27-37, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01579476

A. Bazin, J. Carbonnel, and G. Kahn, On-demand generation of aoc-posets: Reducing the complexity of conceptual navigation, Proceedings of the 23rd International Symposium on Foundations of Intelligent Systems (ISMIS'17, pp.611-621, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01621029

G. Stumme, R. Taouil, Y. Bastide, N. Pasquier, and L. , Computing iceberg concept lattices with Titanic, Data Knowledge Engineering (DKE), vol.42, issue.2, pp.189-222, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00578830

U. Ryssel, J. Ploennigs, and K. Kabitzsch, Extraction of feature models from formal contexts, Proceedings of the 15th International Conference on Software Product Lines (SPLC'11), p.4, 2011.

R. Al-msie'deen, M. Huchard, A. Seriai, C. Urtado, and S. Vauttier, Proceedings of the 11th International Conference on Concept Lattices and Their Applications (CLA'14), pp.95-106, 2014.

J. Carbonnel, M. Huchard, and C. Nebut, Modelling equivalence classes of feature models with concept lattices to assist their extraction from product descriptions, Journal of Systems and Software, vol.152, pp.1-23, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02078015

J. Carbonnel, K. Bertet, M. Huchard, and C. Nebut, FCA for Software Product Lines Representation: Mixing Product and Characteristic Relationships in a Unique Canonical Representation, Proceedings of the 13th International Conference on Concept Lattices and Their Applications (CLA'16), pp.109-122, 2016.

K. Czarnecki, C. H. Kim, and K. T. Kalleberg, Feature models are views on ontologies, Proceedings of the 10th International Software Product Line Conference (SPLC'06, pp.41-51, 2006.
DOI : 10.1109/spline.2006.1691576

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, Feature-Oriented Domain Analysis (FODA): Feasibility Study

M. Acher, P. Collet, P. Lahire, and R. B. France, Composing feature models, Revised Selected Papers of the 2nd International Conference on Software Language Engineering (SLE'09), vol.5969, pp.62-81, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00415767

M. Acher, P. Collet, P. Lahire, and R. B. France, Comparing approaches to implement feature model composition, Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA'10), pp.3-19, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00484232

A. Jansen, R. Smedinga, J. Van-gurp, and J. Bosch, First class feature abstractions for product derivation, IEE Proceedings -Software, vol.151, issue.4, pp.187-198, 2004.

J. Van-gurp, J. Bosch, and M. Svahnberg, On the notion of variability in software product lines, Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA'01), pp.45-54, 2001.

K. Schmid and I. John, A customizable approach to full lifecycle variability management, Science of Computer Programming, vol.53, issue.3, pp.259-284, 2004.

K. Czarnecki, P. Grünbacher, R. Rabiser, K. Schmid, and A. Wasowski, Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches, Proceedings of the 6th International Workshop on Variability Modelling of SoftwareIntensive Systems (VaMoS'12), pp.173-182, 2012.

J. Poelmans, P. Elzinga, S. Viaene, and G. Dedene, Formal concept analysis in knowledge discovery: a survey, Proceedings of the 8th International Conference on Conceptual Structures (ICCS'10), vol.6208, pp.139-153, 2010.

R. Godin, E. Saunders, and J. Gecsei, Lattice model of browsable data spaces, Information Sciences, vol.40, issue.2, pp.89-116, 1986.

S. Ferré, Reconciling expressivity and usability in information access : from file systems to the semantic web, Habilitatio? a diriger des recherches en informatique, Université de Rennes, vol.1, 2014.

T. Tilley, R. Cole, P. Becker, and P. W. Eklund, A Survey of Formal Concept Analysis Support for Software Engineering Activities, Formal Concept Analysis, Foundations and Applications, vol.3626, pp.250-271, 2005.

A. M. Amja, A. Obaid, H. Mili, and P. Valtchev, Linking Relational Concept Analysis and Variability Model within Context Modeling of Context-Aware Applications, Proceedings of the 2nd IEEE International Symposium on Systems Engineering (ISSE'16), pp.413-420, 2016.

M. R. Hacene, M. Huchard, A. Napoli, and P. Valtchev, Relational concept analysis: mining concept lattices from multirelational data, Annals of Mathematics and Artificial Intelligence, vol.67, issue.1, pp.81-108, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-00816300

R. Al-msie-'deen, A. Seriai, M. Huchard, C. Urtado, S. Vauttier et al., Proceedings of the 5th International Conference on Information and Communication Systems (ICICS'14), pp.1-6, 2014.

J. Carbonnel, M. Huchard, and A. Gutierrez, Variability Representation in Product Lines using Concept Lattices: Feasibility Study with Descriptions from Wikipedia's Product Comparison Matrices, Proceedings of the 1st International Workshop on Formal Concept Analysis and Applications (FCA&A'15) co-located with the 13th International Conference on Formal Concept Analysis (ICFCA'15), pp.93-108, 2015.

N. Niu and S. M. Easterbrook, Concept analysis for product line requirements, Proceedings of the 8th International Conference on Aspect-Oriented Software Development (AOSD'09, pp.137-148, 2009.

R. Al-msie'deen, A. Seriai, M. Huchard, C. Urtado, S. Vauttier et al., Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing, Proceedings of the 25th Conference on Software Engineering and Knowledge Engineering (SEKE'13), pp.244-249, 2013.

Y. Xue, Z. Xing, and S. Jarzabek, Feature location in a collection of product variants, Proceedings of the 19th Working Conference on Reverse Engineering, pp.145-154, 2012.

H. E. Salman, A. Seriai, and C. Dony, Feature-to-code traceability in a collection of software variants: Combining formal concept analysis and information retrieval, Proceedings of the 14th Conference on Information Reuse and Integration (IRI'13), pp.209-216, 2013.
URL : https://hal.archives-ouvertes.fr/lirmm-01376065

T. Eisenbarth, R. Koschke, and D. Simon, Locating Features in Source Code, IEEE Transactions on Software Engineering, vol.29, issue.3, pp.210-224, 2003.

Y. Yang, X. Peng, and W. Zhao, Domain Feature Model Recovery from Multiple Applications Using Data Access Semantics and Formal Concept Analysis, Proceedings of the 16th Working Conference on Reverse Engineering, pp.215-224, 2009.

A. Shatnawi, A. Seriai, and H. Sahraoui, Recovering Architectural Variability of a Family of Product Variants, Proceedings of the 14th International Conference on Software Reuse (ICSR'15), pp.17-33, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01324262

J. Carbonnel, M. Huchard, and C. Nebut, Analyzing Variability in Product Families through Canonical Feature Diagrams, Proceedings of the 29th International Conference on Software Engineering & Knowledge Engineering (SEKE'17, pp.185-190, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01621104

M. Acher, P. Collet, P. Lahire, and R. B. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00767175

M. Mendonça, M. Branco, D. D. Cowan, and S. P. , Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'09, pp.761-762, 2009.

J. Carbonnel, D. Delahaye, M. Huchard, and C. Nebut, Graph-based variability modelling: Towards a classification of existing formalisms, Proceedings of the 17th International Conference on Conceptual Structures (ICCS'19), pp.1-14, 2019.
URL : https://hal.archives-ouvertes.fr/lirmm-02092134

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.

D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-cortés, A first step towards a framework for the automated analysis of feature models, Proc. Managing Variability for Software Product Lines: Working With Variability Mechanisms, pp.39-47, 2006.

M. Acher, B. Baudry, P. Heymans, A. Cleve, and J. Hainaut, Support for reverse engineering and maintaining feature models, Proceedings of the 7th Internaional Workshop on Variability Modelling of Software-intensive Systems (VaMoS'13), vol.20, pp.1-20, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00766786

S. She, U. Ryssel, N. Andersen, A. Wasowski, and K. Czarnecki, Efficient synthesis of feature models, Information & Software Technology, vol.56, issue.9, pp.1122-1143, 2014.

S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki, Reverse engineering feature models, Proceedings of the 33rd International Conference on Software Engineering, pp.461-470, 2011.

M. Acher, A. Cleve, G. Perrouin, P. Heymans, C. Vanbeneden et al., On extracting feature models from product descriptions, Proceedings of the 6th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'12), pp.45-54, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00718467

J. Davril, E. Delfosse, N. Hariri, M. Acher, J. Cleland-huang et al., Feature model extraction from large collections of informal product descriptions, Proceedings of the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), pp.290-300, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00859475

D. S. Batory, Feature Models, Grammars, and Propositional Formulas, Proceedings of the 9th International Conference on Software Product Lines (SPLC'05), pp.7-20, 2005.

D. Benavides, P. T. Martín-arroyo, and A. R. Cortés, Automated Reasoning on Feature Models, Proceedings of the 17th International Conference of Advanced Information Systems Engineering (CAISE'05), pp.491-503, 2005.

P. Trinidad, D. Benavides, A. Durán, A. Ruiz-cortés, and M. Toro, Automated error analysis for the agilization of feature modeling, Journal of Systems and Software, vol.81, issue.6, pp.883-896, 2008.

R. Mazo, C. Salinesi, D. Diaz, O. Djebbi, and A. Lora-michiels, Constraints: The heart of domain and application engineering in the product lines engineering strategy, IJISMD, vol.3, issue.2, pp.33-68, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00707522

J. P. Bordat, Calcul pratique du treillis de Galois d'une correspondance, vol.96, pp.31-47, 1986.

K. Bertet, C. Demko, J. Viaud, and C. Gurin, Lattices, closures systems and implication bases: A survey of structural aspects and algorithms, Theoretical Computer Science

K. Bertet, Structure de treillis. Contributions structurelles et algorithmiques. Quelques usages pour des données images, 2011.

B. Davey and H. Priestley, Introduction to Lattices and Order, 2002.

M. Barbut and B. Monjardet, Ordre et Classification, 1970.