EasyChair Smart SlideDocs/Log in
Author: Lucas Cordeiro

This page shows all presentations of this author published in EasyChair Smart Slide.

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

João Batista Pereira Matos Júnior, Iury Bessa, Xidan Song, Edoardo Manino and Lucas C. Cordeiro

Boost the Impact of Continuous Formal Verification in Industry

Boost the Impact of Continuous Formal Verification in Industry

Felipe Rodrigues Monteiro Sousa, Mikhail R. Gadelha and Lucas Cordeiro

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel and Marek Trtik

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair