![]() | ![]() |
David Felipe Benavides Cuevas
List of publications from the DBLP Bibliography Server - FAQ
| 2012 | ||
|---|---|---|
| 41 | Sergio Segura, José Galindo, David Benavides, José Antonio Parejo, Antonio Ruiz Cortés: BeTTy: benchmarking and testing on the automated analysis of feature models. VaMoS 2012: 63-71 | |
| 40 | Jianmei Guo, Yinglin Wang, Pablo Trinidad, David Benavides: Consistency maintenance for evolving feature models. Expert Syst. Appl. 39(5): 4987-4998 (2012) | |
| 2011 | ||
| 39 | David Benavides, Erik Fuentes, Victor Zamudio: iNet: An Intelligent Network as a Personal Assistant in an iCampus Environment. Intelligent Environments (Workshops) 2011: 534-539 | |
| 38 | Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, David Benavides, José Galindo: Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches. SPLC 2011: 120-129 | |
| 37 | David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong: Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). SPLC 2011: 336 | |
| 36 | Sergio Segura, David Benavides, Antonio Ruiz Cortés: Functional testing of feature model analysis tools: a test suite. IET Software 5(1): 70-82 (2011) | |
| 35 | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés: Mutation testing on an object-oriented framework: An experience report. Information & Software Technology 53(10): 1124-1136 (2011) | |
| 34 | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés: Automated metamorphic testing on the analyses of feature models. Information & Software Technology 53(3): 245-258 (2011) | |
| 2010 | ||
| 33 | David Benavides, Don S. Batory, Paul Grünbacher: Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings Universität Duisburg-Essen 2010 | |
| 32 | José Galindo, David Benavides, Sergio Segura: Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. ACoTA 2010: 29-34 | |
| 31 | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés: Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. ICST 2010: 35-44 | |
| 30 | Fabricia Roos-Frantz, David Benavides, Antonio Ruiz Cortés: Automated Analysis of Orthogonal Variability Models using Constraint Programming. JISBD 2010: 269-280 | |
| 29 | David Benavides, Sergio Segura, Antonio Ruiz Cortés: Automated analysis of feature models 20 years later: A literature review. Inf. Syst. 35(6): 615-636 (2010) | |
| 28 | Jules White, David Benavides, Douglas C. Schmidt, Pablo Trinidad, Brian Dougherty, Antonio Ruiz Cortés: Automated diagnosis of feature model configurations. Journal of Systems and Software 83(7): 1094-1107 (2010) | |
| 2009 | ||
| 27 | David Benavides, Andreas Metzger, Ulrich W. Eisenecker: Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings Universität Duisburg-Essen 2009 | |
| 26 | Carlos Cetina, Pablo Trinidad, Vicente Pelechano, Antonio Ruiz Cortés, David Benavides: Moskitt FM and FAMA FW: Taking feature models to the next level. JISBD 2009: 285-288 | |
| 25 | David Benavides, Antonio Ruiz Cortés, Pablo Trinidad: Análisis en líneas de productos: avances, desafíos y lecciones aprendidas. JISBD 2009: 433-433 | |
| 24 | Jules White, Brian Dougherty, Douglas C. Schmidt, David Benavides: Automated reasoning for multi-step feature model configuration problems. SPLC 2009: 11-20 | |
| 2008 | ||
| 23 | Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad, Antonio Ruiz Cortés: Automated Diagnosis of Product-Line Configuration Errors in Feature Models. SPLC 2008: 225-234 | |
| 22 | Pablo Trinidad, David Benavides, Antonio Ruiz Cortés, Sergio Segura, Alberto Jimenez: FAMA Framework. SPLC 2008: 359 | |
| 21 | David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans: First International Workshop on Analysis of Software Product Lines (ASPL'08). SPLC 2008: 385 | |
| 20 | Arnaud Hubaux, Patrick Heymans, David Benavides: Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project. SPLC 2008: 55-64 | |
| 19 | Sergio Segura, David Benavides, Antonio Ruiz Cortés: Functional Testing of Feature Model Analysis Tools. A First Step. SPLC (2) 2008: 179 | |
| 18 | Pablo Trinidad, Antonio Ruiz Cortés, David Benavides, Sergio Segura: Three-Dimensional Feature Diagrams Visualization. SPLC (2) 2008: 295-302 | |
| 17 | Pablo Trinidad, David Benavides, Amador Durán, Antonio Ruiz Cortés, Miguel Toro: Automated error analysis for the agilization of feature modeling. Journal of Systems and Software 81(6): 883-896 (2008) | |
| 2007 | ||
| 16 | Sergio Segura, David Benavides, Antonio Ruiz Cortés, Pablo Trinidad: Automated Merging of Feature Models Using Graph Transformations. GTTSE 2007: 489-505 | |
| 15 | Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz Cortés: FAMA: hacia el análisis automático de modelos de características. JISBD 2007: 417-418 | |
| 14 | Pablo Trinidad, Antonio Ruiz Cortés, Joaquín Peña, David Benavides: Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines. SPLC (2) 2007: 51-56 | |
| 13 | David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés: FAMA: Tooling a Framework for the Automated Analysis of Feature Models. VaMoS 2007: 129-134 | |
| 2006 | ||
| 12 | Pablo Trinidad, David Benavides, Antonio Ruiz Cortés: Isolated Features Detection in Feature Models. CAiSE Forum 2006 | |
| 11 | David Benavides, Antonio Ruiz Cortés, Pablo Trinidad, Sergio Segura: A Survey on the Automated Analyses of Feature Models. JISBD 2006: 367-376 | |
| 10 | Don S. Batory, David Benavides, Antonio Ruiz Cortés: Automated analysis of feature models: challenges ahead. Commun. ACM 49(12): 45-47 (2006) | |
| 2005 | ||
| 9 | David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Automated Reasoning on Feature Models. CAiSE 2005: 491-503 | |
| 8 | David Benavides, Antonio Ruiz Cortés, Carlos Müller, Pablo Trinidad Martín-Arroyo: The Triple Schizophrenia of the Software Engineering Researcher. CAiSE Workshops (2) 2005: 529-534 | |
| 7 | David Benavides, Sergio Segura, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés: Using Java CSP Solvers in the Automated Analyses of Feature Models. GTTSE 2005: 399-408 | |
| 6 | David Benavides, Pablo Trinidad, Antonio Ruiz Cortés: Using Constraint Programming to Reason on Feature Models. SEKE 2005: 677-682 | |
| 2004 | ||
| 5 | David Benavides, Antonio Ruiz Cortés, Miguel A. Serrano, Carlos Montes de Oca: A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS). IICS 2004: 91-98 | |
| 2003 | ||
| 4 | Octavio Martín-Díaz, Antonio Ruiz Cortés, Amador Durán, David Benavides, Miguel Toro: Automating the Procurement of Web Services. ICSOC 2003: 91-103 | |
| 3 | Octavio Martín-Díaz, David Benavides, Joaquín Peña, Miguel Toro: Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web. JISBD 2003: 209-220 | |
| 2 | Amador Durán, David Benavides, Jesús Bermejo: Applying System Families Concepts to Requirements Engineering Process Definition. PFE 2003: 140-151 | |
| 1 | Octavio Martín-Díaz, Antonio Ruiz Cortés, David Benavides, Amador Durán, Miguel Toro: A Quality-Aware Approach to Web Services Procurement. TES 2003: 42-53 | |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page