Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Eddie Batista de Lima Filho

◀ ▶ joint publications with Iury Bessa

> Home > Persons > Eddie Batista de Lima Filho

Publications

2024
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/MatosFBMSC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/MatosFBMSC24
João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro:
Counterexample Guided Neural Network Quantization Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(4): 1121-1134 (2024)
2021
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-13110
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-13110
Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro:
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR abs/2111.13110 (2021)
2020
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iet-cps/CordeiroFB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-cps/CordeiroFB20
Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa:
Survey on automated symbolic verification and its application for synthesising cyber-physical systems. IET Cyper-Phys. Syst.: Theory & Appl. 5(1): 1-24 (2020)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-11220
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-11220
Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro:
Incremental Verification of Fixed-Point Implementations of Neural Networks. CoRR abs/2012.11220 (2020)
2019
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ChavesIBCF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ChavesIBCF19
Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Verifying fragility in digital systems with uncertainties using DSVerifier v2.0. J. Syst. Softw. 153: 22-43 (2019)
2018
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/ChavesBIFCF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/ChavesBIFCF18
Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE Trans. Reliab. 67(4): 1420-1441 (2018)
2017
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChavesBCKF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChavesBCKF17
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying digital systems with MATLAB. ISSTA 2017: 388-391
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/AlbuquerqueABCF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/AlbuquerqueABCF17
Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
OptCE: A Counterexample-Guided Inductive Optimization Solver. SBMF 2017: 125-141
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChavesBCKF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChavesBCKF17
Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying Digital Systems with MATLAB. CoRR abs/1702.05591 (2017)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MelloFCJBFC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MelloFCJBFC17
Daniel P. M. de Mello, Mauro L. de Freitas, Lucas C. Cordeiro, Waldir S. S. Junior, Iury Valente de Bessa, Eddie B. L. Filho, Laurent Clavier:
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. CoRR abs/1706.05088 (2017)
2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/IsmailBCFF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/IsmailBCFF15
Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho:
DSVerifier: A Bounded Model Checking Tool for Digital Systems. SPIN 2015: 126-131

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.