Eddie B. de Lima Filho

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Quantization Noise

Top Venues

Softw. Test. Verification Reliab.

Publications

Daniel Xavier, Fabricio Bandeira, Andre R. da Silva Conceição, Rômulo Fabrício, José Fernandes, Eddie B. de Lima Filho, Daniel Araújo, Raphael Mello, Stephany Silva, Tarcizio Lima
Augmenting Digital TV Receivers with REST APIs. ICCE (2024)
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
ESBMC-Python: A Bounded Model Checker for Python Programs. CoRR (2024)
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro
Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (2024)
Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams. Softw. Test. Verification Reliab. 33 (1) (2023)
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ICSE-Companion (2022)
Orlewilson B. Maia, Andre R. da Silva Conceição, Manoel J. de Souza Júnior, Fabrício Izumi, Eddie B. de Lima Filho, Paulo Corrêa
A Real-Time Analyzer for Testing DTV Play. ICCE (2022)
Bruno Farias, Ivo Machado, Eddie B. de Lima Filho, Claudio Pinheiro, Petrina Kimura, Leonardo Cordeiro, Daniel Xavier
A Methodology for Emulating, Developing, and Testing the Middleware DTV Play in Personal Computers. ICCE (2022)
Manoel J. de Souza, Orlewilson B. Maia, Samantha C. Leite, Eddie B. de Lima Filho, Fabrício Izumi, Robson R. Andrade, Paulo Corrêa
A Framework for Automatic Field Evaluation of DTV Receivers. ICCE (2021)
Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. CoRR (2021)