Browsing by Author "Parra Espada, Pablo"
Now showing items 1-10 of 10
-
Automatic verification of timing constraints for safety critical space systems
Fernández Salgado, Javier; Parra Espada, Pablo; Sánchez Prieto, Sebastián; Rodríguez Polo, Óscar; Bernat, Guillem (2019-09) -
First near-relativistic solar electron events observed by EPD onboard Solar Orbiter
Gómez Herrero, Raúl; Espinosa Lara, Francisco; Cernuda Cangas, Ignacio Manuel; Rodríguez-Pacheco Martín, Javier; Prieto Mateo, Manuel; [et al.] (2021-12-14) -
The first widespread solar energetic particle event observed by Solar Orbiter on 2020 November 29
Kollhoff, A.; Gómez Herrero, Raúl; Rodríguez García, Laura; Cernuda Cangas, Ignacio Manuel; Espinosa Lara, Francisco; [et al.] (2021-12-14) -
Implementación y validación de nuevas funcionalidades para el simulador LeonViP
Losa Cruz, Borja (2021) -
Memory management unit for hardware-assisted dynamic relocation in on-board satellite systems
Losa Cruz, Borja; Parra Espada, Pablo; Da Silva Fariña, Antonio; Rodríguez Polo, Óscar; García Tejedor, Juan Ignacio; [et al.] (2023-06-08) -
Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition
Montalvo Taravillo, Aarón; Rodríguez Polo, Óscar; Parra Espada, Pablo; Carrasco Gallardo, Alberto; Da Silva Fariña, Antonio; [et al.] (2023-10-01) -
Modelado y generación de archivos de configuración para un hipervisor de tiempo real para sistemas embarcados en satélite
Mambrilla Moreno, Laura (2022) -
Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors
Parra Espada, Pablo; Da Silva Fariña, Antonio; Losa Cruz, Borja; García Tejedor, Juan Ignacio; Rodríguez Polo, Óscar; [et al.] (2023-07-01)