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
Composing Your Compositions of Variability Models, MODELS, pp.352-369, 2013. ,
DOI : 10.1007/978-3-642-41533-3_22
URL : https://hal.archives-ouvertes.fr/hal-00859473
Formal Verification Techniques for Model Transformations: A Tridimensional Classification ., The Journal of Object Technology, vol.14, issue.3, pp.1-43, 2015. ,
DOI : 10.5381/jot.2015.14.3.a1
URL : https://hal.archives-ouvertes.fr/hal-01083759
Feature and meta-models in clafer: mixed, specialized, and coupled, SLE, pp.102-122, 2011. ,
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
Deriving configuration interfaces from feature models, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.37-44, 2012. ,
DOI : 10.1145/2110147.2110152
URL : https://hal.archives-ouvertes.fr/hal-00718286
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, pp.391069-1089, 2013. ,
DOI : 10.1109/TSE.2012.86
All About Maude, 2007. ,
Generic model transformations: write once, reuse everywhere, Theory and practice of model transformations, pp.62-77, 2011. ,
Reusable Graph Transformation Templates, Applications of Graph Transformations with Industrial Relevance, pp.35-50, 2011. ,
DOI : 10.1007/978-3-642-34176-2_5
Towards the flexible reuse of model transformations: A formal approach based on graph transformation, Journal of Logical and Algebraic Methods in Programming, vol.83, issue.5-6, pp.5-6427, 2014. ,
DOI : 10.1016/j.jlamp.2014.08.005
A-posteriori typing for Model-Driven Engineering, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.156-165, 2015. ,
DOI : 10.1109/MODELS.2015.7338246
Melange: A meta-language for modular and reusable development of dsls, SLE, pp.25-36, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01197038
Validation in model-driven engineering: testing model transformations, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004., pp.29-40, 2004. ,
DOI : 10.1109/MODEVA.2004.1425846
On Model Subtyping, ECMFA, pp.400-415, 2012. ,
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399
Adding Standardized Variability to Domain Specific Languages, 2008 12th International Software Product Line Conference, pp.139-148, 2008. ,
DOI : 10.1109/SPLC.2008.25
Family model mining for function block diagrams in automation software, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.36-43, 2014. ,
DOI : 10.1145/2647908.2655965
Estimating footprints of model operations, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.601-610, 2011. ,
DOI : 10.1145/1985793.1985875
URL : https://hal.archives-ouvertes.fr/hal-00641091
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible, MODELS, pp.638-652, 2011. ,
DOI : 10.1109/TSE.2010.30
Feature-oriented domain analysis (foda) feasibility study, 1990. ,
Type checking annotation-based product lines, ACM Transactions on Software Engineering and Methodology, vol.21, issue.3, p.14, 2012. ,
DOI : 10.1145/2211616.2211617
Reuse in model-to-model transformation languages: are we there yet?, Software & Systems Modeling, vol.43, issue.4, pp.537-572, 2015. ,
DOI : 10.1007/s10270-013-0343-7
Model transformation intents and their properties, Software & Systems Modeling, vol.211, issue.1, 2014. ,
DOI : 10.1007/s10270-014-0429-x
Automating the Extraction of Model-Based Software Product Lines from Model Variants (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.396-406, 2015. ,
DOI : 10.1109/ASE.2015.44
Identifying and Visualising Commonality and Variability in Model Variants, ECMFA, pp.117-131, 2014. ,
DOI : 10.1007/978-3-319-09195-2_8
URL : https://hal.archives-ouvertes.fr/hal-01215547
Generic Model Refactorings, MODELS, pp.628-643, 2009. ,
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00468657
Mutation Analysis Testing for Model Transformations, ECMDA-FA, pp.376-390 ,
DOI : 10.1007/11787044_28
URL : https://hal.archives-ouvertes.fr/hal-00456532
Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008. ,
DOI : 10.1109/SPLC.2008.38
URL : https://hal.archives-ouvertes.fr/inria-00456507
Weaving variability into domain metamodels, Software & Systems Modeling, vol.6, issue.4, pp.361-383, 2012. ,
DOI : 10.1007/s10270-010-0186-4
URL : https://hal.archives-ouvertes.fr/inria-00468519
Software Product Line Engineering: Foundations, Principles and Techniques, 2005. ,
DOI : 10.1007/3-540-28901-1
Combining Related Products into Product Lines, FASE, pp.285-300, 2012. ,
DOI : 10.1007/978-3-642-28872-2_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.3814
Quality of Merge-Refactorings for Product Lines, FASE, pp.83-98, 2013. ,
DOI : 10.1007/978-3-642-37057-1_7
Managing cloned variants, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.101-110, 2013. ,
DOI : 10.1145/2491627.2491644
Lifting model transformations to product lines, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.117-128, 2014. ,
DOI : 10.1145/2568225.2568267
Approaches for model transformation reuse: Factorization and composition, Theory and Practice of Model Transformations, pp.168-182, 2008. ,
Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007. ,
DOI : 10.1016/j.comnet.2006.08.008
On model typing. Software and Systems Modeling, pp.401-413, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00477547
A Variability-Based Approach to Reusable and Efficient Model Transformations, FASE, pp.283-298, 2015. ,
DOI : 10.1007/978-3-662-46675-9_19
On the Use of Higher-Order Model Transformations, LNCS, vol.6, pp.18-33, 2009. ,
DOI : 10.1007/978-3-540-69927-9_11
URL : https://hal.archives-ouvertes.fr/hal-00782464
Automating variability model inference for component-based language implementations, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.167-176, 2014. ,
DOI : 10.1145/2648511.2648529
URL : https://hal.archives-ouvertes.fr/hal-01023864
Improving Domain-Specific Language Reuse with Software Product Line Techniques, IEEE Software, vol.26, issue.4, pp.47-53, 2009. ,
DOI : 10.1109/MS.2009.95
Model Comparison to Synthesize a Model-Driven Software Product Line, 2011 15th International Software Product Line Conference, pp.90-99, 2011. ,
DOI : 10.1109/SPLC.2011.24
Augmenting Product Lines, 2012 19th Asia-Pacific Software Engineering Conference, pp.766-771, 2012. ,
DOI : 10.1109/APSEC.2012.76
Towards constraint-based model types -a generalised formal foundation for model genericity, View-Based, Aspect-Oriented and Orthographic Software Modelling, pp.11-1118, 2014. ,
DOI : 10.1145/2631675.2631678