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)