Software Product Line Engineering: Foundations, Principles and Techniques, 2005. ,
DOI : 10.1007/3-540-28901-1
Software Product Lines: Practices and Patterns, 2001. ,
Feasibility Study Feature-Oriented Domain Analysis ( FODA ), 1990. ,
Defects in Product Line Models and How to Identify Them, Software Product Line -Advanced Topic, pp.97-122, 2012. ,
DOI : 10.5772/35662
URL : https://hal.archives-ouvertes.fr/hal-00707461
Feature Models, Grammars, and Propositional Formulas, Proceedings of the 9th international conference on Software Product Lines SPLC'05, ser. SPLC'05, pp.7-20, 2005. ,
DOI : 10.1007/11554844_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9092
Knowledge Based Method to Validate Feature Models, First International Workshop on Analyses of Software Product Lines, pp.217-225, 2008. ,
Verifying feature models using OWL, Web Semantics: Science, Services and Agents on the World Wide Web, pp.117-129, 2007. ,
DOI : 10.1016/j.websem.2006.11.006
Deficiencies in Feature Models, Workshop on Software Variability Management for Product Derivation -Towards Tool Support, 2004. ,
Feature Model Debugging based on Description Logic Reasoning, DMS'11, pp.158-164, 2011. ,
FeatureIDE: An extensible framework for feature-oriented software development, Science of Computer Programming, vol.79, 2012. ,
DOI : 10.1016/j.scico.2012.06.002
Automated error analysis for the agilization of feature modeling, Journal of Systems and Software, vol.81, issue.6, pp.883-896, 2008. ,
DOI : 10.1016/j.jss.2007.10.030
Abductive Reasoning and Automated Analysis of Feature models: How are they connected, Proceedings of the Third International Workshop on Variability Modelling of Software- Intensive Systems, pp.145-153, 2009. ,
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models, Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I, ser. MODELS'10, pp.181-195, 2010. ,
DOI : 10.1007/978-3-642-16145-2_13
Reveal: A Formal Verification Tool for Verilog Designs, Logic for Programming Artificial Intelligence and Reasoning (LPAR-2008), A. Cervesato, Iliano and Veith, Helmut and Voronkov, pp.343-352, 2008. ,
DOI : 10.1007/978-3-540-89439-1_25
Improved Design Debugging Using Maximum Satisfiability, Proceedings of the Formal Methods in Computer Aided Design, ser. FMCAD '07, pp.13-19, 2007. ,
BeTTy, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.63-71, 2012. ,
DOI : 10.1145/2110147.2110155
Decision-making coordination in collaborative product configuration, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.108-113, 2008. ,
DOI : 10.1145/1363686.1363715
Formalizing Cardinalitybased Feature Models and their Specialization, Software Process: Improvement and Practice, pp.7-29, 2005. ,
Automated analysis of feature models, Communications of the ACM, vol.49, issue.12, pp.45-47, 2006. ,
DOI : 10.1145/1183236.1183264
Handbook of Constraint Programming (Foundations of Artificial Intelligence), 2006. ,
Constraint Logic Programming, " in A 25- year perspective on logic programming, pp.64-86, 2010. ,
A Generic Approach for Automated Verification of Product Line Models, 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00707351
The GNU Prolog system and its implementation, Proceedings of the 2000 ACM symposium on Applied computing , SAC '00, 2001. ,
DOI : 10.1145/338407.338553
URL : https://hal.archives-ouvertes.fr/hal-00667976
SWI Prolog Reference Manual (Version 6.2.2), " 2012 ,
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization, Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages (PADL'05). Lecture Notes in Computer Science. Long Beach, pp.174-186, 2005. ,
DOI : 10.1007/978-3-540-30557-6_14
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints, Journal of Automated Reasoning, vol.17, issue.1, pp.1-33, 2008. ,
DOI : 10.1007/s10817-007-9084-z
MaxSAT-Based MCS Enumeration, Haifa Verification Conference, 2012. ,
DOI : 10.1007/978-3-642-39611-3_13
Representative explanations for over-constrained problems, Proceedings of the 22nd national conference on Artificial intelligence, pp.323-328, 2007. ,
Constraints, International Journal of Information System Modeling and Design, vol.3, issue.2, pp.33-68, 2011. ,
DOI : 10.4018/jismd.2012040102
URL : https://hal.archives-ouvertes.fr/hal-00707544
VariaMos, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.147-154, 2012. ,
DOI : 10.1145/2791060.2791103
URL : https://hal.archives-ouvertes.fr/hal-01185815
International Standard ISO 5725-1, Accuracy (trueness and precision) of measurement methods and results General Principles and definitions, 1994. ,
Towards Anomaly Explanation in Feature Models, Proceedings of the Workshop on Configuration, pp.117-124, 2013. ,
software product lines online tools, Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, ser. OOPSLA '09, pp.761-762, 2009. ,
A Propositional Logic-Based Method for Verification of Feature Models, Proceedings of the 6th International Conference on Formal Engineering Methods, pp.115-130, 2004. ,
DOI : 10.1007/978-3-540-30482-1_16
A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987. ,
DOI : 10.1016/0004-3702(87)90062-2
Enumerating Infeasibility: Finding Multiple MUSes Quickly, Lecture Notes in Computer Science, vol.7874, pp.160-175 ,
DOI : 10.1007/978-3-642-38171-3_11
On Computing Minimal Correction Subsets, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, 2013. ,
Abstract, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, vol.24, issue.01, pp.53-62, 2012. ,
DOI : 10.1016/0957-4174(94)90072-8
On Improving MUS Extraction Algorithms, Proceedings of the 14th international conference on Theory and application of satisfiability testing, ser. SAT'11, pp.159-173, 2011. ,
DOI : 10.1007/978-3-540-79719-7_27
FAMA Framework, 2008 12th International Software Product Line Conference, p.359, 2008. ,
DOI : 10.1109/SPLC.2008.50
The description logic handbook: theory, implementation, and applications, 2003. ,
DOI : 10.1017/CBO9780511711787
Pellet: A practical OWL-DL reasoner, Web Semantics: Science, Services and Agents on the World Wide Web, pp.51-53, 2007. ,
DOI : 10.1016/j.websem.2007.03.004
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models, XXXIX Latin American Computing Conference (CLEI), 2013. ,
DOI : 10.1016/j.entcs.2014.01.023
Subconjuntos Minimos de Correccion para explicar caracteristicas muertas en Modelos de Lineas de Productos. El caso de los Modelos de Caracteristicas, Proceedings of the 8th Colombian Computer Conference (CCC), 2013. ,
Quality Assurance in the Presence of Variability, Intentional Perspectives on Information Systems Engineering, pp.319-333, 2010. ,
DOI : 10.1007/978-3-642-12544-7_18
Investigating Inconsistency Detection as a Validation Operation in Software Product Line, Software Engineering Research, Management and Applications, pp.159-168, 2009. ,
Formal Semantics and Verification for Feature Modeling, Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, ser. ICECCS '05, pp.303-312, 2005. ,