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