Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors. - Pablo Parra; Antonio da Silva 001; Borja Losa; J. Ignacio García Tejedor; Oscar R. Polo; Agustín Martínez-Hellín; Sebastián Sánchez 001 (ACM Trans. Embed. Comput. Syst., 2023)

Memory Management Unit for Hardware-Assisted Dynamic Relocation in On-Board Satellite Systems. - Borja Losa; Pablo Parra; Antonio da Silva 001; Oscar R. Polo; Juan Ignacio García Tejedor; Agustín Martínez-Hellín; Jonatan Sánchez; Sebastián Sánchez 001; David Guzmán (IEEE Trans. Aerosp. Electron. Syst., 2023)

Hardware-assisted virtualization extensions for LEON processors in mixed-criticality systems. - Borja Losa; Pablo Parra; Antonio da Silva 001; Oscar R. Polo; Juan Ignacio García Tejedor; Agustín Martínez-Hellín; Sebastián Sánchez 001; David Guzmán (Microprocess. Microsystems, 2025)