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 | 60 | 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 | 38 | 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 | 26 | 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 | 23 | 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 | 16 | 2014 |
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 |
Computing alignments with constraint programming: The acyclic case MT Gómez López, D Borrego Núñez, J Carmona, R Martínez Gasca ATAED 2016: International Workshop on Algorithms and Theories for the …, 2016 | 12 | 2016 |
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 | 12 | 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 | 9 | 2010 |
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 |
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 | 8 | 2008 |
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 |
Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess. L Parody, MTG López, RM Gasca, D Borrego ICAART (2), 434-438, 2011 | 4 | 2011 |
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 | 3 | 2021 |