João Edgar Chaves Filho

According to our database, João Edgar Chaves Filho authored at least 15 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2018

Counterexample guided inductive optimization based on satisfiability modulo theories.

Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho

Sci. Comput. Program., 2018

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 Applied to Mobile Robots Path Planning (Extended Version).

Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho

CoRR, 2017

Counterexample Guided Inductive Optimization.

Rodrigo F. Araujo, 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.

Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho

Proceedings of the 2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR), 2017

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

SMT-based Verification Applied to Non-convex Optimization Problems.

Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho

Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

2015

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

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

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

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

SMT-based bounded model checking of fixed-point digital controllers.

Iury Bessa, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

2013

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

2012

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

2011

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

Proceedings of the 2011 Frontiers in Education Conference, 2011

2009

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