• Home
• Contact information
• Personal
• Teaching
• Research
  • Events

Research

• Software Produc Lines
• Feature Models

• Sergio Segura Rueda                 
• Fabricia C. Roos Frantz      

Here are some of my publications. Click here for copyrightnotice.

• D. Benavides, PhD Dissertation: ON THE AUTOMATED ANALYSIS OF  SOFTWARE PRODUCT LINES USING FEATURE MODELS. A FRAMEWORK FOR DEVELOPING AUTOMATED TOOL SUPPORT.  University of Seville, Spain, June 2007.   
• D. Benavides, S. Segura and A. Ruiz-Cortés. Automated Analysis of Feature Models: A Detailed Literature Review. Version 1.0. (ISA-09-TR-04). 
• S. Segura, R. Hierons D. Benavides and A. Ruiz-Cortés. Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. Third International Conference on Software Testing, Verification and Validation. Paris, France. April 6-9, 2010 (to appear)
  
• J. White, D. Benavides, B. Dougherty, D. C. Schmidt, Automated Reasoning for Multi-step Software Product-line Configuration Problems, Software Product-lines Conference (SPLC), 10pgs. August 24-28, 2009, San Francisco, CA
  
• J. White,  D. Benavides, D. C. Schmidt, P. Trinidad, A. Ruiz-Cortés. Software Product Line Conference 2008 (SPLC'08), received the best paper award: Automated Diagnosis of Product-line Configuration Errors in Feature Models. September 2008 BibTex    
  
• P. Trinidad, A. Ruiz-Cortés, D. Benavides, S. Segura and A. Jimenez. 12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland FAMA Framework .BibTeX
• S. Segura, D. Benavides, P. Trinidad, A. Ruiz-Cortés. Post-proceedings Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'07): "Automated Merging of Feature Models using Graph Transformations ".  Braga, Portugal. 2007. BibTex 
• A. Hubaux, P. Heymans, D. Benavides. Software Product Line Conference 2008 (in press): Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project . September 2008 BibTex    
• P. Trinidad, D. Benavides, A. Durán, A. Ruiz-Cortés, M. Toro. Journal of Systems and Software. Volume 81, Issue 6, June 2008, Pages 883-896 : "Agile Error Analysis of Feature Models BibTex   
  
• D. Benavides, S. Segura, P. Trinidad and A.Ruiz-Cortés.  First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS): "FAMA: Tooling a Framework for the Automated Analysis of Feature Models ".  January 2007. BibTex     
• D. Batory, D. Benavides and A. Ruiz-Cortés.  Communications of the ACM (Special Section on Software Produc Lines): "Automated Analyses of Feature Models: Challenges Ahead".  December 2006. BibTex    
• J. Bermejo, P. Trinidad, D. Benavides, A. Ruiz-Cortés   Telvent: System Families Variability Management using Design Patterns.  Product Lines in Action (Springer-Verlag) - Chapter 17 . 2007
• D. Benavides, P. Trinidad and A. Ruiz-Cortés. The 17th Conference on Advanced Information Systems Engineering (CAiSE'05): "Automated Reasoning on Feature Models".  Porto, Portugal. 2005. BibTex   
  
• D. Benavides, A.Ruiz-Cortés, P. Trinidad and S. Segura. Jornadas de Ingeniería del Software y Bases de Datos (JISBD'06):   "A Survey on the Automated Analyses of Feture Models" .  Sitges. 2006. BibTex 
  
• D. Benavides, S. Segura, P. Trinidad and A.Ruiz-Cortés. Managing Variability for Software Product Lines: Working With Variability Mechanisms (SPLC'06): "A first step towards a framework for the automated analysis of feature models" .  Baltimore. 2006. BibTex    
  
• D. Benavides, S. Segura, P. Trinidad and A. Ruiz-Cortés. Post-proceedings Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'05): "Using Java CSP Solvers in the Automated Analyses of Feature Models".  Braga, Portugal. 2005. BibTex
• D. Benavides, P. Trinidad and A. Ruiz-Cortés.  The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE'05): "Using Constraint Programming to Reason on Feature Models".  Taipei, China. 2005 
  
• D. Benavides, S. Trujillo and P. Trinidad.  First Europeean WorkShop on Model Transformation (EWMT'05): "On the Modularization of Feature Models".  Rennes, France. 2005    
  

Other Publications                   

R. Corchuelo, A. Ruiz-Cortés, D. Benavides.  "New Methods and Tools Supporting E-Commerce II" .  Kronos.  2002

D. Benavides, A. Ruiz-Cortés, O. Martín-Díaz, J. Bermejo. New Methods and Tools Supporting E-Commerce II: "A First Approach to Build Product Lines of MOWS". pp. 61-66.  .  2002

O. Martín-Díaz, A. Ruiz-Cortés, R. Corchuelo, D. Benavides. New Methods and Tools Supporting E-Commerce II: "Putting The Foundations for a Management and Execution Environment for MOWS". pp. 93-102.  .  2002

A. Ruiz-Cortés, R. Corchuelo, A. Durán, D. Benavides. Applying Requirements Engineering: "Automatic Detection of Conflicts in Quality Requirements". pp. 121-130.  Catedral.  2002

D. Benavides, A. Durán, M.A. Serrano, C. Montes-Oca.  Simposio de Informática y Telecomunicaciones SIT 2002: "Quality of Service Variability in System Families Based on Web Services".  Sevilla, Spain.  pp. 205-218.  2002

D. Benavides, A. Ruiz-Cortés, M. Toro.  Primer Workshop en Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software MIFISIS 2002: "Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software".  Universidad Rey Juan Carlos, Spain.  pp. 97-106.  2002

D. Benavides, A. Ruiz-Cortés, R. Corchuelo, O. Martín-Díaz, J. Bermejo.  ZOCO: Métodos y Herramientas para el Comercio Electrónico: "A First Approach to Build Product Lines of MOWS".  San Lorenzo del Escorial, Spain.  pp. 73-78.  2002

D. Benavides, A. Ruiz-Cortés, R. Corchuelo, A. Durán.  Worshop on Modeling Variability for Object-Oriented Product Lines at ECOOP'03: "Seeking for Extra-Functional Variability".  Darmstadt, Germany.  pp. 58-63.  2003  

A. Durán, D. Benavides, J. Bermejo.  5th. International Workshop on Software Product-Family Engineering PFE'03: "Appliying System Families Concepts to Requirements Engineering Process Definition".  Springer-Verlag LNCS 3014.  Siena, Italy.  pp. 140.  2003

O. Martín-Díaz, A. Ruiz-Cortés, D. Benavides, A. Durán, M. Toro.  4th. VLDB Workshop on Technologies for E-services TES'03: "A Quality-aware Approach to Web Services Procurement".  Springer-Verlag LNCS 2819.  Berlin, Germany.  pp. 42-53.  2003

O. Martín-Díaz, A. Ruiz-Cortés, A. Durán, D. Benavides, M. Toro.  1st. International Conference on Service Oriented Computing ICSOC'03: "Automating the Procurement of Web Services".  Springer-Verlag LNCS 2910.  Trento, Italy.  pp. 91-103.  2003

O. Martín-Díaz, D. Benavides, J. Peña, M. Toro.  VIII Jornadas de Ingeniería del Software y Bases de Datos JISBD'03: "Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web".  Alicante, España.  pp. 209-220.  2003  

D. Benavides, A. Ruiz-Cortés, R. Corchuelo,  O. Martín-Díaz.  International Workshop on Requirements Reuse in System Family Engineering: "SPL Needs an Automatic Holistic Model for Software Reasoning with Feature Models".  Universidad Politécnica de Madrid.  Madrid, Spain.  pp. 27-33.  2004  

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Submenu

• Events