Verification of model transformations: A survey of the state-of-the-art D Calegari, N Szasz Electronic notes in theoretical computer science 292, 5-25, 2013 | 83 | 2013 |
A type-theoretic framework for certified model transformations D Calegari, C Luna, N Szasz, Á Tasistro Brazilian Symposium on Formal Methods, 112-127, 2010 | 51 | 2010 |
A systematic approach for evaluating BPM systems: case studies on open source and proprietary tools A Delgado, D Calegari, P Milanese, R Falcon, E García Open Source Systems: Adoption and Impact: 11th IFIP WG 2.13 International …, 2015 | 43 | 2015 |
Towards a generic BPMS user portal definition for the execution of business processes A Delgado, D Calegari, A Arrigoni Electronic Notes in Theoretical Computer Science 329, 39-59, 2016 | 38 | 2016 |
Software architecture for document anonymization H Vico, D Calegari Electronic Notes in Theoretical Computer Science 314, 83-100, 2015 | 19 | 2015 |
Towards a unified vision of business process and organizational data A Delgado, D Calegari 2020 XLVI Latin American Computing Conference (CLEI), 108-117, 2020 | 18 | 2020 |
Towards a Data Science Framework Integrating Process and Data Mining for Organizational Improvement. A Delgado, A Marotta, L González, L Tansini, D Calegari ICSOFT, 492-500, 2020 | 17 | 2020 |
Towards setting up a collaborative environment to support collaborative business processes and services with social interactions A Delgado, L González, D Calegari Service-Oriented Computing–ICSOC 2017 Workshops: ASOCA, ISyCC, WESOACS, and …, 2018 | 16 | 2018 |
Towards an agent-based methodology for developing agro-ecosystem simulations J Corral, D Calegari Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011 | 16 | 2011 |
BPMN 2.0 based modeling and customization of variants in business process families A Delgado, D Calegari 2017 XLIII Latin American Computer Conference (CLEI), 1-9, 2017 | 15 | 2017 |
Systematic evaluation of business process management systems: a comprehensive approach D Calegari, A Delgado CLEI electronic journal 21 (2), 7: 1-7: 19, 2018 | 13 | 2018 |
Heterogeneous verification in the context of model driven engineering D Calegari, T Mossakowski, N Szasz Science of Computer Programming 126, 3-30, 2016 | 12 | 2016 |
Estado del arte de lenguajes y herramientas de transformación de modelos H Lopez, F Veresi, M Viñolo, D Calegari, CD Luna Reportes Técnicos 09-19, 2009 | 11 | 2009 |
Towards integrating BPMN 2.0 with CMMN and DMN standards for flexible business process modeling. A Delgado, D Calegari CIbSE, 697-704, 2019 | 10 | 2019 |
Towards a metamodel supporting e-government collaborative business processes management within a service-based interoperability platform A Delgado, D Calegari, L González, A Montarnal, F Benaben HICSS 2020-53rd Hawaii International Conference on System Sciences, p. 2019-2028, 2020 | 9 | 2020 |
Model-driven management of BPMN-based business process families A Delgado, D Calegari, F García, B Weber Software and Systems Modeling 21 (6), 2517-2553, 2022 | 8 | 2022 |
Business Process Management (BPM): aspectos clave para la construcción de software de soporte e impacto en la mejora continua de las organizaciones A Delgado, D Calegari INNOTEC Gestión, 40-51, 2014 | 7 | 2014 |
Institution-based semantics for MOF and QVT-relations D Calegari, N Szasz Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF …, 2013 | 7 | 2013 |
Experiment with a type-theoretic approach to the verification of model transformations D Calegari, C Luna, N Szasz, Á Tasistro Universidad ORT Uruguay. Facultad de Ingeniería, 2009 | 7 | 2009 |
Design of a service-oriented architecture for federated systems D Calegari, M Viera, R Motz Journal of Computer Science and Technology 5 (04), 167-172, 2005 | 7 | 2005 |