
Daniel Diaz
Maître de Conférences à l'Université Paris 1 - Panthéon-Sorbonne
89
Documents
Affiliation actuelle
- 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⟩
Communication dans un congrès
hal-03778602
v1
|
|
A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial IntelligenceInternational Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland
Communication dans un congrès
hal-02297049
v1
|
|
|
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⟩
Communication dans un congrès
hal-01802097
v1
|
|
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⟩
Communication dans un congrès
hal-02296435
v1
|
|
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⟩
Communication dans un congrès
hal-02296454
v1
|
CLP(FD)-based Information Systems in Space Management OptimizationLanguage & Technology Conference, 2017, Poznan, Poland
Communication dans un congrès
hal-02297063
v1
|
|
|
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⟩
Communication dans un congrès
hal-01332524
v1
|
|
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⟩
Communication dans un congrès
hal-01423708
v1
|
|
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⟩
Communication dans un congrès
hal-01332529
v1
|
|
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States
Communication dans un congrès
hal-01144214
v1
|
|
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
Communication dans un congrès
hal-01144208
v1
|
|
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⟩
Communication dans un congrès
hal-01117524
v1
|
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
Communication dans un congrès
hal-01220207
v1
|
|
|
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
Communication dans un congrès
hal-01071278
v1
|
|
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⟩
Communication dans un congrès
hal-01117539
v1
|
|
Towards a Parallel Hierarchical Adaptive Solver ToolWorkshop on Parallel Methods for Search & Optimization (ParSearchOpt14), Jul 2014, Vienna, Austria
Communication dans un congrès
hal-01195526
v1
|
Towards Constraint-Informed Information SystemsRCIS 2013, May 2013, Paris, France. pp.1
Communication dans un congrès
hal-00812059
v1
|
|
|
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
Communication dans un congrès
hal-00874645
v1
|
|
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
Communication dans un congrès
hal-00874633
v1
|
Parallel Performance of Declarative Programming using a PGAS ModelPractical Aspects of Declarative Languages (PADL), 2013, Rome, Italy
Communication dans un congrès
hal-00760624
v1
|
|
|
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
Communication dans un congrès
hal-00914015
v1
|
|
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
Communication dans un congrès
hal-00903718
v1
|
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
Communication dans un congrès
hal-00735787
v1
|
|
|
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⟩
Communication dans un congrès
hal-00693266
v1
|
Parallel local search for the Costas Array ProblemParallel Computing and Optimization, 2012, Shanghai, China
Communication dans un congrès
hal-00693275
v1
|
|
Constraint-Based Local Search for the Costas Array ProblemLearning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France
Communication dans un congrès
hal-00760628
v1
|
|
|
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
Communication dans un congrès
hal-00707551
v1
|
|
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⟩
Communication dans un congrès
hal-02296485
v1
|
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⟩
Communication dans un congrès
istex
hal-00663789
v1
|
|
|
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
Communication dans un congrès
hal-00707546
v1
|
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⟩
Communication dans un congrès
istex
hal-00663805
v1
|
|
|
Using Constraint Programming to Verify DOPLER Variability Models5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium
Communication dans un congrès
hal-00707543
v1
|
|
Constraints: the Core of Product Line EngineeringFifth IEEE International Conference on Research Challenges in Information Science (RCIS), May 2011, Guadeloupe, France
Communication dans un congrès
hal-00707544
v1
|
|
Conformance Checking with Constraint Logic Programming: The Case of Feature ModelsIn 35th IEEE International Computer Software and Applications Conference (COMPSAC), Jul 2011, Munich, Germany
Communication dans un congrès
hal-00707545
v1
|
|
Criteria for the verification of feature modelsINFORSID 2010, May 2010, Marseille, France
Communication dans un congrès
hal-00707534
v1
|
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⟩
Communication dans un congrès
istex
hal-00663816
v1
|
|
|
Solving Integer Constraint in Reuse Based Requirements Engineering18th IEEE International Conference on Requirements Engineering (RE'10), Sep 2010, Sydney, Australia. pp.50
Communication dans un congrès
hal-00707542
v1
|
|
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⟩
Communication dans un congrès
hal-00662891
v1
|
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
Communication dans un congrès
hal-00706100
v1
|
|
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⟩
Communication dans un congrès
hal-00663346
v1
|
|
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⟩
Communication dans un congrès
hal-00663343
v1
|
|
|
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⟩
Communication dans un congrès
hal-00663842
v1
|
|
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⟩
Communication dans un congrès
hal-00667789
v1
|
|
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⟩
Communication dans un congrès
hal-04215199
v1
|
Contexts for Organizational Information System Design and ImplementationInternational Conference on Enterprise Information Systems, 2004, Porto, Portugal. 6 p
Communication dans un congrès
hal-00668255
v1
|
|
Organizational Information Systems Design and Implementation with Contextual Constraint Logic ProgrammingInternational Conference of European University Information Systems, 2004, Ljubljana, Slovenia
Communication dans un congrès
hal-02296517
v1
|
|
Objective: in Minimum ContextInternational Conference on Logic Programming, 2003, Mumbai, India. pp.128-147
Communication dans un congrès
hal-00668260
v1
|
|
Validation of Functional Processor Descriptions by Test GenerationInternational Conference on Using Hardware Design and Verification Languages, 2003, San Jose, United States. pp.569-584
Communication dans un congrès
hal-00668242
v1
|
|
|
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⟩
Communication dans un congrès
hal-00667951
v1
|
Interactive problem solving in an intelligent virtual environmentInternational Conference on Intelligent User Interfaces, Jan 2003, Miami, United States. pp.319, ⟨10.1145/604045.604112⟩
Communication dans un congrès
hal-02296553
v1
|
|
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⟩
Communication dans un congrès
istex
hal-00667806
v1
|
|
|
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⟩
Communication dans un congrès
hal-02296534
v1
|
An Efficient Library for Solving CSP with Local SearchInternational Conference on Metaheuristics, 2003, Kyoto, Japan
Communication dans un congrès
hal-00693282
v1
|
|
Constraint-based Local Search For Discrete OptimizationInternational Conference on Optimization Methods and Software, 2002, Hangzhou, China. pp.ND
Communication dans un congrès
hal-00668305
v1
|
|
The Adaptive Search Method for Constraint Solving and its application to musical CSPsInternational Workshop on Heuristics, 2002, Beijing, China. 9 p
Communication dans un congrès
hal-00668300
v1
|
|
A Local Search Method for Constraint SolvingAAAI Fall Symposium "Using Uncertainty within Computation", 2001, North Falmouth, Cape Cod, United States. pp.38-46
Communication dans un congrès
hal-00668309
v1
|
|
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⟩
Communication dans un congrès
istex
hal-00667941
v1
|
|
The GNU Prolog System and its ImplementationACM Symposium on Applied Computing, 2000, Villa Olmo, Como, Italy. pp.ND
Communication dans un congrès
hal-00667976
v1
|
|
GNU Prolog: Beyond Compiling Prolog to CPractical Aspects of Declarative Languages (PADL), 2000, Boston, United States. pp.81-92
Communication dans un congrès
hal-00668314
v1
|
|
Constraint Retraction in FDConference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨10.1023/A:1009893626769⟩
Communication dans un congrès
istex
hal-00668318
v1
|
|
Using clp(FD) to Support Air Traffic Flow Management3rd Practical Applications of Prolog (PAP), 1995, Paris, France. pp.ND
Communication dans un congrès
hal-00668327
v1
|
|
Finite Domain Constraints in Constraint Logic ProgrammingEuropean Conference on Operational Research, 1995, Jerusalem, Israel. pp.ND
Communication dans un congrès
hal-00668846
v1
|
|
wamcc: Compiling Prolog to CInternational Conference on Logic Programming, 1995, Tokyo, Japan. pp.81-92
Communication dans un congrès
hal-00668817
v1
|
|
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⟩
Communication dans un congrès
istex
hal-00668859
v1
|
|
Entailment of Finite Domain ConstraintsInternational Conference on Logic Programming, 1994, Santa Margherita, Italy. 15 p
Communication dans un congrès
hal-00668885
v1
|
|
A Minimal Extension of the WAM for clp(FD)International Conference on Logic Programming, 1993, Vancouver, Canada. pp.774-790
Communication dans un congrès
hal-00668913
v1
|
|
On Structuring Contextual Logic ProgramsSimposio de Informatica (INForum), 2009, France. pp.1
Communication dans un congrès
hal-00702245
v1
|
|
Boolean Constraint Solving Using clp(FD)International Logic Programming Symposium, 1993, Vancouver, British Columbia, Canada. 15 p
Communication dans un congrès
hal-00668897
v1
|
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⟩
Chapitre d'ouvrage
hal-01511022
v1
|
|
|
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
Chapitre d'ouvrage
hal-00914021
v1
|
|
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 : ⟩
Thèse
tel-00981853
v1
|
Chargement...
Chargement...