Publicacions en què col·labora amb Alberto Carrasco Gallardo (7)

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

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

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

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