Evaluation of Digital TV Receivers with Noncompliant MPEG-2 Transport Streams. - Fabrício Izumi; Bruno Farias 001; Eddie Batista de Lima Filho; Allan R. A. da Amorim; Orlewilson Bentes Maia; A. Silva (ICCE-TW, 2019)

A Methodology for Convergence Between Ginga and HbbTV. - Bruno Farias 001; Nicoli Araujo; Romulo Fabricio; Jeferson B. da Costa; Eddie Batista de Lima Filho (ICCE, 2019)

Extensions to Middleware Ginga for Integration with IoT Environments. - Bruno Farias 001; Eddie Batista de Lima Filho; Orlewilson Bentes Maia; Eduardo Souto (ICCE, 2020)

A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D. - Petrina Kimura; Bruno Farias 001; Jeferson B. da Costa; Rômulo Fabrício; Eddie Batista de Lima Filho (ICCE, 2020)

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 001; Petrina Kimura; Rômulo Fabrício Júnior (ICCE, 2021)

A Methodology for Providing Encrypted-Content Decoding in DTV Play. - Jônatas Rech; Vinícius Freitas; Bruno Farias 001; Eddie Batista de Lima Filho; Jeferson B. da Costa; Ivo Machado; Xianpan Chen; Claudio Pinheiro; Daniel Xavier (ICCE, 2021)

A Methodology for Emulating, Developing, and Testing the Middleware DTV Play in Personal Computers. - Bruno Farias 001; Ivo Machado; Eddie B. de Lima Filho; Claudio Pinheiro; Petrina Kimura; Leonardo Cordeiro; Daniel Xavier (ICCE, 2022)

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)

ESBMC v7.4: Harnessing the Power of Intervals. - Rafael Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (CoRR, 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 001; Aguinaldo Silva (Softw. Test. Verification Reliab., 2023)

An Architecture to Emulate Television Receivers. - Bruno Farias 001; Ivo Machado; Claudio Pinheiro; Tiago Souza; Eddie Batista de Lima Filho; Rodrigo M. M. Cal; Washington Luiz; Marcos Oliveira; Mateus V. Said (ICCE, 2024)

ESBMC-Python: A Bounded Model Checker for Python Programs. - Bruno Farias 001; Rafael Menezes; Eddie B. de Lima Filho; Youcheng Sun; Lucas C. Cordeiro (ISSTA, 2024)

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). - Rafael Sá Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (TACAS (3), 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)