Directorio
PABLO TRINIDAD MARTIN-ARROYO
Categoría
Profesor Titular de Universidad
Departamento
Área
Lenguajes y Sistema Informáticos
Docencia
Asignaturas que imparte
Investigación
Grupo de investigación
INGENIERÍA DEL SOFTWARE APLICADA (ISA)
Proyectos y contratos de investigación
DESARROLLO DE APLICACIONES BASADAS EN SERVICIOS WEB (TIC2003-02737-C02-01 - Investigador/a)
FÁBRICAS DE SOFTWARE PARA SISTEMAS CON ARQUITECTURA ORIENTADA A SERVICIOS WEB (TIN2006-00472 - Investigador/a)
ELEPES (LPS): LÍNEAS DE PRODUCTO SOFTWARE (TIN 2006-27690-E - Investigador/a)
COLABORACIÓN CON EL CONSTRAIN COMPUTATION CENTRE DE CORK (IRLANDA). COLABORACIÓN CON LA NASA GODDARD SPACE FLIGHT CENTER (USA). ELABORACIÓN DE PROPU (OTRI/05-PC01 - Investigador/a)
ISABEL: INGENIERÍA DE SISTEMAS ABIERTOS BASADA EN LÍNEAS DE PRODUCTOS (P07-TIC-02533 - Investigador/a)
AYUDAS A LA CONSOLIDACIÓN DEL GRUPO DE INVESTIGACIÓN TIC-205 (2007/TI-205 - Investigador/a)
PROMOCIÓN Y SEGUIMIENTO DE SOFTWARE REGISTRADO (OTRI/08-PC22 - Investigador/a)
AYUDA DE EXTENSIÓN UNIVERSITARIA PARA LA REALIZACIÓN DE VAMOS 2009 (A.E.2/08 - Investigador/a)
SETI: RESEARCHING ON INTELLIGENT TOOLS FOR INTERNET ODF SERVICES (TIN2009-07366 - Investigador/a)
S-CUBE: SOFTWARE SERVICES AND SYSTEMS NETWORK (215483 - Investigador/a)
THEOS: TECNOLOGÍAS HABILITADORAS PARA ECOSISTEMAS SOFTWARE (TIC-5906 - Investigador/a)
FAMILIES (FIT-070000-2003-289 - Investigador/a)
FRADA (FIT-070000-2003-401 - Investigador/a)
ESMARTNET. SISTEMAS EMBEBIDOS Y OPTIMIZACIÓN DE MIDDLEWARE PARA APLICACIONES DE REDES EN TIEMPO REAL (P61-06/E15 - Investigador/a)
PDSSA. PROCESO DE DESARROLLO SOFTWARE SEMIAUTOMÁTICO (IDEA-03-2008 - Investigador/a)
NUEVOS MÓDULOS QUIVIR PARA EMPRESAS DE DISTRIBUCIÓN: PICKING POR VOZ EN SGA Y TPV EN JAVA (QUIVIR - Investigador/a)
ALPES ODP I: APLICACIÓN DE LÍNEA DE PRODUCTO SOFTWARE PARA EL DESARROLLO DE ON DEVICE PORTAL: TURISMO Y VIAJES. (3C/046 - Responsable)
Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R - Investigador/a)
Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273 - Investigador/a)
Solución SaaS integral para el diagnóstico automático en lenguaje natural de problemas IT y resolución semi-automática de los mismos, en base a políti (IPT-2012-0890-390000 - Investigador/a)
Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador/a)
Telefónica Talentum (P088-16/E15 - Responsable)
Markexplorer (P094-16/E15 - Responsable)
GEOLIA. first Generation of aErospace iDMU cOncept impLemention And deployment (P020-13/E15 - Investigador/a)
COPAS: eCosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador/a)
Convocatoria de ayudas a las acciones de emprendimiento (Coordinador)
Solución SaaS integral para el diagnóstico automático en lenguaje natural de problemas IT y resolución semiautomática de los mismos en base a política (IPT-2012-0890-390000 - Investigador/a)
COPAS: eCosystems for Optimized Process As a Service. (P12-TIC-1867 - Investigador/a)
SMARTGRID. Subestaciones para una Red Inteligente de Distribución Eléctica (Investigador/a)
STORE: Sistemas Inteligente de Almacenamiento Distribuido de Energia (Investigador/a)
Libros publicados
Antón-Alonso,Pedro;Trinidad-Martín-Arroyo, Pablo;Antón-Alonso,Fernando:
MOTORES 3D Y LENGUAJES DE SCRIPT: UN EJEMPLO PRÁCTICO CON 3DGAMESTUDIO. EDIVERSITAS MULTIMEDIA S.L.. 2003. 8-4958-3607-6
MOTORES 3D Y LENGUAJES DE SCRIPT: UN EJEMPLO PRÁCTICO CON 3DGAMESTUDIO. EDIVERSITAS MULTIMEDIA S.L.. 2003. 8-4958-3607-6
Capítulos en Libros
Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio;David Benavides:
Automated Analysis of Stateful Feature Models. Pág. 375-380. Springer. Springer. 2013.
Automated Analysis of Stateful Feature Models. Pág. 375-380. Springer. Springer. 2013.
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
Automated Reasoning on Feature Models. Pág. 361-373. Springer Berlin Heidelberg. Springer Berlin Heidelberg. 2013.
Automated Reasoning on Feature Models. Pág. 361-373. Springer Berlin Heidelberg. Springer Berlin Heidelberg. 2013.
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio;Sergio Segura:
FaMa. Pág. 163-171. Springer Berlin Heidelberg. Springer Berlin Heidelberg. 2013.
FaMa. Pág. 163-171. Springer Berlin Heidelberg. Springer Berlin Heidelberg. 2013.
Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
IMPROVING DECISION MAKING IN SOFTWARE PRODUCT LINES PRODUCT PLAN MANAGEMENT. Pág. 88-97. ICFAI UNIVERSITY PRESS. ICFAI UNIVERSITY PRESS. 2008.
IMPROVING DECISION MAKING IN SOFTWARE PRODUCT LINES PRODUCT PLAN MANAGEMENT. Pág. 88-97. ICFAI UNIVERSITY PRESS. ICFAI UNIVERSITY PRESS. 2008.
Sergio Segura;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo:
AUTOMATED MERGING OF FEATURE MODELS USING GRAPH TRANSFORMATIONS. Pág. 489-505. En: 5235. SPRINGER VERLAG. SPRINGER VERLAG. 2008.
AUTOMATED MERGING OF FEATURE MODELS USING GRAPH TRANSFORMATIONS. Pág. 489-505. En: 5235. SPRINGER VERLAG. SPRINGER VERLAG. 2008.
Bermejo-,J.;Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
The Best Industrial Practice in Product Line Engineering. Pág. 265-274. SPRINGER-VERLAG. SPRINGER-VERLAG. 2007.
The Best Industrial Practice in Product Line Engineering. Pág. 265-274. SPRINGER-VERLAG. SPRINGER-VERLAG. 2007.
Benavides-Cuevas, David Felipe;Sergio Segura;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
USING JAVA CSP SOLVERS IN THE AUTOMATED ANALYSES OF FEATURE MODELS. Pág. 399-408. En: 4143. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. 2006.
USING JAVA CSP SOLVERS IN THE AUTOMATED ANALYSES OF FEATURE MODELS. Pág. 399-408. En: 4143. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. 2006.
Participación en congresos
Trinidad-Martín-Arroyo, Pablo:
Jornadas de la Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software. Sevilla. 2018
Jornadas de la Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software. Sevilla. 2018
Asistencia a congresos
Müller-Cejás, Carlos;Salmerón, Inmaculada;Jiménez-Aguirre, Patricia;Trinidad-Martín-Arroyo, Pablo:
Una Experiencia para Mejorar la Interacción Estudiante-Profesor. Comunicación en congreso. XXII Jornadas sobre la Enseñanza Universitaria de la Informática. - Almería, - Almeria, España. 2016
Una Experiencia para Mejorar la Interacción Estudiante-Profesor. Comunicación en congreso. XXII Jornadas sobre la Enseñanza Universitaria de la Informática. - Almería, - Almeria, España. 2016
García-Galán, Jesús;Pasquale, Liliana;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
User-centric Adaptation of Multi-tenant Services: Preference-based Analysis for Service Reconfiguration. Comunicación en congreso. International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Hyderabad, India. 2014
User-centric Adaptation of Multi-tenant Services: Preference-based Analysis for Service Reconfiguration. Comunicación en congreso. International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Hyderabad, India. 2014
García-Galán, Jesús;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
Multi-user Variability Configuration: A Game Theoretic Approach. Comunicación en congreso. 28th International Conference on Automated Software Engineering. Silicon Valley, CA, USA. 2013
Multi-user Variability Configuration: A Game Theoretic Approach. Comunicación en congreso. 28th International Conference on Automated Software Engineering. Silicon Valley, CA, USA. 2013
García-Galán, Jesús;Rana, Omer;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
Migrating to the Cloud: a Software Product Line based analysis. Comunicación en congreso. 3rd International Conference on Cloud Computing and Services Science, CLOSER 2013. AACHEN, ALEMANIA. 2013
Migrating to the Cloud: a Software Product Line based analysis. Comunicación en congreso. 3rd International Conference on Cloud Computing and Services Science, CLOSER 2013. AACHEN, ALEMANIA. 2013
García-Galán, Jesús;Trinidad-Martín-Arroyo, Pablo;Capilla, Rafael:
Automating the deployment of componentized systems. Comunicación en congreso. XVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2012). Universidad de Almería. 2012
Automating the deployment of componentized systems. Comunicación en congreso. XVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2012). Universidad de Almería. 2012
Trinidad-Martín-Arroyo, Pablo;Resinas, Manuel;Müller-Cejás, Carlos;Parejo-Maestre, José Antonio;Ruiz-Cortés, Antonio:
Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas. Comunicación en congreso. XVII Jornadas de Enseñanza de la Informática. . 2011
Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas. Comunicación en congreso. XVII Jornadas de Enseñanza de la Informática. . 2011
García-Galán, Jesús;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
FaMa Abductive: una herramienta para explicaciones de errores en modelos de características. Demostración en Congreso. Jornadas de Ingeniería del Software y Bases de Datos (JISBD) XVI. A CORUÑA, ESPAÑA. 2011
FaMa Abductive: una herramienta para explicaciones de errores en modelos de características. Demostración en Congreso. Jornadas de Ingeniería del Software y Bases de Datos (JISBD) XVI. A CORUÑA, ESPAÑA. 2011
García-Galán, Jesús;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
ISA PACKAGER: A TOOL FOR SPL DEPLOYMENT. Comunicación en congreso. FIFTH INTERNATIONAL WORKSHOP ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS () (.2011.NAMUR, BÉLGICA). NAMUR, BÉLGICA. 2011
ISA PACKAGER: A TOOL FOR SPL DEPLOYMENT. Comunicación en congreso. FIFTH INTERNATIONAL WORKSHOP ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS () (.2011.NAMUR, BÉLGICA). NAMUR, BÉLGICA. 2011
Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo:
ANÁLISIS EN LÍNEAS DE PRODUCTOS: AVANCES, DESAFÍOS Y LECCIONES APRENDIDAS. Conferencia Congreso no publicada. XIV JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (JISBD 2009) (14) (14.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
ANÁLISIS EN LÍNEAS DE PRODUCTOS: AVANCES, DESAFÍOS Y LECCIONES APRENDIDAS. Conferencia Congreso no publicada. XIV JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (JISBD 2009) (14) (14.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
Cetina-Englada,Carlos;Trinidad-Martín-Arroyo, Pablo;Pelechano-Ferragud, Vicente;Ruiz-Cortés, Antonio;Benavides-Cuevas, David Felipe:
MOSKITT FM AND FAMA FW: TAKING FEATURE MODELS TO THE NEXT LEVEL. Conferencia Congreso no publicada. XIV JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (JISBD 2009) (14) (14.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
MOSKITT FM AND FAMA FW: TAKING FEATURE MODELS TO THE NEXT LEVEL. Conferencia Congreso no publicada. XIV JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (JISBD 2009) (14) (14.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
ABDUCTIVE REASONING AND AUTOMATED ANALYSIS OF FEATURE MODELS: HOW ARE THEY CONNECTED?. Comunicación en congreso. Intensive Spanish Language Courses in Spain: A case Study. ATHENS - GREECE. 2009
ABDUCTIVE REASONING AND AUTOMATED ANALYSIS OF FEATURE MODELS: HOW ARE THEY CONNECTED?. Comunicación en congreso. Intensive Spanish Language Courses in Spain: A case Study. ATHENS - GREECE. 2009
Trinidad-Martín-Arroyo, Pablo;Cetina-Englada,Carlos;Pelechano-Ferragud, Vicente;Ruiz-Cortés, Antonio:
CUSTOMISATION ALONG LIFECYCLE OF AUTONOMIC HOMES. Conferencia Congreso no publicada. 13TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (13) (13.2009.SAN FRANCISCO, CALIFORNIA). SAN FRANCISCO, CALIFORNIA. 2009
CUSTOMISATION ALONG LIFECYCLE OF AUTONOMIC HOMES. Conferencia Congreso no publicada. 13TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (13) (13.2009.SAN FRANCISCO, CALIFORNIA). SAN FRANCISCO, CALIFORNIA. 2009
White-,Jules;Schmidt-,Douglas;Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
AUTOMATED DIAGNOSIS OF PRODUCT-LINE CONFIGURATION ERRORS IN FEATURE MODELS. Ponencia en Congreso. 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (12) (12.2008.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2008
AUTOMATED DIAGNOSIS OF PRODUCT-LINE CONFIGURATION ERRORS IN FEATURE MODELS. Ponencia en Congreso. 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (12) (12.2008.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2008
Cetina-Englada,Carlos;Trinidad-Martín-Arroyo, Pablo;Pelechano-Ferragud, Vicente;Ruiz-Cortés, Antonio:
AN ARCHITECTURAL DISCUSSION ON DSPL. Comunicación en congreso. INTERNATIONAL WORKSHOP ON VISUALISATION IN SOFTWARE PRODUCT LINE ENGINEERING (VISPLE 2008) (2) (2.2008.LIMERICK, IRLANDA). LIMERICK, IRLANDA. 2008
AN ARCHITECTURAL DISCUSSION ON DSPL. Comunicación en congreso. INTERNATIONAL WORKSHOP ON VISUALISATION IN SOFTWARE PRODUCT LINE ENGINEERING (VISPLE 2008) (2) (2.2008.LIMERICK, IRLANDA). LIMERICK, IRLANDA. 2008
Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Sergio Segura;Jiménez-Méndez, Alberto:
FAMA FRAMEWORK. Demostración en Congreso. 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (12) (12.2008.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2008
FAMA FRAMEWORK. Demostración en Congreso. 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (12) (12.2008.LIMERICK (IRLANDA)). LIMERICK (IRLANDA). 2008
Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio;Peña-Siles, Joaquín;Benavides-Cuevas, David Felipe:
MAPPING FEATURE MODELS ONTO COMPONENT MODELS TO BUILD DYNAMIC SOFTWARE PRODUCT LINES. Comunicación en congreso. DYNAMIC SOFTWARE PRODUCT LINES 2007 (1) (1.2007.KYOTO, JAPÓN). KYOTO, JAPÓN. 2007
MAPPING FEATURE MODELS ONTO COMPONENT MODELS TO BUILD DYNAMIC SOFTWARE PRODUCT LINES. Comunicación en congreso. DYNAMIC SOFTWARE PRODUCT LINES 2007 (1) (1.2007.KYOTO, JAPÓN). KYOTO, JAPÓN. 2007
Sergio Segura;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo:
TOWARDS AUTOMATED REFACTORING OF FEATURE MODELS USING GRAPH TRANSFORMATIONS. Ponencia en Congreso. JORNADAS SOBRE PROGRAMACIÓN Y LENGUAJES (PROLE'07) (7) (7.2007.ZARAGOZA). . 2007
TOWARDS AUTOMATED REFACTORING OF FEATURE MODELS USING GRAPH TRANSFORMATIONS. Ponencia en Congreso. JORNADAS SOBRE PROGRAMACIÓN Y LENGUAJES (PROLE'07) (7) (7.2007.ZARAGOZA). . 2007
Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo;Sergio Segura:
A SURVEY ON THE AUTOMATED ANALYSES OF FETURE MODELS. Ponencia en Congreso. INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (11) (11.2006.SITGES). SITGES, BARCELONA, ESPAÑA. 2006
A SURVEY ON THE AUTOMATED ANALYSES OF FETURE MODELS. Ponencia en Congreso. INGENIERÍA DEL SOFTWARE Y BASES DE DATOS (11) (11.2006.SITGES). SITGES, BARCELONA, ESPAÑA. 2006
Peña-Siles, Joaquín;Hinchey-, Michael G.;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo:
BUILDING THE CORE ARCHITECTURE OF A NASA MULTIAGENT SYSTEM PRODUCT LINE. Comunicación en congreso. 7TH INTERNATIONAL WORKSHOP ON AGENT-ORIENTED SOFTWARE ENGINEERING (AOSE-2006) () (.2006.JAPÓN). JAPÓN. 2006
BUILDING THE CORE ARCHITECTURE OF A NASA MULTIAGENT SYSTEM PRODUCT LINE. Comunicación en congreso. 7TH INTERNATIONAL WORKSHOP ON AGENT-ORIENTED SOFTWARE ENGINEERING (AOSE-2006) () (.2006.JAPÓN). JAPÓN. 2006
Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
ISOLATED FEATURES DETECTION IN FEATURE MODELS. Poster en Congreso. INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION SYSTEMS ENGINEERING () (.2006.LUXEMBURGO). LUXEMBURGO. 2006
ISOLATED FEATURES DETECTION IN FEATURE MODELS. Poster en Congreso. INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION SYSTEMS ENGINEERING () (.2006.LUXEMBURGO). LUXEMBURGO. 2006
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
AUTOMATED REASONING ON FEATURE MODELS. Comunicación en congreso. CONFERENCE ON ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE'05) (17) (17.2005.OPORTO, PORTUGAL). . 2005
AUTOMATED REASONING ON FEATURE MODELS. Comunicación en congreso. CONFERENCE ON ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE'05) (17) (17.2005.OPORTO, PORTUGAL). . 2005
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
USING JAVA CSP SOLVERS IN THE AUTOMATED ANALYSES OF FEATURE MODELS. Comunicación en congreso. SUMMER SCHOOL ON GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING (GTTSE) (1) (1.2005.BRAGA, PORTUGAL). BRAGA, PORTUGAL. 2005
USING JAVA CSP SOLVERS IN THE AUTOMATED ANALYSES OF FEATURE MODELS. Comunicación en congreso. SUMMER SCHOOL ON GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING (GTTSE) (1) (1.2005.BRAGA, PORTUGAL). BRAGA, PORTUGAL. 2005
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
USING CONSTRAINT PROGRAMMING TO REASON ON FEATURE MODELS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING (17) (17.2005.TAIPEI). TAIPEI. 2005
USING CONSTRAINT PROGRAMMING TO REASON ON FEATURE MODELS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING (17) (17.2005.TAIPEI). TAIPEI. 2005
Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
IMPROVING DECISION MAKING IN SOFTWARE PRODUCT LINES PRODUCT PLAN MANAGEMENT. Ponencia en Congreso. ADIS (4) (4.2004.MALAGA). MALAGA. 2004
IMPROVING DECISION MAKING IN SOFTWARE PRODUCT LINES PRODUCT PLAN MANAGEMENT. Ponencia en Congreso. ADIS (4) (4.2004.MALAGA). MALAGA. 2004
Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Ruiz-Cortés, Antonio:
APLICACIÓN DE MODELOS DE CARACTERÍSTICAS A LA GESTIÓN DE PLANES DE PRODUCCIÓN. Ponencia en Congreso. ZOCO (4) (4.2004.MALAGA). MALAGA. 2004
APLICACIÓN DE MODELOS DE CARACTERÍSTICAS A LA GESTIÓN DE PLANES DE PRODUCCIÓN. Ponencia en Congreso. ZOCO (4) (4.2004.MALAGA). MALAGA. 2004
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
PUTTING THE BASIS FOR AUTOMATIC REASONING ON SOFTWARE PRODUCT LINES. Ponencia en Congreso. ZOCO (4) (4.2004.MALAGA). MALAGA. 2004
PUTTING THE BASIS FOR AUTOMATIC REASONING ON SOFTWARE PRODUCT LINES. Ponencia en Congreso. ZOCO (4) (4.2004.MALAGA). MALAGA. 2004
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
COPING WITH AUTOMATIC REASONING ON SOFTWARE PRODUCT LINES. Ponencia en Congreso. GRONINGEN WORKSHOP ON SOFTWARE VARIABILITY MANAGEMENT (2) (2.2004.GRONINGEN (HOLANDA)). GRONINGEN (HOLANDA). 2004
COPING WITH AUTOMATIC REASONING ON SOFTWARE PRODUCT LINES. Ponencia en Congreso. GRONINGEN WORKSHOP ON SOFTWARE VARIABILITY MANAGEMENT (2) (2.2004.GRONINGEN (HOLANDA)). GRONINGEN (HOLANDA). 2004
Artículos publicados
Galindo-Duarte, José Ángel;David Benavides;Trinidad-Martín-Arroyo, Pablo;Gutiérrez-Fernández, Antonio Manuel;Ruiz-Cortés, Antonio:
Automated analysis of feature models: Quo vadis?. Computing: archives for scientific computing. 2019. Vol: 5. Núm: 101. Pág. 387-433. 10.1007/s00607-018-0646-1.
Automated analysis of feature models: Quo vadis?. Computing: archives for scientific computing. 2019. Vol: 5. Núm: 101. Pág. 387-433. 10.1007/s00607-018-0646-1.
Durán-Toro, Amador;David Benavides;Sergio Segura;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing. Software and Systems Modeling. 2017. Vol: 16. Núm: 4. Pág. 1049-1082. http://dx.doi.org/10.1007/s10270-015-0503-z.
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing. Software and Systems Modeling. 2017. Vol: 16. Núm: 4. Pág. 1049-1082. http://dx.doi.org/10.1007/s10270-015-0503-z.
García-Galán, Jesús;Pasquale, Liliana;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
User-Centric Adaptation Analysis of Multi-Tenant Services. ACM Transactions on Autonomous and Adaptive Systems. 2016. Vol: 10. Núm: 4. Pág. 24:1-24:26. http://dx.doi.org/10.1145/2790303.
User-Centric Adaptation Analysis of Multi-Tenant Services. ACM Transactions on Autonomous and Adaptive Systems. 2016. Vol: 10. Núm: 4. Pág. 24:1-24:26. http://dx.doi.org/10.1145/2790303.
García-Galán, Jesús;Trinidad-Martín-Arroyo, Pablo;Rana, Omer F.;Ruiz-Cortés, Antonio:
Automated configuration support for infrastructure migration to the cloud. Future Generation Computer Systems. 2016. Vol: 55. Núm: 1. Pág. 200-212. 10.1016/j.future.2015.03.006.
Automated configuration support for infrastructure migration to the cloud. Future Generation Computer Systems. 2016. Vol: 55. Núm: 1. Pág. 200-212. 10.1016/j.future.2015.03.006.
Capilla, Rafael;Bosch, Jan;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio;Hinchey, M:
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry. The Journal of Systems and Software. 2014. Vol: 91. Núm: 1. Pág. 3-23. http://dx.doi.org/10.1016/j.jss.2013.12.038.
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry. The Journal of Systems and Software. 2014. Vol: 91. Núm: 1. Pág. 3-23. http://dx.doi.org/10.1016/j.jss.2013.12.038.
Guo, Jianmei;Wang, Yinglin;Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe:
Consistency Maintenance for Evolving Feature Models. Expert Systems With Applications. 2012. Vol: 39. Núm: 5. Pág. 4987-4998. 10.1016/j.eswa.2011.10.014.
Consistency Maintenance for Evolving Feature Models. Expert Systems With Applications. 2012. Vol: 39. Núm: 5. Pág. 4987-4998. 10.1016/j.eswa.2011.10.014.
White-,Jules;Benavides-Cuevas, David Felipe;Schmidt-,Douglas;Trinidad-Martín-Arroyo, Pablo;Dougherty-,Brian;Ruiz-Cortés, Antonio:
AUTOMATED DIAGNOSIS OF FEATURE MODEL CONFIGURATIONS. The Journal of Systems and Software. 2010. Vol: 35. Núm: 6. Pág. 1094-1107. 10.1016/j.jss.2010.02.017.
AUTOMATED DIAGNOSIS OF FEATURE MODEL CONFIGURATIONS. The Journal of Systems and Software. 2010. Vol: 35. Núm: 6. Pág. 1094-1107. 10.1016/j.jss.2010.02.017.
Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe;Durán-Toro, Amador;Ruiz-Cortés, Antonio;Toro-Bonilla, Miguel:
AUTOMATED ERROR ANALYSIS FOR THE AGILIZATION OF FEATURE MODELING. The Journal of Systems and Software. 2008. Vol: 81. Núm: 6. Pág. 883-896.
AUTOMATED ERROR ANALYSIS FOR THE AGILIZATION OF FEATURE MODELING. The Journal of Systems and Software. 2008. Vol: 81. Núm: 6. Pág. 883-896.
Peña-Siles, Joaquín;Hinchey-, Michael G.;Ruiz-Cortés, Antonio;Trinidad-Martín-Arroyo, Pablo:
BUILDING THE CORE ARCHITECTURE OF A NASA MULTIAGENT SYSTEM PRODUCT LINE. Lecture Notes in Computer Science. 2007. Vol: 4405. Pág. 208-224.
BUILDING THE CORE ARCHITECTURE OF A NASA MULTIAGENT SYSTEM PRODUCT LINE. Lecture Notes in Computer Science. 2007. Vol: 4405. Pág. 208-224.
Benavides-Cuevas, David Felipe;Trinidad-Martín-Arroyo, Pablo;Ruiz-Cortés, Antonio:
AUTOMATED REASONING ON FEATURE MODELS. Lecture Notes in Computer Science. 2005. Vol: 3520. Pág. 491-503.
AUTOMATED REASONING ON FEATURE MODELS. Lecture Notes in Computer Science. 2005. Vol: 3520. Pág. 491-503.
Trinidad-Martín-Arroyo, Pablo:
PROGRAMACIÓN DE DISPOSITIVOS HARDWARE (III): USB. Sólo Programadores. 2003. Núm: 104. Pág. 12-17.
PROGRAMACIÓN DE DISPOSITIVOS HARDWARE (III): USB. Sólo Programadores. 2003. Núm: 104. Pág. 12-17.
Trinidad-Martín-Arroyo, Pablo:
PROGRAMACIÓN DE DISPOSITIVOS HARDWARE (I): PUERTO SERIE. Sólo Programadores. 2003. Núm: 95. Pág. 48-53.
PROGRAMACIÓN DE DISPOSITIVOS HARDWARE (I): PUERTO SERIE. Sólo Programadores. 2003. Núm: 95. Pág. 48-53.
Trinidad-Martín-Arroyo, Pablo:
PROGRAMACIÓN DE DISPOSITIVOS HARDWARE (II): PCI. Sólo Programadores. 2003. Núm: 96. Pág. 40-45.
PROGRAMACIÓN DE DISPOSITIVOS HARDWARE (II): PCI. Sólo Programadores. 2003. Núm: 96. Pág. 40-45.
Trinidad-Martín-Arroyo, Pablo:
PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (III). Sólo Programadores. 2001. Núm: 75. Pág. 50-53.
PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (III). Sólo Programadores. 2001. Núm: 75. Pág. 50-53.
Trinidad-Martín-Arroyo, Pablo:
DIRECTPLAY 8 (I). Sólo Programadores. 2001. Núm: 81. Pág. 30-35.
DIRECTPLAY 8 (I). Sólo Programadores. 2001. Núm: 81. Pág. 30-35.
Trinidad-Martín-Arroyo, Pablo:
PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (II). Sólo Programadores. 2001. Núm: 74. Pág. 58-61.
PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (II). Sólo Programadores. 2001. Núm: 74. Pág. 58-61.
Trinidad-Martín-Arroyo, Pablo:
PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (IV). Sólo Programadores. 2001. Núm: 76. Pág. 62-67.
PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (IV). Sólo Programadores. 2001. Núm: 76. Pág. 62-67.
Trinidad-Martín-Arroyo, Pablo:
PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (I). Sólo Programadores. 2001. Núm: 73. Pág. 18-22.
PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (I). Sólo Programadores. 2001. Núm: 73. Pág. 18-22.
Trinidad-Martín-Arroyo, Pablo:
DIRECTPLAY 8 (II). Sólo Programadores. 2001. Núm: 82. Pág. 16-20.
DIRECTPLAY 8 (II). Sólo Programadores. 2001. Núm: 82. Pág. 16-20.
Trinidad-Martín-Arroyo, Pablo:
CREANDO UN GENERADOR DE CÓDIGO (II). Linux Mania. 2000. Núm: 9. Pág. 31-34.
CREANDO UN GENERADOR DE CÓDIGO (II). Linux Mania. 2000. Núm: 9. Pág. 31-34.
Trinidad-Martín-Arroyo, Pablo:
MODOS 7. Linux Mania. 2000. Núm: 8. Pág. 29-31.
MODOS 7. Linux Mania. 2000. Núm: 8. Pág. 29-31.
Trinidad-Martín-Arroyo, Pablo:
TRABAJANDO CON CADENAS. Linux Mania. 2000. Núm: 9. Pág. 28-30.
TRABAJANDO CON CADENAS. Linux Mania. 2000. Núm: 9. Pág. 28-30.
Patentes
Ruiz-Cortés, Antonio;Sergio Segura;Galindo-Duarte, José Ángel;Trinidad-Martín-Arroyo, Pablo;Benavides-Cuevas, David Felipe: [SOFTWARE] BETTY FRAMEWORK. Número de patente:
Ruiz-Cortés, Antonio;Benavides-Cuevas, David Felipe;Sergio Segura;Trinidad-Martín-Arroyo, Pablo: [SOFTWARE] SPLREASONER. Número de patente:
Tesis dirigidas o codirigidas
García-Galán, Jesús:
Automating the Support of Highly-Configurable Services. Tesis Doctoral. 2015
Automating the Support of Highly-Configurable Services. Tesis Doctoral. 2015
