Conformance checking and diagnosis for declarative business process models in data-aware scenarios D Borrego, I Barba Expert Systems with Applications 41 (11), 5340-5352, 2014 | 73 | 2014 |
Diagnosing correctness of semantic workflow models D Borrego, R Eshuis, MT Gómez-López, RM Gasca Data & Knowledge Engineering 87, 167-184, 2013 | 40 | 2013 |
Automating correctness verification of artifact-centric business process models D Borrego, RM Gasca, MT Gómez-López Information and Software Technology 62, 187-197, 2015 | 28 | 2015 |
Diagnosing errors in dbc programs using constraint programming R Ceballos, RM Gasca, C Del Valle, D Borrego Current Topics in Artificial Intelligence: 11th Conference of the Spanish …, 2006 | 24 | 2006 |
Data state description for the migration to activity-centric business process model maintaining legacy databases MT Gómez-López, D Borrego, RM Gasca Business Information Systems: 17th International Conference, BIS 2014 …, 2014 | 15 | 2014 |
Computing alignments with constraint programming: The acyclic case D Borrego, MT Gómez López, J Carmona Vargas, R Martínez Gasca Proceedings of the International Workshop on Algorithms & Theories for the …, 2016 | 14 | 2016 |
Choreography analysis for diagnosing faulty activities in business-tobusiness collaboration D Borrego, RM Gasca, MT Gómez-López, I Barba 20th International Workshop on Principles of Diagnosis, 171-178, 2009 | 13 | 2009 |
Constraint-driven approach to support input data decision-making in business process management systems MT Gómez-López, RM Gasca, L Parody, D Borrego Information Systems Development: Reflections, Challenges and New Directions …, 2013 | 11 | 2013 |
Contract-based diagnosis for business process instances using business compliance rules D Borrego, RM Gasca, L Parody Annual Conference of the PHM Society 2 (2), 2010 | 10 | 2010 |
Diagnosing distributed systems using only structural and qualitative information D Borrego, MT Gómez-López, RM Gasca International Transactions on Systems Science and Applications 4 (3), 270-276, 2008 | 9 | 2008 |
Feature models to boost the vulnerability management process ÁJ Varela-Vaca, D Borrego, MT Gómez-López, RM Gasca, AG Márquez Journal of Systems and Software 195, 111541, 2023 | 8 | 2023 |
Fault tolerance framework using model-based diagnosis: towards dependable business processes ÁJ Varela Vaca, R Martínez Gasca, D Borrego Núñez, S Pozo Hidalgo International Journal on Advances in Security, 4 (1-2), 11-22., 2011 | 8 | 2011 |
Towards dependable business processes with fault-tolerance approach AJ Varela-Vaca, RM Gasca, D Borrego, S Pozo 2010 Third International Conference on Dependability, 104-111, 2010 | 8 | 2010 |
Constraint satisfaction techniques for diagnosing errors in Design by Contract software R Ceballos, RM Gasca, D Borrego Proceedings of the 2005 conference on Specification and verification of …, 2005 | 8 | 2005 |
Improving the diagnosability of business process management systems using test points D Borrego, MT Gómez-López, RM Gasca, R Ceballos Business Process Management Workshops: BPM 2010 International Workshops and …, 2011 | 7 | 2011 |
Determination of an optimal test points allocation for business process analysis D Borrego, MT Gómez-López, RM Gasea, R Ceballos 2010 IEEE/IFIP Network Operations and Management Symposium Workshops, 159-160, 2010 | 6 | 2010 |
A usage control model extension for the verification of security policies in artifact-centric business process models ÁJ Varela-Vaca, D Borrego, MT Gómez-López, RM Gasca Business Information Systems: 19th International Conference, BIS 2016 …, 2016 | 5 | 2016 |
Minimizing test-point allocation to improve diagnosability in business process models D Borrego, MT Gómez-López, RM Gasca Journal of Systems and Software 86 (11), 2725-2741, 2013 | 5 | 2013 |
Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems D Borrego AI Communications 26 (4), 409-411, 2013 | 5 | 2013 |
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules R Ceballos, D Borrego, MT Gómez-López, RM Gasca Expert Systems with Applications 183, 115212, 2021 | 4 | 2021 |