Actualidad
IMDEA Software
Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs
25 Apr 2019
Leer más trending_flat
IMDEA Software
Talk by Marco Guarnieri: Principled detection of speculative information flows
24 Apr 2019
Leer más trending_flat
IMDEA Software
Principled detection of speculative information flows
24 Apr 2019
Leer más trending_flat
IMDEA Software
Talk by Joao Marques Silva: Logic-Enabled Explanations for Machine Learning Models
23 Apr 2019
Leer más trending_flat
IMDEA Software
Logic-Enabled Explanations for Machine Learning Models
23 Apr 2019
Leer más trending_flat
IMDEA Software
Fuzzing objects: Motivation and preliminary results
16 Apr 2019
Leer más trending_flat

