Jon Pérez
Orcid: 0000-0001-6389-648XAffiliations:
- IK4-IKERLAN Research Centre, Mondragon, Spain
According to our database1,
Jon Pérez
authored at least 45 papers
between 2009 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems.
Computer, May, 2023
Computer, March, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Fear Field: Adaptive constraints for safe environment transitions in Shielded Reinforcement Learning.
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.
Microprocess. Microsystems, September, 2022
Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems.
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.
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.
J. Syst. Archit., 2021
Towards Linux based safety systems - A statistical approach for software execution path coverage.
J. Syst. Archit., 2021
Statistical Test Coverage for Linux-Based Next-Generation Autonomous Safety-Related Systems.
IEEE Access, 2021
Estimation of Linux Kernel Execution Path Uncertainty for Safety Software Test Coverage.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
2019
Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices.
Proceedings of the 15th European Dependable Computing Conference, 2019
2017
Microprocess. Microsystems, 2017
SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems.
Microprocess. Microsystems, 2017
Proceedings of the Computer Safety, Reliability, and Security, 2017
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.
J. Syst. Softw., 2016
Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore.
Proceedings of the Computer Safety, Reliability, and Security, 2016
SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016
2015
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.
Proceedings of the 2015 Forum on Specification and Design Languages, 2015
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015
IEC-61508 SIL 3 Compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis.
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.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015
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.
Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015
2014
MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems.
Microprocess. Microsystems, 2014
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the 3rd Mediterranean Conference on Embedded Computing, 2014
Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014
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.
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.
IEEE Trans. Computers, 2013
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns.
Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013
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.
Comput. Syst. Sci. Eng., 2011
2010
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.
Proceedings of the 2010 Forum on specification & Design Languages, 2010
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC.
Proceedings of the Eighth European Dependable Computing Conference, 2010
2009
Proceedings of the 19th International Conference on Field Programmable Logic and Applications, 2009