Bruno Farias

According to our database, Bruno Farias authored at least 14 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects.

Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Eddie Batista de Lima Filho, Lucas Carvalho Cordeiro

CoRR, 2024

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

ESBMC-Python: A Bounded Model Checker for Python Programs.

Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

An Architecture to Emulate Television Receivers.

Bruno Farias, Ivo Machado, Claudio Pinheiro, Tiago Souza, Eddie Batista de Lima Filho, Rodrigo Cal, Washington Luiz, Marcos Oliveira, Mateus V. Said

Proceedings of the IEEE International Conference on Consumer Electronics, 2024

2023

A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams.

Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva

Softw. Test. Verification Reliab., 2023

ESBMC v7.4: Harnessing the Power of Intervals.

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

CoRR, 2023

Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking.

Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro

CoRR, 2023

2022

A Methodology for Emulating, Developing, and Testing the Middleware DTV Play in Personal Computers.

Bruno Farias, Ivo Machado, Eddie B. de Lima Filho, Claudio Pinheiro, Petrina Kimura, Leonardo Cordeiro, Daniel Xavier

Proceedings of the IEEE International Conference on Consumer Electronics, 2022

2021

A Methodology for Providing Encrypted-Content Decoding in DTV Play.

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

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

A Methodology for Automatic Evaluation of DTV Signals.

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

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

2020

A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D.

Petrina Kimura, Bruno Farias, Jeferson B. da Costa, Rômulo Fabrício, Eddie Batista de Lima Filho

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Extensions to Middleware Ginga for Integration with IoT Environments.

Bruno Farias, Eddie Batista de Lima Filho, Orlewilson Bentes Maia, Eduardo Souto

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

2019

A Methodology for Convergence Between Ginga and HbbTV.

Bruno Farias, Nicoli Araujo, Romulo Fabricio, Jeferson B. da Costa, Eddie Batista de Lima Filho

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

Evaluation of Digital TV Receivers with Noncompliant MPEG-2 Transport Streams.

Fabrício Izumi, Bruno Farias, Eddie Batista de Lima Filho, Allan R. A. da Amorim, O. Bentes Maia, A. Silva

Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2019