BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hern=aacute=ndez:Carles

Contributed to:

DAC 20152015
DATE 20152015
DAC 20142014
DATE 20102010
Ada-Europe 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.