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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles von Chaves, Lennon, Bessa, Iury, Ismail, Hussama, Frutuoso, Adriano, Cordeiro, Lucas, de Lima Filho, Eddie B

Volltext

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

Volltext

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

Volltext

Bounded model checking of C plus plus programs based on the Qt cross-platform framework von Monteiro, Felipe R, Garcia, Mario A. P, Cordeiro, Lucas C, de Lima Filho, Eddie B

Volltext

Bounded model checking of C++ programs based on the Qt cross-platform framework:BMC of C++ Programs based on Qt Cross-Platform Framework von Monteiro, Felipe R, Garcia, Mário A. P, Cordeiro, Lucas C, De Lima Filho, Eddie B

Volltext

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

Volltext

Quality verification of digital TV signals in a production line environment von Seixas, Paulo, Levy, Pamela, de Lima Filho, Eddie B., Caetano, Rogerio

Volltext

ESBMC-Python:A Bounded Model Checker for Python Programs von Farias, Bruno, Menezes, Rafael, Filho, Eddie B. de Lima, Sun, Youcheng, Cordeiro, Lucas

Volltext bestellen

ESBMC-Python: A Bounded Model Checker for Python Programs von Farias, Bruno, Menezes, Rafael, Filho, Eddie B. de Lima, Sun, Youcheng, Cordeiro, Lucas C

Volltext bestellen

DSVerifier: A Bounded Model Checking Tool for Digital Systems von Ismail, Hussama I., Bessa, Iury V., Cordeiro, Lucas C., de Lima Filho, Eddie B., Chaves Filho, João E.

Volltext

OptCE: A Counterexample-Guided Inductive Optimization Solver von Albuquerque, Higo F., Araújo, Rodrigo F., Bessa, Iury V., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Volltext

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts von Song, Kunjian, Matulevicius, Nedas, Filho, Eddie B. de Lima, Cordeiro, Lucas C

Volltext bestellen

ESBMC-Python: A Bounded Model Checker for Python Programs von Farias, Bruno, Menezes, Rafael, Eddie B de Lima Filho, Sun, Youcheng, Cordeiro, Lucas C

Volltext