Raúl Mazo (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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
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
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

Selection of 10 from 11 records - Raúl Mazo has 10 coauthors

Last update 2012-02-16 CET by the DBLP Team — Content released under the ODC-BY 1.0 license — See also our legal information page