Luiz H. Sena

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 5

Top Topics

Formal Verification

Transition Systems

Top Venues

Publications

Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Lujan, Lucas C. Cordeiro
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR (2021)
Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro
Verifying Quantized Neural Networks using SMT-Based Model Checking. CoRR (2021)
Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro
Incremental Verification of Fixed-Point Implementations of Neural Networks. CoRR (2020)
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. SBESC (2019)
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. CoRR (2019)