Publications

Thèse de doctorat

2012
  • Marie Pelleau, Domaines abstraits en programmation par contraintes, Thèse de l'Université de Nantes, soutenue le 29 Novembre, 2012 [Thèse] [Bibtex]

Ouvrage

2015
  • Marie Pelleau, Abstract Domains in Constraint Programming, Elsevier Science Publishers, 2015 [Livre] [Bibtex]

Revue internationale avec comité de relecture

2014
  • Marie Pelleau, Charlotte Truchet, Frédéric Benhamou, The Octagon Abstract Domain for Continuous Constraints, Constraints, Volume 19, Issue 3, 2014 [Article] [Bibtex]

Conférences internationales avec comité de relecture et actes

2018
  • Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné, Finding solutions by finding inconsistencies, 24th International Conference on Principle and Practice of Constraint Programming (CP), Lille, France, 2018 [Article] [Bibtex]
  • Jonathan Behaegel, Jean-Paul Comet, Marie Pelleau, Identification of Dynamic Parameters for Gene Networks, 30th International Conference on Tools with Artificial Intelligence (ICTAI), Volos, Greece, 2018 [Article] [Bibtex]
2014
  • Marie Pelleau, Louis-Martin Rousseau, Pierre L'Ecuyer, Walid Zegal, Louis Delorme, Scheduling agents using forecast call arrivals at Hydro-Québec's call centers, 20th International Conference on Principle and Practice of Constraint Programming (CP), Lyon, France, 2014 [Article] [Bibtex]
2013
  • Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou, Constraint Solver based on Abstract Domains, 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), Roma, Italia, 2013 [Article] [Bibtex]
2011
  • Marie Pelleau, Charlotte Truchet, Frédéric Benhamou, Octagonal Domains for Continuous Constraints, 17th International Conference on Principle and Practice of Constraint Programming (CP), Perugia, Italia, 2011 [Article] [Bibtex]
2010
  • Charlotte Truchet, Marie Pelleau, Frédéric Benhamou, Abstract domains for constraint programming, with the example of octagons, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, 2010 [Article] [Bibtex]

Ateliers internationaux avec comité de relecture et actes

2019
  • Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet, Combination of Boxes and Polyhedra Abstractions for Constraint Solving, 8th International Workshop on Numerical and Symbolic Abstract Domains, Porto, Portugal, 2019 [Article] [Bibtex]
2009
  • Marie Pelleau, Pascal van Hentenryck, Charlotte Truchet, Sonet Network Design Problems, 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS), Lisboa, Portugal, 2009 [Article] [Bibtex]

Conférences nationales avec comité de relecture et actes

2018
  • Jonathan Behaegel, Jean-Paul Comet, Marie Pelleau, Identification de paramètres dynamiques de réseaux de gènes, 14e Journées Francophones de Programmation par Contraintes (JFPC), Amiens, France, 2018 [Article] [Bibtex]
  • Remy Garcia, Claude Michel, Marie Pelleau, Michel Rueher, Vers un système de contraintes pour l'analyse des erreurs de précision des calculs sur les flottants, 14e Journées Francophones de Programmation par Contraintes (JFPC), Amiens, France, 2018 [Article] [Bibtex]
2017
  • Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné, Améliorer la propagation : l'Importance d'être Inconsistant, 13e Journées Francophones de Programmation par Contraintes (JFPC), Montreuil sur Mer, France, 2017 [Article] [Bibtex]
2013
  • Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou, Un solveur de contraintes basé sur les domaines abstraits, 9e Journées Francophones de Programmation par Contraintes (JFPC), Aix-en-Provence, France, 2013 [Article] [Bibtex]
2011
  • Marie Pelleau, Charlotte Truchet, Frédéric Benhamou, Au-delà des produits cartésiens de domaines : l'exemple des octogones, 7e Journées Francophones de Programmation par Contraintes (JFPC), Lyon, France, 2011 [Article] [Bibtex]

Conférences ou ateliers internationaux avec comité de relecture, sur résumé

2016
  • Marie Pelleau, Emmanuel Rauzy, Ghiles Ziat, Charlotte Truchet, and Antoine Miné, Mixing Polyhedra and Boxes Abstract Domain for Constraint Solving, CP meets Verification Workshop, Toulouse, France, 2016 [Résumé] [Présentation]
2015
  • Marie Pelleau, Louis-Martin Rousseau, Pierre L'Ecuyer, Simulation-based Scheduling of Agents using Historical Data in Call Centers, CORS/INFORMS 2015 Joint International Meeting, Montreal, Canada, 2015
  • Marie Pelleau, Louis-Martin Rousseau, Pierre L'Ecuyer, Walid Zegal, Louis Delorme, Scheduling agents using forecast call arrivals at Hydro-Québec's call centers, INFORMS Computing Society Conference (ICS), Richmond, Virginia, USA, 2015
2012
  • Marie Pelleau, Charlotte Truchet, Frédéric Benhamou, Octagonal Domains for Constraint Programming, 21st International Symposium on Mathematical Programming (ISMP), Berlin, Germany, 2012

Conférences ou ateliers nationaux avec comité de relecture, sur résumé

2014
  • Marie Pelleau, Louis-Martin Rousseau, Pierre L'Ecuyer, Walid Zegal, Louis Delorme, Scheduling agents using forecast call arrivals at Hydro-Québec's call centers, Journées de l'Optimisations (JOpt), Montreal, Canada, 2014