Eddie B. de Lima Filho - Publications, H-index & Citations

Back

Eddie B. de Lima Filho

universidade federal de amazonas

12H-index

102Paper Count

386Citation Count

Published Papers 6

Publication Date

Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response

SCIENTIFIC REPORTS

IF3.9

2022-09-14

OAAI

Cavalcante, Thiago; Bessa, Iury; Filho, Eddie B. de Lima; Cordeiro, Lucas C.

Save

Verifying fragility in digital systems with uncertainties using DSVerifier v2.0

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2019-07-01

OAAI

Chaves, Lennon C.; Ismail, Hussama I.; Bessa, Iury V.; Cordeiro, Lucas C.; de Lima Filho, Eddie B.

Save

DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2018-12-01

OAAI

Chaves, Lennon; Bessa, Iury V.; Ismail, Hussama; dos Santos Frutuoso, Adriano Bruno; Cordeiro, Lucas; de Lima Filho, Eddie Batista

Save

A method to localize faults in concurrent C programs

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2017-10-01

OAAI

Alves, Erickson H. da S.; Cordeiro, Lucas C.; Filho, Eddie B. de L.

Save

Program clock reference correction in transport stream processors with rate adaptation

MULTIMEDIA TOOLS AND APPLICATIONS

IF3

2016-08-10

PREAI

Savino, Heitor Judiss; de Lima Filho, Eddie Batista

Save

Universal image compression using multiscale recurrent patterns with adaptive probability model

IEEE TRANSACTIONS ON IMAGE PROCESSING

IF13.7

2008-04-01

PREAI

de Lima Filho, Eddie Batista; da Silva, Eduardo A. B.; de Carvalho, Murilo Bresciani; Pinage, Frederico Silva

Save

Research Directions