Ficha personal - Pablo Trinidad Martín-Arroyo


Pablo Trinidad Martín-Arroyo
Telefono: 954559897
Email: Solicitar correo
Página personal: http://www.lsi.us.es/~trinidad
Perfil en ORCID: 0000-0002-1320-2424
Perfil en WOS: D-5502-2013
Perfil en Scopus: 23393862300
Perfil en Dialnet: 180185

Grupo de Investigación: Ingeniería del Software Aplicada
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Titular de Universidad

Responsable de los siguientes proyectos/ayudas en la US:

  • Contrato con empresas (Arts. 68/83 LOU):

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Mejorando el desarrollo, fiabilidad y gobierno de servicios digitales por medio de la colaboración bot-humano (PID2021-126227NB-C22 - Equipo de Investigación)
    • IRIS: Impulsando la Transformación Digital en la Administración Pública mediante Contratos Inteligentes (TED2021-131023B-C21 - Equipo de Investigación)
    • EKIPMENT PLUS: Mejora del rendimiento de procesos basados en conocimiento: Un enfoque empírico multidisciplinar basado en personas, equipos, software y datos (P18-FR-2895 - Equipo de Investigación)
    • Tecnologías para Mejorar la Fiabilidad, Personalización y Costes de Operación de Aplicaciones Basadas en Servicios Software y Servicios Basados en Conocimiento (RTI2018-101204-B-C21 - Equipo de Investigación)
    • Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651 - Equipo de Investigación)
    • Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R - Equipo de Investigación)
    • 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íticas de seguridad de cortafuegos (IPT-2012-0890-390000 - Investigador)
    • Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867 - Investigador)
    • Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273 - Investigador)
    • Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906 - Otro Investigador)
    • reSearching on intElligent Tools for the internet of services (TIN2009-07366 - Investigador)
    • Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533 - Otro Investigador)
    • Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472 - Investigador)
    • Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01 - Otro)

  • Contrato con empresas (Arts. 68/83 LOU):
    • Estudio Previo de Requerimientos Tecnológicos y Funcionales de un Prototipo para el Almacenamiento y Procesamiento de Grandes Conjuntos de Datos para su Conversión en Soluciones para la Gestión Ambiental (P025-18/E15 - Colaborador)
    • GEOLIA-first Generation of aErospace iDMU cOncept impLemention And deployment (P020-13/E15 - Investigador)
    • Proyecto demostrativo STORE-Sistemas de almacenamiento de energía (P020-09/E15 - Investigador)
    • Aseroría para el desarrollo de tecnologías de Plataforma Tecnológica de Economía Local (PTEL) (P011-08/E15 - Investigador)
    • S2G. Subestaciones para una Smart Grid (P051-08/E15 - Investigador)
    • Proceso de Desarrollo Software Semiautomático (PDSSA) (P005-08/E15 - Investigador)
    • ESMARTNET. Sistemas Embebidos y Optimización de Middleware para Aplicaciones de Redes en tiempo Real (P061-06/E15 - Investigador)
    • FRADA Creación de un Middleware para aplicaciones energéticas (PRO-050 - Investigador)

  • Actividades de Transferencia de Conocimiento:
    • TIRSO – Trustworthy infrastructures regulated by service level objectives (PYC20 RE 084 US - Equipo de Investigación)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-205 (2017/TIC-205 - Investigador)
    • Incentivo al Grupo de Investigación TIC-205 (2011/TIC-205 - Investigador)
    • Incentivo al Grupo de Investigación TIC-205 (2010/TIC-205 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2009/TIC-205 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2008/TIC-205 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-205 (2007/TIC-205 - Investigador)
    • Colaboración con la Plataforma Tecnológica Española de software y servicios y con la Plataforma Tecnológica Española de sistemas con inteligencia integrada (OTRI/06-PC24 - Investigador)
    • Colaboración con el Constrain Computation Centre de Cork (Irlanda). Colaboración con la NASA Goddard Space Flight Center (USA). Elaboración de propuestas CENIT conjuntas con empresas TIC. (OTRI/05-PC01 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2005/TIC-134 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


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. Santander (ESPAÑA). Ediversitas Multimedia S.L. 2003. ISBN 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. 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, Sergio Segura:
FaMa. Pag. 163-171. En: Systems and Software Variability Management. Springer Berlin Heidelberg. 2013. ISBN 978-3-642-36582-9

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

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. Ed. 1. Hyderabad, India. 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. Vol. 5235. Pag. 489-505. En: Generative and Transformational Techniques in Software Engineering. Alemania. 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. Pag. 265-274. En: Software Product Lines in Action. Ed. 1. Berlín,Alemania. 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. Vol. 4143. Pag. 399-408. En: Generative and Transformational Techniques in Software Engineering. Berlín. 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, 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

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

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, et. al.:
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. 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. Pag. 491-503

Trinidad Martín-Arroyo, Pablo:
Programación de Dispositivos Hardware (I): Puerto Serie. En: Sólo Programadores. 2003. Núm. 95. Pag. 48-53

Trinidad Martín-Arroyo, Pablo:
Programación de Dispositivos Hardware (III): Usb. En: Sólo Programadores. 2003. Núm. 104. Pag. 12-17

Trinidad Martín-Arroyo, Pablo:
Programación de Dispositivos Hardware (II): Pci. En: Sólo Programadores. 2003. Núm. 96. Pag. 40-45

Trinidad Martín-Arroyo, Pablo:
Programación en Ensamblador 32 Bits (IV). En: Sólo Programadores. 2001. Núm. 76. Pag. 62-67

Trinidad Martín-Arroyo, Pablo:
Directplay 8 (I). En: Sólo Programadores. 2001. Núm. 81. Pag. 30-35

Trinidad Martín-Arroyo, Pablo:
Programación en Ensamblador 32 Bits (III). En: Sólo Programadores. 2001. Núm. 75. Pag. 50-53

Trinidad Martín-Arroyo, Pablo:
Directplay 8 (II). En: Sólo Programadores. 2001. Núm. 82. Pag. 16-20

Trinidad Martín-Arroyo, Pablo:
Programación en Ensamblador 32 Bits (I). En: Sólo Programadores. 2001. Núm. 73. Pag. 18-22

Trinidad Martín-Arroyo, Pablo:
Programación en Ensamblador 32 Bits (II). En: Sólo Programadores. 2001. Núm. 74. Pag. 58-61

Trinidad Martín-Arroyo, Pablo:
Modos 7. En: Linux Mania. 2000. Núm. 8. Pag. 29-31

Trinidad Martín-Arroyo, Pablo:
Creando un Generador de Código (II). En: Linux Mania. 2000. Núm. 9. Pag. 31-34

Trinidad Martín-Arroyo, Pablo:
Trabajando con Cadenas. En: Linux Mania. 2000. 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, Sergio Segura, Ruiz Cortés, Antonio:
Evaluación y seguimiento de trabajos en equipo de desarrollo de software a través de la calidad del código fuente. Comunicación en Jornada. XVIII Jornadas de Enseñanza de la Informática. Ciudad Real. 2012

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio:
Automated diagnosis of feature model configurations. Comunicación en Jornada. Jornadas de Ingeniería del Software y Bases de Datos. La Coruña, España. 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

García Galán, Jesús, Trinidad Martín-Arroyo, Pablo, Galindo Duarte, José Ángel, Ruiz Cortés, Antonio:
Tool supported error detection and explanations on feature models. Comunicación en taller de trabajo. 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering. Munich - Alemania. 2011

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. Namur, Bélgica. 2011

Trinidad Martín-Arroyo, Pablo, Müller Cejás, Carlos, García Galán, Jesús, Ruiz Cortés, Antonio:
Building Industry-Ready Tools: Fama Framework & Ada. Ponencia en Taller de trabajo. International Workshop on Academic Software Development Tools and Techniques. Amberes, Bélgica. 2010. Proceedings of the Third International Workshop on Academic Software Development Tools and Techniques. 160. 173

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. Procceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems. 145. 154

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. San Sebastián, España. 2009. Actas XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009). 433. 433

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. San Sebastián, España. 2009. Actas XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009). 285. 288

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. San Francisco, California. 2009. Splc 2009 Proceedings of the 13th International Software Product Line Conference. 1. 8

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. Limerick (Irlanda). 2008. Proceedings of the 12th International Software Product Line Conference. 359. 359

Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Sergio Segura:
Three-Dimensional Feature Diagrams Visualization. Ponencia en Taller de trabajo. International Workshop on Visualisation in Software Product Line Engineering. Limerick, Irlanda. 2008. 2nd International Workshop on Visualisation in Software Product Line Engineering (Visple 2008). 295. 302

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. 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. Limerick (Irlanda). 2008. Proceedings of the 12th International Software Product Line Conference. 225. 234

Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
Fama: Tooling a Framework for the Automated Analysis of Feature Models. Ponencia en Taller de trabajo. First International Workshop on Variability Modelling of Software-Intensive Systems. Limerick (Irlanda). 2007. First International Workshop on Variability Modelling of Software-Intensive Systems. 129. 134

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. 2007. VII Jornadas Sobre Programación y Lenguajes. Prole 2007 Zaragoza, 12 al 14 de Septiembre de 2007. 275. 284

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. Kyoto, Japón. 2007. 11th International Software Product Line Conference Proceedings. 51. 56

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo:
Open Source Tools for Software Product Line Development. Ponencia en Taller de trabajo. International Workshop on Open Source Software and Product Lines. Kyoto, Japan. 2007. Proceedings on the Third International Workshop on Open Source Software and Product Lines. 1. 5

Sergio Segura, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Trinidad Martín-Arroyo, Pablo:
A Taxonomy of Variability in Web Service Flows. Ponencia en Taller de trabajo. First International Workshop on Service-Oriented Architectures and Software Product Lines. Kyoto, Japan. 2007. Proceedings of the First Workshop on Service-Oriented Architectures and Software Product Lines. B-1. B-7

Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo, Ruiz Cortés, Antonio:
A First Step Towards a Framework for the Automated Analysis of Feature Models. Ponencia en Taller de trabajo. Managing Variability for Software Product Lines: Working With Variability Mechanisms. Baltimore, Maryland, USA. 2006. Fraunhofer Institut Experimentelles Software Engineering (Iese) Report Nº 152.06/e. 39. 47

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. Japón. 2006. Proceedings of 7th International Workshop on Agent-Oriented Software Engineering (Aose-2006). 208. 224

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. Luxemburgo. 2006. Proceedings of the Caise'06 Forum. 80. 83

Trinidad Martín-Arroyo, Pablo, Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Sergio Segura, Toro Bonilla, Miguel:
Explanations for Agile Feature Models. Ponencia en Taller de trabajo. International Workshop on Agile Product Line Engineering. Baltimore, Maryland, EEUU. 2006. Workshop Proceedings. 1. 7

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. Sitges, Barcelona, España. 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. 2005. Advanced Information Systems Engineering. 491. 503

Benavides Cuevas, David Felipe, Ruiz Cortés, Antonio, Müller Cejás, Carlos, Trinidad Martín-Arroyo, Pablo:
The Triple Schizophrenia of the Software Engineering Researcher. Ponencia en Taller de trabajo. Conference of Advanced Information Systems Engineering. Feup, Porto, Portugal. 2005. Proceedings of the Caise'05 Workshops. 529. 534

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. Taipei. 2005. Seke 2005. Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering. 677. 682

Benavides Cuevas, David Felipe, Trujillo, Salvador, Trinidad Martín-Arroyo, Pablo:
On the Modularization of Feature Models. Ponencia en Taller de trabajo. Europeean Workshop on Model Transformation . Rennes, Francia. 2005. European Workshop on Model Transformation. 10. 15

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. Braga, Portugal. 2005. Generative and Transformational Techniques in Software Engineering. 00. 00

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. Groningen (Holanda). 2004. Software Product Families and Populations. 1. 14

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. Malaga. 2004. Zoco: Desarrollo y Mantenimiento Ágil de Aplicaciones Basadas en Servicios Web. 33. 46

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. Malaga. 2004. Zoco: Desarrollo y Mantenimiento Ágil de Aplicaciones Basadas en Servicios Web. 27. 32

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. Malaga. 2004. Decision Support in Software Engineering. 1. 8

Trinidad Martín-Arroyo, Pablo:
[formación] Seminario Sobre Competencias Desarrolladas en la Titulación de Ingeniería Informática. Conferencia en Seminario no publicada

Trinidad Martín-Arroyo, Pablo:
[formación] Seminario de Renovación Metodológica en Materia Docente. Conferencia en Seminario no publicada

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: 2011-01-24

Ruiz Cortés, Antonio, Benavides Cuevas, David Felipe, Sergio Segura, Trinidad Martín-Arroyo, Pablo:
[software] Splreasoner. Otra modalidad de propiedad industrial. Solicitud: 2007-12-21

Tesis dirigidas y co-dirigidas:


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

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla