1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LG2021★ 1 cited
Verifying Quantized Neural Networks using SMT-Based Model Checking
Luiz Sena, Xidan Song, Erickson Alves +4
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns ab…
cs.CR2021
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction
Thales Silva, Carmina Porto, Erickson Alves +2
Computer-based systems have been used to solve several domain problems, such as industrial, military, education, and wearable. Those systems need high-quality software to guarantee…
cs.LO2020
Incremental Verification of Fixed-Point Implementations of Neural Networks
Luiz Sena, Erickson Alves, Iury Bessa +2
Implementations of artificial neural networks (ANNs) might lead to failures, which are hardly predicted in the design phase since ANNs are highly parallel and their parameters are…