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:Algoritmo de optimización multi-objetivo para balanceo de carga de múltiples servicios en redes hetereogéneas utilizando vertical handover y multihoming