Publicaciones en las que colabora con Alberto Carrasco Gallardo (9)

2023

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

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

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

    Astronomy and Astrophysics, Vol. 656

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

    Astronomy and Astrophysics, Vol. 656

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

  4. Model-driven environment for configuration control and deployment of on-board satellite software

    Acta Astronautica, Vol. 178, pp. 314-328

  5. Reliability-oriented design of on-board satellite boot software against single event effects

    Journal of Systems Architecture, Vol. 114

2020

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

    Astronomy and Astrophysics, Vol. 642

2019

  1. Towards the use of model-driven technologies in an integral software development process

    Proceedings - 2019 IEEE 27th International Requirements Engineering Conference Workshops, REW 2019