default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJon Pérez 0001
Person information
- affiliation: IK4-IKERLAN Research Centre, Mondragon, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j19]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:
Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey. ACM Comput. Surv. 56(7): 176:1-176:40 (2024)- [j18]Markel Galarraga
, Charles-Alexis Lefebvre, Jon Pérez-Cerrolaza, Jose A. Pascual:
Toward Linux-based safety-critical systems - Execution time variability analysis of Linux system calls. J. Syst. Archit. 156: 103266 (2024) - 2023
- [j17]Jon Pérez-Cerrolaza, Francisco J. Cazorla, Jaume Abella:
Uncertainty Management in Dependable and Intelligent Embedded Software. Computer 56(3): 114-117 (2023) - [j16]Axel Brando, Isabel Serra, Enrico Mezzetti, Francisco J. Cazorla, Jon Pérez-Cerrolaza, Jaume Abella:
On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems. Computer 56(5): 41-50 (2023) - [j15]Jon Pérez-Cerrolaza, Jaume Abella, Leonidas Kosmidis, Alejandro J. Calderón, Francisco J. Cazorla, Jose Luis Flores:
GPU Devices for Safety-Critical Systems: A Survey. ACM Comput. Surv. 55(7): 147:1-147:37 (2023) - 2022
- [j14]Irune Yarza, Irune Agirre, Imanol Mugarza, Jon Pérez-Cerrolaza:
Safety and security collaborative analysis framework for high-performance embedded computing devices. Microprocess. Microsystems 93: 104572 (2022) - [j13]Jon Pérez, Jose Luis Flores, Christian Blum, Jesús Cerquides, Alex Abuin:
Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems. IEEE Trans. Ind. Informatics 18(1): 620-630 (2022) - 2021
- [j12]Imanol Allende, Nicholas Mc Guire, Jon Pérez-Cerrolaza, Lisandro Gabriel Monsalve, Jens Petersohn, Roman Obermaisser:
Statistical Test Coverage for Linux-Based Next-Generation Autonomous Safety-Related Systems. IEEE Access 9: 106065-106078 (2021) - [j11]Jon Pérez-Cerrolaza, Roman Obermaisser, Jaume Abella, Francisco J. Cazorla, Kim Grüttner, Irune Agirre, Hamidreza Ahmadian, Imanol Allende:
Multi-core Devices for Safety-critical Systems: A Survey. ACM Comput. Surv. 53(4): 79:1-79:38 (2021) - [j10]Imanol Allende, Nicholas Mc Guire, Jon Pérez, Lisandro Gabriel Monsalve, Roman Obermaisser:
Towards Linux based safety systems - A statistical approach for software execution path coverage. J. Syst. Archit. 116: 102047 (2021) - [j9]Javier Fernández, Jon Pérez, Irune Agirre, Imanol Allende, Jaume Abella, Francisco J. Cazorla:
Towards functional safety compliance of matrix-matrix multiplication for machine learning-based autonomous systems. J. Syst. Archit. 121: 102298 (2021) - 2020
- [j8]Dimitrios Serpanos, Gianluigi Ferrari, George Nikolakopoulos, Jon Pérez, Markus Tauber, Stefan Van Baelen:
Embedded Artificial Intelligence: The ARTEMIS Vision. Computer 53(11): 65-69 (2020) - 2017
- [j7]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:
SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems. Microprocess. Microsystems 52: 89-105 (2017) - [j6]Asier Larrucea, Imanol Martinez, Vicent Brocal, Hamidreza Ahmadian, Salvador Peiró, Roman Obermaisser, Jon Pérez-Cerrolaza:
Reusable generic design patterns for mixed-criticality systems based on DREAMS. Microprocess. Microsystems 54: 35-46 (2017) - 2016
- [j5]Brahim Hamid, Jon Pérez:
Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation. J. Syst. Softw. 122: 239-273 (2016) - 2014
- [j4]Salvador Trujillo, Alfons Crespo, Alejandro Alonso, Jon Pérez:
MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems. Microprocess. Microsystems 38(8): 921-932 (2014) - [j3]Xabier Iturbe, Ali Ebrahim, Khaled Benkrid, Chuan Hong, Tughrul Arslan, Jon Pérez, Didier Keymeulen, Marco D. Santambrogio:
R3TOS-Based Autonomous Fault-Tolerant Systems. IEEE Micro 34(6): 20-30 (2014) - 2013
- [j2]Xabier Iturbe, Khaled Benkrid, Chuan Hong, Ali Ebrahim, Raul Torrego, Imanol Martinez, Tughrul Arslan, Jon Pérez:
R3TOS: A Novel Reliable Reconfigurable Real-Time Operating System for Highly Adaptive, Efficient, and Dependable Computing on FPGAs. IEEE Trans. Computers 62(8): 1542-1556 (2013) - 2011
- [j1]Jon Pérez, Roman Obermaisser, Carlos Fernando Nicolás, Iban Ayestaran:
Modeling time-triggered real-time control systems using executable time-triggered model (E-TTM) and systemC-AMS. Comput. Syst. Sci. Eng. 26(6) (2011)
Conference and Workshop Papers
- 2023
- [c28]Haritz Odriozola-Olalde, Nestor Arana-Arexolaleiba, Maider Zamalloa, Jon Pérez-Cerrolaza, Jokin Arozamena-Rodríguez:
Fear Field: Adaptive constraints for safe environment transitions in Shielded Reinforcement Learning. AISafety/SafeRL@IJCAI 2023 - [c27]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:
SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI. DATE 2023: 1-6 - 2022
- [c26]Javier Fernández, Irune Agirre, Jon Pérez-Cerrolaza, Jaume Abella, Francisco J. Cazorla:
A Methodology for Selective Protection of Matrix Multiplications: A Diagnostic Coverage and Performance Trade-off for CNNs Executed on GPUs. ICSRS 2022: 9-18 - 2021
- [c25]Imanol Allende, Nicholas Mc Guire, Jon Pérez, Lisandro Gabriel Monsalve, Javier Fernández, Roman Obermaisser:
Estimation of Linux Kernel Execution Path Uncertainty for Safety Software Test Coverage. DATE 2021: 1446-1451 - 2019
- [c24]Imanol Allende, Nicholas Mc Guire, Jon Pérez, Lisandro Gabriel Monsalve, Nerea Uriarte, Roman Obermaisser:
Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices. EDCC 2019: 47-54 - 2017
- [c23]Asier Larrucea, Imanol Martinez, Carlos Fernando Nicolás, Jon Pérez, Roman Obermaisser:
Modular Development and Certification of Dependable Mixed-Criticality Systems. DSD 2017: 419-426 - [c22]Carlos Fernando Nicolás, Fernando Eizaguirre, Asier Larrucea, Simon Barner, Franck Chauvel, Goiuria Sagardui, Jon Pérez:
GSN Support of Mixed-Criticality Systems Certification. SAFECOMP Workshops 2017: 157-172 - 2016
- [c21]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:
SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems. DSD 2016: 294-300 - [c20]Asier Larrucea, Hamidreza Ahmadian, Roman Obermaisser, Jon Pérez, Carlos Fernando Nicolás:
A Realistic Approach to a Network-on-Chip Cross-Domain Pattern. DSD 2016: 396-403 - [c19]Irune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla:
Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore. SAFECOMP Workshops 2016: 273-285 - 2015
- [c18]Irune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla:
A Safety Concept for a Railway Mixed-Criticality Embedded System Based on Multicore Partitioning. CIT/IUCC/DASC/PICom 2015: 1780-1787 - [c17]Asier Larrucea, Jon Pérez, Roman Obermaisser:
A Modular Safety Case for an IEC 61508 Compliant Generic COTS Processor. CIT/IUCC/DASC/PICom 2015: 1788-1795 - [c16]Jon Pérez, David González, Salvador Trujillo, Ton Trapman:
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning. Ada-Europe 2015: 3-17 - [c15]Asier Larrucea, Jon Pérez, Irune Agirre, Vicent Brocal, Roman Obermaisser:
A Modular Safety Case for an IEC-61508 Compliant Generic Hypervisor. DSD 2015: 571-574 - [c14]Irune Agirre, Mikel Azkarate-askasua, Carles Hernández, Jaume Abella, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla:
IEC-61508 SIL 3 Compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis. DSD 2015: 677-684 - [c13]Asier Larrucea, Irune Agirre, Carlos Fernando Nicolás, Jon Pérez, Mikel Azkarate-askasua, Ton Trapman:
Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning. FDL 2015: 130-137 - [c12]Jaume Abella, Carles Hernández, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Pérez, Enrico Mezzetti, Tullio Vardanega:
WCET analysis methods: Pitfalls and challenges on their trustworthiness. SIES 2015: 39-48 - 2014
- [c11]Jon Pérez, David González, Carlos Fernando Nicolás, Ton Trapman, Jose Miguel Garate:
A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning. DSD 2014: 394-400 - [c10]Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner:
A novel modeling framework for time-triggered safety-critical embedded systems. FDL 2014: 1-8 - [c9]Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner:
Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems. ISORC 2014: 180-187 - [c8]Iban Ayestaran, Carlos F. Nicolás, Jon Pérez, Peter P. Puschner:
Modeling logical execution time based safety-critical embedded systems in SystemC. MECO 2014: 77-80 - [c7]Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner:
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. SAFECOMP 2014: 1-16 - 2013
- [c6]Aitor Agirre, Jon Pérez, Rafael Priego, Marga Marcos, Elisabet Estévez-Estévez:
SCA extensions to support safety critical distributed embedded systems. ETFA 2013: 1-4 - [c5]Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Pérez:
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns. SDL Forum 2013: 72-90 - 2010
- [c4]Jon Pérez, Mikel Azkarate-askasua, Antonio Perez:
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC. EDCC 2010: 221-229 - [c3]Jon Pérez, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum:
Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. FDL 2010: 10-15 - [c2]Jon Pérez, Antonio Perez, Roman Obermaisser:
Executable Time-Triggered Model (E-TTM) for Real-Time Control Systems. ISORC 2010: 42-49 - 2009
- [c1]Xabier Iturbe, Mikel Azkarate-askasua, Imanol Martinez, Jon Pérez, Armando Astarloa:
A novel SEU, MBU and SHE handling strategy for Xilinx Virtex-4 FPGAs. FPL 2009: 569-573
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
