Leonardo Valentino Soares Barbosa

Validation of memory accesses through symbolic analyses

Henrique Nazaré, Izabela Karennina Travizani Maffra, Willer Santos et al. · 2014 · 33 citations · Full text

Computing, Computer Engineering, Computer Science +13

Symbolic range analysis of pointers

Vitor Paisante, Maroua Maalej, Leonardo Valentino Soares Barbosa et al. · 2016 · 14 citations · Full text

Computing, Computer Engineering, Computer Science +12

Validation of memory accesses through symbolic analyses

Henrique Nazaré, Izabela Karennina Travizani Maffra, Willer Santos et al. · ACM SIGPLAN Notices · 2014 · 12 citations

Computing, Computer Engineering, Computer Science +13

Predicting Risk of Ammonia Exposure in Broiler Housing: Correlation with Incidence of Health Issues

Leonardo Valentino Soares Barbosa, Nilsa Duarte da Silva Lima, Juliana de Souza Granja Barros et al. · Animals · 2024 · 12 citations · Full text

Agriculture, Animal Sciences, Poultry Science +17