Publicaciones en las que colabora con Pablo Parra Espada (11)

2024

  1. Enseñanza de la materia “Gestión de datos a bordo” en el grado de “Física e Instrumentación Espacial”.Un ejemplo de caso de uso y coordinación vertical entre asignaturas: Un ejemplo de caso de uso y coordinación vertical entre asignaturas

    XVI Congreso de Tecnología, Aprendizaje y Enseñanza de la Electrónica (TAEE 2024). Libro de actas: XVI Conferência em Tecnologia, Aprendizagem e Ensino da Eletrónica (TAEE 2024). Livro de atas.XVI International Conference of Technology, Learning and Teaching of Electronics (TAEE 2024). Proceedings book

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. Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors

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

2013

  1. Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques

    Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013

2012

  1. Component based engineering and multi-platform deployment for nanosatellite on-board software

    European Space Agency, (Special Publication) ESA SP

2011

  1. MICOBS: Multi-platform multi-model component based software development framework

    CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - CBSE'11

2010

  1. Short paper: Preliminary feasibility analysis of component based modelling and automatic Java code generation for nanosatellite on-board software

    ACM International Conference Proceeding Series

2009

  1. Unidad de control del instrumento científico SIDRA

    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

2006

  1. Determinism in real-time operating system design for SPARC-like architectures

    WSEAS Transactions on Computers, Vol. 5, Núm. 3, pp. 672-680

  2. Development and usage of a simulation environment for testing and verifying the L4 microkernel mapping database

    WSEAS Transactions on Computers, Vol. 5, Núm. 3, pp. 666-671

  3. Edroom, herramienta libre de modelado y generación automatica de código para sistemas de tiempo real

    CEUR Workshop Proceedings