Publicaciones en colaboración con investigadores/as de Centro Nacional de Supercomputación (4)

2023

  1. METASAT: Modular Model-Based Design and Testing for Applications in Satellites

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. Safe and secure software updates on high-performance mixed-criticality systems: The UP2DATE approach

    Microprocessors and Microsystems, Vol. 87

  2. The UP2DATE Baseline Research Platforms

    Proceedings -Design, Automation and Test in Europe, DATE

2020

  1. UP2DATE: Safe and secure over-The-Air software updates on high-performance mixed-criticality systems

    Proceedings - Euromicro Conference on Digital System Design, DSD 2020