A novel SEU, MBU and SHE handling strategy for Xilinx Virtex-4 FPGAs. - Xabier Iturbe; Mikel Azkarate-askasua; Imanol Martinez; Jon Pérez 001; Armando Astarloa (FPL, 2009)

Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC. - Jon Pérez 001; Mikel Azkarate-askasua; Antonio Perez (EDCC, 2010)

Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. - Jon Pérez 001; Carlos Fernando Nicolás; Roman Obermaisser; Christian El Salloum (FDL, 2010)

Executable Time-Triggered Model (E-TTM) for Real-Time Control Systems. - Jon Pérez 001; Antonio Perez; Roman Obermaisser (ISORC, 2010)

Modeling time-triggered real-time control systems using executable time-triggered model (E-TTM) and systemC-AMS. - Jon Pérez 001; Roman Obermaisser; Carlos Fernando Nicolás; Iban Ayestaran (Comput. Syst. Sci. Eng., 2011)

SCA extensions to support safety critical distributed embedded systems. - Aitor Agirre; Jon Pérez 001; Rafael Priego; Marga Marcos; Elisabet Estévez-Estévez (ETFA, 2013)

Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns. - Brahim Hamid; Jacob Geisel; Adel Ziani; Jean-Michel Bruel; Jon Pérez 001 (SDL Forum, 2013)

R3TOS: A Novel Reliable Reconfigurable Real-Time Operating System for Highly Adaptive, Efficient, and Dependable Computing on FPGAs. - Xabier Iturbe; Khaled Benkrid; Chuan Hong; Ali Ebrahim; Raul Torrego; Imanol Martinez; Tughrul Arslan; Jon Pérez 001 (IEEE Trans. Computers, 2013)

A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning. - Jon Pérez 001; David González; Carlos Fernando Nicolás; Ton Trapman; Jose Miguel Garate (DSD, 2014)

A novel modeling framework for time-triggered safety-critical embedded systems. - Iban Ayestaran; Carlos Fernando Nicolás; Jon Pérez 001; Asier Larrucea; Peter P. Puschner (FDL, 2014)

Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems. - Iban Ayestaran; Carlos Fernando Nicolás; Jon Pérez 001; Asier Larrucea; Peter P. Puschner (ISORC, 2014)

Modeling logical execution time based safety-critical embedded systems in SystemC. - Iban Ayestaran; Carlos F. Nicolás; Jon Pérez 001; Peter P. Puschner (MECO, 2014)

A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. - Iban Ayestaran; Carlos Fernando Nicolás; Jon Pérez 001; Asier Larrucea; Peter P. Puschner (SAFECOMP, 2014)

MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems. - Salvador Trujillo; Alfons Crespo; Alejandro Alonso 001; Jon Pérez 001 (Microprocess. Microsystems, 2014)

R3TOS-Based Autonomous Fault-Tolerant Systems. - Xabier Iturbe; Ali Ebrahim; Khaled Benkrid; Chuan Hong; Tughrul Arslan; Jon Pérez 001; Didier Keymeulen; Marco D. Santambrogio (IEEE Micro, 2014)

A Safety Concept for a Railway Mixed-Criticality Embedded System Based on Multicore Partitioning. - Irune Agirre; Mikel Azkarate-askasua; Asier Larrucea; Jon Pérez 001; Tullio Vardanega; Francisco J. Cazorla (CIT/IUCC/DASC/PICom, 2015)

A Modular Safety Case for an IEC 61508 Compliant Generic COTS Processor. - Asier Larrucea; Jon Pérez 001; Roman Obermaisser (CIT/IUCC/DASC/PICom, 2015)

A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning. - Jon Pérez 001; David González; Salvador Trujillo; Ton Trapman (Ada-Europe, 2015)

IEC-61508 SIL 3 Compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis. - Irune Agirre; Mikel Azkarate-askasua; Carles Hernández 001; Jaume Abella 001; Jon Pérez 001; Tullio Vardanega; Francisco J. Cazorla (DSD, 2015)

A Modular Safety Case for an IEC-61508 Compliant Generic Hypervisor. - Asier Larrucea; Jon Pérez 001; Irune Agirre; Vicent Brocal; Roman Obermaisser (DSD, 2015)

Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning. - Asier Larrucea; Irune Agirre; Carlos Fernando Nicolás; Jon Pérez 001; Mikel Azkarate-askasua; Ton Trapman (FDL, 2015)

WCET analysis methods: Pitfalls and challenges on their trustworthiness. - Jaume Abella 001; Carles Hernández 001; Eduardo Quiñones; Francisco J. Cazorla; Philippa Ryan Conmy; Mikel Azkarate-askasua; Jon Pérez 001; Enrico Mezzetti; Tullio Vardanega (SIES, 2015)

A Realistic Approach to a Network-on-Chip Cross-Domain Pattern. - Asier Larrucea; Hamidreza Ahmadian; Roman Obermaisser; Jon Pérez 001; Carlos Fernando Nicolás (DSD, 2016)

SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems. - Alina Lenz; Mikel Azkarate-Askasua Blazquez; Javier Coronel; Alfons Crespo; Simon Davidmann; Juan Carlos Diaz Garcia; Nera González Romero; Kim Grüttner; Roman Obermaisser; Johnny Öberg; Jon Pérez 001; Ingo Sander; et al. (DSD, 2016)

Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore. - Irune Agirre; Mikel Azkarate-askasua; Asier Larrucea; Jon Pérez 001; Tullio Vardanega; Francisco J. Cazorla (SAFECOMP Workshops, 2016)

Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation. - Brahim Hamid; Jon Pérez 001 (J. Syst. Softw., 2016)

Modular Development and Certification of Dependable Mixed-Criticality Systems. - Asier Larrucea; Imanol Martinez; Carlos Fernando Nicolás; Jon Pérez 001; Roman Obermaisser (DSD, 2017)

GSN Support of Mixed-Criticality Systems Certification. - Carlos Fernando Nicolás; Fernando Eizaguirre; Asier Larrucea; Simon Barner; Franck Chauvel; Goiuria Sagardui; Jon Pérez 001 (SAFECOMP Workshops, 2017)

SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems. - Maher Fakih; Alina Lenz; Mikel Azkarate-askasua; Javier Coronel; Alfons Crespo; Simon Davidmann; Juan Carlos Diaz Garcia; Nera González Romero; Kim Grüttner; Sören Schreiner; Razi Seyyedi; Roman Obermaisser; et al. (Microprocess. Microsystems, 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)

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)

Embedded Artificial Intelligence: The ARTEMIS Vision. - Dimitrios Serpanos; Gianluigi Ferrari 001; George Nikolakopoulos; Jon Pérez 001; Markus Tauber; Stefan Van Baelen (Computer, 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)

A Methodology for Selective Protection of Matrix Multiplications: A Diagnostic Coverage and Performance Trade-off for CNNs Executed on GPUs. - Javier Fernández 004; Irune Agirre; Jon Pérez-Cerrolaza; Jaume Abella 001; Francisco J. Cazorla (ICSRS, 2022)

Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems. - Jon Pérez 001; Jose Luis Flores 001; Christian Blum 001; Jesús Cerquides; Alex Abuin (IEEE Trans. Ind. Informatics, 2022)

Safety and security collaborative analysis framework for high-performance embedded computing devices. - Irune Yarza; Irune Agirre; Imanol Mugarza; Jon Pérez-Cerrolaza (Microprocess. Microsystems, 2022)

Fear Field: Adaptive constraints for safe environment transitions in Shielded Reinforcement Learning. - Haritz Odriozola-Olalde; Nestor Arana-Arexolaleiba; Maider Zamalloa; Jon Pérez-Cerrolaza; Jokin Arozamena-Rodríguez (AISafety/SafeRL@IJCAI, 2023)

SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI. - Jaume Abella 001; Jon Pérez 001; Cristofer Englund; Bahram Zonooz; Gabriele Giordana; Carlo Donzella; Francisco J. Cazorla; Enrico Mezzetti; Isabel Serra; Axel Brando; Irune Agirre; Fernando Eizaguirre; et al. (DATE, 2023)

GPU Devices for Safety-Critical Systems: A Survey. - Jon Pérez-Cerrolaza; Jaume Abella 001; Leonidas Kosmidis; Alejandro J. Calderón; Francisco J. Cazorla; Jose Luis Flores 001 (ACM Comput. Surv., 2023)

Uncertainty Management in Dependable and Intelligent Embedded Software. - Jon Pérez-Cerrolaza; Francisco J. Cazorla; Jaume Abella 001 (Computer, 2023)

On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems. - Axel Brando; Isabel Serra; Enrico Mezzetti; Francisco J. Cazorla; Jon Pérez-Cerrolaza; Jaume Abella 001 (Computer, 2023)

Toward Linux-based safety-critical systems - Execution time variability analysis of Linux system calls. - Markel Galarraga; Charles-Alexis Lefebvre; Jon Pérez-Cerrolaza; Jose A. Pascual (J. Syst. Archit., 2024)

Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey. - Jon Pérez-Cerrolaza; Jaume Abella 001; Markus Borg; Carlo Donzella; Jesús Cerquides; Francisco J. Cazorla; Cristofer Englund; Markus Tauber; George Nikolakopoulos; Jose Luis Flores 001 (ACM Comput. Surv., 2024)

Scalable Mixed-Criticality Safety Concepts for a Stationary Battery Management System (BMS) With Integrated Machine Learning (ML). - Xabier Arraztoa-Lazkanotegi; David Marcos; Maitane Garmendia; Eñaut Muxika Olasagasti; Jon Pérez-Cerrolaza (IEEE Access, 2025)

Towards robust shielded reinforcement learning through adaptive constraints and exploration: The fear field framework. - Haritz Odriozola-Olalde; Maider Zamalloa; Nestor Arana-Arexolaleiba; Jon Pérez-Cerrolaza (Eng. Appl. Artif. Intell., 2025)