Follow
Marie Pelleau
Marie Pelleau
Université Côte d'Azur
Verified email at unice.fr - Homepage
Title
Cited by
Cited by
Year
A constraint solver based on abstract domains
M Pelleau, A Miné, C Truchet, F Benhamou
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
592013
The octagon abstract domain for continuous constraints
M Pelleau, C Truchet, F Benhamou
Constraints 19, 309-337, 2014
132014
Octagonal domains for continuous constraints
M Pelleau, C Truchet, F Benhamou
Principles and Practice of Constraint Programming–CP 2011: 17th …, 2011
122011
Abstract domains for constraint programming, with the example of octagons
C Truchet, M Pelleau, F Benhamou
2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010
92010
SONET network design problems
M Pelleau, P Van Hentenryck, C Truchet
arXiv preprint arXiv:0910.1255, 2009
62009
Identification of dynamic parameters for gene networks
B Jonathan, C Jean-Paul, P Marie
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
42018
Scheduling agents using forecast call arrivals at Hydro-Québec’s call centers
M Pelleau, LM Rousseau, P L’Ecuyer, W Zegal, L Delorme
Principles and Practice of Constraint Programming: 20th International …, 2014
42014
Towards a constraint system for round-off error analysis of floating-point computation
R Garcia, C Michel, M Pelleau, M Rueher
24th International Conference on Principles and Practice of Constraint …, 2018
32018
Combination of boxes and polyhedra abstractions for constraint solving
G Ziat, A Maréchal, M Pelleau, A Miné, C Truchet
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
22020
Identification de parametres dynamiques de réseaux de genes
J Behaegel, JP Comet, M Pelleau
JFPC 2018, 33, 2018
22018
Abstract domains in constraint programming
M Pelleau
Elsevier, 2015
22015
Finding solutions by finding inconsistencies
G Ziat, M Pelleau, C Truchet, A Miné
Principles and Practice of Constraint Programming: 24th International …, 2018
12018
Dealing with the product constraint
S Malalel, V Jung, JC Régin, M Pelleau
Integration of Constraint Programming, Artificial Intelligence, and …, 2022
2022
Contraintes de cardinalité cachées dans les preuves d'insatisfaisabilité
V Montmirail, M Pelleau, JC Régin, L Simon
15es Journées Francophones de Programmation par Contraintes, 2019
2019
Améliorer la propagation: l'Importance d'être Inconsistant
G Ziat, M Pelleau, C Truchet, A Miné
Treizièmes journées Francophones de Programmation par Contraintes, 2017
2017
Mixing Polyedra and Boxes Abstract Domain for Constraint Solving
M Pelleau, E Rauzy, G Ziat, C Truchet, A Miné
2016
Un solveur de contraintes basé sur les domaines abstraits
M Pelleau, A Miné, C Truchet, F Benhamou
9èmes Journées Francophones de Programmation par Contraintes, 259-268, 2013
2013
Domaines abstraits en programmation par contraintes
M PELLEAU
Université de Nantes, 2012
2012
Using Abstract Domains in Constraint Programming
M Pelleau, F Benhamou, P Van Hentenryck, C Truchet
The 16th International Conference on Principles and Practice of Constraint …, 2010
2010
Résolution de Problemes Programmation par Contraintes
M Pelleau
The system can't perform the operation now. Try again later.
Articles 1–20