EDROOM, Herramienta Libre de Modelado y Generación Automática de Código para Sistemas de Tiempo Real. - Pablo Parra; Aitor Viana Sánchez; Oscar Rodríguez Polo; Martin Knoblauch; F. Alcojor; Sebastián Sánchez Prieto; J. Ignacio García Tejedor; O. García; Daniel Meziat Luna (DSDM, 2006)

Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software: short paper. - Oscar R. Polo; Kristof Konings; Pablo Parra; Martin Knoblauch; J. Ignacio García Tejedor; Sebastián Sánchez-Prieto (JTRES, 2010)

MICOBS: multi-platform multi-model component based software development framework. - Pablo Parra; Oscar R. Polo; Martin Knoblauch; J. Ignacio García Tejedor; Sebastián Sánchez-Prieto (CBSE, 2011)

Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques. - Javier Fernández; Pablo Parra; Bogdan Nilas; J. Ignacio García Tejedor; Sebastián Sánchez-Prieto; Oscar R. Polo (SIES, 2013)

Integration of a preemptive priority based scheduler in the Palladio Workbench. - Javier Fernández-Salgado; Pablo Parra; Michael Hauck; Agustín Martínez-Hellín; Sebastián Sánchez Prieto; Klaus Krogmann; Oscar R. Polo (J. Syst. Softw., 2016)

Signal Conditioning for the Kalman Filter: Application to Satellite Attitude Estimation with Magnetometer and Sun Sensors. - Segundo Esteban San Román; Jose M. Giron-Sierra; Oscar R. Polo; Manuel Angulo (Sensors, 2016)

Towards the Use of Model-Driven Technologies in an Integral Software Development Process. - Aaron Montalvo; Pablo Parra; Oscar R. Polo; Alberto Carrasco; Agustín Martínez-Hellín; Sebastián Sánchez Prieto (RE Workshops, 2019)

A component-based approach to feature modelling. - Pablo Parra; Oscar R. Polo; Segundo Esteban San Román; Agustín Martínez-Hellín; Sebastián Sánchez Prieto (SPLC (B), 2019)

Reliability-oriented design of on-board satellite boot software against single event effects. - Oscar R. Polo; Jonatan Sánchez; Antonio da Silva 001; Pablo Parra; Agustín Martínez-Hellín; Alberto Carrasco; Sebastián Sánchez 001 (J. Syst. Archit., 2021)

Improving performance and determinism of multitasking systems on the LEON architecture. - Pablo Parra; David Guzmán; Oscar R. Polo; Antonio da Silva 001; Agustín Martínez-Hellín; Sebastián Sánchez 001; Manuel Prieto 003 (Microprocess. Microsystems, 2021)

A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models. - Pablo Parra; Oscar R. Polo; Javier Fernández; Antonio da Silva 001; Sebastián Sánchez 001; Agustín Martínez-Hellín (IEEE Trans. Emerg. Top. Comput., 2021)

Model-driven system-level validation and verification on the space software domain. - Aaron Montalvo; Pablo Parra; Oscar Rodríguez Polo; Alberto Carrasco; Antonio da Silva 001; Agustín Martínez-Hellín; Sebastián Sánchez 001 (Softw. Syst. Model., 2022)

Framework to Emulate Spacecraft Orbital Positioning Using GNSS Hardware in the Loop. - David Forero; Segundo Esteban San Román; Oscar Rodríguez Polo (Sensors, 2023)

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)

Count overflow and privilege mode filtering extension implementation on a RISC-V on-board processor. - Andrea Fernandez Gallego; Miguel Jiménez Arribas; Iván Gamino del Río; Agustín Martínez-Hellín; Manuel Prieto Mateo; Oscar Rodríguez Polo; Antonio da Silva 001; Pablo Parra; Sebastián Sánchez 001 (Microprocess. Microsystems, 2024)

Design and implementation of a synchronous Hardware Performance Monitor for a RISC-V space-oriented processor. - Miguel Jiménez Arribas; Agustín Martínez-Hellín; Manuel Prieto Mateo; Iván Gamino del Río; Andrea Fernandez Gallego; Oscar Rodríguez Polo; Antonio da Silva 001; Pablo Parra; Sebastián Sánchez 001 (Microprocess. Microsystems, 2025)

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)