Sebastián
Sánchez Prieto
Catedrático/a de Universidad
Agustín
Martínez Hellín
Profesor/a Titular Universidad
Publicaciones en las que colabora con Agustín Martínez Hellín (18)
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
-
Improving performance and determinism of multitasking systems on the LEON architecture
Microprocessors and Microsystems, Vol. 80
-
In-flight verification of the engineering design data for the Energetic Particle Detector on board the ESA/NASA Solar Orbiter
Acta Astronautica, Vol. 187, pp. 12-23
-
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