DIANA BORREGO NUÑEZ

Categoría
Profesor Ayudante Doctor

Contacto

Teléfono
Correo electrónico
Área
Lenguajes y Sistema Informáticos

Investigación

Grupo de investigación

SISTEMAS INFORMATICOS (SISTEMAS INFORMATICOS)

Proyectos y contratos de investigación

TELMEDIA .MONITORIZACIÓN Y DETECCIÓN REMOTA DE DESVIACIONES EN TERAPIAS CON TÉCNICAS INTELIGENTES (SIN REFERENCIA - Investigador/a)
TECNICAS PARA LA DIAGNOSIS, CONFIABILIDAD Y OPTIMIZACION EN LOS SISTEMAS DE GESTION DE PROCESOS DE NEGOCIO (TIN2009-13714 - Investigador/a)
Enhancing Data Quality and Security for Improving Business Processes and Strategic Decisions in Cyber Physical Systems (ECLIPSE-US) (RTI2018-094283-B-C33 - Investigador/a)
Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies (P095-16/E08 - 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)
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)
SEQUOIA: SUPPORT INTELLIGENT DECISIONS FOR BUSINESS PROCESSES REQUIREMENTS BASED ON BIG DATA AND MULTIPLE INSTANCES (TIN2015-63502 - Investigador/a)

Libros publicados

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. 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. 978-84-691-1857-3

Capítulos en Libros

Borrego, Diana:
Diagnosing Business Processes. Springer. Springer. 2019.
Borrego, Diana;Gómez-López, Mª Teresa:
Diagnosing Business Processes. Pág. 389-408. Springer. Springer. 2019.

Asistencia 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;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
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:
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
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
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
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 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
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
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 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
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
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
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
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
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
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
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

Artículos publicados

Borrego, Diana;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael:
Prognosis of multiple instances in time-aware declarative business process models. 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. IEEE Transactions on Education. 2020. Pág. 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. Information and Software Technology. 2015. Vol: 62. Pág. 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. Expert Systems With Applications. 2014. Vol: 41. Núm: 11. Pág. 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. Data and Knowledge Engineering. 2013. Vol: 87. Pág. 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. International Journal On Advances in Security. 2011. Pág. 11-22.
Borrego, Diana;Gómez-López, Mª Teresa;Martínez-Gasca, Rafael:
DIAGNOSING DISTRIBUTED SYSTEMS USING ONLY STRUCTURAL AND QUALITATIVE INFORMATION. International Transactions on Systems Science and Applications. 2008. Pág. 270-276.
Ceballos-Guerrero, Rafael;Martínez-Gasca, Rafael;Borrego, Diana:
CONSTRAINT SATISFACTION TECHNIQUES FOR DIAGNOSING ERRORS IN DESIGN BY CONTRACT SOFTWARE. Software Engineering Notes. 2006. Pág. 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. Lecture Notes in Computer Science. 2006. Vol: 4177. Pág. 200-210.