Diagnosing Errors in DbC Programs Using Constraint Programming. - Rafael Ceballos; Rafael M. Gasca; Carmelo Del Valle; Diana Borrego (CAEPIA, 2005)

Constraint satisfaction techniques for diagnosing errors in design by contract software. - Rafael Ceballos; Rafael Martinez Gasca; Diana Borrego (ACM SIGSOFT Softw. Eng. Notes, 2006)

A Constraint-based Model for Multi-objective Repair Planning. - Irene Barba 001; Carmelo Del Valle; Diana Borrego (ETFA, 2009)

A Multiobjective Constraint Optimization Model for Multimode Repair Plans. - Irene Barba 001; Carmelo Del Valle; Diana Borrego (ICINCO-ICSO, 2009)

Improving the Diagnosability of Business Process Management Systems Using Test Points. - Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca; Rafael Ceballos (Business Process Management Workshops, 2010)

Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess. - Luisa Parody; María Teresa Gómez-López; Rafael M. Gasca; Diana Borrego (ICAART (2), 2011)

Constraint-Driven Approach to Support Input Data Decision-Making in Business Process Management Systems. - María Teresa Gómez-López; Rafael M. Gasca; Luisa Parody; Diana Borrego (ISD, 2011)

Data-Aware Conformance Checking for Declarative Business Process Models. - Diana Borrego; Irene Barba 001; Pedro J. Abad (ISD, 2013)

Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems. - Diana Borrego (AI Commun., 2013)

Diagnosing correctness of semantic workflow models. - Diana Borrego; Rik Eshuis; María Teresa Gómez-López; Rafael M. Gasca (Data Knowl. Eng., 2013)

Minimizing test-point allocation to improve diagnosability in business process models. - Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (J. Syst. Softw., 2013)

Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases. - María Teresa Gómez-López; Diana Borrego; Rafael M. Gasca (BIS, 2014)

Conformance checking and diagnosis for declarative business process models in data-aware scenarios. - Diana Borrego; Irene Barba 001 (Expert Syst. Appl., 2014)

Automating correctness verification of artifact-centric business process models. - Diana Borrego; Rafael M. Gasca; María Teresa Gómez-López (Inf. Softw. Technol., 2015)

Computing Alignments with Constraint Programming: The Acyclic Case. - María Teresa Gómez-López; Diana Borrego; Josep Carmona 001; Rafael M. Gasca (ATAED@Petri Nets/ACSD, 2016)

A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models. - Ángel Jesús Varela-Vaca; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (BIS, 2016)

Hybrid Diagnosis Applied to Multiple Instances in Business Processes. - Rafael Ceballos; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (BMMDS/EMMSAD, 2016)

Problem Generalization for Designing Recursive Algorithms. - Diana Borrego; Irene Barba 001; Miguel Toro; Carmelo Del Valle (ICEUTE, 2020)

Prognosis of multiple instances in time-aware declarative business process models. - Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (Comput. Ind., 2020)

Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing. - Belén Ramos-Gutiérrez; María Teresa Gómez-López; Diana Borrego; Rafael Ceballos; Rafael M. Gasca; Antonio Barea (IEEE Access, 2021)

Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules. - Rafael Ceballos; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca (Expert Syst. Appl., 2021)

Empirical Evidence of the Usage of Programming Languages in the Educational Process. - Mariuxi Vinueza-Morales; Diana Borrego; José A. Galindo; David Benavides 001 (IEEE Trans. Educ., 2021)

Feature models to boost the vulnerability management process. - Ángel Jesús Varela-Vaca; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca; Antonio Germán Márquez (J. Syst. Softw., 2023)

DPGraphJ: A Java package for the implementation of dynamic programming algorithms. - Diana Borrego; Irene Barba 001; Carmelo Del Valle; Miguel Toro (SoftwareX, 2024)

Optimising secure and sustainable smart home configurations. - Daniel Muñoz-Heredia; Ángel Jesús Varela-Vaca; Diana Borrego; María Teresa Gómez-López (Internet Things, 2025)

Informed decision-making in prioritising product variants. - Diana Borrego; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Rafael M. Gasca (PeerJ Comput. Sci., 2025)