Charles Prud'homme

According to our database, Charles Prud'homme authored at least 26 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study.

Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud'homme, Issam Raïs

Proceedings of the IEEE International Conference on Software Analysis, 2024

Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem.

Sulian Le Bozec-Chiffoleau, Charles Prud'homme, Gilles Simonin

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

Correction to: Solution sampling with random table constraints.

Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme

Constraints An Int. J., September, 2023

New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks.

Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme

IACR Cryptol. ePrint Arch., 2023

SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers.

Abdelghani Alidra, Hugo Bruneliere, Hélène Coullon, Thomas Ledoux, Charles Prud'homme, Jonathan Lejeune, Pierre Sens, Julien Sopena, Jonathan Rivalan

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

Guiding Backtrack Search by Tracking Variables During Constraint Propagation.

Gilles Audemard, Christophe Lecoutre, Charles Prud'homme

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Choco-solver: A Java library for constraint programming.

Charles Prud'homme, Jean-Guillaume Fages

J. Open Source Softw., October, 2022

Solution sampling with random table constraints.

Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme

Constraints An Int. J., 2022

Global domain views for expressive and cross-domain constraint programming.

Dimitri Justeau-Allaire, Charles Prud'homme

Constraints An Int. J., 2022

2021

A Simpler Model for Recovering Superpoly onTrivium.

Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme

IACR Cryptol. ePrint Arch., 2021

A Simpler Model for Recovering Superpoly on Trivium.

Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme

Proceedings of the Selected Areas in Cryptography - 28th International Conference, 2021

Efficient Methods to Search for Best Differential Characteristics on SKINNY.

Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme

Proceedings of the Applied Cryptography and Network Security, 2021

2020

SKINNY with Scalpel - Comparing Tools for Differential Analysis.

Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme

IACR Cryptol. ePrint Arch., 2020

2019

Efficient Resource Allocation for Multi-Tenant Monitoring of Edge Infrastructures.

Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jérôme François, Adrien Lebre, Charles Prud'homme, Xavier Lorca

Proceedings of the 27th Euromicro International Conference on Parallel, 2019

Service Placement in Fog Computing Using Constraint Programming.

Farah Aït-Salaht, Frédéric Desprez, Adrien Lebre, Charles Prud'homme, Mohamed Abderrahim

Proceedings of the 2019 IEEE International Conference on Services Computing, 2019

2018

CoMe4ACloud: An end-to-end framework for autonomic Cloud systems.

Zakarea Alshara, Frederico Alvares, Hugo Bruneliere, Jonathan Lejeune, Charles Prud'homme, Thomas Ledoux

Future Gener. Comput. Syst., 2018

2017

Making the First Solution Good!

Jean-Guillaume Fages, Charles Prud'homme

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Range-Consistent Forbidden Regions of Allen's Relations.

Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

Event Selection Rules to Compute Explanations.

Charles Prud'homme, Xavier Lorca, Narendra Jussien

CoRR, 2016

Using Constraint Programming for the Urban Transit Crew Rescheduling Problem.

Xavier Lorca, Charles Prud'homme, Aurélien Questel, Benoît Rottembourg

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

A Modelling Pearl with Sortedness Constraints.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme

Proceedings of the Global Conference on Artificial Intelligence, 2015

A Global Constraint for a Tractable Class of Temporal Optimization Problems.

Alban Derrien, Jean-Guillaume Fages, Thierry Petit, Charles Prud'homme

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Contrôle de la propagation et de la recherche dans un solveur de contraintes. (Controlling propagation and search within a constraint solver).

Charles Prud'homme

PhD thesis, 2014

Combining finite and continuous solvers.

Jean-Guillaume Fages, Gilles Chabert, Charles Prud'homme

CoRR, 2014

Explanation-based large neighborhood search.

Charles Prud'homme, Xavier Lorca, Narendra Jussien

Constraints An Int. J., 2014

Propagation engine prototyping with a domain specific language.

Charles Prud'homme, Xavier Lorca, Rémi Douence, Narendra Jussien

Constraints An Int. J., 2014