Ver Investigador - - Prisma - Unidad de Bibliometría

Manuel Resinas Arias de Reyna

Catedrático de Universidad
resinas@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: INGENIERÍA DEL SOFTWARE APLICADA - TIC-205 (Universidad de Sevilla)
Instituto de Inv.: I3US
Unidad de excelencia: Smart Computer Systems Research and Engineering (SCORE)
Prog. doctorado: INGENIERÍA INFORMÁTICA

Investiga en

Tipo Año Título Fuente
Ponencia2024 A Taste of the Different Flavors of Tiramisù CEUR workshop proceedings
Ponencia2024 Designing a User Interface to Explore Collections of Directly-Follows Graphs for Process Mining Analysis Lecture Notes in Business Information Processing
Ponencia2024 Mapping the Landscape: Exploring Large Language Model Applications in Business Process Management Lecture Notes in Business Information Processing
Editorial2024 Preface Lecture Notes in Computer Science
Ponencia2024 STATUS: A Low-Code Business Process Compliance Management System CEUR workshop proceedings
Ponencia2024 Tiramisù: A Recipe for Visual Sensemaking of Multi-faceted Process Information Lecture Notes in Business Information Processing
Artículo2024 Tiramisù: making sense of multi-faceted process information through time and space JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
Ponencia2024 Work Tagger: A Labelling Companion CEUR workshop proceedings
Ponencia2023 Board miner: a tool to analyze the use of board-based collaborative work management tools Lecture Notes in Computer Science
Artículo2023 City 5.0: citizen involvement in the design of future cities Electronic Markets
Ponencia2023 Defining process performance measures in an object-centric context Lecture Notes in Business Information Processing
Ponencia2023 From Text to Performance Measurement: Automatically Computing Process Performance Using Textual Descriptions and Event Logs Lecture Notes in Computer Science
Ponencia2023 LoVizQL: A Query Language for Visualizing and Analyzing Business Processes from Event Logs Lecture Notes in Computer Science
Artículo2023 Suite de pruebas auto-evaluable como examen de laboratorio: una aproximación pragmática con Spring Boot y GitHub Actas de las Jornadas sobre Enseñanza Universitaria de la Informática
Artículo2022 A mashup-based framework for business process compliance checking IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2022 Analyzing how process mining reports answer time performance questions Lecture Notes in Computer Science
Ponencia2022 BPM in digital transformation: new tools and productivity challenges Lecture Notes in Computer Science
Ponencia2022 Updating prediction models for predictive process monitoring Lecture Notes in Computer Science
Artículo2021 Automated validation of compensable SLAs IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2021 DemaBot: a tool to automatically generate decision-support chatbots CEUR workshop proceedings
Ponencia2021 Design patterns for board-based collaborative work management tools Lecture Notes in Computer Science
Artículo2021 Modeling variability in the performance perspective of business processes IEEE ACCESS
Ponencia2021 PPINOT computer and ppinot4py: two libraries to compute process performance indicators CEUR workshop proceedings
Capítulo2021 Process Performance Indicators for IT Service Management: Research and Evidence in Software Engineering
Ponencia2021 Productivity challenges in digital transformation and its implications for workstream collaboration tools Proceedings of the Annual Hawaii International Conference on System Sciences
Artículo2021 Seven paradoxes of business process management in a hyper-connected world BUSINESS & INFORMATION SYSTEMS ENGINEERING
Artículo2020 Context-aware process performance indicator prediction IEEE ACCESS
Ponencia2019 A Hybrid Reliability Metric for SLA Predictive Monitoring SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING
Ponencia2019 An approach for the automated generation of engaging dashboards Lecture Notes in Computer Science
Ponencia2019 Does your accurate process predictive monitoring model give reliable predictions? Lecture Notes in Computer Science
Artículo2019 Measuring Performance in Knowledge-intensive Processes ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Artículo2019 Visual ppinot: A Graphical Notation for Process Performance Indicators BUSINESS & INFORMATION SYSTEMS ENGINEERING
Artículo2018 A template-based approach for responsibility management in executable business processes ENTERPRISE INFORMATION SYSTEMS
Ponencia2018 On the relationships between decision management and performance measurement ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018
Artículo2018 Predictive Monitoring of Business Processes: A Survey IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2017 A new framework for defining realistic SLAs: An evidence-based approach BUSINESS PROCESS MANAGEMENT FORUM
Ponencia2017 Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2017)
Artículo2017 Modeling Service Level Agreements with Linked USDL Agreement IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2017 Redefining a process engine as a microservice platform Lecture Notes in Business Information Processing
Artículo2017 Run-time prediction of business process indicators using evolutionary decision rules EXPERT SYSTEMS WITH APPLICATIONS
Artículo2017 Specifying Compensations with WS-Agreement IEEE LATIN AMERICA TRANSACTIONS
Artículo2017 Transforming unstructured natural language descriptions into measurable process performance indicators using Hidden Markov Models INFORMATION SYSTEMS
Ponencia2016 Identifying variability in process performance indicators Lecture Notes in Business Information Processing
Ponencia2016 Introduction to the 2nd workshop on resource management in service-oriented computing (RMSOC) 2015 Lecture Notes in Computer Science
Ponencia2016 Narrowing the business-IT gap in process performance measurement ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016)
Artículo2016 Using templates and linguistic patterns to define process performance indicators ENTERPRISE INFORMATION SYSTEMS
Ponencia2015 Automated team selection and compliance checking in business processes ACM International Conference Proceeding Series
Ponencia2015 Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web 2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS)
Ponencia2015 Modelling Service Level Agreements for Business Process Outsourcing Services ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015
Ponencia2015 RALph: A Graphical Notation for Resource Assignments in Business Processes ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015
Artículo2015 Specification and automated design-time analysis of the business process human resource perspective INFORMATION SYSTEMS
Ponencia2015 Towards Compensable SLAs ADVANCES IN SERVICE-ORIENTED AND CLOUD COMPUTING
Artículo2014 Automated Analysis of Conflicts in WS-Agreement IEEE TRANSACTIONS ON SERVICES COMPUTING
Artículo2014 Comprehensive Explanation of SLA Violations at Runtime IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia2014 KPIshare: A collaborative space for BPM practitioners for full definitions and discussions on process KPIs CEUR workshop proceedings
Capítulo2014 PPINOT: A Performance Management Solution for Process Oriented Organizations VII y VIII Congreso Académico Internacional en Gobierno y Gestión del Servicio de Tecnologías de la Información: Libro de actas
Ponencia2014 Towards a Formal Specification of SLAs with Compensations ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES
Ponencia2014 Towards a formal specification of SLAs with compensations* Lecture Notes in Computer Science
Ponencia2014 Towards process-aware cross-organizational human resource management Lecture Notes in Business Information Processing
Ponencia2013 Defining and analysing resource-aware process performance indicators CEUR workshop proceedings
Ponencia2013 Designing Business Processes with History-Aware Resource Assignments BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM)
Ponencia2013 Extending WS-agreement to support automated conformity check on transport and logistics service agreements SERVICE-ORIENTED COMPUTING, ICSOC 2013
Ponencia2013 iAgree studio: A platform to edit and validate WS-agreement documents SERVICE-ORIENTED COMPUTING, ICSOC 2013
Artículo2013 On the definition and design-time analysis of process performance indicators INFORMATION SYSTEMS
Ponencia2013 PPINOT tool suite: A performance management solution for process-oriented organisations SERVICE-ORIENTED COMPUTING, ICSOC 2013
Ponencia2013 Priority-based human resource allocation in business processes SERVICE-ORIENTED COMPUTING, ICSOC 2013
Artículo2012 A bargaining-specific architecture for supporting automated service agreement negotiation systems SCIENCE OF COMPUTER PROGRAMMING
Ponencia2012 Auditoría de procesos de negocio en la nube: persistencia mediante almacenes no relacionales JISBD 2012: XVII Jornadas de Ingeniería del Software y Bases de Datos (2012)
Ponencia2012 Automated resource assignment in BPMN models using RACI matrices Lecture Notes in Computer Science
Ponencia2012 CRISTAL: Collection of resource-centric supporting tools and languages CEUR workshop proceedings
Ponencia2012 Defining process performance indicators by using templates and patterns BUSINESS PROCESS MANAGEMENT, BPM 2012
Ponencia2012 Introducing a Mashup-Based Approach for Design-Time Compliance Checking in Business Processes ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012
Ponencia2012 RAL: A High-Level User-Oriented Resource Assignment Language for Business Processes BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I
Ponencia2012 SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents ICSE Workshop on Principles of Engineering Service Oriented Systems
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 Automatic generation of a data-centered view of business processes Lecture Notes in Computer Science
Ponencia2011 Defining and Analysing Resource Assignments in Business Processes with RAL SERVICE-ORIENTED COMPUTING
Ponencia2011 Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS
Artículo2010 Automatic Service Agreement Negotiators in Open Commerce Environments INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE
Ponencia2010 Defining process performance indicators: An ontological approach ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT I
Ponencia2010 Using automated analysis of temporal-aware SLAs in logistics SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS
Ponencia2009 Explaining the non-compliance between templates and agreement offers in ws-agreement SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS
Ponencia2008 A Reference Architecture for Automated Negotiations of Service Agreements in Open and Dynamic Environments ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008 WORKSHOPS
Ponencia2008 An initial approach to explaining SLA inconsistencies SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS
Ponencia2008 Semantic discovery and selection: A QoS-aware, hybrid model Proceedings of the 2008 International Conference on Semantic Web and Web Services, SWWS 2008
Ponencia2007 A ES-Agreement Extension for Specifying Temporal Properties in SLAs Actas de las III Jornadas Científico-Técnicas en Servicios Web y SOA
Ponencia2007 An hybrid, QoS-Aware discovery of semantic web services using constraint programming SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS
Artículo2007 Designing and managing evolving systems using a MAS product line approach SCIENCE OF COMPUTER PROGRAMMING
Ponencia2007 Improving temporal-awareness of WS-agreement SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS
Ponencia2006 A conceptual framework for automated negotiation systems INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS
Ponencia2006 A software framework for automated negotiations of SLAs Fifth International Workshop on Practical Applications of Agents and Multiagent Systems (IWPAAMS'06): October 19-20, 2006, E. U. Informática - Segovia (Spain), U. of Valladolid : proceedings
Ponencia2006 An abstract architecture for service trading Fifth International Workshop on Practical Applications of Agents and Multiagent Systems (IWPAAMS'06): October 19-20, 2006, E. U. Informática - Segovia (Spain), U. of Valladolid : proceedings
Ponencia2006 An analysis of service trading architectures Lecture Notes in Computer Science
Artículo2006 Analysis of service trading architectures E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS
Artículo2006 HACIA UN PROCESO AUTOMATIZADO DE TRADING Novática
Ponencia2006 Towards automated service trading ICE-B 2006: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON E-BUSINESS
Capítulo2005 Towards a framework for a service-oriented automated negotiation 4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005
Capítulo2005 Towards multi-agent trading of web services 4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005
Capítulo2002 JAMES: Un Entorno Modular de Ayuda a la Enseñanza Simposio de Informática y Telecomunicaciones

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2020 31/12/2022 Responsable 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)
01/12/2022 31/08/2025 Responsable ORCHID: Impulsando la transformación digital en la administración pública mediante contratos inteligentes (TED2021-131023B-C22) Ministerio de Ciencia e Innovación (Nacional)
01/01/2019 30/09/2022 Responsable Optimización de Servicios Basados en Conocimiento Usando Aplicaciones Basadas en Servicios (RTI2018-101204-B-C22) Ministerio de Ciencia, Innovación y Universidades (Nacional)
01/01/2016 31/12/2019 Responsable Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R) Ministerio de Economía y Competitividad (Nacional)
01/01/2021 31/05/2023 Responsable MEMENTO: HerraMiEntas software para la colaboración y toma de decisiones en procesos basados en el conociMiENTO (US-1381595) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)
01/09/2022 31/08/2025 Responsable PERSEO: Mejorando la operación y mejora continua de procesos en servicios digitales por medio de la colaboración bot-humano (PID2021-126227NB-C21) Ministerio de Ciencia e Innovación (Nacional)
01/12/2022 31/08/2025 Investigador/a Sistema de gesTión de conformidAd mulTi-dominio basado en mashUpS (PDC2022-133521-I00) Ministerio de Ciencia e Innovación (Nacional)
01/05/2015 30/04/2019 Responsable Propelling Business Process Management by Research and Innovation Staff Exchante (RISE_BPM) (H2020-645751) Comisión Europea (Europeo)
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)
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)
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)
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)
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)
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/2019 30/09/2022 Responsable 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
30/03/2011 15/11/2011 Responsable UrbanHealth (P023-11/E15) Icinetic, Desarrollo Software Consultoría y Gestión Informática, SL (Desconocido)
26/02/2015 25/07/2016 Responsable PROSAS: Investigación y Desarrollo en el área de procesos de los Servicios Horizontales de Tecnologías de la Información y las Comunicaciones del Servicio (P015-15/E15) Accenture, S.L. (Desconocido)
30/10/2019 31/12/2021 Investigador/a GALIBO: Soporte en la elaboración de la propuesta Técnica para el Contrato de Servicios para la Integración y Normalización de los Sistemas de Información de la Consejería de Hacienda y Administración Pública (P040-19/E15) Everis Spain S.L. (Desconocido)
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 (Desconocido)
15/11/2015 01/03/2016 Investigador/a MARCOS: soporte en la investigación, desarrollo y soporte de arquitecturas MARCO orientada a Servicios para el Servicio Andaluz de Salud. (P062-15/E15) Accenture, S.L. (Desconocido)
21/11/2016 31/12/2017 Investigador/a GAUSS: Soporte en la elaboración de la propuesta técnica para el contrato de Servicios para la Integración y Normalización de los Sistemas de Información de (P117-16/E15) Everis Spain S.L. (Desconocido)
01/09/2008 28/02/2010 Investigador/a Alcuza: Desarrollo de un Entorno de Desarrollo Dirigido por Procesos acorde a CMMI (P030-08/E15) Cajasol (Desconocido)
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 (Desconocido)
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 (Desconocido)
27/09/2023 26/09/2024 Investigador/a EDIFIC-IA: Transferencia de resultados de I+D+i para la industrialización de procesos de edificación a través de la digitalización, automatización, inteligencia del dato e Inteligencia Artificial de INMOBILIARIA DEL SUR, S.A. (P031-23/E15) Inmobiliaria del Sur, S.A. (Desconocido)
01/03/2024 30/04/2025 Investigador/a ARG – INDUSTR-IA: Proyecto De Transferencia De I+D+I Para La Transformación Digital Y Optimización De La Producción Con Automatización E Inteligencia Artificial Generativa. (P008-24E15) Arg Bottling, S.L. (Desconocido)
31/08/2024 31/12/2025 Investigador/a CÁTEDRA DE INTELIGENCIA ARTIFICIAL US - GOOGLE (TSI-100930-2023-2) Ministerio de Asuntos Económicos y Transformación Digital (Local)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2023 31/12/2025 Investigador/a Unidad de Excelencia “María de Maeztu”. Smart Computer Systems Research and Engineering Lab. (QUAL21 008 USE) Junta de Andalucía (Consejería de Transformación Económica, Industria, Conocimiento y Universidades) (Autonómico)
01/03/2020 30/09/2021 Investigador/a ANA: Automatización del gobierno confiable de infraestructuras reguladas por Acuerdos de nivel de servicio (CEI-21) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)

Transferencia de Conocimiento

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
27/12/2021 30/04/2023 Investigador/a TIRSO – Trustworthy infrastructures regulated by service level objectives (PYC20 RE 084 US) Junta de Andalucía (Consejería de Economía, Conocimiento, Empresas y Universidad) (Autonómico)
El investigador no tiene ningún resultado de investigación asociado