Instantiation of Meta-models Constrained with OCL: a CSP Approach, MODELSWARD, pp.213-222, 2015. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01232891
Verification of UML/OCL class diagrams using constraint programming, IEEE ICSTW Workshop, pp.73-80, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00974321
EMFtoCSP: A tool for the lightweight verification of EMF models, 2012. ,
Searching the Boundaries of a Modeling Space to Test Metamodels, ICST, pp.131-140, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00665866
Adaptation in natural and artificial systems: an introductory analysis with applications to biology, control, and artificial intelligence. The University of, 1975. ,
A Model-Driven Approach to Generate Relevant and Realistic Datasets, SEKE, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01397311
Metamodel matching for automatic model transformation generation, MODELS, pp.326-340, 2008. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00322879
Modern information retrieval: A brief overview, IEEE Data Engineering Bulletin, vol.24, issue.4, pp.35-43, 2001. ,
A fast and elitist multiobjective genetic algorithm: NSGA-II, IEEE Transactions on Evolutionary Computation, vol.6, issue.2, pp.182-197, 2002. ,
An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based Nondominated Sorting Approach, Part I: Solving Problems With Box Constraints, IEEE Transactions on Evolutionary Computation, vol.18, issue.4, pp.577-601, 2014. ,