Publicaciones en las que colabora con Agustín Martínez Hellín (18)

2024

  1. Count overflow and privilege mode filtering extension implementation on a RISC-V on-board processor

    Microprocessors and Microsystems, Vol. 109

  2. 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

  1. 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

  2. Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition

    Acta Astronautica, Vol. 211, pp. 574-591

  3. Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors

    ACM Transactions on Embedded Computing Systems, Vol. 22, Núm. 4

2022

  1. 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

  1. 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

  2. Energetic ions in the Venusian system: Insights from the first Solar Orbiter flyby

    Astronomy and Astrophysics, Vol. 656

  3. 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

  4. Improving performance and determinism of multitasking systems on the LEON architecture

    Microprocessors and Microsystems, Vol. 80

  5. 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

  6. Quiet-time low energy ion spectra observed on Solar Orbiter during solar minimum

    Astronomy and Astrophysics, Vol. 656

  7. Solar energetic particle heavy ion properties in the widespread event of 2020 November 29

    Astronomy and Astrophysics, Vol. 656

  8. The first widespread solar energetic particle event observed by Solar Orbiter on 2020 November 29

    Astronomy and Astrophysics, Vol. 656

2020

  1. The Energetic Particle Detector: Energetic particle instrument suite for the Solar Orbiter mission

    Astronomy and Astrophysics, Vol. 642

2019

  1. A component-based approach to feature modelling

    ACM International Conference Proceeding Series

  2. A component-based approach to feature modelling

    PervasiveHealth: Pervasive Computing Technologies for Healthcare

2016

  1. Integration of a preemptive priority based scheduler in the Palladio Workbench

    Journal of Systems and Software, Vol. 114, pp. 20-37