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

A TDMA-Based arbitration scheme for mixed-criticality multicore platforms. - Bekim Cilku; Alfons Crespo; Peter P. Puschner; Javier Coronel; Salvador Peiró (EBCCSP, 2015)

An analysis on the impact and detection of kernel stack infoleaks. - Salva Peiró; Manuel Muñoz; Alfons Crespo (Log. J. IGPL, 2016)

Distributed architecture for developing mixed-criticality systems in multi-core platforms. - Héctor Pérez 001; J. Javier Gutiérrez; Salva Peiró; Alfons Crespo (J. Syst. Softw., 2017)

Reusable generic design patterns for mixed-criticality systems based on DREAMS. - Asier Larrucea; Imanol Martinez; Vicent Brocal; Hamidreza Ahmadian; Salvador Peiró; Roman Obermaisser; Jon Pérez-Cerrolaza (Microprocess. Microsystems, 2017)