Personal information

Verified email domains

Spain

Activities

Employment (1)

Universidad de Sevilla: Seville, Andalucía, ES

2006-10-01 to present | Lecturer (Lenguajes y Sistemas Informáticos)
Employment
Source: Self-asserted source
Diana Borrego

Education and qualifications (1)

Universidad de Sevilla: Seville, Andalucía, ES

2007-02-15 to 2012-12-19 | PhD (Lenguajes y Sistemas Informáticos)
Education
Source: Self-asserted source
Diana Borrego

Works (22)

DPGraphJ: A Java package for the implementation of dynamic programming algorithms

SoftwareX
2024-12 | Journal article
Contributors: Diana Borrego; Irene Barba; Carmelo Del Valle; Miguel Toro
Source: check_circle
Crossref

Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing

IEEE Access
2021 | Journal article
Contributors: Belen Ramos-Gutierrez; Maria Teresa Gomez-Lopez; Diana Borrego; Rafael Ceballos; Rafael M. Gasca; Antonio Barea
Source: check_circle
Crossref

Empirical Evidence of the Usage of Programming Languages in the Educational Process

IEEE Transactions on Education
2021-08 | Journal article
Contributors: Mariuxi Vinueza-Morales; Diana Borrego; Jose A. Galindo; David Benavides
Source: check_circle
Crossref

Conformance checking and diagnosis for declarative business process models in data-aware scenarios

2014 | Journal article
DOI:

10.1016/j.eswa.2014.03.010

EID:

2-s2.0-84898458936

Contributors: Borrego, D.; Barba, I.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Data state description for the migration to activity-centric business process model maintaining legacy databases

2014 | Book
DOI:

10.1007/978-3-319-06695-0

EID:

2-s2.0-84904561924

Contributors: Gómez-López, M.T.; Borrego, D.; Gasca, R.M.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases

Business Information Systems
2014 | Other
DOI:

10.1007/978-3-319-06695-0_8

ISBN:

978-3-319-06694-3

ISSN:

1865-1348

Contributors: María Teresa Gómez-López; Diana Borrego; Rafael M. Gasca
Source: Self-asserted source
Diana Borrego via Crossref Metadata Search

Data-Aware Conformance Checking for Declarative Business Process Models

Information System Development
2014 | Other
DOI:

10.1007/978-3-319-07215-9_22

ISBN:

978-3-319-07214-2

Contributors: Diana Borrego; Irene Barba; Pedro Abad
Source: Self-asserted source
Diana Borrego via Crossref Metadata Search

Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems

Information Systems Development
2013 | Other
DOI:

10.1007/978-1-4614-4951-5_37

ISBN:

978-1-4614-4950-8

Contributors: María Teresa Gómez-López; Rafael M. Gasca; Luisa Parody; Diana Borrego
Source: Self-asserted source
Diana Borrego via Crossref Metadata Search

Diagnosing correctness of semantic workflow models

2013 | Journal article
DOI:

10.1016/j.datak.2013.04.008

EID:

2-s2.0-84884979158

Contributors: Borrego, D.; Eshuis, R.; Gómez-López, M.T.; Gasca, R.M.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems

2013 | Journal article
DOI:

10.3233/AIC-130568

EID:

2-s2.0-84884568304

Contributors: Borrego, D.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Minimizing test-point allocation to improve diagnosability in business process models

2013 | Journal article
DOI:

10.1016/j.jss.2013.05.105

EID:

2-s2.0-84884126868

Contributors: Borrego, D.; Gómez-López, M.T.; Gasca, R.M.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Improving the diagnosability of business process management systems using test points

2011 | Book
DOI:

10.1007/978-3-642-20511-8_17

EID:

2-s2.0-79957516580

Contributors: Borrego, D.; Gómez-López, M.T.; Gasca, R.M.; Ceballos, R.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Using distributed CSPs to model business processes agreement in software multiprocess

2011 | Conference paper
EID:

2-s2.0-79960144947

Contributors: Parody, L.; Gómez-López, M.T.; Gasca, R.M.; Borrego, D.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Determination of an optimal test points allocation for business process analysis

2010 | Conference paper
DOI:

10.1109/NOMSW.2010.5486584

EID:

2-s2.0-77957907993

Contributors: Borrego, D.; Gómez-López, M.T.; Gasca, R.M.; Ceballos, R.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier
grade
Preferred source (of 2)‎

Towards dependable business processes with fault-tolerance approach

2010 | Conference paper
DOI:

10.1109/DEPEND.2010.24

EID:

2-s2.0-77958017229

Contributors: Varela-Vaca, A.J.; Gasca, R.M.; Borrego, D.; Pozo, S.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier
grade
Preferred source (of 2)‎

A constraint-based job-shop scheduling model for software development planning

2009 | Conference paper
EID:

2-s2.0-84873942627

Contributors: Barba, I.; Del Valle, C.; Borrego, D.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

A constraint-based model for multi-objective repair planning

2009 | Conference paper
DOI:

10.1109/ETFA.2009.5347038

EID:

2-s2.0-77949903822

Contributors: Barba, I.; Del Valle, C.; Borrego, D.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

A multiobjective constraint optimization model for multimode repair plans

2009 | Conference paper
EID:

2-s2.0-74549141848

Contributors: Barba, I.; Del Valle, C.; Borrego, D.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Diagnosing business processes execution using choreography analysis

2008 | Conference paper
EID:

2-s2.0-84874048892

Contributors: Borrego, D.; Gómez-López, M.T.; Gasca, R.M.; Barba, I.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Diagnosing errors in DbC programs using constraint programming

2006 | Book
EID:

2-s2.0-33750260399

Contributors: Ceballos, R.; Gasca, R.M.; Del Valle, C.; Borrego, D.
Source: Self-asserted source
Diana Borrego via Scopus - Elsevier

Constraint satisfaction techniques for diagnosing errors in design by contract software

SIGSOFT Softw. Eng. Notes
2006-03-01 | Journal article
DOI:

10.1145/1118537.1123070

Part of ISSN:

0163-5948

Contributors: Rafael Ceballos; Rafael Martinez Gasca; Diana Borrego
Source: Self-asserted source
Diana Borrego via Crossref Metadata Search

Constraint satisfaction techniques for diagnosing errors in design by contract software

Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05
2005 | Conference paper
DOI:

10.1145/1123058.1123070

Part of ISBN:

1595933719

Contributors: Rafael Ceballos; Rafael Martinez Gasca; Diana Borrego
Source: Self-asserted source
Diana Borrego via Crossref Metadata Search