Youssef Hamadi

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 22

Top Topics

Fully Automated

Gene Regulatory

Modulo Theories

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Youssef Hamadi, Gauthier Picard
Towards Socially-Acceptable Multi-Criteria Resolution of the 4D-Contracts Repair Problem. AAMAS (2024)
Mercedes Pelegrín, Claudia D'Ambrosio, Rémi Delmas, Youssef Hamadi
Urban air mobility: from complex tactical conflict resolution to network design and fairness insights. Optim. Methods Softw. 38 (6) (2023)
Maxime Buyse, Rémi Delmas, Youssef Hamadi
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. ECOOP (2021)
Annalisa Occhipinti, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov, Claudio Angione
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (6) (2021)
Maxime Buyse, Rémi Delmas, Youssef Hamadi
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Thomas Durieux, Youssef Hamadi, Martin Monperrus
Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy. Softw. Test. Verification Reliab. 30 (2) (2020)
Youssef Hamadi
Optimization for Urban Air Mobility. LION (2020)
Thomas Durieux, Youssef Hamadi, Martin Monperrus
Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy. CoRR (2018)
Thomas Durieux, Youssef Hamadi, Martin Monperrus
Production-Driven Patch Generation. CoRR (2018)
Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry, Martin Monperrus
Exhaustive Exploration of the Failure-Oblivious Computing Search Space. ICST (2018)
Thomas Durieux, Youssef Hamadi, Martin Monperrus
Fully Automated HTML and Javascript Rewriting for Constructing a Self-Healing Web Proxy. ISSRE (2018)
Ky Khac Vu, Claudia D'Ambrosio, Youssef Hamadi, Leo Liberti
Surrogate-based methods for black-box optimization. Int. Trans. Oper. Res. 24 (3) (2017)
Thomas Durieux, Youssef Hamadi, Martin Monperrus
Production-Driven Patch Generation. ICSE-NIER (2017)
Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Martin Monperrus
Exhaustive Exploration of the Failure-oblivious Computing Search Space. CoRR (2017)
Youssef Hamadi, Souhila Kaci
Preference Reasoning in Matching Procedures: Application to the Admission Post-Baccalaureat Platform. CoRR (2017)
Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion
Evolving SMT Strategies. ICTAI (2016)
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler
Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Biosyst. 146 (2016)
Mukund Raghothaman, Yi Wei, Youssef Hamadi
SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. ICSE (2016)
Thomas Durieux, Youssef Hamadi, Martin Monperrus
Production-Driven Patch Generation and Validation. CoRR (2016)
Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion
Towards Automated Strategies in Satisfiability Modulo Theory. EuroGP (2016)
Thomas Durieux, Youssef Hamadi, Martin Monperrus
BanditRepair: Speculative Exploration of Runtime Patches. CoRR (2016)
Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs
What we can learn from conflicts in propositional satisfiability. Ann. Oper. Res. 240 (1) (2016)
Mukund Raghothaman, Yi Wei, Youssef Hamadi
SWIM: Synthesizing What I Mean. CoRR (2015)
Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi
Stochastic Local Search for Satisfiability Modulo Theories. AAAI (2015)
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
Switching Gene Regulatory Networks. IPCAT (2015)
Mohamed Morchid, Richard Dufour, Georges Linarès, Youssef Hamadi
Latent Topic Model Based Representations for a Robust Theme Identification of Highly Imperfect Automatic Transcriptions. CICLing (2) (2015)
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
Analyzing and Synthesizing Genomic Logic Functions. CAV (2014)
Dimo Brockhoff, Youssef Hamadi, Souhila Kaci
Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization. LION (2014)
Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST (2014)
Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. LION (2013)
Youssef Hamadi, Marc Schoenauer
Guest editorial: special issue - revised selected papers of the LION 6 conference. Ann. Math. Artif. Intell. 69 (2) (2013)
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
SMT-Based Analysis of Biological Computation. NASA Formal Methods (2013)
Youssef Hamadi, Christoph M. Wintersteiger
Seven Challenges in Parallel SAT Solving. AI Mag. 34 (2) (2013)
Nadarajen Veerapen, Youssef Hamadi, Frédéric Saubion
Using Local Search with adaptive operator selection to solve the Progressive Party Problem. IEEE Congress on Evolutionary Computation (2013)
Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer
Bandit-Based Search for Constraint Programming. CP (2013)
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
Efficiently solving quantified bit-vector formulas. Formal Methods Syst. Des. 42 (1) (2013)
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA (2013)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Learning from conflicts in propositional satisfiability. 4OR 10 (1) (2012)
Youssef Hamadi, Christoph M. Wintersteiger
Seven Challenges in Parallel SAT Solving. AAAI (2012)
Álvaro Fialho, Youssef Hamadi, Marc Schoenauer
A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. ECAI (2012)
Youssef Hamadi, Georg Ringwelski
Boosting distributed constraint satisfaction. J. Heuristics 17 (3) (2011)
Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais
Deterministic Parallel DPLL. J. Satisf. Boolean Model. Comput. 7 (4) (2011)
Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger
Lazy Decomposition for Distributed Decision Procedures PDMC (2011)
Álvaro Fialho, Youssef Hamadi, Marc Schoenauer
Optimizing architectural and structural aspects of buildings towards higher energy efficiency. GECCO (Companion) (2011)
Alejandro Arbelaez, Youssef Hamadi
Improving Parallel Local Search for SAT. LION (2011)
Vincent Vidal, Lucas Bordeaux, Youssef Hamadi
Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning. SOCS (2010)
Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag
Building Portfolios for the Protein Structure Prediction Problem. WCB@ICLP (2010)
Jérémie Vautard, Arnaud Lallouet, Youssef Hamadi
A Parallel Solving Algorithm for Quantified Constraints Problems. ICTAI (1) (2010)
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
Efficiently solving quantified bit-vector formulas. FMCAD (2010)
Youssef Hamadi
From Parallel SAT to Distributed SAT. POS@SAT (2010)
Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Diversification and Intensification in Parallel SAT Solving. CP (2010)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Learning for Dynamic Subsumption. Int. J. Artif. Intell. Tools 19 (4) (2010)
Alejandro Arbelaez, Youssef Hamadi, Michèle Sebag
Continuous Search in Constraint Programming. ICTAI (1) (2010)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Learning for Dynamic Subsumption. ICTAI (2009)
Cédric Piette, Youssef Hamadi, Lakhdar Sais
Efficient Combination of Decision Procedures for MUS Computation. FroCoS (2009)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Control-Based Clause Sharing in Parallel SAT Solving. IJCAI (2009)
Lucas Bordeaux, Youssef Hamadi, Horst Samulowitz
Experiments with Massively Parallel Constraint Solving. IJCAI (2009)
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
A Concurrent Portfolio Approach to SMT Solving. CAV (2009)
Alejandro Arbelaez, Youssef Hamadi
Exploiting weak dependencies in tree-based search. SAC (2009)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
Learning for Dynamic subsumption CoRR (2009)
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
ManySAT: a Parallel SAT Solver. J. Satisf. Boolean Model. Comput. 6 (4) (2009)
Youssef Hamadi
Conclusion to the Special Issue on Parallel SAT Solving. J. Satisf. Boolean Model. Comput. 6 (4) (2009)
Cédric Piette, Youssef Hamadi, Lakhdar Sais
Vivifying Propositional Clausal Formulae. ECAI (2008)
Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
A Generalized Framework for Conflict Analysis. SAT (2008)
Lucas Bordeaux, Youssef Hamadi, Moshe Y. Vardi
An Analysis of Slow Convergence in Interval Propagation. CP (2007)
Youssef Hamadi, Lucas Bordeaux
Preface to Special Issue on SAT/CP Integration. J. Satisf. Boolean Model. Comput. 1 (3-4) (2007)
Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi
Knowledge Compilation Properties of Tree-of-BDDs. AAAI (2007)
Carsten Rother, Lucas Bordeaux, Youssef Hamadi, Andrew Blake
AutoCollage. ACM Trans. Graph. 25 (3) (2006)
Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. CP (2006)
Lucas Bordeaux, Youssef Hamadi, Lintao Zhang
Propositional Satisfiability and Constraint Programming: A comparative survey. ACM Comput. Surv. 38 (4) (2006)
Yek Loong Chong, Youssef Hamadi
Distributed Log-Based Reconciliation. ECAI (2006)
Youssef Hamadi
Conflicting Agents in Distributed Search. Int. J. Artif. Intell. Tools 14 (3) (2005)
Youssef Hamadi, Marc Shapiro
Pushing Log-Based Reconciliation. Int. J. Artif. Intell. Tools 14 (3) (2005)
Mark Bartlett, Alan M. Frisch, Youssef Hamadi, Ian Miguel, Armagan Tarim, Chris Unsworth
The Temporal Knapsack Problem and Its Solution. CPAIOR (2005)
Georg Ringwelski, Youssef Hamadi
Boosting Distributed Constraint Satisfaction. CP (2005)
Youssef Hamadi
Continuous resources allocation in Internet data centers. CCGRID (2005)
Youssef Hamadi
Interleaved Backtracking in Distributed Constraint Networks. Int. J. Artif. Intell. Tools 11 (2) (2002)
Youssef Hamadi
Optimal Distributed Arc-Consistency. Constraints An Int. J. 7 (3-4) (2002)
Youssef Hamadi
DisCSPs: Tools for Generic and Efficient Multi-Agents Negotiations. WECWIS (2002)
Youssef Hamadi
Interleaved Backtracking in Distributed Constraint Networks. ICTAI (2001)
Youssef Hamadi
Optimal Distributed Arc-Consistency. CP (1999)
Joël Quinqueton, Youssef Hamadi
Communication et Emergence : une épidémie chez les termites. JFIADSMA (1999)
Youssef Hamadi, Christian Bessière, Joël Quinqueton
Distributed Intelligent Backtracking. ECAI (1998)
Youssef Hamadi, David Merceron
Reconfigurable Architectures: A New Vision for Optimization Problems. CP (1997)