Exhaustif: a fault injection tool for distributed heterogeneous embedded systems. - Antonio Dasilva 001; José-Fernán Martínez; Lourdes López-Santidrián; Ana Belén García; Luis Redondo (EATIS, 2007)

ASA: advanced secure architecture for preventing unauthorized access in personal computer platforms and BIOS. - Lourdes López-Santidrián; José-Fernán Martínez; Alfonso Muñoz; Vicente Hernández; Antonio Dasilva 001; Ana Belén García (EATIS, 2007)

QoS in wireless sensor networks: survey and approach. - José-Fernán Martínez; Ana Belén García; Iván Corredor; Lourdes López-Santidrián; Vicente Hernández; Antonio Dasilva 001 (EATIS, 2007)

An approach for applying multi-agent technology into wireless sensor networks. - José-Fernán Martínez; Ana Belén García; Antonia-M. Sanz; Lourdes López-Santidrián; Vicente Hernández; Antonio Dasilva 001 (EATIS, 2007)

Modelling QoS for Wireless Sensor Networks. - José-Fernán Martínez; Ana Belén García; Iván Corredor; Lourdes López-Santidrián; Vicente Hernández; Antonio Dasilva 001 (WSAN, 2007)

Trade-Off Between Performance and Energy Consumption in Wireless Sensor Networks. - José-Fernán Martínez; Ana Belén García; Iván Corredor; Lourdes López-Santidrián; Vicente Hernández; Antonio Dasilva 001 (IWSOS, 2007)

XML Schema Based Faultset Definition to Improve Faults Injection Tools Interoperability. - Antonio da Silva 001; José-Fernán Martínez; Lourdes López-Santidrián; Ana Belén García; Vicente Hernández (DepCoS-RELCOMEX, 2008)

Design and Implementation of a Java Fault Injector for Exhaustif® SWIFI Tool. - Antonio da Silva 001; Alberto Gonzalez-Calero; José-Fernán Martínez; Lourdes López-Santidrián; Ana Belén García; Vicente Hernández (DepCoS-RELCOMEX, 2009)

On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models. - Antonio da Silva 001; Sebastián Sánchez 001 (DepCoS-RELCOMEX, 2009)

Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models. - Antonio da Silva 001; Sebastián Sánchez 001 (DSD, 2009)

Security Framework for DPWS Compliant Devices. - Vicente Hernández; Lourdes López-Santidrián; Oscar Prieto; José-Fernán Martínez; Ana Belén García; Antonio da Silva 001 (SECURWARE, 2009)

LEON3 ViP: A Virtual Platform with Fault Injection Capabilities. - Antonio da Silva 001; Sebastián Sánchez 001 (DSD, 2010)

XML schema based fault set definition to improve fault injection tools interoperability. - Antonio da Silva 001; José-Fernán Martínez; Alberto Gonzalez-Calero; Lourdes López-Santidrián; Ana Belén García; Vicente Hernández (Int. J. Crit. Comput. Based Syst., 2010)

Wireless sensor networks in knowledge management. - José-Fernán Martínez; Pedro Castillejo; Marta Zuazua; Ana Belén García; Lourdes López-Santidrián; Antonio Dasilva 001; Vicente Hernández (ICCS, 2010)

A LEON3 virtual platform with real spacewire interfaces for dependable space software development. - Antonio da Silva 001; Sebastián Sánchez 001 (SimuTools, 2011)

Virtualization of residential IoT functionality by using NFV and SDN. - Ana-Belén García-Hernando; Antonio da Silva Fariña; Luis Bellido Triana; Francisco Javier Ruiz Piñar; David Fernández Cambronero (ICCE, 2017)

Reliability-oriented design of on-board satellite boot software against single event effects. - Oscar R. Polo; Jonatan Sánchez; Antonio da Silva 001; Pablo Parra; Agustín Martínez-Hellín; Alberto Carrasco; Sebastián Sánchez 001 (J. Syst. Archit., 2021)

Improving performance and determinism of multitasking systems on the LEON architecture. - Pablo Parra; David Guzmán; Oscar R. Polo; Antonio da Silva 001; Agustín Martínez-Hellín; Sebastián Sánchez 001; Manuel Prieto 003 (Microprocess. Microsystems, 2021)

A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models. - Pablo Parra; Oscar R. Polo; Javier Fernández; Antonio da Silva 001; Sebastián Sánchez 001; Agustín Martínez-Hellín (IEEE Trans. Emerg. Top. Comput., 2021)

Model-driven system-level validation and verification on the space software domain. - Aaron Montalvo; Pablo Parra; Oscar Rodríguez Polo; Alberto Carrasco; Antonio da Silva 001; Agustín Martínez-Hellín; Sebastián Sánchez 001 (Softw. Syst. Model., 2022)

Tailor-made Virtualization Monitor Design for CPU Virtualization on LEON Processors. - Pablo Parra; Antonio da Silva 001; Borja Losa; J. Ignacio García Tejedor; Oscar R. Polo; Agustín Martínez-Hellín; Sebastián Sánchez 001 (ACM Trans. Embed. Comput. Syst., 2023)

Memory Management Unit for Hardware-Assisted Dynamic Relocation in On-Board Satellite Systems. - Borja Losa; Pablo Parra; Antonio da Silva 001; Oscar R. Polo; Juan Ignacio García Tejedor; Agustín Martínez-Hellín; Jonatan Sánchez; Sebastián Sánchez 001; David Guzmán (IEEE Trans. Aerosp. Electron. Syst., 2023)

Enhancing efficiency in spaceborne phased array systems: MVDR algorithm and FPGA integration. - Eduardo Ortega; Alejandro Vicente; Agustín Martínez-Hellín; Óscar Rodríguez; Manuel Prieto 003; Pablo Parra; Antonio da Silva 001; Sebastián Sánchez 001 (Digit. Signal Process., 2024)

Count overflow and privilege mode filtering extension implementation on a RISC-V on-board processor. - Andrea Fernandez Gallego; Miguel Jiménez Arribas; Iván Gamino del Río; Agustín Martínez-Hellín; Manuel Prieto Mateo; Oscar Rodríguez Polo; Antonio da Silva 001; Pablo Parra; Sebastián Sánchez 001 (Microprocess. Microsystems, 2024)

Design and implementation of a synchronous Hardware Performance Monitor for a RISC-V space-oriented processor. - Miguel Jiménez Arribas; Agustín Martínez-Hellín; Manuel Prieto Mateo; Iván Gamino del Río; Andrea Fernandez Gallego; Oscar Rodríguez Polo; Antonio da Silva 001; Pablo Parra; Sebastián Sánchez 001 (Microprocess. Microsystems, 2025)

Hardware-assisted virtualization extensions for LEON processors in mixed-criticality systems. - Borja Losa; Pablo Parra; Antonio da Silva 001; Oscar R. Polo; Juan Ignacio García Tejedor; Agustín Martínez-Hellín; Sebastián Sánchez 001; David Guzmán (Microprocess. Microsystems, 2025)