Una aproximación formal al modelo relacinal básico mediante el lenguaje de especificatión Z. - Amador Durán 001; Miguel Toro; Carlos Arévalo Maldonado (JIDBD, 1996)

Discovering Business Models for Software Process Management - An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems. - Carlos Arévalo; Isabel M. Ramos; María José Escalona Cuaresma (ICEIS (1), 2015)

A metamodel to integrate business processes time perspective in BPMN 2.0. - Carlos Arévalo; María José Escalona Cuaresma; Isabel M. Ramos; M. Domínguez-Muñoz (Inf. Softw. Technol., 2016)

A MDE-based framework to improve the process management: The EMPOWER project. - J. A. García-García; José Gonzalez Enríquez; Laura García-Borgoñón; Carlos Arévalo; Esteban Morillo Baro (INDIN, 2017)

Modelling Gherkin Scenarios Using UML. - Javier J. Gutiérrez 001; Isabel M. Ramos; Manuel Mejías; Carlos Arévalo; Juan M. Sánchez-Begínes; David Lizcano (ISD, 2017)

PLEC, A Participative Processfor GUI Prototyping. - Javier J. Gutiérrez 001; Carlos Arévalo; David Lizcano (J. Web Eng., 2019)

Practical Experiences in the Use of Pattern-Recognition Strategies to Transform Software Project Plans into Software Business Processes of Information Technology Companies. - Carlos Arévalo; Isabel M. Ramos; Javier Jesus Gutiérrez Rodriguez; Margarita Cruz (Sci. Program., 2019)

Software Process Simulation Modeling: Systematic literature review. - J. A. García-García; José Gonzalez Enríquez; Mercedes Ruiz 001; Carlos Arévalo; Andrés Jiménez-Ramírez (Comput. Stand. Interfaces, 2020)

gPROFIT: A Tool to Assist the Automatic Extraction of Business Knowledge From Legacy Information Systems. - Julián Alberto García-García; Carlos Arévalo Maldonado; Ayman Meidan; Esteban Morillo Baro; María José Escalona (IEEE Access, 2021)