Marie Pelleau,
Domaines abstraits en programmation par contraintes,
Thèse de l'Université de Nantes,
defended on November 29th,
2012
[Thesis]
[Bibtex]
Book
2015
Marie Pelleau,
Abstract Domains in Constraint Programming,
Elsevier Science Publishers,
2015
[Book]
[Bibtex]
Refereed international journal
2014
Marie Pelleau, Charlotte Truchet, Frédéric Benhamou,
The Octagon Abstract Domain for Continuous Constraints,
Constraints, Volume 19, Issue 3,
2014
[Article]
[Bibtex]
Refereed international conferences with proceedings
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]
Refereed international workshops with proceedings
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]
Refereed national conferences with proceedings
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]
Refereed international conferences or workshop with abstracts
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
[Abstract]
[Slides]
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
Refereed national conferences or workshop with abstracts
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