Luis Miguel Danielsson's thesis brings runtime Verification to decentralized and distributed systems Скачать
We tackle unsolved challenges & sketch the roadmap of tomorrow’s software for the advance of society Скачать
Thaleia Doudali improves Computer Systems with ML and CV, and makes inclusion efforts in academia Скачать
75% of the apps analysed include third-party components that share data with advertisement companies Скачать
Entrevista: Silvia Sebastián y Elena Gutiérrez por la Noche Europea de los Investigadores 2020 Скачать
César Sánchez: ElasTest improves efficiency and effectiveness of testing process on software systems Скачать
Marco Guarnieri: “Using Spectector we detect program vulnerability to speculative execution attacks" Скачать