Publications

PhD Thesis

  1. D. Diaz. “Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)", University of Orleans, France, 1995. download PDF

Book chapters

  1. P. Codognet, D. Munera, D. Diaz and S. Abreu. “Parallel Local Search”. In Handbook of Parallel Constraint Reasoning. Youssef Hamadi, Lakhdar Sais (eds.), Springer, 2018. download PDF
  2. R. Mazo, C. Dumitrescu, C. Salinesi and D. Diaz. “Recommendation Heuristics for Improving Product Line Configuration Processes”. In Recommendation Systems in Software Engineering. M. Robillard, W. Maalej, R. Walker and T. Zimmermann (Eds.), Springer, 2014. download PDF

Journals

  1. P. Körner, M. Leuschel, J. Barbosa, V. Santos Costa, V. Dahl, M. V. Hermenegildo, J. F. Morales, J. Wielemaker, D. Diaz, S. Abreu, G. Ciatto. “Fifty Years of Prolog and Beyond”. Theory and Practice of Logic Programming (TPLP), Vol. 22(6), pp. 776-858, 2022. download PDF
  2. J. Duque, D. Munera, D. Diaz and S. Abreu. “Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics”. Communications in Computer and Information Science (CCIS), Vol. 1443, pp. 294-309 , 2021. download PDF
  3. I. Rodrigues, R. Quaresma, D. Diaz and S. Abreu. “Constraint-Informed Information Systems in Space Management Utilization”. Coimbra Business Review, Vol. 2, No. 1, 2016. download PDF
  4. Y. Caniou, P. Codognet, F. Richoux, D. Diaz, and S. Abreu. “Large-Scale Parallelism for Constraint-Based Local Search: The Costas Array Case Study”. Constraints, Vol 20, Issue 1, pp. 30-56, 2015. download PDF
  5. L. Rincón, G. Giraldo, R. Mazo, C. Salinesi and D. Diaz. “Method to Identify Corrections of Defects on Product Line Models”. Electronic Notes in Theoretical Computer Science Journal (ENTCS), Vol. 314, pp. 61-81, 2015. download PDF
  6. G.H. Alférez, V. Pelechano, R. Mazo, C. Salinesi and D. Diaz. “Dynamic adaptation of service compositions with variability models”. Journal of Systems and Software, Vol 91, pp. 24-47, 2014. download PDF
  7. P. Sawyer, R. Mazo, D. Diaz, C. Salinesi and D. Hughes. “Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems”. Special Issue in IEEE Computer special issue Dynamic Software Product Lines, pp. 56-63, 2012. download PDF
  8. D. Diaz, S. Abreu and P. Codognet. “On the implementation of GNU Prolog”. Theory and Practice of Logic Programming (TPLP), special issue on Prolog Systems, Vol. 12, issue 1-2, pp. 253-282, 2012. download PDF
  9. R. Mazo, C. Salinesi, O. Djebbi, D. Diaz and A. Lora-Michiels. “Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy”. International Journal of Information System Modeling and Design (IJISMD), Vol. 3, No. 12, pp. 1-39, 2012. download PDF
  10. D. Diaz, S. Abreu and P. Codognet. “Targeting the Cell Broadband Engine for constraint-based local search”. Journal of Concurrency Computation Practice and Experience (CCP&E), special issue Intelligent Distributed Computing, Vol. 24, No. 6, pp. 647-660, 2012. download PDF
  11. R. Mazo, C. Salinesi and D. Diaz. “Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models”. INSIGHT - Journal of International Council on Systems Engineering (INCOSE), Vol. 14, No. 4, pp. 22-24, 2011. download PDF
  12. C. Calderon, M. Cavazza and D. 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, Vol. 11, 2006. download PDF
  13. D. Diaz and P. Codognet. “Design and Implementation of the GNU Prolog System”. Journal of Functional and Logic Programming (JFLP), Vol. 2001, No. 6, October 2001. download PDF
  14. P. Codognet and D. Diaz. “Compiling Constraints in clp(FD)”. Journal of Logic Programming (JLP), Vol. 27, No. 3, 1996. download PDF
  15. P. Codognet and D. Diaz. “A Simple and Efficient Boolean Solver for Constraint Logic Programming”. Journal of Automated Reasoning (JAR), Vol. 17, No. 1, pp. 97-129, 1996. download PDF

Conferences

  1. P. Codognet, D. Diaz and S. Abreu. “Quantum and Digital Annealing for the Quadratic Assignment Problem”. IEEE International Conference on Quantum Software (QSW), Barcelona, Spain, 2022. download PDF
  2. J. Duque, D. Munera, D. Diaz and S. Abreu. “Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics”. International Conference on Optimization and Learning (OLA), Catania (Sicilia), Italy, 2021. download PDF
  3. P. Roque, V. Pedro, D. Diaz and S. Abreu. “Improving Constraint Solving on Parallel Hybrid Systems”. IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Volos, Greece, 2018. download PDF
  4. J. Lopez, D. Munera, D. Diaz and S. Abreu. “Weaving of Metaheuristics with Cooperative Parallelism”. International Conference on Parallel Problem Solving from Nature (PPSN), Coimbra, Portugal, 2018. download PDF
  5. D. Sprovieri, D. Diaz, K. Hinkelmann and R. Mazo. “Run-Time Planning of Case-based Business Processes”. IEEE International Conference on Research Challenges in Information Science (RCIS), Grenoble, France, 2016. download PDF
  6. D. Munera, D. Diaz and S. Abreu. “Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization”. European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Porto, Portugal, 2016. download PDF
  7. D. Munera, D. Diaz, S. Abreu, F. Rossi, V. Saraswat and P. Codognet. “Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization”. Conference on Artificial Intelligence (AAAI), Austin, Texas, USA, 2015. download PDF
  8. D. Munera, D. Diaz, S. Abreu and P. Codognet. “A Parametric Framework for Cooperative Parallel Local Search”. European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Granada, Spain, 2014. download PDF
  9. D. Munera, D. Diaz, S. Abreu and P. Codognet. “Flexible Cooperation in Parallel Local Search” (extended abstract). ACM Symposium on Applied Computing (SAC), pp. 1360-1361, Gyeongju, Korea, 2014. download PDF
  10. D. Munera, D. Diaz and S. Abreu. “Towards Parallel Constraint-Based Local Search with the X10 Language”. International Conference on Applications of Declarative Programming and Knowledge Management (INAP), Kiel, Germany, 2013. download PDF
  11. I. Rodrigues, N. Matos, S. Abreu, R. Deneckere and D. Diaz. “Towards Constraint-Informed Information Systems”. IEEE International Conference on Research Challenges in Information Science (RCIS), Paris, France, 2013. download PDF
  12. R. Machado, S. Abreu and D. Diaz. “Parallel Performance of Declarative Programming using a PGAS Model”. Practical Aspects of Declarative Languages (PADL), Rome, Italy, 2013. download PDF.
  13. L.A. Steffenel, O. Flauzac, A. Schwertner Charao, P. Pitthan Barcelos, B. Stein, S. Nesmachnow, M. K. Pinheiro and D. Diaz. “PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids”. International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), Compiegne, France, 2013.
  14. R. Mazo, C. Salinesi and D. Diaz. “VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach”. Forum of the International Conference on Advanced Information Systems Engineering (CAiSE), Gdańsk, Poland, 2012. download PDF
  15. Y. Caniou, D. Diaz, F. Richoux, P. Codognet and S. Abreu. “Performance analysis of parallel constraint-based local search”, (poster). ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP), pp. 337-338, New Orleans, USA, 2012. download PDF
  16. D. Diaz, F. Richoux, P. Codognet, Y. Caniou and S. Abreu. “Constraint-Based Local Search for the Costas Array Problem”. Learning and Intelligent OptimizatioN Conference (LION 6), Paris, France, 2012. download PDF
  17. Y. Caniou, P. Codognet, D. Diaz and S. Abreu. “Experiments in Parallel Constraint-Based Local Search”. European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), pp. 96-107, Torino, Italy, 2011. download PDF
  18. Y. Caniou, P. Codognet, D. Diaz and S. Abreu. “Parallel constraint-based local search on the HA8000 supercomputer”, (extended abstract). ACM Symposium on Applied Computing (SAC), pp. 920-921, TaiChung, Taiwan, 2011. download PDF
  19. R. Mazo, C. Salinesi, D. Diaz and A. Lora-Michiels. “Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains”. International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Beijing, China, pp. 188-199, 2011. download PDF
  20. R. Mazo, R. Lopez-Herrejon, C. Salinesi, D. Diaz and A. Egyed. “Conformance Checking with Constraint Logic Programming: The Case of Feature Models”. IEEE International Computer Software and Applications Conference (COMPSAC), Munich, Germany, pp. 456-465, 2011. Best Paper Award. download PDF
  21. C. Salinesi, R. Mazo, O. Djebbi, D. Diaz and A. Lora-Michiels. “Constraints: the Core of Product Line Engineering”. IEEE International Conference on Research Challenges in Information Science (RCIS), pp. 1-10, Guadeloupe, French West Indies, France, 2011. Best Paper Award. download PDF
  22. P. Salgueiro, D. Diaz, I. Brito and S. Abreu. “Using Constraints for Intrusion Detection: the NeMODe System”. Practical Aspects of Declarative Languages (PADL), pp. 115-129, Austin, Texas, USA, 2011. download PDF.
  23. D. Diaz, S. Abreu and P. Codognet. “Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture”. International Symposium on Intelligent Distributed Computing (IDC), pp. 265-274, Tangier, Morocco, 2010. download PDF
  24. C. Salinesi, R. Mazo, D. Diaz and O. Djebbi. “Using Integer Constraint Solving in Reuse Based Requirements Engineering”. IEEE International Conference on Requirements Engineering (RE), pp. 243-251, Sydney, Australia, 2010. download PDF
  25. C. Salinesi, C. Rolland, D. Diaz and R. Mazo. “Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria”, (short paper). IEEE International Conference on Requirements Engineering (RE), pp. 385-386, Atlanta, USA, 2009. download PDF
  26. C. Salinesi, D. Diaz, O. Djebbi and R. Mazo. “Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models”, (short paper). IEEE International Conference on Requirements Engineering (RE), pp. 375-376, Atlanta, USA, 2009. download PDF
  27. O. Djebbi, C. Salinesi and D. Diaz. “Deriving Product Line Requirements: the RED-PL Guidance Approach”. IEEE Asia-Pacific Software Engineering Conference (APSEC), pp. 494-501, Nagoya, Japan, December 2007. download PDF
  28. S. Abreu and D. Diaz. “Contexts for Organizational Information System Design and Implementation”. International Conference on Enterprise Information Systems (ICEIS), pp. 227-232, Porto, Portugal, 2004. download PDF
  29. S. Abreu, D. Diaz and V. Nogueira. “Organizational Information Systems Design and Development with Contextual Constraint Logic Programming”. International Conference of European University Information Systems (EUNIS), Ljubljana, Slovenia, 2004. download PDF
  30. S. Abreu and D. Diaz. “Objective: in Minimum Context”. International Conference on Logic Programming (ICLP), pp. 128-147, Mumbai, India, 2003. download PDF
  31. C. Calderon, M. Cavazza and D. Diaz. “A New Approach to Virtual Design for Spatial Configuration Problems”. IEEE International Information Visualisation Conference (IV), pp. 518-523, London, England, 2003. download PDF
  32. C. Calderon, M. Cavazza and D. Diaz. “A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments”. International Symposium on Smart Graphics (SmartGraphics), pp. 112-122, Heidelberg, Germany, 2003. download PDF
  33. C. Calderon, M. Cavazza and D. Diaz. “Interactive problem Solving in an Intelligent Virtual Environment”, (short paper). ACM Intelligent User Interfaces (IUI), pp. 319, Florida, USA, 2003. download PDF
  34. F. Baray, P. Codognet, D. Diaz and H. Michel. “Code-based Test Generation for Validation of Functional Processor Descriptions”. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 569-584, Warsaw, Poland, 2003. download PDF
  35. F. Baray, P. Codognet, D. Diaz and H. Michel. “Validation of Functional Processor Descriptions by Test Generation”. International Conference on Using Hardware Design and Verification Languages (DVCon), San Jose, USA, 2003. download PDF
  36. P. Codognet and D. Diaz. “An Efficient Library for Solving CSP with Local Search”. International Conference on Metaheuristics (MIC), Kyoto, Japan, 2003. download PDF
  37. P. Codognet and D. Diaz. “Constraint-based Local Search For Discrete Optimization”. International Conference on Optimization Methods and Software (OMS), Hangzhou, China, 2002. download PDF
  38. P. Codognet and D. Diaz. “Yet Another Local Search Method for Constraint Solving”. Stochastic Algorithms, Foundations and Applications (SAGA), pp. 73-90, Berlin, Germany, 2001. download PDF
  39. P. Codognet and D. Diaz. “A Local Search Method for Constraint Solving”. AAAI Fall Symposium “Using Uncertainty within Computation”, North Falmouth, Cape Cod, USA, 2001. download PDF
  40. D. Diaz and P. Codognet. “The GNU Prolog System and its Implementation”. ACM Symposium on Applied Computing (SAC), pp. 728-732, Villa Olmo, Como, Italy, 2000. download PDF
  41. D. Diaz and P. Codognet. “GNU Prolog: Beyond Compiling Prolog to C”. Practical Aspects of Declarative Languages (PADL), pp. 81-92, Boston, USA, 2000. download PDF
  42. P. Codognet, D. Diaz and F. Rossi. “Constraint Retraction in FD”. Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), pp. 168-179, Hyderabad, India, 1996. download PDF
  43. D. Chemla, D. Diaz, P. Kerlirzin and S. Manchon. “Using clp(FD) to Support Air Traffic Flow Management”. Practical Applications of Prolog (PAP), Paris, France, 1995. download PDF
  44. P. Codognet and D. Diaz. “wamcc: Compiling Prolog to C”. International Conference on Logic Programming (ICLP), pp. 317-331, Tokyo, Japan, 1995. download PDF
  45. P. Codognet and D. Diaz. “Finite Domain Constraints in Constraint Logic Programming”. European Conference on Operational Research (EURO), Jerusalem, Israel, 1995. download PDF
  46. P. Codognet and D. Diaz. “clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving”. Programming Language Implementation and Logic Programming (PLILP), pp. 244-260, Madrid, Spain, 1994. download PDF
  47. B. Carlson, M. Carlsson and D. Diaz. “Entailment of Finite Domain Constraints”. International Conference on Logic Programming (ICLP), pp. 339-353, Santa Margherita, Italy, 1994. download PDF
  48. P. Codognet and D. Diaz. “Boolean Constraint Solving Using clp(FD)”. International Logic Programming Symposium (ILPS), pp. 525-539, Vancouver, British Columbia, Canada, 1993. download PDF
  49. D. Diaz and P. Codognet. “A Minimal Extension of the WAM for clp(FD)”. International Conference on Logic Programming (ICLP), pp. 774-790, Budapest, Hungary, 1993. download PDF

International Workshops

  1. J. Robin, R. Mazo, H. Madeira, R. Barbarosa, D. Diaz and S. Abreu. “A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence”. International Workshop on Artificial Intelligence Safety Engineering (WAISE), Turku, Finland, 2019. download PDF
  2. J. Lopez, D. Munera, D. Diaz and S. Abreu. “On Integrating Population-Based Metaheuristics with Cooperative Parallelism”. IEEE Workshop on Parallel / Distributed Computing and Optimization (PDCO), Vancouver, Canada, 2018. download PDF
  3. I. Rodrigues, D. Diaz and S. Abreu. “CLP(FD)-based Information Systems in Space Management Optimization”. Language & Technology Conference (LTC), Alain Colmerauer Special Session, Poznan, Poland, 2017. download PDF
  4. D. Munera, D. Diaz and S. Abreu. “Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem”. International Workshop on Hybrid Metaheuristics (HM), Plymouth, United Kingdom, 2016. download PDF
  5. D. Munera, D. Diaz, S. Abreu, F. Rossi, V. Saraswat and P. Codognet. “A Local Search Algorithm for SMTI and its extension to HRT Problems”. International Workshop on Matching Under Preferences (MATCHUP), Glasgow, United Kingdom, 2015. download PDF
  6. S. Abreu, D. Munera and D. Diaz. “Towards a Parallel Hierarchical Adaptive Solver Tool”. Workshop on Parallel Methods for Search & Optimization (ParSearchOpt14), Vienna, Austria, 2014. download PDF
  7. V. Bloemen, D. Diaz, M. van der Bijl and S. Abreu “Extending the Finite Domain Solver of GNU Prolog”. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Vienna, Austria, 2014. download PDF
  8. D. Munera, D. Diaz and S. Abreu. “Experimenting with X10 for Parallel Constraint-Based Local Search”. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Istanbul, Turkey, 2013. download PDF
  9. R. Machado, S. Abreu and D. Diaz. “Parallel Local Search: Experiments with a PGAS-based Programming Model”. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Budapest, Hungary, 2012. download PDF
  10. D. Diaz, F. Richoux, Y. Caniou, P. Codognet and S. Abreu. “Parallel local search for the Costas Array Problem”. IEEE Workshop on new trends in Parallel Computing and Optimization (PCO), Shanghai, China, 2012. download PDF
  11. R. Mazo, P. Grünbacher, W. Heider, R. Rabiser, C. Salinesi and D. Diaz. “Using Constraint Programming to Verify DOPLER Variability Models”. International Workshop on Variability Modelling of Software-Intensive Systems (VaMos), pp. 97-103, Namur, Belgium, 2011. download PDF
  12. S. Abreu, D. Diaz and P. Codognet. “Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)”. International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS) in conjunction with Principles and Practice of Constraint Programming, pp. 97-111, Lisbon, Portugal, 2009. download PDF
  13. S. Abreu, V. Nogueira and D. Diaz. “On Structuring Contextual Logic Programs”. Simpósio de Informática (INForum), Lisbon, Portugal, 2009. download PDF
  14. P. Codognet, D. Diaz and C. Truchet. “The Adaptive Search Method for Constraint Solving and its Application to Musical CSPs”. International Workshop on Heuristics (IWH), Beijing, China, 2002. download PDF

National Conferences

  1. L. Rincón, G. Giraldo, R. Mazo, C. Salinesi and D. Diaz. “Método para Identificar Correcciones de Defectos en Modelos de Características que representan Líneas de Productos”. Conferencia Latinoamericana en Informática (CLEI), 2014. download PDF
  2. L. Rincón, G. Giraldo, R. Mazo, C. Salinesi and D. 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”. IEEE Computing Colombian Conference (8CCC), Armenia, Colombia, 2013. download PDF
  3. C. Salinesi, R. Mazo and D. Diaz. “Criteria for the Verification of Feature Models”. INFORSID Conference, pp. 293-308, Marseille, France, 2010. download PDF
  4. C. Salinesi, D. Diaz, R. Mazo and O. 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 (INFORSID), France, 2009. download PDF
  5. P. Codognet and D. Diaz. “The clp(FD) system”. Journées Francophones de Programmation en Logique par Contraintes, 357-360, Dijon, France, 1995. download PDF

Research Reports

  1. C. Salinesi, D. Diaz, O. Djebbi, R. Mazo and C. Rolland. “Improving Product Line Engineering Based on the Versatility of Constraint Programming over Finite Domains”. Research Report, 2009. download PDF
This document was translated from LATEX by HEVEA.