( en | de | ru )

 

Disambiguation of "Filho, Joao Edgar Chaves"

Author of the publication

copydeleteadd this publication to your clipboard
Dynamic and automated product derivation for consumer electronics software applications.

, , , and . IEEE Trans. Consumer Electron., 59 (4): 883-891 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

João Guilherme Padilha Filho

Sergio de Traglia Amancio Filho

Gil dos Santos Guerreiro João

Edmilson Ferreira de Oliveira Filho

Michael Filhol

 

Other publications of authors with the same name

Dynamic and automated product derivation for consumer electronics software applications., , , and . IEEE Trans. Consumer Electron., 59 (4): 883-891 (2013)Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking., , , and . SBESC, page 49-54. IEEE Computer Society, (2014)Counterexample guided inductive optimization applied to mobile robots path planning., , , , and . LARS/SBR, page 1-6. IEEE, (2017)Designing an extension API for bridging Ginga iDTV applications and home services., , , , and . IEEE Trans. Consumer Electron., 58 (3): 1077-1085 (2012)DSVerifier: A Bounded Model Checking Tool for Digital Systems., , , , and . SPIN, volume 9232 of Lecture Notes in Computer Science, page 126-131. Springer, (2015)Counterexample guided inductive optimization based on satisfiability modulo theories., , , , and . Sci. Comput. Program., (2018)Verification of fixed-point digital controllers using direct and delta forms realizations., , , and . Des. Autom. Embed. Syst., 20 (2): 95-126 (2016)SMT-based bounded model checking of fixed-point digital controllers., , , and . IECON, page 295-301. IEEE, (2014)A home automation proposal built on the Ginga digital TV middleware and the OSGi framework., , , and . IEEE Trans. Consumer Electron., 55 (3): 1254-1262 (2009)Counterexample Guided Inductive Optimization., , , , and . CoRR, (2017)