Pablo Trinidad Martín-Arroyo

Profesor Titular de Universidad
ptrinidad@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: INGENIERÍA DEL SOFTWARE APLICADA (TIC-205)
Miembro de: SCORE
Instituto de Inv.: I3US
Tipo Año Título Fuente
Artículo2019 Automated analysis of feature models: Quo vadis? Computing: archives for scientific computing
Ponencia2019 Automated analysis of feature models: quo vadis? SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2017 FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing SOFTWARE AND SYSTEMS MODELING
Ponencia2017 Modelling and Analysing Highly-Configurable Services 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1
Artículo2016 Automated configuration support for infrastructure migration to the cloud FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
Artículo2016 User-Centric Adaptation Analysis of Multi-Tenant Services ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS
Artículo2014 An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2014 User-Centric Adaptation of Multi-tenant Services: Preference-Based Analysis for Service Reconfiguration 9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014)
Capítulo2013 Automated Analysis of Stateful Feature Models Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE
Capítulo2013 Automated Reasoning on Feature Models Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE
Ponencia2013 Evolving the automated analysis of feature models Lecture Notes in Computer Science
Capítulo2013 FaMa Systems and Software Variability Management: Concepts, Tools and Experiences
Capítulo2013 FaMa Systems and Software Variability Management: Concepts, Tools and Experiences
Ponencia2013 Migrating to the Cloud: A software product line based analysis CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science
Ponencia2013 Multi-user Variability Configuration: A Game Theoretic Approach 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE)
Artículo2012 Consistency maintenance for evolving feature models EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2011 Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas JENUI 2011: XVII Jornadas de Enseñanza Universitaria de la Informática (2011)
Ponencia2011 Automated diagnosis of feature model configurations Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011
Ponencia2011 ISA packager: A tool for SPL deployment ACM International Conference Proceeding Series
Artículo2010 Automated diagnosis of feature model configurations JOURNAL OF SYSTEMS AND SOFTWARE
Capítulo2008 Automated Diagnosis of Product-line Configuration Errors in Feature Models Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Artículo2008 Automated error analysis for the agilization of feature modeling JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2008 Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II
Capítulo2008 FAMA Framework Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Ponencia2008 FAMA Framework SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
Capítulo2007 Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II
Ponencia2007 Building the core architecture of a NASA multiagent system product line AGENT-ORIENTED SOFTWARE ENGINEERING VII
Capítulo2007 FAMA: hacia el análisis automático de modelos de características Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos
Ponencia2006 Isolated features detection in feature models CEUR Workshop Proceedings
Capítulo2006 Using Java CSP Solvers in the Automated Analyses of Feature Models Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005 Braga, Portugal, July 4-8, 2005. Revised Papers
Artículo2005 Automated reasoning on feature models ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS
Ponencia2005 Using constraint programming to reason on feature models 17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005
Artículo2003 Programación de dispositivos hardware: USB Sólo Programadores
Artículo2002 Programación de dispositivos Hardware (I): Puerto serie Sólo Programadores
Artículo2002 Programación de dispositivos Hardware: PCI (y II) Sólo Programadores
Artículo2001 DIRECTPLAY 8 (I) Sólo Programadores
Artículo2001 DIRECTPLAY 8 (II) Sólo Programadores
Artículo2001 Programación en ensamblador de 32 bits (III) Sólo Programadores
Artículo2001 Programación en ensamblador de 32 bits (IV) Sólo Programadores
Artículo2000 Programación en ensamblador de 32 bits (I) Sólo Programadores
Artículo2000 Programación en ensamblador de 32 bits (II) Sólo Programadores

Tesis dirigidas/tutorizadas:1
Fecha lectura Título Rol
10/06/2015 AUTOMATING THE SUPPORT OF HIGHLY-CONFIGURABLE SERVICES Director/a

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
15/11/2003 30/05/2007 Investigador/a Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01) Ministerio de Ciencia y Tecnología (Nacional)
15/03/2011 30/04/2016 Investigador/a Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2016 31/12/2019 Investigador/a Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R) Ministerio de Economía y Competitividad (Nacional)
01/01/2010 30/06/2013 Investigador/a reSearching on intElligent Tools for the internet of services (TIN2009-07366) Ministerio de Ciencia e Innovación (Nacional)
17/07/2012 31/12/2015 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íticas de seguridad de cortafuegos (IPT-2012-0890-390000) Ministerio de Economía y Competitividad (Nacional)
01/01/2020 31/12/2022 Investigador/a 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) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
31/01/2008 31/12/2012 Investigador/a Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
30/01/2014 16/02/2019 Investigador/a Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867) Consejería de Economía, Innovación y Ciencia (Autonómico)
01/02/2020 30/04/2022 Investigador/a Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
01/10/2006 30/09/2009 Investigador/a Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472) Ministerio de Educación y Ciencia (Nacional)
01/01/2013 31/12/2015 Investigador/a Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273) Ministerio de Economía y Competitividad (Nacional)
01/01/2019 31/12/2021 Investigador/a 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) Ministerio de Ciencia, Innovación y Universidades (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
24/03/2008 24/09/2008 Investigador/a Aseroría para el desarrollo de tecnologías de Plataforma Tecnológica de Economía Local (PTEL) (P011-08/E15) ALIATIS, S.L. (Local)
01/12/2003 31/10/2004 Investigador/a FRADA Creación de un Middleware para aplicaciones energéticas (PRO-050) Telvent Interactiva, S.A. (Nacional)
01/06/2018 24/10/2018 Investigador/a 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) Junta de Andalucía (Autonómico)
29/05/2009 29/05/2012 Investigador/a Proyecto demostrativo STORE-Sistemas de almacenamiento de energía (P020-09/E15) Isotrol (Local)
19/02/2007 19/09/2009 Investigador/a ESMARTNET. Sistemas Embebidos y Optimización de Middleware para Aplicaciones de Redes en tiempo Real (P061-06/E15) Isotrol (Local)
12/04/2016 31/12/2016 Responsable Programa Talentum Startups (P088-16/E15) TELEFÓNICA, S.A. (Nacional)
10/12/2007 10/12/2009 Investigador/a Proceso de Desarrollo Software Semiautomático (PDSSA) (P005-08/E15) Icinetic, Desarrollo Software Consultoría y Gestión Informática, SL (Local)
01/01/2014 30/03/2015 Investigador/a GEOLIA-first Generation of aErospace iDMU cOncept impLemention And deployment (P020-13/E15) Icinetic, Desarrollo Software Consultoría y Gestión Informática, SL (Local)
27/01/2009 27/01/2010 Responsable ALPES ODP I: Turismo y Viajes (0327/0196) Asociación de Investigación y Cooperación Industrial de Andalucía (Autonómico)
01/09/2008 01/10/2011 Investigador/a S2G. Subestaciones para una Smart Grid (P051-08/E15) Isotrol (Local)
16/04/2014 31/01/2015 Responsable Colaboración Con el Proyecto: “Solución SaaS Integral para el Diagnóstico Automático en Lenguaje Natural de Problemas IT y Resolución Semi-Automática (P008-14/E15) Intelligent Firewall Management, S.L. (Local)
07/08/2019 30/09/2019 Responsable Thoughtworks Podcast (P032-19/E15) Thoughtworks Software Ecuador, S.A. (Internacional)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
06/03/2006 06/08/2006 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 propuestas CENIT conjuntas con empresas TIC. (OTRI/05-PC01) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
30/08/2007 30/11/2007 Investigador/a 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) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local)
El investigador no tiene ningún resultado de investigación asociado