Publications HAL

2022

Article dans une revue

ref_biblio
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, et al.. Fifty Years of Prolog and Beyond. Theory and Practice of Logic Programming, 2022, 22 (6), pp.776-858. ⟨10.1017/S1471068422000102⟩. ⟨hal-03946907⟩
Accès au bibtex
https://arxiv.org/pdf/2201.10816 BibTex

Communication dans un congrès

ref_biblio
Philippe Codognet, Daniel Diaz, Salvador Abreu. Quantum and Digital Annealing for the Quadratic Assignment Problem. IEEE International Conference on Quantum Software (QSW), Jul 2022, Barcelona, Spain. ⟨10.1109/QSW55613.2022.00016⟩. ⟨hal-03778602⟩
Accès au bibtex
BibTex

2021

Article dans une revue

ref_biblio
Jonathan Duque, Danny Múnera, Daniel Díaz, Salvador Abreu. Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics. Communications in Computer and Information Science, 2021, Communications in Computer and Information Science, 1443, pp.294-309. ⟨10.1007/978-3-030-85672-4_22⟩. ⟨hal-03947253⟩
Accès au bibtex
BibTex

Logiciel

ref_biblio
Daniel Diaz. GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains. 2021. ⟨hal-03993921⟩
Accès au texte intégral et bibtex
https://hal-paris1.archives-ouvertes.fr/hal-03993921/file/gprolog-1.5.1.tar.gz BibTex

2019

Communication dans un congrès

ref_biblio
Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, et al.. A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland. ⟨hal-02297049⟩
Accès au bibtex
BibTex

2018

Communication dans un congrès

ref_biblio
Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu. Improving Constraint Solving on Parallel Hybrid Systems. 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, Greece. pp.726-732, ⟨10.1109/ictai.2018.00114⟩. ⟨hal-02296435⟩
Accès au bibtex
BibTex
ref_biblio
Jheisson Lopez, Danny Munera, Daniel Diaz, Salvador Abreu. On Integrating Population-Based Metaheuristics with Cooperative Parallelism. 8th IEEE Workshop on Parallel / Distributed Computing and Optimization (PDCO 2018), May 2018, Vancouver, Canada. ⟨10.1109/IPDPSW.2018.00100⟩. ⟨hal-01802097⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01802097/file/PDCO-2018.pdf BibTex
ref_biblio
Jheisson Lopez, Danny Munera, Daniel Diaz, Salvador Abreu. Weaving of Metaheuristics with Cooperative Parallelism. International Conference on Parallel Problem Solving from Nature, 2018, Coimbra, Portugal. pp.436-448, ⟨10.1007/978-3-319-99253-2_35⟩. ⟨hal-02296454⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Philippe Codognet, Danny Munera, Daniel Diaz, Salvador Abreu. Parallel Local Search. Handbook of Parallel Constraint Reasoning, Springer International Publishing, pp.381-417, 2018, 978-3-319-63515-6. ⟨10.1007/978-3-319-63516-3_10⟩. ⟨hal-01511022⟩
Accès au bibtex
BibTex

2017

Communication dans un congrès

ref_biblio
Irene Rodrigues, Daniel Diaz, Salvador Abreu. CLP(FD)-based Information Systems in Space Management Optimization. Language & Technology Conference, 2017, Poznan, Poland. ⟨hal-02297063⟩
Accès au bibtex
BibTex

2016

Article dans une revue

ref_biblio
Irene Rodrigues, Rui Quaresma, Daniel Diaz, Salvador Abreu. Constraint-Informed Information Systems in Space Management Optimization. Coimbra Business Review, 2016. ⟨hal-02295928⟩
Accès au bibtex
BibTex
ref_biblio
Irene Rodrigues, Rui Quaresma, Daniel Diaz, Salvador Abreu. Constraint-Informed Information Systems in Space Management Optimization. Coimbra Business Review, 2016, 2 (1). ⟨hal-03947424⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Danny Munera, Daniel Diaz, Salvador Abreu. Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem. 10th International Workshop on Hybrid Metaheuristics, Jun 2016, Plymouth, United Kingdom. ⟨10.1007/978-3-319-39636-1_4⟩. ⟨hal-01332529⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01332529/file/20.pdf BibTex
ref_biblio
Danillo Sprovieri, Daniel Diaz, Raul Mazo, Knut Hinkelmann. Run-time planning of case-based business processes. IEEE 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 6, ⟨10.1109/RCIS.2016.7549282⟩. ⟨hal-01423708⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01423708/file/RCIS2016_Run-Time%20Planning%20of%20Case-based%20Business%20Processes.pdf BibTex
ref_biblio
Danny Munera, Daniel Diaz, Salvador Abreu. Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization. 16th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2016, Mar 2016, Porto, Portugal. ⟨10.1007/978-3-319-30698-8_17⟩. ⟨hal-01332524⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01332524/file/Munera.pdf BibTex

2015

Article dans une revue

ref_biblio
Luisa Rincón-Perez, Gloria-Lucia Giraldo-Gómez, Raul Mazo, Camille Salinesi, Daniel Diaz. Method to Identify Corrections of Defects on Product Line Models. Electronic Notes in Theoretical Computer Science, 2015, 314, pp.61-81. ⟨10.1016/j.entcs.2015.05.005⟩. ⟨hal-02296117⟩
Accès au bibtex
BibTex
ref_biblio
Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu. Large-scale parallelism for constraint-based local search: the costas array case study. Constraints, 2015, 20 (1), pp.30-56. ⟨10.1007/s10601-014-9168-4⟩. ⟨hal-01084270⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01084270/file/constraints14.pdf BibTex

Communication dans un congrès

ref_biblio
Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, et al.. A Local Search Algorithm for SMTI and its extension to HRT Problems. 3rd International Workshop on Matching Under Preferences, University of Glasgow, Apr 2015, Glasgow, United Kingdom. ⟨hal-01144208⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01144208/file/MATCHUP15.pdf BibTex
ref_biblio
Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, et al.. Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. 29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. ⟨hal-01144214⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01144214/file/SMTI-AAAI15-NC.pdf BibTex

2014

Article dans une revue

ref_biblio
G.H. Alférez, V. Pelechano, Raul Mazo, Daniel Diaz, Camille Salinesi. Dynamic adaptation of service compositions with variability models. Journal of Systems and Software, 2014, 91, pp.24-47. ⟨10.1016/j.jss.2013.06.034⟩. ⟨hal-02296121⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Luisa Rincón-Perez, Gloria-Lucia Giraldo-Gómez, Raúl Mazo, Camille Salinesi, Daniel Diaz. 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 models. XL Latin American Computing Conference (CLEI), Sep 2014, Montevideo, Uruguay. ⟨hal-01071278⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01071278/file/Method_to_identify_corrections_of_defects_on_product_line_models_CLEI_2014.pdf BibTex
ref_biblio
Salvador Abreu, Danny Munera, Daniel Diaz. Towards a Parallel Hierarchical Adaptive Solver Tool. Workshop on Parallel Methods for Search & Optimization (ParSearchOpt14), Jul 2014, Vienna, Austria. ⟨hal-01195526⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01195526/file/pso-14.pdf BibTex
ref_biblio
Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet. A Parametric Framework for Cooperative Parallel Local Search. European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Apr 2014, Grenada, Spain. pp.13 - 24, ⟨10.1007/978-3-662-44320-0_2⟩. ⟨hal-01117524⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01117524/file/munera.pdf BibTex
ref_biblio
Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet. 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⟩. ⟨hal-01117539⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-01117539/file/sac14-ncr.pdf BibTex
ref_biblio
Bloemen Vincent, Daniel Diaz, Salvador Abreu. Extending the Finite Domain Solver of GNU Prolog. International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS), 2014, Vienne, Austria. ⟨hal-01220207⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Raúl Mazo, Cosmin Dumitrescu, Camille Salinesi, Daniel Diaz. Recommendation Heuristics for Improving Product Line Configuration Processes. Robillard M, Maalej W., Walker R. and Zimmermann T. Recommendation Systems in Software Engineering, Springer, pp.100, 2014, 978-3-642-45135-5. ⟨hal-00914021⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00914021/file/Recommendation_Heuristics_for_Improving_Product_Line_Coni_guration_Processes_Recommendation_Systems_in_Software_Engineering_Book_2014.pdf BibTex

2013

Communication dans un congrès

ref_biblio
Luiz Angelo Steffenel, Olivier Flauzac, Andrea Schwertner Charão, Patricia Pitthan Barcelos, Benhur Stein, et al.. PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids. 8th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC'13), Oct 2013, COMPIEGNE, FRANCE, France. pp.17-24. ⟨hal-00903718⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00903718/file/5094a017.pdf BibTex
ref_biblio
Danny Munera, Daniel Diaz, Salvador Abreu. Towards Parallel Constraint-Based Local Search with the X10 Language. 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Sep 2013, Kiel, Germany. pp.168-182. ⟨hal-00874633⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00874633/file/inap-2013.pdf BibTex
ref_biblio
Danny Munera, Daniel Diaz, Salvador Abreu. Experimenting with X10 for Parallel Constraint-Based Local Search. 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013), Aug 2013, Istanbul, Turkey. pp.33-47. ⟨hal-00874645⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00874645/file/ciclops13.pdf BibTex
ref_biblio
Luisa Rincón, Gloria Lucia Giraldo, Raúl Mazo, Camille Salinesi, Daniel Diaz. 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ísticas. 8th Computer Colombian Conference (CCC), Aug 2013, Armenia, Colombia. ⟨hal-00914015⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00914015/file/Subconjuntos_MA_nimos_de_CorrecciA_n_para_explicar_caracterA_sticas_muertas_en_Modelos_de_LA_neas_de_Productos._El_caso_de_los_Modelos_de_CaracterA_sticas_CCC_2013.pdf BibTex
ref_biblio
Irene Rodrigues, Nuno Matos, Salvador Abreu, Rebecca Deneckere, Daniel Diaz. Towards Constraint-Informed Information Systems. RCIS 2013, May 2013, Paris, France. pp.1. ⟨hal-00812059⟩
Accès au bibtex
BibTex
ref_biblio
Rui Machado, Salvador Abreu, Daniel Diaz. Parallel Performance of Declarative Programming using a PGAS Model. Practical Aspects of Declarative Languages (PADL), 2013, Rome, Italy. ⟨hal-00760624⟩
Accès au bibtex
BibTex

2012

Article dans une revue

ref_biblio
Pete Sawyer, Raul Mazo, Daniel Diaz, Camille Salinesi, Danny Hughes. Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems. Special Issue in IEEE Computer Dynamic Software Product Lines, 2012, pp.1-12. ⟨hal-00747723⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00747723/file/CO_COMSI-2012-04-0066.R1_Sawyer-Full-Text.pdf BibTex
ref_biblio
Raul Mazo, Camille Salinesi, Olfa Djebbi, Daniel Diaz, Alberto Lora-Michiels. Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. International Journal of Information System Modeling and Design, 2012, 3 (2), pp.50. ⟨hal-00707522⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00707522/file/Final_manuscript_on_the_journaltemplate-with_images.pdf BibTex
ref_biblio
Daniel Diaz, Salvador Abreu, Philippe Codognet. On the implementation of GNU Prolog. Theory and Practice of Logic Programming, 2012, 12 (1-2), pp.253 - 282. ⟨10.1017/S1471068411000470⟩. ⟨hal-00665748⟩
Accès au bibtex
https://arxiv.org/pdf/1012.2496 BibTex
ref_biblio
Daniel Diaz, Salvador Abreu, Philippe Codognet. Targeting the Cell Broadband Engine for constraint-based local search. Concurrency and Computation: Practice and Experience, 2012, 13 p. ⟨10.1002/cpe.1855⟩. ⟨hal-00663776⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Rui Machado, Salvador Abreu, Daniel Diaz. Parallel Local Search: Experiments with a PGAS-based programming model. International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Sep 2012, Budapest, Hungary. pp.1. ⟨hal-00735787⟩
Accès au bibtex
BibTex
ref_biblio
Raul Mazo, Camille Salinesi, Daniel Diaz. VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. 24th International Conference on Advanced Information Systems Engineering (CAiSE Forum'12), Jun 2012, Gdansk, Poland. ⟨hal-00707551⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00707551/file/VariaMos_a_Tool_for_Product_Line_Driven_Systems_Engineering_with_a_Constraint_Based_Approach.pdf BibTex
ref_biblio
Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu. Performance analysis of parallel constraint-based local search. Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States. pp.337-338, ⟨10.1145/2145816.2145883⟩. ⟨hal-00693266⟩
Accès au bibtex
BibTex
ref_biblio
Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu. Parallel local search for the Costas Array Problem. Parallel Computing and Optimization, 2012, Shanghai, China. ⟨hal-00693275⟩
Accès au bibtex
BibTex
ref_biblio
Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu. Constraint-Based Local Search for the Costas Array Problem. Learning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France. ⟨hal-00760628⟩
Accès au bibtex
BibTex

2011

Article dans une revue

ref_biblio
Raul Mazo, Camille Salinesi, Daniel Diaz. Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models. INSIGHT - International Council on Systems Engineering (INCOSE), 2011, 14 (4), pp.22. ⟨hal-00707418⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00707418/file/INSIGHT-Abstract_Constraints_-_A_General_Framework_for_Solver-Independent_Reasonning_on_PLMs_V03.pdf BibTex

Communication dans un congrès

ref_biblio
Raul Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed. Conformance Checking with Constraint Logic Programming: The Case of Feature Models. In 35th IEEE International Computer Software and Applications Conference (COMPSAC), Jul 2011, Munich, Germany. ⟨hal-00707545⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00707545/file/Conformance_Checking_with_Constraint_Logic_Programming_V22_IEEE_COMPSAC.pdf BibTex
ref_biblio
Raul Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels. Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains. 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Jun 2011, Beijing, China. ⟨hal-00707546⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00707546/file/Transforming_Attribute_and_Clone-Enabled_FMs_Into_CP_over_FDs-_ENASE-2011-v11.pdf BibTex
ref_biblio
Camille Salinesi, Raul Mazo, Olfa Djebbi, Daniel Diaz, Alberto Lora-Michiels. Constraints: the Core of Product Line Engineering. Fifth IEEE International Conference on Research Challenges in Information Science (RCIS), May 2011, Guadeloupe, France. ⟨hal-00707544⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00707544/file/RCIS_11_Constraints_the_Core_of_Product_Line_Engineering_V13_acceptedIEEE_-_corrections_CS_Raul.pdf BibTex
ref_biblio
Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu. Experiments in Parallel Constraint-Based Local Search. 11th 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⟩. ⟨hal-00663789⟩
Accès au bibtex
BibTex
ref_biblio
Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu. 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⟩. ⟨hal-02296485⟩
Accès au bibtex
BibTex
ref_biblio
Pedro Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu. Using Constraints for Intrusion Detection: the NeMODe System. 13th International Symposium, PADL 2011, Jan 2011, Austin, Texas, United States. pp.115-129, ⟨10.1007/978-3-642-18378-2_11⟩. ⟨hal-00663805⟩
Accès au bibtex
BibTex
ref_biblio
Raul Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, et al.. Using Constraint Programming to Verify DOPLER Variability Models. 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium. ⟨hal-00707543⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00707543/file/Formal_Verification_of_Dopler_Variability_Models_vamos2011_ACM.pdf BibTex

2010

Communication dans un congrès

ref_biblio
Camille Salinesi, Raul Mazo, Daniel Diaz, Olfa Djebbi. Solving Integer Constraint in Reuse Based Requirements Engineering. 18th IEEE International Conference on Requirements Engineering (RE'10), Sep 2010, Sydney, Australia. pp.50. ⟨hal-00707542⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00707542/file/RE-2010_Solving_Integer_Constraint_in_Reuse_Based_Requirements_Engineering.pdf BibTex
ref_biblio
Camille Salinesi, Raul Mazo, Daniel Diaz, Olfa Djebbi. Using Integer Constraint Solving in Reuse Based Requirements Engineering. 18th IEEE International Requirements Engineering Conference (RE), 2010, Sep 2010, Sydney, Australia. pp.243-251, ⟨10.1109/RE.2010.36⟩. ⟨hal-00662891⟩
Accès au texte intégral et bibtex
https://paris1.hal.science/hal-00662891/file/RE10%28Daniel-Olfa-Raul%29%20CR.pdf BibTex
ref_biblio
Daniel Diaz, Salvador Abreu, Philippe Codognet. Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC 2010 - 4th International Symposium on Intelligent Distributed Computing, Sep 2010, Tangier, Morocco. pp.265-274, ⟨10.1007/978-3-642-15211-5_28⟩. ⟨hal-00663816⟩
Accès au bibtex
BibTex
ref_biblio
Camille Salinesi, Raul Mazo, Daniel Diaz. Criteria for the verification of feature models. INFORSID 2010, May 2010, Marseille, France. ⟨hal-00707534⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00707534/file/Criteria_for_the_verification_of_feature_models_INFORSID2010-Final_Version.pdf BibTex

2009

Communication dans un congrès

ref_biblio
Camille Salinesi, Daniel Diaz, Raul Mazo, Olfa Djebbi. 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. ⟨hal-00706100⟩
Accès au bibtex
BibTex
ref_biblio
Salvador Abreu, Philippe Codognet, Daniel Diaz. 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⟩. ⟨hal-00663842⟩
Accès au bibtex
BibTex
ref_biblio
Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raul Mazo, Colette Rolland. 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⟩. ⟨hal-00663346⟩
Accès au bibtex
BibTex
ref_biblio
Camille Salinesi, Colette Rolland, Daniel Diaz, Raul Mazo. Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. 17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.385-386, ⟨10.1109/RE.2009.57⟩. ⟨hal-00663343⟩
Accès au bibtex
BibTex
ref_biblio
Salvador Abreu, Vitor Nogueira, Daniel Diaz. On Structuring Contextual Logic Programs. Simposio de Informatica (INForum), 2009, France. pp.1. ⟨hal-00702245⟩
Accès au bibtex
BibTex

Rapport

ref_biblio
Camille Salinesi, Daniel Diaz, Olfa Djebbi, Colette Rolland. Improving Product Line Engineering Based on the Versatility of Constraint Programming over Finite Domains. 2009. ⟨hal-00663522⟩
Accès au bibtex
BibTex

2007

Communication dans un congrès

ref_biblio
Olfa Djebbi, Camille Salinesi, Daniel Diaz. Deriving Product Line Requirements: the RED-PL Guidance Approach. Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, Dec 2007, Nagoya, Japan. pp.494 - 501, ⟨10.1109/ASPEC.2007.63⟩. ⟨hal-00667789⟩
Accès au bibtex
https://arxiv.org/pdf/2309.13974 BibTex
ref_biblio
Olfa Djebbi, Camille Salinesi, Daniel Diaz. Deriving Product Line Requirements: the RED-PL Guidance Approach. Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, Dec 2007, Nagoya, Japan. pp.494 - 501, ⟨10.1109/ASPEC.2007.63⟩. ⟨hal-04215199⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04215199/file/aspec07.pdf BibTex

2006

Article dans une revue

ref_biblio
Carlos Calderon, Marc Cavazza, Daniel Diaz. CLP a technology for the interactive resolution of spatial configuration tasks in a virtual environment. Journal of Information Technology in Construction (ITcon), Special Issue Architectural informatics, 2006, 11, pp.325-341. ⟨hal-00693233⟩
Accès au bibtex
BibTex

2004

Communication dans un congrès

ref_biblio
Salvador Abreu, Daniel Diaz. Contexts for Organizational Information System Design and Implementation. International Conference on Enterprise Information Systems, 2004, Porto, Portugal. 6 p. ⟨hal-00668255⟩
Accès au bibtex
BibTex
ref_biblio
Salvador Abreu, Daniel Diaz, Vitor Nogueira. Organizational Information Systems Design and Implementation with Contextual Constraint Logic Programming. International Conference of European University Information Systems, 2004, Ljubljana, Slovenia. ⟨hal-02296517⟩
Accès au bibtex
BibTex

2003

Communication dans un congrès

ref_biblio
Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel. Code-based Test Generation for Validation of Functional Processor Descriptions. 9th 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⟩. ⟨hal-00667951⟩
Accès au bibtex
BibTex
ref_biblio
Carlos Calderon, Marc Cavazza, Daniel Diaz. Interactive problem solving in an intelligent virtual environment. International Conference on Intelligent User Interfaces, Jan 2003, Miami, United States. pp.319, ⟨10.1145/604045.604112⟩. ⟨hal-02296553⟩
Accès au bibtex
BibTex
ref_biblio
Salvador Abreu, Daniel Diaz. Objective: in Minimum Context. International Conference on Logic Programming, 2003, Mumbai, India. pp.128-147. ⟨hal-00668260⟩
Accès au bibtex
BibTex
ref_biblio
Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel. Validation of Functional Processor Descriptions by Test Generation. International Conference on Using Hardware Design and Verification Languages, 2003, San Jose, United States. pp.569-584. ⟨hal-00668242⟩
Accès au bibtex
BibTex
ref_biblio
C. Calderon, M. Cavazza, D. Diaz. A new approach to virtual design for spatial configuration problems. International Conference on Information Visualization, 2003, London, France. pp.518-523, ⟨10.1109/IV.2003.1218034⟩. ⟨hal-02296534⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Codognet, Daniel Diaz. An Efficient Library for Solving CSP with Local Search. International Conference on Metaheuristics, 2003, Kyoto, Japan. ⟨hal-00693282⟩
Accès au bibtex
BibTex

2002

Communication dans un congrès

ref_biblio
Carlos Calderon, Marc Cavazza, Daniel Diaz. A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments. Third International Symposium on Smart Graphics (SG 2003), Jul 2002, Heidelberg, Germany. pp.99-130, ⟨10.1007/3-540-37620-8_11⟩. ⟨hal-00667806⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Codognet, Daniel Diaz. Constraint-based Local Search For Discrete Optimization. International Conference on Optimization Methods and Software, 2002, Hangzhou, China. pp.ND. ⟨hal-00668305⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Codognet, Daniel Diaz, Charlotte Truchet. The Adaptive Search Method for Constraint Solving and its application to musical CSPs. International Workshop on Heuristics, 2002, Beijing, China. 9 p. ⟨hal-00668300⟩
Accès au bibtex
BibTex

2001

Article dans une revue

ref_biblio
Daniel Diaz, Philippe Codognet. Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming, 2001, 6, pp.1. ⟨hal-00693240⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Philippe Codognet, Daniel Diaz. Yet Another Local Search Method for Constraint Solving. Stochastic Algorithms, Foundations and Applications, Dec 2001, Berlin, Germany. pp.73-90, ⟨10.1007/3-540-45322-9_5⟩. ⟨hal-00667941⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Codognet, Daniel Diaz. A Local Search Method for Constraint Solving. AAAI Fall Symposium "Using Uncertainty within Computation", 2001, North Falmouth, Cape Cod, United States. pp.38-46. ⟨hal-00668309⟩
Accès au bibtex
BibTex

2000

Communication dans un congrès

ref_biblio
Daniel Diaz, Philippe Codognet. The GNU Prolog System and its Implementation. ACM Symposium on Applied Computing, 2000, Villa Olmo, Como, Italy. pp.ND. ⟨hal-00667976⟩
Accès au bibtex
BibTex
ref_biblio
Daniel Diaz, Philippe Codognet. GNU Prolog: Beyond Compiling Prolog to C. Practical Aspects of Declarative Languages (PADL), 2000, Boston, United States. pp.81-92. ⟨hal-00668314⟩
Accès au bibtex
BibTex

1996

Article dans une revue

ref_biblio
Philippe Codognet, Daniel Diaz. Compiling Constraints in clp(FD). Journal of Logic Programming, 1996, 27 (3), pp.185-226. ⟨hal-00693245⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Codognet, Daniel Diaz. A Simple and Efficient Boolean Solver for Constraint Logic Programming. Journal of Automated Reasoning, 1996, 17 (1), pp.97-129. ⟨hal-00693251⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Philippe Codognet, Daniel Diaz, Francesca Rossi. Constraint Retraction in FD. Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨10.1023/A:1009893626769⟩. ⟨hal-00668318⟩
Accès au bibtex
BibTex

1995

Communication dans un congrès

ref_biblio
Denise Chemla, Daniel Diaz, Philippe Kerlirzin, Serge Manchon. Using clp(FD) to Support Air Traffic Flow Management. 3rd Practical Applications of Prolog (PAP), 1995, Paris, France. pp.ND. ⟨hal-00668327⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Codognet, Daniel Diaz. Finite Domain Constraints in Constraint Logic Programming. European Conference on Operational Research, 1995, Jerusalem, Israel. pp.ND. ⟨hal-00668846⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Codognet, Daniel Diaz. wamcc: Compiling Prolog to C. International Conference on Logic Programming, 1995, Tokyo, Japan. pp.81-92. ⟨hal-00668817⟩
Accès au bibtex
BibTex

Thèse

ref_biblio
Daniel Diaz. 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 : ⟩. ⟨tel-00981853⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00981853/file/diaz-french-thesis.pdf BibTex

1994

Communication dans un congrès

ref_biblio
Philippe Codognet, Daniel Diaz. clp(B): Combinig Simplicity and Efficiency in Boolean Constraint Solving. Programming Language Implementation and Logic Programming, 1994, Madrid, Spain. pp.244-260, ⟨10.1007/3-540-58402-1_18⟩. ⟨hal-00668859⟩
Accès au bibtex
BibTex
ref_biblio
Björn Carlson, Matts Carlsson, Daniel Diaz. Entailment of Finite Domain Constraints. International Conference on Logic Programming, 1994, Santa Margherita, Italy. 15 p. ⟨hal-00668885⟩
Accès au bibtex
BibTex

1993

Communication dans un congrès

ref_biblio
Philippe Codognet, Daniel Diaz. A Minimal Extension of the WAM for clp(FD). International Conference on Logic Programming, 1993, Vancouver, Canada. pp.774-790. ⟨hal-00668913⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Codognet, Daniel Diaz. Boolean Constraint Solving Using clp(FD). International Logic Programming Symposium, 1993, Vancouver, British Columbia, Canada. 15 p. ⟨hal-00668897⟩
Accès au bibtex
BibTex