Carles Hernández

WCET analysis methods: Pitfalls and challenges on their trustworthiness

Jaume Abella, Carles Hernández, Eduardo Quiñones et al. · 2015 · 114 citations

Engineering, Service Assurance, Verification +25

Timely Error Detection for Effective Recovery in Light-Lockstep Automotive Systems

Carles Hernández, Jaume Abella · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2015 · 36 citations · Full text

Engineering, Error Control Technique, Verification +21

Fitting processor architectures for measurement-based probabilistic timing analysis

Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella et al. · Microprocessors and Microsystems · 2016 · 35 citations · Full text

Reliability Engineering, Engineering, Measurement +9

Safety-Related Challenges and Opportunities for GPUs in the Automotive Domain

Sergi Alcaide, Leonidas Kosmidis, Hamid Tabani et al. · IEEE Micro · 2018 · 32 citations · Full text

Automotive Engineering, Engineering, Safety Science +18

High-Integrity GPU Designs for Critical Real-Time Automotive Systems

Sergi Alcaide, Leonidas Kosmidis, Carles Hernández et al. · 2019 · 31 citations · Full text

Hardware Security, Gpu Architecture, Engineering +15