Daniel Diaz

Rui Machado, Salvador Abreu, Daniel Diaz: Parallel Local Search: Experiments with a PGAS-based programming model. CoRR abs/1301.7699 (2013)

Pete Sawyer, Raúl Mazo, Daniel Diaz, Camille Salinesi, Danny Hughes: Using Constraint Programming to Manage Configurations in Self-Adaptive Systems. IEEE Computer 45(10): 56-63 (2012)

Daniel Diaz, Salvador Abreu, Philippe Codognet: Targeting the Cell Broadband Engine for constraint-based local search. Concurrency and Computation: Practice and Experience 24(6): 647-660 (2012)

Raúl Mazo, Camille Salinesi, Daniel Diaz, Olfa Djebbi, Alberto Lora-Michiels: Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. IJISMD 3(2): 33-68 (2012)

Daniel Diaz, Miroslav Vasic, Óscar García, Jesús A. Oliver, Pedro Alou, Roberto Prieto, José A. Cobos: Three-Level Cell Topology for a Multilevel Power Supply to Achieve High Efficiency Envelope Amplifier. IEEE Trans. on Circuits and Systems 59-I(9): 2147-2160 (2012)

Daniel Diaz, Salvador Abreu, Philippe Codognet: On the implementation of GNU Prolog. TPLP 12(1-2): 253-282 (2012)

Raúl Mazo, Camille Salinesi, Daniel Diaz: VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. CAiSE Forum 2012: 147-154

Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu: Parallel Local Search for the Costas Array Problem. IPDPS Workshops 2012: 1793-1802

Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu: Constraint-Based Local Search for the Costas Array Problem. LION 2012: 378-383

Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu: Performance analysis of parallel constraint-based local search. PPOPP 2012: 337-338

Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed: Conformance Checking with Constraint Logic Programming: The Case of Feature Models. COMPSAC 2011: 456-465

Raúl Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels: Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains. ENASE 2011: 188-199

Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu: Experiments in Parallel Constraint-Based Local Search. EvoCOP 2011: 96-107

Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu: Using Constraints for Intrusion Detection: The NeMODe System. PADL 2011: 115-129

Camille Salinesi, Olfa Djebbi, Raúl Mazo, Daniel Diaz, Alberto Lora-Michiels: Constraints: The core of product line engineering. RCIS 2011: 1-10

Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu: Parallel constraint-based local search on the HA8000 supercomputer (abstract). SAC 2011: 920-921

Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz: Using constraint programming to verify DOPLER variability models. VaMoS 2011: 97-103

Daniel Diaz, Salvador Abreu, Philippe Codognet: Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC 2010: 265-274

Camille Salinesi, Raúl Mazo, Daniel Diaz: Criteria for the verification of feature models. INFORSID 2010: 293-308

Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi: Using Integer Constraint Solving in Reuse Based Requirements Engineering. RE 2010: 243-251

Daniel Diaz, Salvador Abreu, Philippe Codognet: On the Implementation of GNU Prolog. CoRR abs/1012.2496 (2010)

Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raúl Mazo, Colette Rolland: Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. RE 2009: 375-376

Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo: Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. RE 2009: 385-386

Salvador Abreu, Daniel Diaz, Philippe Codognet: Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results). LSCS 2009: 97-111

Olfa Djebbi, Camille Salinesi, Daniel Diaz: Deriving Product Line Requirements: the RED-PL Guidance Approach. APSEC 2007: 494-501

Salvador Abreu, Daniel Diaz: Contexts for Organizational Information System Design and Implementation. ICEIS (1) 2004: 227-232

Salvador Abreu, Daniel Diaz: Objective: In Minimum Context. ICLP 2003: 128-147

Carlos Calderon, Marc Cavazza, Daniel Diaz: Interactive problem solving in an intelligent virtual environment. IUI 2003: 319

Carlos Calderon, Marc Cavazza, Daniel Diaz: A new approach to virtual design for spatial configuration problems. IV 2003: 518-523

Carlos Calderon, Marc Cavazza, Daniel Diaz: A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments. Smart Graphics 2003: 112-122

Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel: Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS 2003: 569-584

Daniel Diaz, Philippe Codognet: Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming 2001(6) (2001)

Philippe Codognet, Daniel Diaz: Yet Another Local Search Method for Constraint Solving. SAGA 2001: 73-90

Daniel Diaz, Philippe Codognet: GNU Prolog: Beyond Compiling Prolog to C. PADL 2000: 81-92

Daniel Diaz, Philippe Codognet: The GNU Prolog System and its Implementation. SAC (2) 2000: 728-732

Philippe Codognet, Daniel Diaz: A Simple and Efficient Boolean Solver for Constraint Logic Programming. J. Autom. Reasoning 17(1): 97-129 (1996)

Philippe Codognet, Daniel Diaz: Compiling Constraints in clp(FD). J. Log. Program. 27(3): 185-226 (1996)

Philippe Codognet, Daniel Diaz, Francesca Rossi: Constraint Reaction in FD. FSTTCS 1996: 168-179

Philippe Codognet, Daniel Diaz: WAMCC: Compiling Prolog to C. ICLP 1995: 317-331

Philippe Codognet, Daniel Diaz: The clp(FD) system. JFPLC 1995: 357-360

Björn Carlson, Mats Carlsson, Daniel Diaz: Entailment of Finite Domain Constraints. ICLP 1994: 339-353

Philippe Codognet, Daniel Diaz: clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. PLILP 1994: 244-260

Daniel Diaz, Philippe Codognet: A Minimal Extension of the WAM for clp(FD). ICLP 1993: 774-790

Philippe Codognet, Daniel Diaz: Boolean Constraint Solving Using clp(FD). ILPS 1993: 525-539