Title:Enfoque basado en modelos para la detección y localización de errores en diagramas de actividad SySML utilizando redes de Petri e información de trazabilidad, caso de estudio: Framework HiLeS
Title:Reingeniería de software aplicada a un sistema de información académico desarrollado sobre Oracle - Visual Basic, con análisis y diseño estructurado
Title:Cumbia extensible process modeling: Un modelo extensible para la construcción de motores de Workflow y su validación mediante patrones de control de flujo
Title:Cumbia extensible process modeling - un modelo extensible para la construcción de motores Workflow y su validación mediante representación de BPEL4WS, XDPL y JBPM