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
392014
Diagnosing correctness of semantic workflow models
D Borrego, R Eshuis, MT Gómez-López, RM Gasca
Data & Knowledge Engineering 87, 167-184, 2013
262013
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
212005
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
182015
Data state description for the migration to activity-centric business process model maintaining legacy databases
MT Gómez-López, D Borrego, RM Gasca
International Conference on Business Information Systems, 86-97, 2014
112014
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
102009
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, 457-469, 2013
92013
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
82016
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
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
72011
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
72005
Improving the diagnosability of business process management systems using test points
D Borrego, MT Gómez-López, RM Gasca, R Ceballos
International Conference on Business Process Management, 194-200, 2010
62010
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
Contract-based diagnosis for business process instances using business compliance rules
D Borrego, RM Gasca, MT Gómez-López, L Parody
Proceedings of the 21st international workshop on principles of diagnosis …, 2010
62010
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
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
32013
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
32011
A constraint-based model for multi-objective repair planning
I Barba, C Del Valle, D Borrego
2009 IEEE Conference on Emerging Technologies & Factory Automation, 1-8, 2009
32009
Generación automática de datos de prueba mediante un enfoque que combina Búsqueda Dispersa y Búsqueda Local
R Blanco, J Tuya, B Adenso-Díaz, D Borrego, MT Gómez-López, ...
Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de …, 2008
32008
The system can't perform the operation now. Try again later.
Articles 1–20