Alejandro David Velasco

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Mutual Exclusion

Top Venues

Publications

Alejandro David Velasco, Bartolomeo Montrucchio, Maurizio Rebaudengo
TMR technique for mutex kernel data structures. LATS (2017)
Bartolomeo Montrucchio, Maurizio Rebaudengo, Alejandro David Velasco
Software-implemented fault injection in operating system kernel mutex data structure. LASCAS (2014)