Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices. - Imanol Allende; Nicholas Mc Guire; Jon Pérez 001; Lisandro Gabriel Monsalve; Nerea Uriarte; Roman Obermaisser (EDCC, 2019)

SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems. - Carles Hernández 001; José Flich; Roberto Paredes; Charles-Alexis Lefebvre; Imanol Allende; Jaume Abella 001; David Trillin; Martin Matschnig; Bernhard Fischer; Konrad Schwarz; Jan Kiszka; Martin Rönnbäck; et al. (DSD, 2020)

Approaching certification of complex systems. - Nicholas Mc Guire; Imanol Allende (DSN Workshops, 2020)

Estimation of Linux Kernel Execution Path Uncertainty for Safety Software Test Coverage. - Imanol Allende; Nicholas Mc Guire; Jon Pérez 001; Lisandro Gabriel Monsalve; Javier Fernández 004; Roman Obermaisser (DATE, 2021)

Statistical Test Coverage for Linux-Based Next-Generation Autonomous Safety-Related Systems. - Imanol Allende; Nicholas Mc Guire; Jon Pérez-Cerrolaza; Lisandro Gabriel Monsalve; Jens Petersohn; Roman Obermaisser (IEEE Access, 2021)

Multi-core Devices for Safety-critical Systems: A Survey. - Jon Pérez-Cerrolaza; Roman Obermaisser; Jaume Abella 001; Francisco J. Cazorla; Kim Grüttner; Irune Agirre; Hamidreza Ahmadian; Imanol Allende (ACM Comput. Surv., 2021)

Towards Linux based safety systems - A statistical approach for software execution path coverage. - Imanol Allende; Nicholas Mc Guire; Jon Pérez 001; Lisandro Gabriel Monsalve; Roman Obermaisser (J. Syst. Archit., 2021)

Towards functional safety compliance of matrix-matrix multiplication for machine learning-based autonomous systems. - Javier Fernández 004; Jon Pérez 001; Irune Agirre; Imanol Allende; Jaume Abella 001; Francisco J. Cazorla (J. Syst. Archit., 2021)

Statistical path coverage for non-deterministic complex safety-related software testing. - Imanol Allende (2022)

Herds of Dumb Models: Deriving Assured Classification From Unbiased Weak Models. - Nicholas McGuire; Imanol Allende; Markus Kreidl (ICSRS, 2023)