Travelled to:1 × France
1 × Germany
2 × USA
Collaborated with:J.Abella F.Silla J.Duato J.Espinosa D.d.Andrés J.C.Ruiz Enrique Díaz Mikel Fernández L.Kosmidis E.Mezzetti F.J.Cazorla
Talks about:automot (2) analysi (2) system (2) safeti (2) microcontrol (1) probabilist (1) determinist (1) methodolog (1) checkpoint (1) character (1)
Person: Carles Hernández
DBLP: Hern=aacute=ndez:Carles
Contributed to:
2015
201520142010
2017Wrote 5 papers:
- DAC-2015-EspinosaHAAR #analysis #correlation #robust #set #verification
- Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification (JE, CH, JA, DdA, JCR), p. 6.
- DATE-2015-HernandezA #low cost #safety
- Low-cost checkpointing in automotive safety-relevant systems (CH, JA), pp. 91–96.
- DAC-2014-HernandezA #detection #fault #named #safety
- LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (CH, JA), p. 6.
- DATE-2010-HernandezSD #process
- A methodology for the characterization of process variation in NoC links (CH, FS, JD), pp. 685–690.
- AdaEurope-2017-DiazFKMHAC #analysis #bound #manycore #named #probability
- MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding (ED, MF, LK, EM, CH, JA, FJC), pp. 102–118.