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
International Workshop on Verification, Model Checking, and Abstract …, 2013
642013
The octagon abstract domain for continuous constraints
M Pelleau, C Truchet, F Benhamou
Constraints 19, 309-337, 2014
142014
Octagonal domains for continuous constraints
M Pelleau, C Truchet, F Benhamou
International Conference on Principles and Practice of Constraint …, 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
Identification of dynamic parameters for gene networks
B Jonathan, C Jean-Paul, P Marie
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
72018
Sonet network design problems
M Pelleau, P Van Hentenryck, C Truchet
arXiv preprint arXiv:0910.1255, 2009
62009
Identification de parametres dynamiques de réseaux de genes
J Behaegel, JP Comet, M Pelleau
JFPC 2018, 33, 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
Abstract domains in constraint programming
M Pelleau
Elsevier, 2015
22015
Generalized confidence constraints
G Perez, S Malalel, G Glorian, V Jung, A Papadopoulos, M Pelleau, ...
Proceedings of the AAAI Conference on Artificial Intelligence 37 (4), 4078-4086, 2023
12023
MDD Archive for Boosting the Pareto Constraint
S Malalel, A Malapert, M Pelleau, JC Régin
29th International Conference on Principles and Practice of Constraint …, 2023
12023
Finding solutions by finding inconsistencies
G Ziat, M Pelleau, C Truchet, A Miné
International Conference on Principles and Practice of Constraint …, 2018
12018
Dealing with the product constraint
S Malalel, V Jung, JC Régin, M Pelleau
International Conference on Integration of Constraint Programming …, 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
The system can't perform the operation now. Try again later.
Articles 1–20