Publicaciones (71) Publicaciones de Sebastián Sánchez Prieto

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. Sistema de posicionamiento de muy bajo consumo basado en energía magnética potencial

    Revista iberoamericana de ingeniería mecánica, Vol. 27, Núm. 1, pp. 27-41

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

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

  5. Trajectory determination at Muon Impact Tracer and Observer (MITO) using artificial neural networks

    Advances in Space Research, Vol. 72, Núm. 8, pp. 3428-3439

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

  2. Synthesis of pulses from particle detectors with a Generative Adversarial Network (GAN)

    Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, Vol. 1033

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. First near-relativistic solar electron events observed by EPD onboard Solar Orbiter

    Astronomy and Astrophysics, Vol. 656

  5. First year of energetic particle measurements in the inner heliosphere with Solar Orbiter's Energetic Particle Detector

    Astronomy and Astrophysics, Vol. 656

  6. He-rich solar energetic particle events observed on the first perihelion pass of Solar Orbiter

    Astronomy and Astrophysics, Vol. 656

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

    Microprocessors and Microsystems, Vol. 80

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

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

    Astronomy and Astrophysics, Vol. 656

  10. Radial evolution of the April 2020 stealth coronal mass ejection between 0.8 and 1 AU: Comparison of Forbush decreases at Solar Orbiter and near the Earth

    Astronomy and Astrophysics, Vol. 656

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

    Astronomy and Astrophysics, Vol. 656

  12. Suprathermal particles from corotating interaction regions during the first perihelion pass of Solar Orbiter

    Astronomy and Astrophysics, Vol. 656