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
512013
The octagon abstract domain for continuous constraints
M Pelleau, C Truchet, F Benhamou
Constraints 19 (3), 309-337, 2014
122014
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
Sonet network design problems
M Pelleau, P Van Hentenryck, C Truchet
arXiv preprint arXiv:0910.1255, 2009
42009
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
Scheduling agents using forecast call arrivals at Hydro-Quebec’s call centers
M Pelleau, LM Rousseau, P L’Ecuyer, W Zegal, L Delorme
International Conference on Principles and Practice of Constraint …, 2014
32014
Identification of dynamic parameters for gene networks
J Behaegel, JP Comet, M Pelleau
Proceedings of the 30th IEEE International Conference on Tools with …, 2018
22018
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
Combination of Boxes and Polyhedra Abstractions for Constraint Solving
G Ziat, A Maréchal, M Pelleau, A Miné, C Truchet
International Symposium on Formal Methods, 119-135, 2019
12019
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
Identification of Dynamic Parameters for Gene Networks
B Jonathan, C Jean-Paul, P Marie
2018 IEEE 30th International Conference on Tools with Artificial …, 2018
2018
Finding solutions by finding inconsistencies
G Ziat, M Pelleau, C Truchet, A Miné
International Conference on Principles and Practice of Constraint …, 2018
2018
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
Vers un systeme de contraintes pour l’analyse des erreurs de précision des calculs sur les flottants
R Garcia, C Michel, M Pelleau, M Rueher
JFPC 2018, 55, 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
The system can't perform the operation now. Try again later.
Articles 1–20