Running Ada on Real-Time Linux. - Miguel Masmano; Jorge Real; Ismael Ripoll; Alfons Crespo (Ada-Europe, 2003)

Dynamic ceiling priorities in GNAT implementation report. - Javier Miranda; Edmond Schonberg; Miguel Masmano; Jorge Real; Alfons Crespo (IRTAW, 2003)

Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux. - Miguel Masmano; Jorge Real; Ismael Ripoll; Alfons Crespo (Ada-Europe, 2004)

TLSF: A New Dynamic Memory Allocator for Real-Time Systems. - Miguel Masmano; Ismael Ripoll; Alfons Crespo; Jorge Real (ECRTS, 2004)

Distributing Criticality Across Ada Partitions. - Miguel Masmano; Jorge Real; Alfons Crespo; Ismael Ripoll (Ada-Europe, 2005)

Dynamic Memory Management for Embedded Real-Time Systems. - Alfons Crespo; Ismael Ripoll; Miguel Masmano (DIPES, 2006)

A comparison of memory allocators for real-time applications. - Miguel Masmano; Ismael Ripoll; Alfons Crespo (JTRES, 2006)

Memory Resource Management for Real-Time Systems. - Audrey Marchand; Patricia Balbastre; Ismael Ripoll; Miguel Masmano; Alfons Crespo (ECRTS, 2007)

A constant-time dynamic storage allocator for real-time systems. - Miguel Masmano; Ismael Ripoll; Patricia Balbastre; Alfons Crespo (Real Time Syst., 2008)

Implementation of a constant-time dynamic storage allocator. - Miguel Masmano; Ismael Ripoll; Jorge Real; Alfons Crespo; Andy J. Wellings (Softw. Pract. Exp., 2008)

Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach. - Alfons Crespo; Ismael Ripoll; Miguel Masmano (EDCC, 2010)

Enforcing trust in control automotive platforms. - Christophe Jouvray; Grégoire Chartier; Nicolas François; Ismael Ripoll; Miguel Masmano; Alfons Crespo (EDCC-CARS, 2010)

ORK+/XtratuM: An Open Partitioning Platform for Ada. - Ángel Esquinas; Juan Zamorano; Juan Antonio de la Puente; Miguel Masmano; Ismael Ripoll; Alfons Crespo (Ada-Europe, 2011)

A hypervisor based platform to support real-time safety critical embedded java applications. - Apolinar González; Walter Mata; Alfons Crespo; Miguel Masmano; José Félix; Alvaro Aburto (Comput. Syst. Sci. Eng., 2013)

Detecting Stack Based Kernel Information Leaks. - Salva Peiró; Manuel Muñoz; Miguel Masmano; Alfons Crespo (SOCO-CISIS-ICEUTE, 2014)

XtratuM hypervisor redesign for LEON4 multicore processor. - Elena Carrascosa; Javier Coronel; Miguel Masmano; Patricia Balbastre; Alfons Crespo (SIGBED Rev., 2014)

Separation Kernel Robustness Testing: The XtratuM Case Study. - Stephen Grixti; Nicholas Sammut; Maria Hernek; Elena Carrascosa; Miguel Masmano; Alfons Crespo (CLUSTER, 2016)

De-RISC: A Complete RISC-V Based Space-Grade Platform. - Nils-Johan Wessman; Fabio Malatesta; Stefano Ribes; Jan Andersson; Antonio García-Vilanova; Miguel Masmano; Vicente Nicolau; Paco Gomez; Jimmy Le Rhun; Sergi Alcaide; Guillem Cabo; Francisco Bas; et al. (DATE, 2022)

HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem. - Nadia Ibellaatti; Edouard Lepape; Alp Kiliç; Kaya Akyel; Kassem Chouayakh; Fabrizio Ferrandi; Claudio Barone; Serena Curzel; Michele Fiorito; Giovanni Gozzi; Miguel Masmano; Ana Risquez Navarro; et al. (DATE, 2023)