Victor Hugo Sperle Campos

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Security Requirements

Automatic Analysis

Communication Cost

Piecewise Linear

Top Venues

Publications

Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira
Restrictification of function arguments. CC (2016)
Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira
A fast and low-overhead technique to secure programs against integer overflows. CGO (2013)
Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira
Speed and Precision in Range Analysis. SBLP (2012)