Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Diana Borrego Núñez


Diana Borrego Núñez
Email: Solicitar correo
Perfil en ORCID: 0000-0002-7471-9208
Perfil en ResearcherID: K-9966-2014
Perfil en Scopus: 15041652800
Perfil en Dialnet: 2550515

Grupo de Investigación: Data-Centric Computing Research Hub
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesora Ayudante Doctora

Responsable de los siguientes proyectos/ayudas en la US:

  • Ayuda a la investigación:
    • Estancia en la School of Industrial Engineering (Eindhoven University of Technology), Holanda (PP2010-05-115)

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • COPERNICA: Colaboración en procesos de negocio para el buen gobierno de servicios y datos compartidos (P20_01224 - Equipo de Investigación)
    • Aether-US:Una aproximación holística de smart data para el análisis de datos guiado por el contexto: procesos de negocio inteligentes (PID2020-112540RB-C44 - Equipo de Investigación)
    • Eclipse - Mejora de la Calidad de Datos y la Seguridad en Sistemas Ciberfísicos para Enriquecer los Procesos de Negocio y las Decisiones Estratégicas (RTI2018-094283-B-C33 - Equipo de Investigación)
    • Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances (TIN2015-63502-C3-2-R - Equipo de Investigación (Alta/Baja))
    • Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714 - Investigador)
    • Opbus: Mejora de la Calidad de Procesos de Negocios Mediante Tecnologías de Optimización y Tolerancia a Fallos (P08-TIC-04095 - Otro Investigador)
    • Automatización de la detección, diagnosis y tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos (DPI2006-15476-C02-01 - Otro)

  • Contrato con empresas (Arts. 68/83 LOU):
    • Troubleshooting para Sistemas Ciberfísicos (P033-19/E08 - Investigador)
    • Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies (P095-16/E08 - Investigador)

  • Transferencia de Conocimiento:
    • SocietySoft-Transferencia de herramientas, políticas y principios para la creación de software de calidad para la sociedad digital (AT17_5904_USE - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-134 (2017/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2011/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2010/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2009/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2008/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2007/TIC-134 - Investigador)

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


Publicaciones:

Libros
Riquelme Santos, José Cristóbal, Borrego, Diana, Fernandez-Montes Gonzalez, Alejandro, González Romano, José Mariano, Toro Bonilla, Miguel, et. al.:
Introducción a la Programación II. Sevilla,. Universidad de Sevilla. Secretariado de Publicaciones. 2008. ISBN 978-84-691-1857-3

Cruz Mata, Fermin, Borrego, Diana, Riquelme Santos, José Cristóbal, González Romano, José Mariano, Toro Bonilla, Miguel, et. al.:
Introducción a la Programación I. Sevilla,. Universidad de Sevilla. Secretariado de Publicaciones. 2008. ISBN 978-84-691-1856-6

Capítulos en Libros
Borrego, Diana:
Diagnosing Business Processes. En: Fault Diagnosis of Dynamic Systems. Springer. 2019. ISBN 978-3-030-17728-7

Borrego, Diana, Gómez López, Mª Teresa:
Diagnosing Business Processes. Pag. 389-408. En: Fault Diagnosis of Dynamic Systems. Springer. 2019. ISBN 978-3-030-17728-7

Publicaciones en Revistas
Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
Prognosis of multiple instances in time-aware declarative business process models. En: Computers in Industry. 2020. Vol. 120. Núm. 103243. 10.1016/j.compind.2020.103243

Borrego, Diana, Galindo Duarte, José Ángel, David Benavides:
Empirical evidence of the usage of programming languages in the educational process. En: IEEE Transactions on Education. 2020. Pag. 1-10. 10.1109/Te.2020.3030588

Borrego, Diana, Martínez Gasca, Rafael, Gómez López, Mª Teresa:
Automating correctness verification of artifact-centric business process models. En: Information and Software Technology. 2015. Vol. 62. Pag. 187-197. 10.1016/j.infsof.2015.02.010

Borrego, Diana, Barba Rodríguez, Irene:
Conformance checking and diagnosis for declarative business process models in data-aware scenarios. En: Expert Systems With Applications. 2014. Vol. 41. Núm. 11. Pag. 5340-5352. 10.1016/j.eswa.2014.03.010

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
Diagnosing correctness of semantic workflow models. En: Data and Knowledge Engineering. 2013. Vol. 87. Pag. 167-184. 10.1016/j.datak.2013.04.008

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
Minimizing test-point allocation to improve diagnosability in business process models. 2013. Vol. 86. Núm. 11. Pag. 2725-2741. 10.1016/j.jss.2013.05.105

Borrego, Diana:
Diagnostic Reasoning with Structural Analysis and Constraint Programming for Quality Improvement of Business Process Management Systems. 2013. Vol. 26. Núm. 4. Pag. 409-411. 10.3233/Aic-130568

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Borrego, Diana, Pozo Hidalgo, Sergio:
Fault Tolerance Framework Using Model-Based Diagnosis: Towards Dependable Business Processes. En: International Journal On Advances in Security. 2011. Pag. 11-22

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
Diagnosing Distributed Systems Using Only Structural and Qualitative Information. En: International Transactions on Systems Science and Applications. 2008. Pag. 270-276

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Borrego Núñez, Diana:
Diagnosing Errors in Dbc Programs Using Constraint Programming. En: Lecture Notes in Computer Science. 2006. Vol. 4177. Pag. 200-210

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Borrego, Diana:
Constraint Satisfaction Techniques for Diagnosing Errors in Design by Contract Software. En: Software Engineering Notes. 2006. Pag. 41-52

Aportaciones a Congresos
Borrego, Diana, Barba Rodríguez, Irene, Toro Bonilla, Miguel, Del Valle Sevillano, Carmelo:
Problem Generalization for Designing Recursive Algorithms. Comunicación en congreso. 11th International Conference on EUropean Transnational Educational. Burgos. 2020

Varela Vaca, Ángel Jesús, Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
A usage control model extension for the verification of security policies in artifact-centric business process models. Comunicación en congreso. 19th international conference Business Information Systems. Leipzig - Alemania. 2016

Gómez López, Mª Teresa, Borrego, Diana, Carmona, Josep, Martínez Gasca, Rafael:
Computing Alignments with Constraint Programming: The Acyclic Case. Comunicación en congreso. International Workshop on Algorithms & Theories for the Analysis of Event Data. Torun, Poland. 2016

Ceballos Guerrero, Rafael, Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
Hybrid Diagnosis Applied to Multiple Instances in Business Processes. Comunicación en congreso. Business Process Modeling, Development, and Support. Ljubljana, Slovenia. 2016

Gómez López, Mª Teresa, Borrego, Diana, Martínez Gasca, Rafael:
Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases. Comunicación en congreso. 17th International Conference on Business Information Systems. Larnaca, Chipre. 2014

Borrego, Diana, Barba Rodríguez, Irene, Abad Herrera, Pedro J.:
Data-Aware Conformance Checking for Declarative Business Process Models. Comunicación en congreso. 22nd International Conference on Information Systems Development (ISD2013), Sevilla, Spain, September 2-4, 2013. Departamento de Lenguajes y Sistemas Informáticos, ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA DE LA UNIVERSIDAD DE SEVILLA., Sevilla, España. 2013

Parody Núñez, Maria Luisa, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Borrego, Diana:
USING DISTRIBUTED CSPs TO MODEL BUSINESS PROCESSES AGREEMENT IN SOFTWARE MULTIPROCESS. Poster en Congreso. 3rd International Conference on Agents and Artificial .. Roma, Italia. 2011

Gómez López, Mª Teresa, Martínez Gasca, Rafael, Parody Núñez, Maria Luisa, Borrego, Diana:
Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems. Comunicación en congreso. 20th International Conference on Information Systems Development (ISD 2011). Edimburgo, Reino Unido. 2011

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Parody Núñez, Maria Luisa:
Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones. Ponencia en Taller de trabajo. Jornadas de Ingeniería del Software y Bases de Datos. 2010. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos. 23. 34

Borrego, Diana, Martínez Gasca, Rafael, Gómez López, Mª Teresa, Parody Núñez, Maria Luisa:
Contract-Based Diagnosis for Business Process Instances Using Business Compliance Rules. Comunicación en congreso. (Dx-10) 21st International Workshop on Principles of Diagnosis (21) (21.2010.portland, USA. Portland, USA. 2010. Proceedings of the 21st International Workshop on Principles of Diagnosis. 169. 176

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Ceballos Guerrero, Rafael:
Improving the Diagnosability of Business Process Management Systems Using Test Points. Conferencia Congreso no publicada. 6th Workshop on Business Process Intelligence. New Jersey (USA). 2010. 6th International Workshop on Business Process Intelligence. 00. 00

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Borrego, Diana, Pozo Hidalgo, Sergio:
Towards Dependable Business Processes With Fault-Tolerance Approach. Comunicación en congreso. Third International Conference on Dependability. Venice, Italy. 2010. 2010 Third International Conference on Dependability (Depend 2010). 104. 111

Parody Núñez, Maria Luisa, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Borrego, Diana:
Resolución de Acuerdos en Procesos de Negocio para Multiproceso Software Usando Programación con Restricciones Distribuidas. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. 2010. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos. 53. 64

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Ceballos Guerrero, Rafael:
Determination of an Optimal Test Points Allocation for Business Process Analysis. Comunicación en congreso. Workshop on Business Driven It Management. Osaka, Japón. 2010. 2010 IEEE/Ifip Network Operations and Management Symposium Workshops. 159. 160

Barba Rodríguez, Irene, Valle Sevillano, Carmelo del, Borrego, Diana:
Pddl Specification for Multi-Objective Repair Planning. Ponencia en Taller de trabajo. CAEPIA-TTIA Conference. 2009. Actas de la CAEPIA-TTIA 2009. 21. 33

Barba Rodríguez, Irene, Valle Sevillano, Carmelo del, Borrego, Diana:
A Constraint-Based Model for Multi-Objective Repair Planning. Comunicación en congreso. 14th IEEE International Conference on Emerging Technologies and Factory Automation. Mallorca, España. 2009. In 14th International Conference on Emerging Technologies and Factory Automation, ETFA 2009. 1. 12

Gómez López, Mª Teresa, Martínez Gasca, Rafael, Borrego, Diana:
Una Propuesta Usando Restricciones para la Toma de Decisiones en la Tolerancia a Fallos en Procesos de Negocio. Comunicación en congreso. Adis'09 IX Taller de Apoyo a la Decisión en Ingeniería del Software. San Sebastián, España. 2009. Actas de la IX Taller de Apoyo a la Decisión en Ingeniería del Software (Adis). 62. 72

Barba Rodríguez, Irene, Valle Sevillano, Carmelo del, Borrego, Diana:
A Constraint-Based Job-Shop Scheduling Model for Software Development Planning. Comunicación en congreso. Jornadas de Ingeniería del Software. San Sebastián, España. 2009. (JISBD 2009)-Adis 2009:IX Taller de Apoyo a la Decisión en Ingeniería del Software (Año:2009, Difusión: Internacional). 1. 12

Borrego, Diana, Martínez Gasca, Rafael, Gómez López, Mª Teresa, Barba Rodríguez, Irene:
Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration. Poster en Congreso. Dx-09. Stockholm, Suecia. 2009. Dx-09 20th International Workshop on Principles of Diagnosis. 171. 178

Barba Rodríguez, Irene, Valle Sevillano, Carmelo del, Borrego, Diana:
A Multiobjective Constraint Optimization Model for Multimode Repair Plans. Poster en Congreso. International Conference on Informatics in Control, Automation and Robotics. Milán. 2009. Proceedings 6th International Conference on Informatics in Control, Automation and Robotics (Icinco 2009). 355. 358

Barba Rodríguez, Irene, Borrego, Diana, Pozo Hidalgo, Sergio, Valle Sevillano, Carmelo del:
Nuevas Propuestas Sobre Evaluación Alternativa para las Asignaturas de Programación en las Ingenierías en Informática. Comunicación en congreso. I Congreso Internacional de Profesorado Principiante e Inserción Profesional a la Docencia. 2008. Actas del I Congreso Internacional de Profesorado Principiante e Inserción Profesional a la Docencia. 0. 0

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Barba Rodríguez, Irene:
Diagnosing Business Processes Execution Using Choreography Analysis. Comunicación en congreso. Jornadas de Ingeniería del Software y Bases de Datos. Gijon, España. 2008. Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de Datos, Vol. 2, No. 3, 2008. 13. 24

Barba Rodríguez, Irene, Valle Sevillano, Carmelo del, Borrego, Diana:
A Job-Shop Scheduling Model for Constraint-Based Local Search. Comunicación en congreso. Workshop on Planning, Scheduling and Constraint Satisfaction. Lisboa (Portugal). 2008. Pscs'08: Iberamia 2008 Workshop on Planning, Scheduling and Constraint Satisfaction. 7. 18

Barba Rodríguez, Irene, Borrego, Diana, Valle Sevillano, Carmelo del, Martínez Gasca, Rafael:
Inferencia de Crónicas Temporales con Programación Lógica Inductiva para Predicción de Evoluciones. Ponencia en Congreso. Congreso de la Asociación Española para la Inteligencia Artificial. Salamanca, España. 2007. XII Congreso de la Asociación Española para la Inteligencia Artificial: CAEPIA 2007. 347. 356

Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
Supervised and Distributed Model-Based Diagnosis. Comunicación en congreso. II Workshop on Industrial Applications of Distributed Systems. Salamanca (España). 2007. II Workshop on Industrial Applications of Distributed Intelligent Systems - Inadis 2007. 23. 32

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Borrego, Diana:
Constraint Satisfaction Techniques for Diagnosing Errors in Design by Contract Software. Comunicación en congreso. Specification and Verification of Component-Based Systems Workshop. Esec/Fse'05. Lisbon, Portugal. 2005. Specification and Verification of Component-Based Systems Workshop. Esec/Fse'05. 79. 82

Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Valle Sevillano, Carmelo del, Borrego, Diana:
Diagnosing Errors in Dbc Programs Using Constraint Programming. Comunicación en congreso. CAEPIA 2005. XI Conferencia de la Asociación Española para la Inteligencia Artificial. Santiago de Compostela. 2005

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