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
612014
Diagnosing correctness of semantic workflow models
D Borrego, R Eshuis, MT Gómez-López, RM Gasca
Data & Knowledge Engineering 87, 167-184, 2013
362013
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
252015
Diagnosing errors in dbc programs using constraint programming
R Ceballos, RM Gasca, CD Valle, D Borrego
Conference of the Spanish Association for Artificial Intelligence, 200-210, 2005
242005
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
162014
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
122016
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
122013
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
122009
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
92010
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
92008
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
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
International Conference on Business Process Management, 194-200, 2010
72010
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
International Conference on Business Information Systems, 289-301, 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
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
42011
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
32021
The system can't perform the operation now. Try again later.
Articles 1–20