 | 2011 |
|---|
| 11 |       | 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 |
| 10 |  | 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 |
| 9 | | Camille Salinesi,
Olfa Djebbi,
Raúl Mazo,
Daniel Diaz,
Alberto Lora-Michiels:
Constraints: The core of product line engineering.
RCIS 2011: 1-10 |
| 8 | | 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 |
| 2010 |
|---|
| 7 | | Camille Salinesi,
Raúl Mazo,
Daniel Diaz:
Criteria for the verification of feature models.
INFORSID 2010: 293-308 |
| 6 | | Camille Salinesi,
Raúl Mazo,
Daniel Diaz,
Olfa Djebbi:
Using Integer Constraint Solving in Reuse Based Requirements Engineering.
RE 2010: 243-251 |
| 5 | | Alberto Lora-Michiels,
Camille Salinesi,
Raúl Mazo:
A Method Based on Association Rules to Construct Product Line Models.
VaMoS 2010: 147-150 |
| 2009 |
|---|
| 4 | | Raúl Mazo:
Processus pour la Vérification et Validation de Modèles de Lignes de Produits.
INFORSID 2009: 447-448 |
| 3 | | 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 |
| 2 | | 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 |
| 1 | | Camille Salinesi,
Colette Rolland,
Raúl Mazo:
VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models.
VaMoS 2009: 173-176 |
Data released under the ODC-BY 1.0 license — See also our legal information page