TRINIDAD MARTÍN-ARROYO, PABLO

Perfil en ORCID: 0000-0002-1320-2424

Perfil en ResearcherID: D-5502-2013

Perfil en Scopus: 23393862300\

Perfil en Dialnet: 180185

Grupos de Investigación

• INGENIERÍA DEL SOFTWARE APLICADA

Responsable de los siguientes proyectos/ayudas en la US

Contratos:

• Markexplorer ( P094-16/E15 ).
• Telefónica Talentum ( P088-16/E15 ).
• ALPES ODP I: APLICACIÓN DE LÍNEA DE PRODUCTO SOFTWARE PARA EL DESARROLLO DE ON DEVICE PORTAL: TURISMO Y VIAJES. ( 3C/046 ).

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• Copas: Ecosystems for Optimized Process As a Service ( P12-TIC-1867 - Investigador/a).
• Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans ( TIN2015-70560-R - Investigador/a).
• COPAS: eCosystems for Optimized Process As a Service ( P12-TIC-1867 - Investigador/a).
• COPAS: eCosystems for Optimized Process As a Service. ( P12-TIC-1867 - Investigador/a).
• 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).
• 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).
• THEOS: TECNOLOGÍAS HABILITADORAS PARA ECOSISTEMAS SOFTWARE ( TIC-5906 - Investigador/a).
• Tecnologías Avanzadas para Procesos como Servicios ( TIN2012-32273 - Investigador/a).
• SETI: RESEARCHING ON INTELLIGENT TOOLS FOR INTERNET ODF SERVICES ( TIN2009-07366 - Investigador/a).
• ISABEL: INGENIERÍA DE SISTEMAS ABIERTOS BASADA EN LÍNEAS DE PRODUCTOS ( P07-TIC-02533 - Investigador/a).
• S-CUBE: SOFTWARE SERVICES AND SYSTEMS NETWORK ( 215483 - 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).
• DESARROLLO DE APLICACIONES BASADAS EN SERVICIOS WEB ( TIC2003-02737-C02-01 - 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).

Contratos:

• GEOLIA. first Generation of aErospace iDMU cOncept impLemention And deployment ( P020-13/E15 - Investigador/a ).
• STORE: Sistemas Inteligente de Almacenamiento Distribuido de Energia ( - Investigador/a ).
• SMARTGRID. Subestaciones para una Red Inteligente de Distribución Eléctica ( - Investigador/a ).
• ESMARTNET. SISTEMAS EMBEBIDOS Y OPTIMIZACIÓN DE MIDDLEWARE PARA APLICACIONES DE REDES EN TIEMPO REAL ( P61-06/E15 - Investigador/a ).
• FAMILIES ( FIT-070000-2003-289 - Investigador/a ).
• FRADA ( FIT-070000-2003-401 - 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 ).

Ayudas:

• Convocatoria de ayudas a las acciones de emprendimiento ( - Coordinador ).
• AYUDA DE EXTENSIÓN UNIVERSITARIA PARA LA REALIZACIÓN DE VAMOS 2009 ( A.E.2/08 - 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 ).

Publicaciones

Libros:

• 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. ISBN 8-4958-3607-6

Capítulo de Libros:

• Trinidad-Martín-Arroyo, Pablo, Ruiz-Cortés, Antonio, David Benavides:
  Automated Analysis of Stateful Feature Models. Pag. 375 - 380. En: Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE. Springer. 2013. ISBN 978-3-642-36926-1
• Benavides-Cuevas, David Felipe, Trinidad-Martín-Arroyo, Pablo, Ruiz-Cortés, Antonio:
  Automated Reasoning on Feature Models. Pag. 361 - 373. En: Seminal Contributions to Information Systems Engineering. Springer Berlin Heidelberg. 2013. ISBN 978-3-642-36925-4
• Benavides-Cuevas, David Felipe, Trinidad-Martín-Arroyo, Pablo, Ruiz-Cortés, Antonio, Sergio Segura:
  FaMa. Pag. 163 - 171. En: Systems and Software Variability Management. Springer Berlin Heidelberg. 2013. ISBN 978-3-642-36582-9
• Trinidad-Martín-Arroyo, Pablo, Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio:
  IMPROVING DECISION MAKING IN SOFTWARE PRODUCT LINES PRODUCT PLAN MANAGEMENT. Pag. 88 - 97. En: SOFTWARE PRODUCT MANAGEMENT: ISSUES AND PERSPECTIVES. ICFAI UNIVERSITY PRESS. 2008. ISBN 978-81-314-1589-4
• Sergio Segura, Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio, Trinidad-Martín-Arroyo, Pablo:
  AUTOMATED MERGING OF FEATURE MODELS USING GRAPH TRANSFORMATIONS. Pag. 489 - 505. En: GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING. SPRINGER VERLAG. 2008. ISBN
• Bermejo-,J., Trinidad-Martín-Arroyo, Pablo, Benavides-Cuevas, David Felipe, Ruiz-Cortés, Antonio:
  The Best Industrial Practice in Product Line Engineering. Pag. 265 - 274. En: SOFTWARE PRODUCT LINES IN ACTION. SPRINGER-VERLAG. 2007. ISBN 978-3-540-71436-1
• 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. Pag. 399 - 408. En: GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING. LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG. 2006. ISBN 3-540-45778-X

Publicaciones en Revistas:

• 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?. En: Computing: archives for scientific computing. 2019. Vol. 5. Núm. 101. Pag. 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. En: Software and Systems Modeling. 2017. Vol. 16. Núm. 4. Pag. 1049-1082 http://dx.doi.org/10.1007/s10270-015-0503-z
• 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. En: Future Generation Computer Systems. 2016. Vol. 55. Núm. 1. Pag. 200-212 10.1016/j.future.2015.03.006
• 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. En: ACM Transactions on Autonomous and Adaptive Systems. 2016. Vol. 10. Núm. 4. Pag. 24:1-24:26 http://dx.doi.org/10.1145/2790303
• 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. En: The Journal of Systems and Software. 2014. Vol. 91. Núm. 1. Pag. 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. En: Expert Systems With Applications. 2012. Vol. 39. Núm. 5. Pag. 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. En: The Journal of Systems and Software. 2010. Vol. 35. Núm. 6. Pag. 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. En: The Journal of Systems and Software. 2008. Vol. 81. Núm. 6. Pag. 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. En: Lecture Notes in Computer Science. 2007. Vol. 4405. Núm. . Pag. 208-224
• Benavides-Cuevas, David Felipe, Trinidad-Martín-Arroyo, Pablo, Ruiz-Cortés, Antonio:
  AUTOMATED REASONING ON FEATURE MODELS. En: Lecture Notes in Computer Science. 2005. Vol. 3520. Núm. . Pag. 491-503
• Trinidad-Martín-Arroyo, Pablo:
  PROGRAMACIÓN DE DISPOSITIVOS HARDWARE (I): PUERTO SERIE. En: Sólo Programadores. 2003. Vol. . Núm. 95. Pag. 48-53
• Trinidad-Martín-Arroyo, Pablo:
  PROGRAMACIÓN DE DISPOSITIVOS HARDWARE (II): PCI. En: Sólo Programadores. 2003. Vol. . Núm. 96. Pag. 40-45
• Trinidad-Martín-Arroyo, Pablo:
  PROGRAMACIÓN DE DISPOSITIVOS HARDWARE (III): USB. En: Sólo Programadores. 2003. Vol. . Núm. 104. Pag. 12-17
• Trinidad-Martín-Arroyo, Pablo:
  PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (IV). En: Sólo Programadores. 2001. Vol. . Núm. 76. Pag. 62-67
• Trinidad-Martín-Arroyo, Pablo:
  PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (I). En: Sólo Programadores. 2001. Vol. . Núm. 73. Pag. 18-22
• Trinidad-Martín-Arroyo, Pablo:
  DIRECTPLAY 8 (II). En: Sólo Programadores. 2001. Vol. . Núm. 82. Pag. 16-20
• Trinidad-Martín-Arroyo, Pablo:
  PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (III). En: Sólo Programadores. 2001. Vol. . Núm. 75. Pag. 50-53
• Trinidad-Martín-Arroyo, Pablo:
  DIRECTPLAY 8 (I). En: Sólo Programadores. 2001. Vol. . Núm. 81. Pag. 30-35
• Trinidad-Martín-Arroyo, Pablo:
  PROGRAMACIÓN EN ENSAMBLADOR 32 BITS (II). En: Sólo Programadores. 2001. Vol. . Núm. 74. Pag. 58-61
• Trinidad-Martín-Arroyo, Pablo:
  CREANDO UN GENERADOR DE CÓDIGO (II). En: Linux Mania. 2000. Vol. . Núm. 9. Pag. 31-34
• Trinidad-Martín-Arroyo, Pablo:
  MODOS 7. En: Linux Mania. 2000. Vol. . Núm. 8. Pag. 29-31
• Trinidad-Martín-Arroyo, Pablo:
  TRABAJANDO CON CADENAS. En: Linux Mania. 2000. Vol. . Núm. 9. Pag. 28-30

Aportaciones 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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
• 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

Patentes:

• Ruiz-Cortés, Antonio, Sergio Segura, Galindo-Duarte, José Ángel, Trinidad-Martín-Arroyo, Pablo, Benavides-Cuevas, David Felipe:
  [SOFTWARE] BETTY FRAMEWORK. Otra modalidad de propiedad industrial. Solicitud: 24/01/2011
• Ruiz-Cortés, Antonio, Benavides-Cuevas, David Felipe, Sergio Segura, Trinidad-Martín-Arroyo, Pablo:
  [SOFTWARE] SPLREASONER. Otra modalidad de propiedad industrial. Solicitud: 21/12/2007

Tesis dirigidas y co-dirigidas:

• García-Galán, Jesús:
  Automating the Support of Highly-Configurable Services. Tesis Doctoral. 2015