Stebėti
Pablo Trinidad
Pablo Trinidad
Patvirtintas el. paštas us.es
Pavadinimas
Cituota
Cituota
Metai
Automated reasoning on feature models
D Benavides, P Trinidad, A Ruiz-Cortés
International Conference on Advanced Information Systems Engineering, 491-503, 2005
9502005
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
2402014
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
221*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
2142008
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
2022008
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
1452010
Using Constraint Programming to Reason on Feature Models.
D Benavides, P Trinidad, AR Cortés
SEKE 5, 677-682, 2005
1302005
Automated analysis of feature models: Quo vadis?
JA Galindo, D Benavides, P Trinidad, AM Gutiérrez-Fernández, ...
Computing 101, 387-433, 2019
1092019
A first step towards a framework for the automated analysis of feature models
D Benavides, S Segura, P Trinidad, A Ruiz-Cortés
Proc. Managing Variability for Software Product Lines: Working With …, 2006
1082006
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
992007
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
892007
Automated Configuration Support for Infrastructure Migration to the Cloud
J Garcıa-Galán, P Trinidad, OF Rana, A Ruiz-Cortés
78*
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?.
P Trinidad, AR Cortés
VaMos 9, 145-153, 2009
712009
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
702013
Consistency maintenance for evolving feature models
J Guo, Y Wang, P Trinidad, D Benavides
Expert Systems with Applications 39 (5), 4987-4998, 2012
622012
Fama
D Benavides, P Trinidad, A Ruiz-Cortés, S Segura
Systems and Software Variability Management: Concepts, Tools and Experiences …, 2013
432013
An architectural discussion on dspl.
C Cetina, V Pelechano, P Trinidad, AR Cortés
SPLC (2), 59-68, 2008
432008
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
A Durán, D Benavides, S Segura, P Trinidad, A Ruiz-Cortés
Software & Systems Modeling 16 (4), 1049-1082, 2017
412017
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20