Directorio
DIANA BORREGO NUÑEZ
Categoría
Profesor Contratado Doctor
Departamento
Área
Lenguajes y Sistema Informáticos
Docencia
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)
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)
OPBUS:MEJORA DE LA CALIDAD DE PROCESOS DE NEGOCIOS MEDIANTE TECNOLOGÍAS DE OPTIMIZACIÓN Y TOLERANCIA A FALLOS (P08-TIC-4095 - 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)
Libros publicados
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
INTRODUCCIÓN A LA PROGRAMACIÓN II. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES. 2008. 978-84-691-1857-3
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
INTRODUCCIÓN A LA PROGRAMACIÓN I. UNIVERSIDAD DE SEVILLA. SECRETARIADO DE PUBLICACIONES. 2008. 978-84-691-1856-6
Capítulos en Libros
Borrego, Diana:
Diagnosing Business Processes. Springer. Springer. 2019.
Diagnosing Business Processes. Springer. Springer. 2019.
Borrego, Diana;Gómez-López, Mª Teresa:
Diagnosing Business Processes. Pág. 389-408. Springer. Springer. 2019.
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
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
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
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
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;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
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
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
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
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
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
USING DISTRIBUTED CSPs TO MODEL BUSINESS PROCESSES AGREEMENT IN SOFTWARE MULTIPROCESS. Poster en Congreso. 3rd International Conference on Agents and Artificial .... ROMA, ITALIA. 2011
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
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
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
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
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
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
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
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
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
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
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
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
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;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
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
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
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;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
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
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;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
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
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;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.
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;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.
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;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.
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.
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.
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.
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.
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.
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.
DIAGNOSING ERRORS IN DBC PROGRAMS USING CONSTRAINT PROGRAMMING. Lecture Notes in Computer Science. 2006. Vol: 4177. Pág. 200-210.
