Youssef Hamadi

93 papers A* 8A 16B 10Misc 1Journal 31Unranked 19

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