|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Salinesi, Olfa Djebbi, Raúl Mazo, Daniel Diaz, Alberto Lora-Michiels |
Constraints: The core of product line engineering. |
RCIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz |
Using constraint programming to verify DOPLER variability models. |
VaMoS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Salinesi, Raúl Mazo, Daniel Diaz |
Criteria for the verification of feature models. |
INFORSID |
2010 |
DBLP BibTeX RDF |
|
| 1 | Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi |
Using Integer Constraint Solving in Reuse Based Requirements Engineering. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Lora-Michiels, Camille Salinesi, Raúl Mazo |
A Method Based on Association Rules to Construct Product Line Models. |
VaMoS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Raúl Mazo |
Processus pour la Vérification et Validation de Modèles de Lignes de Produits. |
INFORSID |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")