Bruno Farias

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Automatic Evaluation

Personal Computer

Top Venues

Softw. Test. Verification Reliab.

Publications

Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). TACAS (3) (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)
Bruno Farias, Ivo Machado, Claudio Pinheiro, Tiago Souza, Eddie Batista de Lima Filho, Rodrigo Cal, Washington Luiz, Marcos Oliveira, Mateus Said
An Architecture to Emulate Television Receivers. ICCE (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)
Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.4: Harnessing the Power of Intervals. CoRR (2023)
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)
Fabrício Izumi, Robson R. Andrade, Eddie Batista de Lima Filho, Ruan J. S. Belém, Bruno Farias, Petrina Kimura, Rômulo Fabrício Júnior
A Methodology for Automatic Evaluation of DTV Signals. ICCE (2021)
Jônatas Rech, Vinícius Freitas, Bruno Farias, Eddie Batista de Lima Filho, Jeferson B. da Costa, Ivo Machado, Xianpan Chen, Claudio Pinheiro, Daniel Xavier
A Methodology for Providing Encrypted-Content Decoding in DTV Play. ICCE (2021)
Petrina Kimura, Bruno Farias, Jeferson B. da Costa, Rômulo Fabrício, Eddie Batista de Lima Filho
A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D. ICCE (2020)
Bruno Farias, Nicoli Araujo, Romulo Fabricio, Jeferson B. da Costa, Eddie Batista de Lima Filho
A Methodology for Convergence Between Ginga and HbbTV. ICCE (2019)