Jon Pérez

35 papers A 2B 2C 12Misc 3Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2023 A conf
SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI.
DATE
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
2022 J jnl
Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems.
IEEE Trans. Ind. Informatics
Jon Pérez, Jose Luis Flores, Christian Blum, Jesús Cerquides, Alex Abuin
2021 A conf
Estimation of Linux Kernel Execution Path Uncertainty for Safety Software Test Coverage.
DATE
Imanol Allende, Nicholas Mc Guire, Jon Pérez, Lisandro Gabriel Monsalve, Javier Fernández, Roman Obermaisser
2021 J jnl
Towards Linux based safety systems - A statistical approach for software execution path coverage.
J. Syst. Archit.
Imanol Allende, Nicholas Mc Guire, Jon Pérez, Lisandro Gabriel Monsalve, Roman Obermaisser
2021 J jnl
Towards functional safety compliance of matrix-matrix multiplication for machine learning-based autonomous systems.
J. Syst. Archit.
Javier Fernández, Jon Pérez, Irune Agirre, Imanol Allende, Jaume Abella, Francisco J. Cazorla
2020 J jnl
Embedded Artificial Intelligence: The ARTEMIS Vision.
Computer
Dimitrios Serpanos, Gianluigi Ferrari, George Nikolakopoulos, Jon Pérez, Markus Tauber, Stefan Van Baelen
2019 Misc conf
Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices.
EDCC
Imanol Allende, Nicholas Mc Guire, Jon Pérez, Lisandro Gabriel Monsalve, Nerea Uriarte, Roman Obermaisser
2017 — conf
GSN Support of Mixed-Criticality Systems Certification.
SAFECOMP Workshops
Carlos Fernando Nicolás, Fernando Eizaguirre, Asier Larrucea, Simon Barner, Franck Chauvel, Goiuria Sagardui, Jon Pérez
2017 C conf
Modular Development and Certification of Dependable Mixed-Criticality Systems.
DSD
Asier Larrucea, Imanol Martinez, Carlos Fernando Nicolás, Jon Pérez, Roman Obermaisser
2016 C conf
A Realistic Approach to a Network-on-Chip Cross-Domain Pattern.
DSD
Asier Larrucea, Hamidreza Ahmadian, Roman Obermaisser, Jon Pérez, Carlos Fernando Nicolás
2016 — conf
Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore.
SAFECOMP Workshops
Irune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla
2016 C conf
SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems.
DSD
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
2016 J jnl
Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation.
J. Syst. Softw.
Brahim Hamid, Jon Pérez
2015 — conf
A Modular Safety Case for an IEC 61508 Compliant Generic COTS Processor.
CIT/IUCC/DASC/PICom
Asier Larrucea, Jon Pérez, Roman Obermaisser
2015 C conf
A Modular Safety Case for an IEC-61508 Compliant Generic Hypervisor.
DSD
Asier Larrucea, Jon Pérez, Irune Agirre, Vicent Brocal, Roman Obermaisser
2015 — conf
A Safety Concept for a Railway Mixed-Criticality Embedded System Based on Multicore Partitioning.
CIT/IUCC/DASC/PICom
Irune Agirre, Mikel Azkarate-askasua, Asier Larrucea, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla
2015 Misc conf
A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning.
Ada-Europe
Jon Pérez, David González, Salvador Trujillo, Ton Trapman
2015 C conf
IEC-61508 SIL 3 Compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis.
DSD
Irune Agirre, Mikel Azkarate-askasua, Carles Hernández, Jaume Abella, Jon Pérez, Tullio Vardanega, Francisco J. Cazorla
2015 C conf
Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning.
FDL
Asier Larrucea, Irune Agirre, Carlos Fernando Nicolás, Jon Pérez, Mikel Azkarate-askasua, Ton Trapman
2015 — conf
WCET analysis methods: Pitfalls and challenges on their trustworthiness.
SIES
Jaume Abella, Carles Hernández, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Pérez, Enrico Mezzetti, Tullio Vardanega
2014 C conf
A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning.
DSD
Jon Pérez, David González, Carlos Fernando Nicolás, Ton Trapman, Jose Miguel Garate
2014 B conf
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems.
SAFECOMP
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
2014 C conf
A novel modeling framework for time-triggered safety-critical embedded systems.
FDL
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
2014 C conf
Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems.
ISORC
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
2014 — conf
Modeling logical execution time based safety-critical embedded systems in SystemC.
MECO
Iban Ayestaran, Carlos F. Nicolás, Jon Pérez, Peter P. Puschner
2014 J jnl
MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems.
Microprocess. Microsystems
Salvador Trujillo, Alfons Crespo, Alejandro Alonso, Jon Pérez
2014 J jnl
R3TOS-Based Autonomous Fault-Tolerant Systems.
IEEE Micro
Xabier Iturbe, Ali Ebrahim, Khaled Benkrid, Chuan Hong, Tughrul Arslan, Jon Pérez, Didier Keymeulen, Marco D. Santambrogio
2013 — conf
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns.
SDL Forum
Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Pérez
2013 J jnl
R3TOS: A Novel Reliable Reconfigurable Real-Time Operating System for Highly Adaptive, Efficient, and Dependable Computing on FPGAs.
IEEE Trans. Computers
Xabier Iturbe, Khaled Benkrid, Chuan Hong, Ali Ebrahim, Raul Torrego, Imanol Martinez, Tughrul Arslan, Jon Pérez
2013 C conf
SCA extensions to support safety critical distributed embedded systems.
ETFA
Aitor Agirre, Jon Pérez, Rafael Priego, Marga Marcos, Elisabet Estévez-Estévez
2011 J jnl
Modeling time-triggered real-time control systems using executable time-triggered model (E-TTM) and systemC-AMS.
Comput. Syst. Sci. Eng.
Jon Pérez, Roman Obermaisser, Carlos Fernando Nicolás, Iban Ayestaran
2010 Misc conf
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC.
EDCC
Jon Pérez, Mikel Azkarate-askasua, Antonio Perez
2010 C conf
Executable Time-Triggered Model (E-TTM) for Real-Time Control Systems.
ISORC
Jon Pérez, Antonio Perez, Roman Obermaisser
2010 C conf
Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC.
FDL
Jon Pérez, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum
2009 B conf
A novel SEU, MBU and SHE handling strategy for Xilinx Virtex-4 FPGAs.
FPL
Xabier Iturbe, Mikel Azkarate-askasua, Imanol Martinez, Jon Pérez, Armando Astarloa