Sebastián
Sánchez Prieto
Catedrático/a de Universidad
Pablo
Parra Espada
Profesor/a Contratado/a Doctor/a
Publicaciones en las que colabora con Pablo Parra Espada (21)
2024
-
Count overflow and privilege mode filtering extension implementation on a RISC-V on-board processor
Microprocessors and Microsystems, Vol. 109
-
Teaching "On-Board Data Management" Concepts in the "Physics and Space Instrumentation" Degree. An Example of a Common use case and Vertical Coordination among Subjects
16th Congreso de Tecnologia, Aprendizaje y Ensenanza de la Electronica, TAEE 2024
2023
-
Memory Management Unit for Hardware-Assisted Dynamic Relocation in On-Board Satellite Systems
IEEE Transactions on Aerospace and Electronic Systems, Vol. 59, Núm. 5, pp. 6923-6939
-
Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition
Acta Astronautica, Vol. 211, pp. 574-591
-
Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors
ACM Transactions on Embedded Computing Systems, Vol. 22, Núm. 4
2022
-
Model-driven system-level validation and verification on the space software domain
Software and Systems Modeling, Vol. 21, Núm. 6, pp. 2367-2394
2021
-
A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
IEEE Transactions on Emerging Topics in Computing, Vol. 9, Núm. 1, pp. 78-89
-
Energetic ions in the Venusian system: Insights from the first Solar Orbiter flyby
Astronomy and Astrophysics, Vol. 656
-
Evidence for local particle acceleration in the first recurrent galactic cosmic ray depression observed by Solar Orbiter: The ion event on 19 June 2020
Astronomy and Astrophysics, Vol. 656
-
First near-relativistic solar electron events observed by EPD onboard Solar Orbiter
Astronomy and Astrophysics, Vol. 656
-
Improving performance and determinism of multitasking systems on the LEON architecture
Microprocessors and Microsystems, Vol. 80
-
Quiet-time low energy ion spectra observed on Solar Orbiter during solar minimum
Astronomy and Astrophysics, Vol. 656
-
Solar energetic particle heavy ion properties in the widespread event of 2020 November 29
Astronomy and Astrophysics, Vol. 656
-
The first widespread solar energetic particle event observed by Solar Orbiter on 2020 November 29
Astronomy and Astrophysics, Vol. 656
2020
-
The Energetic Particle Detector: Energetic particle instrument suite for the Solar Orbiter mission
Astronomy and Astrophysics, Vol. 642
2019
-
A component-based approach to feature modelling
ACM International Conference Proceeding Series
-
A component-based approach to feature modelling
PervasiveHealth: Pervasive Computing Technologies for Healthcare
2016
-
Integration of a preemptive priority based scheduler in the Palladio Workbench
Journal of Systems and Software, Vol. 114, pp. 20-37
2015
-
Automatic verification of timing constraints for safety critical space systems
European Space Agency, (Special Publication) ESA SP
2009
-
Unidad de control del instrumento científico SIDRA
Actas de las IX Jornadas de computación reconfigurable y aplicaciones: Universidad de Alcalá, Departamento de Electrónica, Alcalá de Henares, 9-11 septiembre, 2009