Jon Pérez

According to our database, Jon Pérez authored at least 47 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey.

Jon Pérez-Cerrolaza, Jaume Abella, Markus Borg, Carlo Donzella, Jesús Cerquides, Francisco J. Cazorla, Cristofer Englund, Markus Tauber, George Nikolakopoulos, Jose Luis Flores

ACM Comput. Surv., July, 2024

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

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

Computer, May, 2023

Uncertainty Management in Dependable and Intelligent Embedded Software.

Jon Pérez-Cerrolaza, Francisco J. Cazorla, Jaume Abella

Computer, March, 2023

GPU Devices for Safety-Critical Systems: A Survey.

Jon Pérez-Cerrolaza, Jaume Abella, Leonidas Kosmidis, Alejandro J. Calderón, Francisco J. Cazorla, Jose Luis Flores

ACM Comput. Surv., 2023

SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI.

Jaume Abella, Jon Pérez, Cristofer Englund, Bahram Zonooz, Gabriele Giordana, Carlo Donzella, Francisco J. Cazorla, Enrico Mezzetti, Isabel Serra, Axel Brando, Irune Agirre, Fernando Eizaguirre, Thanh Hai Bui, Elahe Arani, Fahad Sarfraz, Ajay Balasubramaniam, Ahmed Badar, Ilaria Bloise, Lorenzo Feruglio, Ilaria Cinelli, Davide Brighenti, Davide Cunial

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

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

Proceedings of the IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning (AISafety-SafeRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence(IJCAI2023), 2023

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, September, 2022

Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems.

Jon Pérez, Jose Luis Flores, Christian Blum, Jesús Cerquides, Alex Abuin

IEEE Trans. Ind. Informatics, 2022

A Methodology for Selective Protection of Matrix Multiplications: A Diagnostic Coverage and Performance Trade-off for CNNs Executed on GPUs.

Javier Fernández, Irune Agirre, Jon Pérez-Cerrolaza, Jaume Abella, Francisco J. Cazorla

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

2021

Towards functional safety compliance of matrix-matrix multiplication for machine learning-based autonomous systems.

Javier Fernández, Jon Pérez, Irune Agirre, Imanol Allende, Jaume Abella, Francisco J. Cazorla

J. Syst. Archit., 2021

Towards Linux based safety systems - A statistical approach for software execution path coverage.

Imanol Allende, Nicholas Mc Guire, Jon Pérez, Lisandro Gabriel Monsalve, Roman Obermaisser

J. Syst. Archit., 2021

Multi-core Devices for Safety-critical Systems: A Survey.

Jon Pérez-Cerrolaza, Roman Obermaisser, Jaume Abella, Francisco J. Cazorla, Kim Grüttner, Irune Agirre, Hamidreza Ahmadian, Imanol Allende

ACM Comput. Surv., 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

Estimation of Linux Kernel Execution Path Uncertainty for Safety Software Test Coverage.

Imanol Allende, Nicholas Mc Guire, Jon Pérez, Lisandro Gabriel Monsalve, Javier Fernández, Roman Obermaisser

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Embedded Artificial Intelligence: The ARTEMIS Vision.

Dimitrios Serpanos, Gianluigi Ferrari, George Nikolakopoulos, Jon Pérez, Markus Tauber, Stefan Van Baelen

Computer, 2020

2019

Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices.

Imanol Allende, Nicholas Mc Guire, Jon Pérez, Lisandro Gabriel Monsalve, Nerea Uriarte, Roman Obermaisser

Proceedings of the 15th European Dependable Computing Conference, 2019

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

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, Adele Maleki, Johnny Öberg, Mohamed Tagelsir Mohammadat, Jon Pérez-Cerrolaza, Ingo Sander, Ingemar Söderquist

Microprocess. Microsystems, 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

Proceedings of the Computer Safety, Reliability, and Security, 2017

Modular Development and Certification of Dependable Mixed-Criticality Systems.

Asier Larrucea, Imanol Martinez, Carlos Fernando Nicolás, Jon Pérez, Roman Obermaisser

Proceedings of the Euromicro Conference on Digital System Design, 2017

2016

Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation.

Brahim Hamid, Jon Pérez

J. Syst. Softw., 2016

Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore.

Irune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla

Proceedings of the Computer Safety, Reliability, and Security, 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, Ingo Sander, Ingemar Söderquist

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

A Realistic Approach to a Network-on-Chip Cross-Domain Pattern.

Asier Larrucea, Hamidreza Ahmadian, Roman Obermaisser, Jon Pérez, Carlos Fernando Nicolás

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

WCET analysis methods: Pitfalls and challenges on their trustworthiness.

Jaume Abella, Carles Hernández, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Pérez, Enrico Mezzetti, Tullio Vardanega

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 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, Mikel Azkarate-askasua, Ton Trapman

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

A Modular Safety Case for an IEC-61508 Compliant Generic Hypervisor.

Asier Larrucea, Jon Pérez, Irune Agirre, Vicent Brocal, Roman Obermaisser

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

IEC-61508 SIL 3 Compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis.

Irune Agirre, Mikel Azkarate-askasua, Carles Hernández, Jaume Abella, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning.

Jon Pérez, David González, Salvador Trujillo, Ton Trapman

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

A Modular Safety Case for an IEC 61508 Compliant Generic COTS Processor.

Asier Larrucea, Jon Pérez, Roman Obermaisser

Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

A Safety Concept for a Railway Mixed-Criticality Embedded System Based on Multicore Partitioning.

Irune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla

Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014

R3TOS-Based Autonomous Fault-Tolerant Systems.

Xabier Iturbe, Ali Ebrahim, Khaled Benkrid, Chuan Hong, Tughrul Arslan, Jon Pérez, Didier Keymeulen, Marco D. Santambrogio

IEEE Micro, 2014

MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems.

Salvador Trujillo, Alfons Crespo, Alejandro Alonso, Jon Pérez

Microprocess. Microsystems, 2014

A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems.

Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner

Proceedings of the Computer Safety, Reliability, and Security, 2014

Modeling logical execution time based safety-critical embedded systems in SystemC.

Iban Ayestaran, Carlos F. Nicolás, Jon Pérez, Peter P. Puschner

Proceedings of the 3rd Mediterranean Conference on Embedded Computing, 2014

Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems.

Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

A novel modeling framework for time-triggered safety-critical embedded systems.

Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning.

Jon Pérez, David González, Carlos Fernando Nicolás, Ton Trapman, Jose Miguel Garate

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

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

IEEE Trans. Computers, 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

Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

SCA extensions to support safety critical distributed embedded systems.

Aitor Agirre, Jon Pérez, Rafael Priego, Marga Marcos, Elisabet Estévez-Estévez

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2011

Modeling time-triggered real-time control systems using executable time-triggered model (E-TTM) and systemC-AMS.

Jon Pérez, Roman Obermaisser, Carlos Fernando Nicolás, Iban Ayestaran

Comput. Syst. Sci. Eng., 2011

2010

Executable Time-Triggered Model (E-TTM) for Real-Time Control Systems.

Jon Pérez, Antonio Perez, Roman Obermaisser

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.

Jon Pérez, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum

Proceedings of the 2010 Forum on specification & Design Languages, 2010

Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC.

Jon Pérez, Mikel Azkarate-askasua, Antonio Perez

Proceedings of the Eighth European Dependable Computing Conference, 2010

2009

A novel SEU, MBU and SHE handling strategy for Xilinx Virtex-4 FPGAs.

Xabier Iturbe, Mikel Azkarate-askasua, Imanol Martinez, Jon Pérez, Armando Astarloa

Proceedings of the 19th International Conference on Field Programmable Logic and Applications, 2009