Sebastián
Sánchez Prieto
Catedrático/a de Universidad
Antonio
Da Silva Fariña
Profesor/a Titular Universidad
Publicaciones en las que colabora con Antonio Da Silva Fariña (8)
2023
-
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
-
Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition
Acta Astronautica, Vol. 211, pp. 574-591
-
Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors
ACM Transactions on Embedded Computing Systems, Vol. 22, Núm. 4
2022
-
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
-
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
-
Improving performance and determinism of multitasking systems on the LEON architecture
Microprocessors and Microsystems, Vol. 80
2020
-
The Energetic Particle Detector: Energetic particle instrument suite for the Solar Orbiter mission
Astronomy and Astrophysics, Vol. 642
2009
-
Inyección de fallos en SystemC mediante instrumentación dinámica de código
Actas de las IX Jornadas de computación reconfigurable y aplicaciones: Universidad de Alcalá, Departamento de Electrónica, Alcalá de Henares, 9-11 septiembre, 2009