Seguir
Pablo Trinidad
Pablo Trinidad
Dirección de correo verificada de us.es
Título
Citado por
Citado por
Año
Automated reasoning on feature models
D Benavides, P Trinidad, A Ruiz-Cortés
International Conference on Advanced Information Systems Engineering, 491-503, 2005
9542005
Fama: Tooling a framework for the automated analysis of feature models.
D Benavides, S Segura, P Trinidad, AR Cortés
VaMoS 2007, 01, 2007
3182007
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
R Capilla, J Bosch, P Trinidad, A Ruiz-Cortés, M Hinchey
Journal of Systems and Software 91, 3-23, 2014
2362014
Using Java CSP solvers in the automated analyses of feature models
D Benavides, S Segura, P Trinidad, A Ruiz-Cortés
International Summer School on Generative and Transformational Techniques in …, 2005
215*2005
Automated error analysis for the agilization of feature modeling
P Trinidad, D Benavides, A Durán, A Ruiz-Cortés, M Toro
Journal of Systems and Software 81 (6), 883-896, 2008
2112008
Automated diagnosis of product-line configuration errors in feature models
J White, DC Schmidt, D Benavides, P Trinidad, A Ruiz–Cortés
2008 12th International Software Product Line Conference, 225-234, 2008
2032008
Fama framework
P Trinidad, D Benavides, A Ruiz-Cortés, S Segura, A Jimenez
2008 12th International Software Product Line Conference, 359-359, 2008
1482008
Automated diagnosis of feature model configurations
J White, D Benavides, DC Schmidt, P Trinidad, B Dougherty, ...
Journal of Systems and Software 83 (7), 1094-1107, 2010
1412010
Using Constraint Programming to Reason on Feature Models.
D Benavides, P Trinidad, AR Cortés
SEKE 5, 677-682, 2005
1312005
A first step towards a framework for the automated analysis of feature models
D Benavides, S Segura, P Trinidad, A Ruiz-Cortés
Managing Variability for Software Product Lines: Working With Variability …, 2006
1072006
Automated analysis of feature models: Quo vadis?
JA Galindo, D Benavides, P Trinidad, AM Gutiérrez-Fernández, ...
Computing 101, 387-433, 2019
1032019
Automated merging of feature models using graph transformations
S Segura, D Benavides, A Ruiz-Cortés, P Trinidad
International Summer School on Generative and Transformational Techniques in …, 2007
962007
Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines.
P Trinidad, AR Cortés, J Pena, D Benavides
SPLC (2), 51-56, 2007
882007
Automated Configuration Support for Infrastructure Migration to the Cloud
J Garcıa-Galán, P Trinidad, OF Rana, A Ruiz-Cortés
77*
Migrating to the cloud: a software product line based analysis
J García Galán, OF Rana, P Trinidad Martín Arroyo, A Ruiz Cortés
3Rd International Conference on Cloud Computing and Services Science, CLOSER …, 2013
732013
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?.
P Trinidad, AR Cortés
VaMos 9, 145-153, 2009
702009
Consistency maintenance for evolving feature models
J Guo, Y Wang, P Trinidad, D Benavides
Expert Systems with Applications 39 (5), 4987-4998, 2012
592012
Fama
D Benavides, P Trinidad, A Ruiz-Cortés, S Segura
Systems and Software Variability Management: Concepts, Tools and Experiences …, 2013
442013
An architectural discussion on dspl.
C Cetina, V Pelechano, P Trinidad, AR Cortés
SPLC (2), 59-68, 2008
432008
Coping with automatic reasoning on software product lines
D Benavides, A Ruiz-Cortés, P Trinidad
Proceedings of the 2nd Groningen Workshop on Software Variability Management, 11, 2004
402004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20