LERIA

Frédéric Lardeux

Univ
Contact
photo
Frédéric Lardeux
LERIA - Faculté des Sciences
2, Boulevard Lavoisier
49045 Angers Cedex 01
France

Bureau H208
Tel : (+33) 2 41 73 52 73
Mel : frederic.lardeux@univ-angers.fr

ORCID iD iconorcid.org/0000-0001-8636-3870
Maître de conférences habilité à diriger des recherches
Depuis 2014 je suis responsable de l'alternance au département informatique. En 2016 et 2017 j'ai été responsable du département informatique. De 2008 à 2014 j'ai eu la responsabilité de la licence professionnelle logiciels libres.
J'effectue ma recherche au sein du LERIA.
Mots Clefs
Optimisation Combinatoire; Métaheuristiques; Algorithmes Evolutionnaires; Recherche Autonome; Apprentissage par renforcement
Transformation de modèles (CSP<->SAT);
Analyse Logique de Données
SAT/MAXSAT
Recherche
Mes thématiques de recherche tournent autour des problématiques suivantes :
Publications, DBLP, Google Scholar
    Articles dans revues internationales à comité de lecture
      1. E. Rodriguez-Tello, V. Narvaez-Teran, F. Lardeux: Dynamic Multi-Armed Bandit Algorithm for the Cyclic Bandwidth Sum Problem. IEEE Access. Vol. 7 pp 40258-40270. 2019.
      2. E. Rodriguez-Tello, F. Lardeux, A. Duarte, V. Narvaez-Teran: Alternative evaluation functions for the cyclic bandwidth sum problem. European Journal of Operational Research. Vol. 273 n°3 pp 904-919. 2019.
      3. F. Lardeux, J. Maturana, E. Rodriguez-Tello, F. Saubion: Migration policies in dynamic island models. Natural Computing. Vol. 18 n° 1 pp 163-179, 2019.
      4. A. Chambon, T. Boureau, F. Lardeux, F. Saubion: Logical characterization of groups of data: a comparative study. Applied Intelligence. Vol. 48 n° 8 pp 2284-2303. 2018.
      5. P. Desport, F. Lardeux, D. Lesaint, C. Di Cairano-Gilfedder, A. Liret, G. Owusu: A Combinatorial Optimisation Approach For Closed-Loop Supply Chains Inventory Planning With Deterministic Demands. European Journal of Industrial Engineering. Vol. 11 n° 3 pp 303-327. 2017.
      6. A. Goëffon, F. Lardeux, F. Saubion: Simulating non-stationary operators in search algorithms. Applied Soft Computing, Vol. 38, pp 257-268. 2016.
      7. F. Lardeux, E. Monfroy, B. Crawford, R. Soto: Set constraint model and automated encoding into SAT: application to the social golfer problem, Annals of Operations Research, Vol. 235, pp 423-452. 2015.
      8. G. di Tollo, F. Lardeux, J. Maturana, F. Saubion: An experimental study of adaptive control for evolutionary algorithms, Applied Soft Computing, Vol. 35, pp 359-372. 2015.
      9. E. Rodriguez-Tello, H. Romero-Monsivais, G. Ramirez-Torres, F. Lardeux: Tabu search for the cyclic bandwidth problem, Computers \& Operations Research, Vol. 57, pp 17-32. 2015.
      10. T. Boureau, M. Kerkoud, F. Chhel, G. Hunault, A. Darrasse, C. Brin, K. Durand, A. Hajri, S. Poussier, C. Manceau, F. Lardeux, F. Saubion and M.-A. Jacques: A multiplex-PCR assay for identification of the quarantine plant pathogen Xanthomonas axonopodis pv. phaseoli, Journal of Microbiological Methods, Vol. 92, n° 1, pp 42-50. 2013.
      11. J. Maturana, F. Lardeux, F. Saubion: Autonomous Operator Management for Evolutionary Algorithms, Journal of Heuristics, Vol. 16, n° 6, pp 881-909. 2010.
      12. A. Hajri, C. Brin, G. Hunault, F. Lardeux, C. Lemaire, C. Manceau, T. Boureau, S. Poussier: A ``Repertoire for Repertoire`` Hypothesis: Repertoires of Type Three Effectors are Candidate Determinants of Host Specificity in Xanthomonas, PLoS ONE 4(8). 2009.
      13. F. Lardeux, F. Saubion, JK Hao: GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem, Evolutionary Computation Journal, Vol. 14, n° 2, pp 223-253. 2006.
    Articles dans revues nationales à comité de lecture
      1. F. Chhel, F. Lardeux, F. Saubion, B. Zanuttini: Application du problème de caractérisation multiple à la conception de tests de diagnostic pour la biologie végétale, Revue d'Intelligence Artificielle, Vol. 27, n° 4-5, pp 649--668, 2013.
    Direction d’ouvrages collectifs
      1. F. Lardeux: Treizièmes journées Francophones de Programmation par Contraintes (JFPC). 2017.
      2. R. Soto, E. Rodriguez-Tello, S. Caro, F. Lardeux: Scientific Programming in Computational Intelligence. Scientific Programming. 2016. Vol. 2016 n° 5039793.
    Chapitres d’ouvrages
      1. J. Maturana, A. Fialho, F. Saubion, M. Schoenauer, F. Lardeux, M. Sebag, Adaptive Operator Selection and Management in Evolutionary Algorithms, Autonomous Search, Springer, pp 161-189, 2012.
    Brevets
      1. P. Desport, F. Lardeux, D. Lesaint, C. Di Cairano-Gilfedder: Virtualised Network Function Deployment. A33596 WO – PCT/EP2018/057684 (patent pending in USA). 2018
      2. T. Boureau, F. Chhel G. Hunault,, M. Kerkoud, F. Lardeux, C. Manceau, S. Poussier, F. Saubion: Procédé de dépistage de Xanthomonas axonopodis pv. phaseoli. FR2970480 A1. 2012
    Actes publiés de conférences internationales avec comité de lecture
      1. A. Chambon, T. Boureau, F. Lardeux, F. Saubion: Accelerated algorithm for computation of all prime patterns in logical analysis of data. Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods (ICPRAM), to be published, 2019.
      2. E. Rodriguez-Tello, V. Narvaez-Teran, F. Lardeux.: Comparative Study of Different Memetic Algorithm Configurations for the Cyclic Bandwidth Sum Problem. International Conference on Parallel Problem Solving from Nature (PPSN), Springer, 2018.
      3. F. Lardeux, E. Monfroy: From Set Constraint Models to SAT Instances. 28th International Conference on Tools with Artificial Intelligence (ICTAI), pp 231-238, IEEE, 2016
      4. F. Lardeux, F. Saubion, J. Maturana: Learning and Migration Processes for Island Models. 28th International Conference on Tools with Artificial Intelligence (ICTAI), pp 212-217, IEEE, 2016
      5. P. Desport, F. Lardeux, D. Lesaint, A. Liret, C. Di Cairano-Gilfedder, G. Owusu: Model and Combinatorial Optimization Methods for Tactical Planning in Closed-Loop Supply Chains. 28th International Conference on Tools with Artificial Intelligence (ICTAI), pp 888-895, IEEE, 2016
      6. A. Chambon, T. Boureau, F. Lardeux, F. Saubion, M. Le Saux: Characterization of Multiple Groups of Data. 27th International Conference on Tools with Artificial Intelligence (ICTAI), pp 1021-1028, IEEE, 2015
      7. F. Lardeux, J. Maturana, F. Saubion: On Migration Policies in Dynamic Island Models. Artificial Evolution (EA), poster, 2015.
      8. J. A. Soria-Alcaraz, G. Ochoa, A. Goëffon, F. Lardeux, F. Saubion: Combining Mutation and Recombination to Improve a Distributed Model of Adaptive Operator Selection. Artificial Evolution (EA), pp 97-108, LNCS 9554, 2015
      9. F. Lardeux, E. Monfroy: Expressively Modeling the Social Golfer Problem in SAT. Proceedings of the International Conference on Computational Science (ICCS), pp 336-345, Elsevier, 2015
      10. P. Desport, M. Basseur, A. Goeffon, F. Lardeux, F. Saubion: Empirical Analysis of Operators for Permutation Based Problems, Learning and Intelligent Optimization conference (LION), pp 137-150, LNCS 8994, 2015.
      11. F. Lardeux, E. Monfroy: From Declarative Set Constraint Models to "Good" SAT Instances, Artificial Intelligence and Symbolic Computation (AISC), pp 76-87, LNCS 8884, 2014.
      12. M. Basseur, A. Goëffon, F. Lardeux, F. Saubion, V. Vigneron: On the Attainability of NK Landscapes Global Optima, Proceedings of the Seventh Annual Symposium on Combinatorial Search (SOCS), pp 28-34, AAAI Press, 2014.
      13. C. Candan, A. Goëffon, F. Lardeux, F. Saubion: Non stationary operator selection with island models, Genetic and evolutionary computation conference (GECCO), pp 1509-1516, ACM, 2013.
      14. C. Candan, A. Goëffon, F. Lardeux, F. Saubion: Parameter Setting with Dynamic Island Models, Learning and Intelligent Optimization conference (LION), pp 253-258, LNCS 7997, 2013.
      15. F. Chhel, A. Goëffon, F. Lardeux, F. Saubion: Minimum multiple characterization of biological data using partially defined boolean formulas, Symposium On Applied Computing (SAC), pp 1399-1405, ACM, 2012.
      16. C. Candan, A. Goëffon, F. Lardeux, F. Saubion: A dynamic island model for adaptive operator selection, Genetic and evolutionary computation conference (GECCO), pp 1253-1260, ACM, 2012.
      17. A. Goëffon, F. Lardeux: Autonomous Local Search Algorithms with Island Representation, Learning and Intelligent Optimization conference (LION), pp 390-395, LNCS 7219, 2012.
      18. G. di Tollo , F. Lardeux , J. Maturana , F. Saubion: From Adaptive to a More Dynamic Control in Evolutionary Algorithms, European Conference on Evolutionary Computation in Combinatorial Optimisation (EvoCop), pp 130-141, LNCS 6622, 2011.
      19. A. Goëffon, F. Lardeux: Optimal One-Max Strategy with Dynamic Island Models, 23rd International Conference on Tools with Artificial Intelligence (ICTAI), pp 485-488, IEEE, 2011.
      20. F. Chhel, A. Goëffon, F. Lardeux, F. Saubion, G. Hunault, T. Boureau: Experimental Approach for Bacterial Strains Characterization, Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics (EvoBio), short paper, pp 135-140, LNCS 6623, 2011.
      21. F. Chhel, A. Goëffon, A. Lafosse, F. Lardeux, F. Saubion, G. Hunault, T. Boureau: The Bacterial Strains Characterization Problem, Symposium On Applied Computing (SAC), poster, pp 108-109, ACM, 2011.
      22. F. Lardeux, A. Goëffon: A Dynamic Island-Based Genetic Algorithms Framework. Simulated Evolution And Learning (SEAL), pp 156-165, LNCS 6457, 2010.
      23. J. Maturana, F. Lardeux, F. Saubion: Controlling behavioral and structural parameters in Evolutionary Algorithms, International Conference on Artificial Evolution (EA), 2009.
      24. F. Lardeux, E. Monfroy, F. Saubion, B. Crawford, C. Castro: SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints. Advances in Artificial Intelligence (MICAI), pp 360-371, LNCS 5845, 2009.
      25. F. Lardeux, E. Monfroy, F. Saubion: Interleaved Alldifferent Constraints: CSP vs. SAT Approaches. In Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference (AIMSA), short paper, pp 380-384, LNCS 5253, 2008.
      26. F. Lardeux, F. Saubion, J.K. Hao: Three Truth Values for the SAT and MAX-SAT Problems, International Joint Conference on Artificial Intelligence (IJCAI), pp 187-192, 2005.
      27. F. Lardeux, F. Saubion, J.K. Hao: Recombination Operators for Satisfiability Problems, International Conference on Artificial Evolution (EA), pp 103-114, LNCS 2936, 2003.
    Conférences internationales avec comité de lecture et sans acte
      1. P. Desport, F. Lardeux, D. Lesaint, A. Liret, C. Di Cairano-Gilfedder, G. Owusu: Strategies for handling uncertainty in tactical distribution planning - an empirical study. 29th European Chapter on Combinatorial Optimization (ECCO XXIX), 2016
      2. F. Lardeux, A. Goëffon: Auto-adaptative Migration Policies in Island-Based Genetic Algorithms. Metaheuristics and Nature Inspired Computing (META). 2010.
    Workshops
      1. P. Desport, F. Lardeux, D. Lesaint, A. Liret, C. Di Cairano-Gilfedder, G. Owusu: Tactical Supply Chain Distribution Planning In The Telecommunications Service Industry. Annual workshop of the EURO working group on Vehicle Routing and Logistics optimization(VeRoLog), 2016
      2. J. Robet, F. Lardeux, F. Saubion: Autonomous Control Approach for Local Search. In Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics (SLS), short paper, pp 130-134, LNCS 5752, 2009.
      3. F. Lardeux, E. Monfroy, F. Saubion: Managing Multiple Alldifferent Constraints in CSP and SAT, Workshop on Constraint Solving and Constraint Logic Programming (CSCLP), 2008.
      4. F. Lardeux, F. Saubion, J.K. Hao: A Resolution Framework to Combine Exact and Approximate Methods for SAT and MAX-SAT Problems, EU/ME Workshop on Design and Evaluation of Advanced Hybrid Meta-Heuristics, 2004.
      5. F. Lardeux, F. Saubion, J.K. Hao: Combination of Exact and Approximate Methods for SAT and MAX-SAT Problems, Workshop on Cooperative Solvers in Constraint Programming (COSOLV), 2004.
      6. J.K. Hao, F. Lardeux, F. Saubion: Evolutionary computing for the satisfiability problem, European Workshop on Evolutionary Computation in Combinatorial Optimization, pp 258-267, LNCS 2611 Springer 2003.
      7. J.K. Hao, F. Lardeux, F. Saubion: A hybrid Genetic Algorithm for the Satisfiability Problem, 1rst International Workshop on Heuristics, Beijing , China, 2002.
    Conférences nationales avec actes
      1. A. Chambon, F. Lardeux, F. Saubion, T. Boureau: Characterization of biological data. Journées Ouvertes en Biologie, Informatique \& Mathématiques 2017 (JOBIM). Poster. 2017, Lille.
      2. F. Lardeux, E. Monfroy: Réduction et Encodage des Contraintes Ensemblistes en SAT, Douzièmes journées Francophones de Programmation par Contraintes (JFPC), Montpellier, 2016.
      3. F. Lardeux, E. Monfroy: Modélisation du Social Golfer en SAT via les contraintes ensemblistes, Onzièmes journées Francophones de Programmation par Contraintes (JFPC), Bordeaux, 2015.
      4. A. Goëffon, F. Lardeux : Modèles en îles dynamiques, Septièmes journées Francophones de Programmation par Contraintes (JFPC), Lyon, 2011.
      5. F. Chhel, F. Lardeux, F. Saubion : Caractérisation multiples minimales utilisant les formules booléennes partiellement définies, Cinquièmes Journées d'Intelligence Artificielle Fondamentale (JIAF), Lyon, 2011.
      6. F. Chhel, F. Lardeux, F. Saubion : Caractérisation de souches bactériennes à l'aide de la logique propositionnelle, Sixièmes journées Francophones de Programmation par Contraintes (JFPC), Caen, 2010.
      7. J. Maturana, F. Lardeux, F. Saubion : Génération et contrôle autonomes d'opérateurs pour les algorithmes évolutionnaires, Cinquièmes journées Francophones de Programmation par Contraintes (JFPC), Orléans 2009.
      8. J. Robet, F. Lardeux, F. Saubion : Une approche de contrôle autonome pour la recherche locale, Journées francophones de la programmation par contraintes, Cinquièmes journées Francophones de Programmation par Contraintes (JFPC), Orléans, 2009.
      9. F. Lardeux, E. Monfroy, F. Saubion, B. Crawford, C. Castro: Overlapping Alldifferent Constraints and the Sudoku puzzle, XXXIV Conferencia Latinoamericana de Informática (CLEI'08) - 2008.
      10. F. Lardeux, F. Saubion, J.K. Hao : Une Vision Trivaluée pour le Problèmes SAT et MAX-SAT, Premières journées Francophones de Programmation par Contraintes (JFPC), Lens, 2005.
      11. F. Lardeux, F. Saubion, J.K. Hao : Un algorithme tabou tri-valué hybride pour le problème MAX-SAT, Dixièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC), Angers, 2004.
      12. F. Lardeux, F. Saubion, J.K. Hao : GASAT : une approche hybride pour le problème SAT, Neuvièmes Journées Nationales sur la résolution Pratique de Problèmes NP-Complets (JNPC), Amiens, 2003.
    Conférences / congrès nationaux avec actes de résumés étendus
      1. C. Vasconcellos, V. Barichard, F. Lardeux: Using graph-based models to understand transformations between CSP and SAT. ROADEF, Lorient 2018.
      2. P. Desport, F. Lardeux, D. Lesaint, A. Liret, C. Di Cairano-Gilfedder, G. Owusu: A Metaheuristic for Tactical Inventory Planning in Closed-Loop Supply Chains, ROADEF, Compiègne, 2016.
      3. P. Desport, F. Lardeux, D. Lesaint: Tactical Inventory Planning in the Telecommunications Service Industry: a Case Study, ROADEF, Marseille, 2015.
      4. C. Candan, A. Goëffon, F. Lardeux, F. Saubion: Modèles en iles pour le réglage automatique de paramètres : application au problème du bandit manchot, ROADEF, Troyes, 2013.
      5. C. Candan, A. Goëffon, F. Lardeux, F. Saubion: Pourquoi rendre les modèles en iles autonomes ?, ROADEF , Angers, 2012 .
    Vulgarisation
      1. F. Lardeux : Parallélisme et programmation par contraintes : un duo gagnant, ITbulletin, Atos, 2015.
      2. A. Goëffon, F. Lardeux, F. Saubion : Des archipels d'algorithmes. Têtes chercheuses, n° 21, 2012.
    Habilitation à  diriger des recherches
      1. F. Lardeux, Algorithmes autonomes et modélisations de problèmes (Angers, France, Novembre 2012)
    Thèse de doctorat
      1. F. Lardeux, Approches Hybrides pour les problÚmes de Satisfiabilité (SAT et MAX-SAT) (Thèse de doctorat, Angers, France, Novembre 2005)


Projets :
Enseignements
Responsabilités