A home automation proposal built on the Ginga digital TV middleware and the OSGi framework. - Vicente Ferreira de Lucena Jr.; Joao Edgar Chaves Filho; Nairon S. Viana; Orlewilson Bentes Maia (IEEE Trans. Consumer Electron., 2009)

Gift young engineers: An extra-curricular initiative for updating computer and electrical engineering courses. - Vicente Ferreira de Lucena; José Pinheiro de Queiroz Neto; Joao Edgar Chaves Filho; Waldir Sabino da Silva Jr.; Lucas Carvalho Cordeiro (FIE, 2011)

Designing an extension API for bridging Ginga iDTV applications and home services. - Vicente Ferreira de Lucena Jr.; Nairon S. Viana; Orlewilson Bentes Maia; Joao Edgar Chaves Filho; Waldir Sabino da Silva Jr. (IEEE Trans. Consumer Electron., 2012)

Dynamic and automated product derivation for consumer electronics software applications. - Ricardo Erikson Veras De Sena Rosa; Vicente Ferreira de Lucena Jr.; Lucas C. Cordeiro; Joao Edgar Chaves Filho (IEEE Trans. Consumer Electron., 2013)

SMT-based bounded model checking of fixed-point digital controllers. - Iury Bessa; Renato B. Abreu; João Edgar Chaves Filho; Lucas C. Cordeiro (IECON, 2014)

Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. - Iury Valente de Bessa; Hussama Ibrahim Ismail; Lucas Carvalho Cordeiro; Joao Edgar Chaves Filho (SBESC, 2014)

DSVerifier: A Bounded Model Checking Tool for Digital Systems. - Hussama Ismail; Iury Bessa; Lucas C. Cordeiro; Eddie Batista de Lima Filho; Joao Edgar Chaves Filho (SPIN, 2015)

SMT-based Verification Applied to Non-convex Optimization Problems. - Rodrigo F. Araujo 001; Iury Bessa; Lucas Carvalho Cordeiro; Joao Edgar Chaves Filho (SBESC, 2016)

Verification of fixed-point digital controllers using direct and delta forms realizations. - Iury Valente de Bessa; Hussama Ismail; Lucas C. Cordeiro; João Edgar Chaves Filho (Des. Autom. Embed. Syst., 2016)

Counterexample guided inductive optimization applied to mobile robots path planning. - Rodrigo F. Araujo 001; Alexandre Ribeiro; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (LARS/SBR, 2017)

Counterexample Guided Inductive Optimization. - Rodrigo F. Araujo 001; Higo F. Albuquerque; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (CoRR, 2017)

Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version). - Rodrigo F. Araujo 001; Alexandre Ribeiro; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (CoRR, 2017)

Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. - Iury Bessa; Hussama Ismail; Reinaldo M. Palhares; Lucas C. Cordeiro; Joao Edgar Chaves Filho (IEEE Trans. Computers, 2017)

Counterexample guided inductive optimization based on satisfiability modulo theories. - Rodrigo F. Araujo 001; Higo F. Albuquerque; Iury Valente de Bessa; Lucas C. Cordeiro; João Edgar Chaves Filho (Sci. Comput. Program., 2018)

Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering. - Jadir Barbosa; Renan Landau Paiva de Medeiros; Florindo Antonio de Carvalho Ayres; João Edgar Chaves Filho; Vicente F. Lucena; Iury Bessa (ETFA, 2022)