Joao Edgar Chaves Filho

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 3

Top Topics

Formal Verification

Linear Temporal Logic

Fixed Point Theorem

Convex Optimization Problems

Top Venues

IEEE Trans. Consumer Electron.

IEEE Trans. Computers

Publications

Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE Trans. Computers 66 (3) (2017)
Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho
SMT-based Verification Applied to Non-convex Optimization Problems. SBESC (2016)
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)
Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. CoRR (2014)
Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. SBESC (2014)
Ricardo Erikson Veras De Sena Rosa, Vicente Ferreira de Lucena Jr., Lucas C. Cordeiro, Joao Edgar Chaves Filho
Dynamic and automated product derivation for consumer electronics software applications. IEEE Trans. Consumer Electron. 59 (4) (2013)
Vicente Ferreira de Lucena Jr., Nairon S. Viana, Orlewilson Bentes Maia, Joao Edgar Chaves Filho, Waldir Sabino da Silva Jr.
Designing an extension API for bridging Ginga iDTV applications and home services. IEEE Trans. Consumer Electron. 58 (3) (2012)
Vicente Ferreira de Lucena, José Pinheiro de Queiroz Neto, Joao Edgar Chaves Filho, Waldir Sabino da Silva Jr., Lucas Carvalho Cordeiro
Gift young engineers: An extra-curricular initiative for updating computer and electrical engineering courses. FIE (2011)
Vicente Ferreira de Lucena Jr., Joao Edgar Chaves Filho, Nairon S. Viana, Orlewilson Bentes Maia
A home automation proposal built on the Ginga digital TV middleware and the OSGi framework. IEEE Trans. Consumer Electron. 55 (3) (2009)