Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response by Cavalcante, Thiago, Bessa, Iury, Lima Filho, Eddie B. de, Cordeiro, Lucas C.

Get full text

Survey on automated symbolic verification and its application for synthesising cyber‐physical systems by Cordeiro, Lucas C., Lima Filho, Eddie B., Bessa, Iury V.

Get full text

A Methodology for Automatic Evaluation of DTV Signals by Izumi, Fabricio, Andrade, Robson, de Lima Filho, Eddie B., Belem, Ruan, Farias, Bruno, Kimura, Petrina, Junior, Romulo Fabricio

Request full text

Counterexample Guided Neural Network Quantization Refinement by Matos, Joao Batista P., de Lima Filho, Eddie B., Bessa, Iury, Manino, Edoardo, Song, Xidan, Cordeiro, Lucas C.

Get full text

Verifying fragility in digital systems with uncertainties using DSVerifier v2.0 by Chaves, Lennon C., Ismail, Hussama I., Bessa, Iury V., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Get full text

A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams by Izumi, Fabricio, Lima Filho, Eddie B., Cordeiro, Lucas C., Maia, Orlewilson, Fabrício, Rômulo, Farias, Bruno, Silva, Aguinaldo

Get full text

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

Request full text

A Methodology for Providing Encrypted-Content Decoding in DTV Play by Rech, Jonatas, Freitas, Vinicius, Farias, Bruno, de Lima Filho, Eddie B., Costa, Jeferson, Machado, Ivo, Chen, Xianpan, Pinheiro, Claudio, Xavier, Daniel

Request full text

An Automated Testing Methodology to Evaluate Multimedia Processing Stacks Running on Digital TV Receivers by Da Silva, Andrya K. O., Amorim, Luzia C., Maia, Orlewilson B., De Lima Filho, Eddie B., Da Rocha, Tassia C., Dos Santos, Gabriel C., Guedes, Adrian L., Queiroz, Andreza R., De Araujo, Kawe R. C.

Request full text

A Real-Time Analyzer for Testing DTV Play by Maia, Orlewilson B., da Silva Conceicao, Andre R., de Souza Junior, Manoel J., Izumi, Fabricio, de Lima Filho, Eddie B., Correa, Paulo

Request full text

A Framework for Automatic Field Evaluation of DTV Receivers by de Souza, Manoel J., Maia, Orlewilson B., Leite, Samantha C., Filho, Eddie B. de Lima, Izumi, Fabricio, Andrade, Robson R., Correa, Paulo

Request full text

Bounded model checking for fixed-point digital filters by Abreu, Renato B., Gadelha, Mikhail Y. R., Cordeiro, Lucas C., de Lima Filho, Eddie B., da Silva, Waldir S.

Get full text

New Designs for Reduced-Redundancy Transceivers by de Freitas, Mauro L., Martins, Wallace A., de Lima Filho, Eddie B., da Silva Júnior, Waldir S.

Get full text

Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract) by Monteiro, Felipe R., Garcia, Mario A. P., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Request full text

Bounded model checking of C++ programs based on the Qt cross‐platform framework by Monteiro, Felipe R., Garcia, Mário A. P., Cordeiro, Lucas C., Lima Filho, Eddie B.

Get full text

A Methodology for Upgrading Legacy Middleware Ginga Implementations to Profile Ginga-D by Kimura, Petrina, Farias, Bruno, Costa, Jeferson, Fabricio, Romulo, Filho, Eddie B. de Lima

Request full text

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs by Monteiro, Felipe R., da S. Alves, Erickson H., Silva, Isabela S., Ismail, Hussama I., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Get full text

Extensions to Middleware Ginga for Integration with IoT Environments by Farias, Bruno Carvalho de, Filho, Eddie B. de Lima, Maia, Orlewilson Bentes, Souto, Eduardo

Request full text

A Methodology for Self-diagnosis and Behavior Correction in Digital Television Receivers: Initial Concept by Silva, Aguinaldo, Amorim, Allan, Fabricio, Romulo, Campiolo, Lucas, Filho, Eddie B. de Lima

Request full text

A Methodology for Convergence Between Ginga and HbbTV by Farias, Bruno, Araujo, Nicoli, Fabricio, Romulo, da Costa, Jeferson B., de Lima Filho, Eddie B.

Request full text