Diana Borrego

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