Pablo Trinidad Martín-Arroyo

Antonio Ruiz-Cortés

CoRR, 2024

2019

Automated analysis of feature models: Quo vadis?

[BibT_eX]

[DOI]

José Angel Galindo

Antonio Manuel Gutiérrez-Fernández

Antonio Ruiz-Cortés

Computing, 2019

2017

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Modelling and Analysing Highly-Configurable Services.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

2016

User-Centric Adaptation Analysis of Multi-Tenant Services.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2016

Automated configuration support for infrastructure migration to the cloud.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2016

2014

An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

User-centric adaptation of multi-tenant services: preference-based analysis for service reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

2013

Multi-user variability configuration: A game theoretic approach.

[BibT_eX]

[DOI]

Jesús García-Galán

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Migrating to the Cloud - A Software Product Line based Analysis.

[BibT_eX]

Proceedings of the CLOSER 2013, 2013

FaMa.

[BibT_eX]

[DOI]

Proceedings of the Systems and Software Variability Management, 2013

Automated Analysis of Stateful Feature Models.

[BibT_eX]

[DOI]

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

Automated Reasoning on Feature Models.

[BibT_eX]

[DOI]

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012

Consistency maintenance for evolving feature models.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2012

2011

ISA packager: a tool for SPL deployment.

[BibT_eX]

[DOI]

Jesús García-Galán

Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

2010

Automated diagnosis of feature model configurations.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

2009

Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009

Moskitt FM and FAMA FW: Taking feature models to the next level.

[BibT_eX]

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Análisis en líneas de productos: avances, desafíos y lecciones aprendidas.

[BibT_eX]

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

2008

Automated error analysis for the agilization of feature modeling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Automated Diagnosis of Product-Line Configuration Errors in Feature Models.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 12th International Conference, 2008

Three-Dimensional Feature Diagrams Visualization.

[BibT_eX]

Proceedings of the Software Product Lines, 12th International Conference, 2008

FAMA Framework.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 12th International Conference, 2008

An Architectural Discussion on DSPL.

[BibT_eX]

Proceedings of the Software Product Lines, 12th International Conference, 2008

2007

FAMA: Tooling a Framework for the Automated Analysis of Feature Models.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines.

[BibT_eX]

Proceedings of the Software Product Lines, 11th International Conference, 2007

FAMA: hacia el análisis automático de modelos de características.

[BibT_eX]

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

Automated Merging of Feature Models Using Graph Transformations.

[BibT_eX]

[DOI]

Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006

A Survey on the Automated Analyses of Feature Models.

[BibT_eX]

Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

Isolated Features Detection in Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Building the Core Architecture of a NASA Multiagent System Product Line.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

2005

Using Constraint Programming to Reason on Feature Models.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Using Java CSP Solvers in the Automated Analyses of Feature Models.

[BibT_eX]

[DOI]

Pablo Trinidad Martín-Arroyo

Sergio Segura

Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

Automated Reasoning on Feature Models.

[BibT_eX]

[DOI]

Pablo Trinidad Martín-Arroyo

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

The Triple Schizophrenia of the Software Engineering Researcher.

[BibT_eX]