BORREGO NÚÑEZ, DIANA

Perfil en ORCID: 0000-0002-7471-9208

Perfil en ResearcherID: K-9966-2014

Perfil en Scopus: 15041652800\

Perfil en Dialnet: 2550515

Grupos de Investigación

• Data-centric Computing Research Hub

Responsable de los siguientes proyectos/ayudas en la US

Participa los siguientes proyectos/ayudas en la US

Proyectos:

• Enhancing Data Quality and Security for Improving Business Processes and Strategic Decisions in Cyber Physical Systems (ECLIPSE-US) ( RTI2018-094283-B-C33 - Investigador/a).
• SEQUOIA: SUPPORT INTELLIGENT DECISIONS FOR BUSINESS PROCESSES REQUIREMENTS BASED ON BIG DATA AND MULTIPLE INSTANCES ( TIN2015-63502 - Investigador/a).
• Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances ( TIN2015-63502-C3-2-R - Investigador/a).
• TECNICAS PARA LA DIAGNOSIS, CONFIABILIDAD Y OPTIMIZACION EN LOS SISTEMAS DE GESTION DE PROCESOS DE NEGOCIO ( TIN2009-13714 - Investigador/a).
• AUTOMATIZACIÓN DE LA DETECCIÓN, DIAGNOSIS Y TOLERANCIA A FALLOS EN SISTEMAS CON INCERTIDUMBRE Y EN SISTEMAS DISTRIBUIDOS ( DPI2006-15476-C02-01 - Investigador/a).
• TELMEDIA .MONITORIZACIÓN Y DETECCIÓN REMOTA DE DESVIACIONES EN TERAPIAS CON TÉCNICAS INTELIGENTES ( SIN REFERENCIA - Investigador/a).
• OPBUS:MEJORA DE LA CALIDAD DE PROCESOS DE NEGOCIOS MEDIANTE TECNOLOGÍAS DE OPTIMIZACIÓN Y TOLERANCIA A FALLOS ( P08-TIC-4095 - Investigador/a).

Contratos:

• Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies ( P095-16/E08 - Investigador/a ).

Publicaciones

Libros:

• Cruz-Mata, Fermin, Borrego, Diana, De Acuña-Garrido, María Dolores, Ferrer-Troyano, Francisco Javier, García-Gutiérrez, Jorge, Mateos-García, Daniel, Pontes-Balanza, Beatriz, Reina-Quintero, Antonia María, Romero-Aleta, Rafael, Romero-Moreno, Luisa María, Rubio-Escudero, Cristina, Riquelme-Santos, José Cristóbal, González-Romano, José Mariano, Toro-Bonilla, Miguel, Nepomuceno-Chamorro, Isabel De Los Angeles, Nepomuceno-Chamorro, Juan Antonio, Fernandez-Montes-Gonzalez, Alejandro, Aumaitre-Del Rey, Adolfo Antonio, Bengoa-Díaz,Alfonso:
  INTRODUCCIÓN A LA PROGRAMACIÓN I. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES. 2008. ISBN 978-84-691-1856-6
• Riquelme-Santos, José Cristóbal, Borrego, Diana, De Acuña-Garrido, María Dolores, Ferrer-Troyano, Francisco Javier, García-Gutiérrez, Jorge, Mateos-García, Daniel, Pontes-Balanza, Beatriz, Reina-Quintero, Antonia María, Romero-Aleta, Rafael, Romero-Moreno, Luisa María, Rubio-Escudero, Cristina, Fernandez-Montes-Gonzalez, Alejandro, González-Romano, José Mariano, Toro-Bonilla, Miguel, Cruz-Mata, Fermin, Nepomuceno-Chamorro, Isabel De Los Angeles, Nepomuceno-Chamorro, Juan Antonio, Aumaitre-Del Rey, Adolfo Antonio, Bengoa-Díaz,Alfonso:
  INTRODUCCIÓN A LA PROGRAMACIÓN II. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES. 2008. ISBN 978-84-691-1857-3

Capítulo de Libros:

• Borrego, Diana:
  Diagnosing Business Processes. Pag. 389-408 - . 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. Pag. - 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. Vol. . Núm. . 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. Núm. . 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. Núm. . Pag. 167-184 10.1016/j.datak.2013.04.008
• 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. Vol. . Núm. . 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. Vol. . Núm. . Pag. 270-276
• 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. Vol. . Núm. . Pag. 41-52
• 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. Núm. . Pag. 200-210

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
• 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
• 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
• 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
• 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 (BPI 2010) () (.2010.NEW JERSEY (USA)). NEW JERSEY (USA). 2010
• 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 (3) (3.2010.VENICE, ITALY). VENICE, ITALY. 2010
• 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 (13) (13.2010.VALENCIA). . 2010
• 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 () (.2010.OSAKA, JAPÓN). OSAKA, JAPÓN. 2010
• 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 (ETFA2009) (14) (14.2009.MALLORCA, ESPAÑA). MALLORCA, ESPAÑA. 2009
• 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 () (.2009.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
• 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 (2) (2.1997.SAN SEBASTIÁN, ESPAÑA). SAN SEBASTIÁN, ESPAÑA. 2009
• 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 () (.2009.STOCKHOLM, SUECIA). STOCKHOLM, SUECIA. 2009
• 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 (ICINCO 2009) (6) (6.2009.MILÁN). MILÁN. 2009
• 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. (1) (1.2008.SEVILLA). . 2008
• 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 (13.2008.GIJON, ESPAÑA). GIJON, ESPAÑA. 2008
• 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 () (.2008.LISBOA (PORTUGAL)). LISBOA (PORTUGAL). 2008
• 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 (12.2007.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2007
• 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 (INADIS 2007) () (.2007.SALAMANCA (ESPAÑA)). SALAMANCA (ESPAÑA). 2007
• 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. (11) (11.2005.SANTIAGO DE COMPOSTELA). SANTIAGO DE COMPOSTELA. 2005
• 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 () (.2005.LISBON, PORTUGAL). LISBON, PORTUGAL. 2005