E-LIB Suche - Ergebnisse für: de Lima Filho, Eddie B.

1

Counterexample Guided Neural Network Quantization Refinemen:

Matos, João Batista P. ; de Lima Filho, Eddie B. ; Bessa, Iury...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43 (2024) 4 - p. 1121-1134 , 2024

Link: https://doi.org/10.1109/..

2

An Automated Testing Methodology to Evaluate Multimedia Pro..:

, In: 2024 IEEE International Conference on Consumer Electronics (ICCE),

Da Silva, Andrya K. O. ; Amorim, Luzia C. ; Maia, Orlewilson B.... - p. 1-6 , 2024

Link: https://doi.org/10.1109/..

3

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Sma..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022

Link: https://doi.org/10.1145/..

4

A Real-Time Analyzer for Testing DTV Play:

, In: 2022 IEEE International Conference on Consumer Electronics (ICCE),

Maia, Orlewilson B. ; da Silva Conceicao, Andre R. ; de Souza Junior, Manoel J.... - p. 01-05 , 2022

Link: https://doi.org/10.1109/..

5

Formal synthesis of non-fragile state-feedback digital cont..:

Cavalcante, Thiago ; Bessa, Iury ; Lima Filho, Eddie B. de.
Scientific Reports. 12 (2022) 1 - p. , 2022

Link: https://doi.org/10.1038/..

6

A fuzzing‐based test‐creation approach for evaluating digit..:

Izumi, Fabricio ; de Lima Filho, Eddie B. ; Cordeiro, Lucas C....
Software Testing, Verification and Reliability. 33 (2022) 1 - p. , 2022

Link: https://doi.org/10.1002/..

7

A Methodology for Emulating, Developing, and Testing the Mi..:

, In: 2022 IEEE International Conference on Consumer Electronics (ICCE),

Farias, Bruno ; Machado, Ivo ; de Lima Filho, Eddie B.... - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

8

ESBMC-solidity : an SMT-based model checker for solidity..:

, In: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,

Song, Kunjian ; Matulevicius, Nedas ; de Lima Filho, Eddie B.. - p. 65-69 , 2022

Link: https://dl.acm.org/doi/1..

9

A Methodology for Providing Encrypted-Content Decoding in D..:

, In: 2021 IEEE International Conference on Consumer Electronics (ICCE),

Rech, Jonatas ; Freitas, Vinicius ; Farias, Bruno... - p. 1-6 , 2021

Link: https://doi.org/10.1109/..

10

Survey on automated symbolic verification and its applicati..:

Cordeiro, Lucas C. ; Lima Filho, Eddie B. ; Bessa, Iury V.
IET Cyber-Physical Systems: Theory & Applications. 5 (2019) 1 - p. 1-24 , 2019

Link: https://doi.org/10.1049/..

11

Bounded Model Checking of C++ Programs Based on the Qt Cros..:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),

Monteiro, Felipe R. ; Garcia, Mario A. P. ; Cordeiro, Lucas C.. - p. 954-954 , 2018

Link: https://doi.org/10.1145/..

12

ESBMC-GPU A context-bounded model checking tool to verify C..:

Monteiro, Felipe R. ; da S. Alves, Erickson H. ; Silva, Isabela S....
Science of Computer Programming. 152 (2018) - p. 63-69 , 2018

Link: https://doi.org/10.1016/..

13

Bounded model checking of C++ programs based on the Qt cros..:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,

Monteiro, Felipe R. ; Garcia, Mário A. P. ; Cordeiro, Lucas C.. - p. 954 ff. , 2018

Link: https://dl.acm.org/doi/1..

14

BMCLua : A Translator for Model Checking Lua Programs:

Monteiro, Felipe R. ; Januário, Francisco A.P. ; Cordeiro, Lucas C..
ACM SIGSOFT Software Engineering Notes. 42 (2017) 3 - p. 1-10 , 2017

Link: https://dl.acm.org/doi/1..

15

Bounded model checking of C++ programs based on the Qt cros..:

Monteiro, Felipe R. ; Garcia, Mário A. P. ; Cordeiro, Lucas C..
Software Testing, Verification and Reliability. 27 (2017) 3 - p. e1632 , 2017

Link: https://doi.org/10.1002/..