The Triple Schizophrenia of the Software Engineering Researcher. - David Benavides 001; Antonio Ruiz Cortés; Carlos Müller; Pablo Trinidad Martín-Arroyo (CAiSE Workshops (2), 2005)

Automated Reasoning on Feature Models. - David Benavides 001; Pablo Trinidad Martín-Arroyo; Antonio Ruiz Cortés (CAiSE, 2005)

Using Java CSP Solvers in the Automated Analyses of Feature Models. - David Benavides 001; Sergio Segura; Pablo Trinidad Martín-Arroyo; Antonio Ruiz Cortés (GTTSE, 2005)

Using Constraint Programming to Reason on Feature Models. - David Benavides 001; Pablo Trinidad; Antonio Ruiz Cortés (SEKE, 2005)

Building the Core Architecture of a NASA Multiagent System Product Line. - Joaquín Peña; Michael G. Hinchey; Antonio Ruiz Cortés; Pablo Trinidad (AOSE, 2006)

Isolated Features Detection in Feature Models. - Pablo Trinidad; David Benavides 001; Antonio Ruiz Cortés (CAiSE Forum, 2006)

A Survey on the Automated Analyses of Feature Models. - David Benavides 001; Antonio Ruiz Cortés; Pablo Trinidad; Sergio Segura (JISBD, 2006)

Automated Merging of Feature Models Using Graph Transformations. - Sergio Segura; David Benavides 001; Antonio Ruiz Cortés; Pablo Trinidad (GTTSE, 2007)

FAMA: hacia el análisis automático de modelos de características. - Pablo Trinidad; David Benavides 001; Sergio Segura; Antonio Ruiz Cortés (JISBD, 2007)

Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines. - Pablo Trinidad; Antonio Ruiz Cortés; Joaquín Peña; David Benavides 001 (SPLC (2), 2007)

FAMA: Tooling a Framework for the Automated Analysis of Feature Models. - David Benavides 001; Sergio Segura; Pablo Trinidad; Antonio Ruiz Cortés (VaMoS, 2007)

An Architectural Discussion on DSPL. - Carlos Cetina; Vicente Pelechano; Pablo Trinidad; Antonio Ruiz Cortés (SPLC (2), 2008)

FAMA Framework. - Pablo Trinidad; David Benavides 001; Antonio Ruiz Cortés; Sergio Segura; Alberto Jimenez (SPLC, 2008)

Three-Dimensional Feature Diagrams Visualization. - Pablo Trinidad; Antonio Ruiz Cortés; David Benavides 001; Sergio Segura (SPLC (2), 2008)

Automated Diagnosis of Product-Line Configuration Errors in Feature Models. - Jules White; Douglas C. Schmidt; David Benavides 001; Pablo Trinidad; Antonio Ruiz Cortés (SPLC, 2008)

Automated error analysis for the agilization of feature modeling. - Pablo Trinidad; David Benavides 001; Amador Durán 001; Antonio Ruiz Cortés; Miguel Toro (J. Syst. Softw., 2008)

Análisis en líneas de productos: avances, desafíos y lecciones aprendidas. - David Benavides 001; Antonio Ruiz Cortés; Pablo Trinidad (JISBD, 2009)

Moskitt FM and FAMA FW: Taking feature models to the next level. - Carlos Cetina; Pablo Trinidad; Vicente Pelechano; Antonio Ruiz Cortés; David Benavides 001 (JISBD, 2009)

Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?. - Pablo Trinidad; Antonio Ruiz Cortés (VaMoS, 2009)

Automated diagnosis of feature model configurations. - Jules White; David Benavides 001; Douglas C. Schmidt; Pablo Trinidad; Brian Dougherty; Antonio Ruiz Cortés (J. Syst. Softw., 2010)

ISA packager: a tool for SPL deployment. - Jesús García-Galán; Pablo Trinidad; Antonio Ruiz Cortés (VaMoS, 2011)

Consistency maintenance for evolving feature models. - Jianmei Guo; Yinglin Wang; Pablo Trinidad; David Benavides 001 (Expert Syst. Appl., 2012)

Automated Reasoning on Feature Models. - David Benavides 001; Pablo Trinidad; Antonio Ruiz Cortés (Seminal Contributions to Information Systems Engineering, 2013)

Automated Analysis of Stateful Feature Models. - Pablo Trinidad; Antonio Ruiz Cortés; David Benavides 001 (Seminal Contributions to Information Systems Engineering, 2013)

FaMa. - David Benavides 001; Pablo Trinidad; Antonio Ruiz Cortés; Sergio Segura (Systems and Software Variability Management, 2013)

Migrating to the Cloud - A Software Product Line based Analysis. - Jesús García-Galán; Omer F. Rana; Pablo Trinidad; Antonio Ruiz Cortés (CLOSER, 2013)

Multi-user variability configuration: A game theoretic approach. - Jesús García-Galán; Pablo Trinidad; Antonio Ruiz Cortés (ASE, 2013)

User-centric adaptation of multi-tenant services: preference-based analysis for service reconfiguration. - Jesús García-Galán; Liliana Pasquale; Pablo Trinidad; Antonio Ruiz Cortés (SEAMS, 2014)

An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry. - Rafael Capilla; Jan Bosch; Pablo Trinidad; Antonio Ruiz Cortés; Mike Hinchey (J. Syst. Softw., 2014)

Automated configuration support for infrastructure migration to the cloud. - Jesús García-Galán; Pablo Trinidad; Omer F. Rana; Antonio Ruiz Cortés (Future Gener. Comput. Syst., 2016)

User-Centric Adaptation Analysis of Multi-Tenant Services. - Jesús García-Galán; Liliana Pasquale; Pablo Trinidad; Antonio Ruiz Cortés (ACM Trans. Auton. Adapt. Syst., 2016)

Modelling and Analysing Highly-Configurable Services. - Jesús García-Galán; José María García; Pablo Trinidad; Pablo Fernández 001 (SPLC (A), 2017)

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. - Amador Durán 001; David Benavides 001; Sergio Segura; Pablo Trinidad; Antonio Ruiz Cortés (Softw. Syst. Model., 2017)

Automated analysis of feature models: Quo vadis? - José Angel Galindo; David Benavides 001; Pablo Trinidad; Antonio Manuel Gutiérrez-Fernández; Antonio Ruiz-Cortés (Computing, 2019)

Towards Pricing4SaaS: A Framework for Pricing-Driven Feature Toggling in SaaS. - Alejandro García-Fernández; José Antonio Parejo; Pablo Trinidad; Antonio Ruiz-Cortés (ICWE, 2024)

Pricing4SaaS: a suite of software libraries for pricing-driven feature toggling. - Alejandro García-Fernández; José Antonio Parejo; Pablo Trinidad; Antonio Ruiz-Cortés (CoRR, 2024)

Automated Analysis of Pricings in SaaS-Based Information Systems. - Alejandro García-Fernández; José Antonio Parejo; Pablo Trinidad; Antonio Ruiz-Cortés (CAiSE (2), 2025)