| 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 | 72 | 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 | 35 | 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 | 25 | 2015 |
| Diagnosing errors in dbc programs using constraint programming R Ceballos, RM Gasca, C Del Valle, D Borrego Conference of the Spanish Association for Artificial Intelligence, 200-210, 2005 | 24 | 2005 |
| 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 |
| 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 | 14 | 2014 |
| 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 | 9 | 2023 |
| 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 | 9 | 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 | 8 | 2013 |
| 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 |
| 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 | 7 | 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 | 7 | 2008 |
| Fault tolerance framework using model-based diagnosis: towards dependable business processes AJ Varela-Vaca, RM Gasca, D Borrego, S Pozo International Journal on Advances in Security Volume 4, Number 1 & 2, 2011, 2011 | 6 | 2011 |
| 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 | 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 |
| 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 | 5 | 2010 |
| 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 | 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 |
| Empirical evidence of the usage of programming languages in the educational process M Vinueza-Morales, D Borrego, JA Galindo, D Benavides IEEE Transactions on Education 64 (3), 213-222, 2020 | 3 | 2020 |
M. Teresa Gómez LópezCatedrática de Universidad. Universidad de SevillaEmail được xác minh tại us.es