Follow
Diana Borrego
Title
Cited by
Cited by
Year
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
632014
Diagnosing correctness of semantic workflow models
D Borrego, R Eshuis, MT Gómez-López, RM Gasca
Data & Knowledge Engineering 87, 167-184, 2013
392013
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
262015
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
242006
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
162014
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
132016
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
132009
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
122013
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
102010
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
82011
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
82010
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
82008
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
82005
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
72011
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
62010
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
52016
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
52013
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
52013
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
42023
Using distributed csps to model business processes agreement in software multiprocess
L Parody, MT Gómez-López, RM Gasca, D Borrego
International Conference on Agents and Artificial Intelligence 2, 434-438, 2011
42011
The system can't perform the operation now. Try again later.
Articles 1–20