Diana Borrego

According to our database, Diana Borrego authored at least 23 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, A. Germán Márquez

J. Syst. Softw., 2023

2021

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

Mariuxi Vinueza-Morales, Diana Borrego, José A. Galindo, David Benavides

IEEE Trans. Educ., 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

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

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

Problem Generalization for Designing Recursive Algorithms.

Diana Borrego, Irene Barba, Miguel Toro, Carmelo Del Valle

Proceedings of the 11th International Conference on EUropean Transnational Educational, 2020

2016

Hybrid Diagnosis Applied to Multiple Instances in Business Processes.

Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 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

Proceedings of the Business Information Systems - 19th International Conference, 2016

Computing Alignments with Constraint Programming: The Acyclic Case.

María Teresa Gómez-López, Diana Borrego, Josep Carmona, Rafael M. Gasca

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016

2015

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

2014

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

Diana Borrego, Irene Barba

Expert Syst. Appl., 2014

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

Proceedings of the Business Information Systems - 17th International Conference, 2014

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

Diagnosing correctness of semantic workflow models.

Diana Borrego, Rik Eshuis, María Teresa Gómez-López, Rafael M. Gasca

Data Knowl. Eng., 2013

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

Diana Borrego

AI Commun., 2013

Data-Aware Conformance Checking for Declarative Business Process Models.

Diana Borrego, Irene Barba, Pedro J. Abad

Proceedings of the Information System Development, 2013

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

Proceedings of the Information Systems Development, Reflections, Challenges and New Directions [Proceedings of ISD 2011, Heriot-Watt University, Edinburgh, Scotland, UK, August 24, 2011

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

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2, 2011

2010

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

Proceedings of the Business Process Management Workshops, 2010

2009

A Multiobjective Constraint Optimization Model for Multimode Repair Plans.

Irene Barba, Carmelo Del Valle, Diana Borrego

Proceedings of the ICINCO 2009, 2009

A Constraint-based Model for Multi-objective Repair Planning.

Irene Barba, Carmelo Del Valle, Diana Borrego

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2006

Constraint satisfaction techniques for diagnosing errors in design by contract software.

Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego

ACM SIGSOFT Softw. Eng. Notes, 2006

2005

Diagnosing Errors in DbC Programs Using Constraint Programming.

Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego

Proceedings of the Current Topics in Artificial Intelligence, 2005