Diana Borrego

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 10

Top Topics

Constraint Programming

Structural Analysis

Business Process

Top Venues

J. Syst. Softw.

Expert Syst. Appl.

Inf. Softw. Technol.

Publications

Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez López, Rafael M. Gasca, A. Germán Márquez
Feature models to boost the vulnerability management process. J. Syst. Softw. 195 (2023)
Belén Ramos-Gutiérrez, María Teresa Gómez López, Diana Borrego, Rafael Ceballos, Rafael M. Gasca, Antonio Barea
Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing. IEEE Access 9 (2021)
Mariuxi Vinueza-Morales, Diana Borrego, José A. Galindo, David Benavides
Empirical Evidence of the Usage of Programming Languages in the Educational Process. IEEE Trans. Educ. 64 (3) (2021)
Rafael Ceballos, Diana Borrego, María Teresa Gómez López, Rafael M. Gasca
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules. Expert Syst. Appl. 183 (2021)
Diana Borrego, María Teresa Gómez López, Rafael M. Gasca
Prognosis of multiple instances in time-aware declarative business process models. Comput. Ind. 120 (2020)
Diana Borrego, Irene Barba, Miguel Toro, Carmelo Del Valle
Problem Generalization for Designing Recursive Algorithms. ICEUTE (2020)
Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez López, Rafael M. Gasca
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models. BIS (2016)
María Teresa Gómez López, Diana Borrego, Josep Carmona, Rafael M. Gasca
Computing Alignments with Constraint Programming: The Acyclic Case. ATAED@Petri Nets/ACSD (2016)
Rafael Ceballos, Diana Borrego, María Teresa Gómez López, Rafael M. Gasca
Hybrid Diagnosis Applied to Multiple Instances in Business Processes. BMMDS/EMMSAD (2016)
Diana Borrego, Rafael M. Gasca, María Teresa Gómez López
Automating correctness verification of artifact-centric business process models. Inf. Softw. Technol. 62 (2015)
Diana Borrego, Irene Barba
Conformance checking and diagnosis for declarative business process models in data-aware scenarios. Expert Syst. Appl. 41 (11) (2014)
María Teresa Gómez López, Diana Borrego, Rafael M. Gasca
Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases. BIS (2014)
Diana Borrego
Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems. AI Commun. 26 (4) (2013)
Diana Borrego, Irene Barba, Pedro Abad
Data-Aware Conformance Checking for Declarative Business Process Models. ISD (2013)
Diana Borrego, María Teresa Gómez López, Rafael M. Gasca
Minimizing test-point allocation to improve diagnosability in business process models. J. Syst. Softw. 86 (11) (2013)
Diana Borrego, Rik Eshuis, María Teresa Gómez López, Rafael M. Gasca
Diagnosing correctness of semantic workflow models. Data Knowl. Eng. 87 (2013)
María Teresa Gómez López, Rafael M. Gasca, Luisa Parody, Diana Borrego
Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems. ISD (2011)
Luisa Parody, María Teresa Gómez López, Rafael M. Gasca, Diana Borrego
Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess. ICAART (2) (2011)
Diana Borrego, María Teresa Gómez López, Rafael M. Gasca, Rafael Ceballos
Improving the Diagnosability of Business Process Management Systems Using Test Points. Business Process Management Workshops (2010)
Irene Barba, Carmelo Del Valle, Diana Borrego
A Constraint-based Model for Multi-objective Repair Planning. ETFA (2009)
Irene Barba, Carmelo Del Valle, Diana Borrego
A Multiobjective Constraint Optimization Model for Multimode Repair Plans. ICINCO-ICSO (2009)
Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego
Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego
Constraint satisfaction techniques for diagnosing errors in design by contract software. SAVCBS@ESEC/FSE (2005)
Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego
Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA (2005)