Daniel Diaz
- Centre de Recherche en Informatique de Paris 1 (CRI)
Présentation
Publications
Publications
Quantum and Digital Annealing for the Quadratic Assignment ProblemIEEE International Conference on Quantum Software (QSW), Jul 2022, Barcelona, Spain. ⟨10.1109/QSW55613.2022.00016⟩ |
|
A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial IntelligenceInternational Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland |
|
|
|
On Integrating Population-Based Metaheuristics with Cooperative Parallelism8th IEEE Workshop on Parallel / Distributed Computing and Optimization (PDCO 2018), May 2018, Vancouver, Canada. ⟨10.1109/IPDPSW.2018.00100⟩ |
|
|
Improving Constraint Solving on Parallel Hybrid Systems2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, Greece. pp.726-732, ⟨10.1109/ictai.2018.00114⟩ |
|
|
Weaving of Metaheuristics with Cooperative ParallelismInternational Conference on Parallel Problem Solving from Nature, 2018, Coimbra, Portugal. pp.436-448, ⟨10.1007/978-3-319-99253-2_35⟩ |
CLP(FD)-based Information Systems in Space Management OptimizationLanguage & Technology Conference, 2017, Poznan, Poland |
|
|
|
Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization16th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2016, Mar 2016, Porto, Portugal. ⟨10.1007/978-3-319-30698-8_17⟩ |
|
|
Run-time planning of case-based business processesIEEE 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 6, ⟨10.1109/RCIS.2016.7549282⟩ |
|
|
Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem10th International Workshop on Hybrid Metaheuristics, Jun 2016, Plymouth, United Kingdom. ⟨10.1007/978-3-319-39636-1_4⟩ |
|
|
A Local Search Algorithm for SMTI and its extension to HRT Problems3rd International Workshop on Matching Under Preferences, University of Glasgow, Apr 2015, Glasgow, United Kingdom |
|
|
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States |
|
|
A Parametric Framework for Cooperative Parallel Local SearchEuropean Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Apr 2014, Grenada, Spain. pp.13 - 24, ⟨10.1007/978-3-662-44320-0_2⟩ |
Extending the Finite Domain Solver of GNU PrologInternational Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS), 2014, Vienne, Austria |
|
|
|
Método para Identificar Correcciones de Defectos en Modelos de Características que representan Líneas de Productos / Method to identify corrections of defects on product line modelsXL Latin American Computing Conference (CLEI), Sep 2014, Montevideo, Uruguay |
|
|
Flexible cooperation in parallel local search (extended abstract)ACM Symposium on Applied Computing (SAC), Mar 2014, Gyeongju, South Korea. pp.1360 - 1361, ⟨10.1145/2554850.2555140⟩ |
|
|
Towards a Parallel Hierarchical Adaptive Solver ToolWorkshop on Parallel Methods for Search & Optimization (ParSearchOpt14), Jul 2014, Vienna, Austria |
Towards Constraint-Informed Information SystemsRCIS 2013, May 2013, Paris, France. pp.1 |
|
|
|
Towards Parallel Constraint-Based Local Search with the X10 Language20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Sep 2013, Kiel, Germany. pp.168-182 |
|
|
Experimenting with X10 for Parallel Constraint-Based Local Search13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013), Aug 2013, Istanbul, Turkey. pp.33-47 |
Parallel Performance of Declarative Programming using a PGAS ModelPractical Aspects of Declarative Languages (PADL), 2013, Rome, Italy |
|
|
|
PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids8th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC'13), Oct 2013, COMPIEGNE, FRANCE, France. pp.17-24 |
|
|
Subconjuntos Mínimos de Corrección para explicar características muertas en Modelos de Líneas de Productos. El caso de los Modelos de Características8th Computer Colombian Conference (CCC), Aug 2013, Armenia, Colombia |
Parallel Local Search: Experiments with a PGAS-based programming modelInternational Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Sep 2012, Budapest, Hungary. pp.1 |
|
|
|
Performance analysis of parallel constraint-based local searchPrinciples and Practice of Parallel Programming, Feb 2012, New Orleans, United States. pp.337-338, ⟨10.1145/2145816.2145883⟩ |
Constraint-Based Local Search for the Costas Array ProblemLearning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France |
|
Parallel local search for the Costas Array ProblemParallel Computing and Optimization, 2012, Shanghai, China |
|
|
|
VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach24th International Conference on Advanced Information Systems Engineering (CAiSE Forum'12), Jun 2012, Gdansk, Poland |
|
|
Experiments in Parallel Constraint-Based Local Search11th European conference on Evolutionary computation in combinatorial optimization (EvoCOP'11), Apr 2011, Torino, Italy. pp.96-107, ⟨10.1007/978-3-642-20364-0_9⟩ |
|
|
Parallel constraint-based local search on the HA8000 supercomputer (extended abstract)the 2011 ACM Symposium, Mar 2011, TaiChung, Taiwan. pp.920, ⟨10.1145/1982185.1982386⟩ |
|
|
Using Constraints for Intrusion Detection: the NeMODe System13th International Symposium, PADL 2011, Jan 2011, Austin, Texas, United States. pp.115-129, ⟨10.1007/978-3-642-18378-2_11⟩ |
|
|
Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Jun 2011, Beijing, China |
|
|
Using Constraint Programming to Verify DOPLER Variability Models5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium |
|
|
Constraints: the Core of Product Line EngineeringFifth IEEE International Conference on Research Challenges in Information Science (RCIS), May 2011, Guadeloupe, France |
|
|
Conformance Checking with Constraint Logic Programming: The Case of Feature ModelsIn 35th IEEE International Computer Software and Applications Conference (COMPSAC), Jul 2011, Munich, Germany |
|
|
Solving Integer Constraint in Reuse Based Requirements Engineering18th IEEE International Conference on Requirements Engineering (RE'10), Sep 2010, Sydney, Australia. pp.50 |
|
|
Criteria for the verification of feature modelsINFORSID 2010, May 2010, Marseille, France |
Parallel Constraint-Based Local Search on the Cell/BE Multicore ArchitectureIDC 2010 - 4th International Symposium on Intelligent Distributed Computing, Sep 2010, Tangier, Morocco. pp.265-274, ⟨10.1007/978-3-642-15211-5_28⟩ |
|
|
|
Using Integer Constraint Solving in Reuse Based Requirements Engineering18th IEEE International Requirements Engineering Conference (RE), 2010, Sep 2010, Sydney, Australia. pp.243-251, ⟨10.1109/RE.2010.36⟩ |
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. (Poster)17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.375-376, ⟨10.1109/RE.2009.52⟩ |
|
Spécification d'Exigences dans le Contexte de Lignes de Produits.Journée Action IDM - INFORSID Exigence, Traçabilité et Co-conception dans les processus de développement, Oct 2009, France |
|
|
|
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)Sixth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09)., Sep 2009, Lisbon, Portugal. pp.97-111, ⟨10.4204/EPTCS.5.8⟩ |
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.385-386, ⟨10.1109/RE.2009.57⟩ |
|
|
|
Deriving Product Line Requirements: the RED-PL Guidance ApproachSoftware Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, Dec 2007, Nagoya, Japan. pp.494 - 501, ⟨10.1109/ASPEC.2007.63⟩ |
|
|
Deriving Product Line Requirements: the RED-PL Guidance ApproachSoftware Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, Dec 2007, Nagoya, Japan. pp.494 - 501, ⟨10.1109/ASPEC.2007.63⟩ |
Contexts for Organizational Information System Design and ImplementationInternational Conference on Enterprise Information Systems, 2004, Porto, Portugal. 6 p |
|
Organizational Information Systems Design and Implementation with Contextual Constraint Logic ProgrammingInternational Conference of European University Information Systems, 2004, Ljubljana, Slovenia |
|
Objective: in Minimum ContextInternational Conference on Logic Programming, 2003, Mumbai, India. pp.128-147 |
|
A New Approach to the Interactive Resolution of Configuration Problems in Virtual EnvironmentsThird International Symposium on Smart Graphics (SG 2003), Jul 2002, Heidelberg, Germany. pp.99-130, ⟨10.1007/3-540-37620-8_11⟩ |
|
Interactive problem solving in an intelligent virtual environmentInternational Conference on Intelligent User Interfaces, Jan 2003, Miami, United States. pp.319, ⟨10.1145/604045.604112⟩ |
|
Validation of Functional Processor Descriptions by Test GenerationInternational Conference on Using Hardware Design and Verification Languages, 2003, San Jose, United States. pp.569-584 |
|
Code-based Test Generation for Validation of Functional Processor Descriptions9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, Apr 2003, Warsaw, Poland. pp.569-584, ⟨10.1007/3-540-36577-X_41⟩ |
|
|
|
A new approach to virtual design for spatial configuration problemsInternational Conference on Information Visualization, 2003, London, France. pp.518-523, ⟨10.1109/IV.2003.1218034⟩ |
An Efficient Library for Solving CSP with Local SearchInternational Conference on Metaheuristics, 2003, Kyoto, Japan |
|
Constraint-based Local Search For Discrete OptimizationInternational Conference on Optimization Methods and Software, 2002, Hangzhou, China. pp.ND |
|
The Adaptive Search Method for Constraint Solving and its application to musical CSPsInternational Workshop on Heuristics, 2002, Beijing, China. 9 p |
|
A Local Search Method for Constraint SolvingAAAI Fall Symposium "Using Uncertainty within Computation", 2001, North Falmouth, Cape Cod, United States. pp.38-46 |
|
Yet Another Local Search Method for Constraint SolvingStochastic Algorithms, Foundations and Applications, Dec 2001, Berlin, Germany. pp.73-90, ⟨10.1007/3-540-45322-9_5⟩ |
|
The GNU Prolog System and its ImplementationACM Symposium on Applied Computing, 2000, Villa Olmo, Como, Italy. pp.ND |
|
GNU Prolog: Beyond Compiling Prolog to CPractical Aspects of Declarative Languages (PADL), 2000, Boston, United States. pp.81-92 |
|
Constraint Retraction in FDConference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨10.1023/A:1009893626769⟩ |
|
Using clp(FD) to Support Air Traffic Flow Management3rd Practical Applications of Prolog (PAP), 1995, Paris, France. pp.ND |
|
Finite Domain Constraints in Constraint Logic ProgrammingEuropean Conference on Operational Research, 1995, Jerusalem, Israel. pp.ND |
|
wamcc: Compiling Prolog to CInternational Conference on Logic Programming, 1995, Tokyo, Japan. pp.81-92 |
|
clp(B): Combinig Simplicity and Efficiency in Boolean Constraint SolvingProgramming Language Implementation and Logic Programming, 1994, Madrid, Spain. pp.244-260, ⟨10.1007/3-540-58402-1_18⟩ |
|
Entailment of Finite Domain ConstraintsInternational Conference on Logic Programming, 1994, Santa Margherita, Italy. 15 p |
|
A Minimal Extension of the WAM for clp(FD)International Conference on Logic Programming, 1993, Vancouver, Canada. pp.774-790 |
|
On Structuring Contextual Logic ProgramsSimposio de Informatica (INForum), 2009, France. pp.1 |
|
Boolean Constraint Solving Using clp(FD)International Logic Programming Symposium, 1993, Vancouver, British Columbia, Canada. 15 p |
Parallel Local SearchHandbook of Parallel Constraint Reasoning, Springer International Publishing, pp.381-417, 2018, 978-3-319-63515-6. ⟨10.1007/978-3-319-63516-3_10⟩ |
|
|
|
Recommendation Heuristics for Improving Product Line Configuration ProcessesRobillard M, Maalej W., Walker R. and Zimmermann T. Recommendation Systems in Software Engineering, Springer, pp.100, 2014, 978-3-642-45135-5 |
|
|
Scottish Squares and Fixed Points in the Complex Plane2025 |
|
|
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)Informatique et langage [cs.CL]. Université d'Orléans, 1995. Français. ⟨NNT : ⟩ |