Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: João Edgar Chaves Filho
@inproceedings{DBLP:conf/etfa/BarbosaMAFLB22,
author = {Jadir Barbosa and
Renan Landau Paiva de Medeiros and
Florindo Antonio de Carvalho Ayres and
Jo{\~{a}}o Edgar Chaves Filho and
Vicente F. Lucena and
Iury Bessa},
title = {Fault Detection for Photovoltaic Systems Using Fuzzy C-Means Clustering},
booktitle = {27th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
2022},
pages = {1--5},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ETFA52439.2022.9921548},
doi = {10.1109/ETFA52439.2022.9921548},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/BarbosaMAFLB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AraujoABCF18,
author = {Rodrigo F. Araujo and
Higo F. Albuquerque and
Iury Valente de Bessa and
Lucas C. Cordeiro and
Jo{\~{a}}o Edgar Chaves Filho},
title = {Counterexample guided inductive optimization based on satisfiability
modulo theories},
journal = {Sci. Comput. Program.},
volume = {165},
pages = {3--23},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.10.004},
doi = {10.1016/J.SCICO.2017.10.004},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AraujoABCF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BessaIPCF17,
author = {Iury Bessa and
Hussama Ismail and
Reinaldo M. Palhares and
Lucas C. Cordeiro and
Joao Edgar Chaves Filho},
title = {Formal Non-Fragile Stability Verification of Digital Control Systems
with Uncertainty},
journal = {{IEEE} Trans. Computers},
volume = {66},
number = {3},
pages = {545--552},
year = {2017},
url = {https://doi.org/10.1109/TC.2016.2601328},
doi = {10.1109/TC.2016.2601328},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/BessaIPCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/larc/AraujoRBCF17,
author = {Rodrigo F. Araujo and
Alexandre Ribeiro and
Iury Valente de Bessa and
Lucas C. Cordeiro and
Jo{\~{a}}o Edgar Chaves Filho},
title = {Counterexample guided inductive optimization applied to mobile robots
path planning},
booktitle = {2017 Latin American Robotics Symposium {(LARS)} and 2017 Brazilian
Symposium on Robotics (SBR), Curitiba, Brazil, November 8-11, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SBR-LARS-R.2017.8215336},
doi = {10.1109/SBR-LARS-R.2017.8215336},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/larc/AraujoRBCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AraujoABCF17,
author = {Rodrigo F. Araujo and
Higo F. Albuquerque and
Iury Valente de Bessa and
Lucas C. Cordeiro and
Jo{\~{a}}o Edgar Chaves Filho},
title = {Counterexample Guided Inductive Optimization},
journal = {CoRR},
volume = {abs/1704.03738},
year = {2017},
url = {http://arxiv.org/abs/1704.03738},
eprinttype = {arXiv},
eprint = {1704.03738},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AraujoABCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-04028,
author = {Rodrigo F. Araujo and
Alexandre Ribeiro and
Iury Valente de Bessa and
Lucas C. Cordeiro and
Jo{\~{a}}o Edgar Chaves Filho},
title = {Counterexample Guided Inductive Optimization Applied to Mobile Robots
Path Planning (Extended Version)},
journal = {CoRR},
volume = {abs/1708.04028},
year = {2017},
url = {http://arxiv.org/abs/1708.04028},
eprinttype = {arXiv},
eprint = {1708.04028},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-04028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dafes/BessaICF16,
author = {Iury Valente de Bessa and
Hussama Ismail and
Lucas C. Cordeiro and
Jo{\~{a}}o Edgar Chaves Filho},
title = {Verification of fixed-point digital controllers using direct and delta
forms realizations},
journal = {Des. Autom. Embed. Syst.},
volume = {20},
number = {2},
pages = {95--126},
year = {2016},
url = {https://doi.org/10.1007/s10617-016-9173-5},
doi = {10.1007/S10617-016-9173-5},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dafes/BessaICF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/AraujoBCF16,
author = {Rodrigo F. Araujo and
Iury Bessa and
Lucas Carvalho Cordeiro and
Joao Edgar Chaves Filho},
title = {SMT-based Verification Applied to Non-convex Optimization Problems},
booktitle = {{VI} Brazilian Symposium on Computing Systems Engineering, {SBESC}
2026, Jo{\~{a}}o Pessoa, Para{\'{\i}}ba, Brazil, November 1-4,
2016},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SBESC.2016.010},
doi = {10.1109/SBESC.2016.010},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbesc/AraujoBCF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/IsmailBCFF15,
author = {Hussama Ismail and
Iury Bessa and
Lucas C. Cordeiro and
Eddie Batista de Lima Filho and
Joao Edgar Chaves Filho},
editor = {Bernd Fischer and
Jaco Geldenhuys},
title = {DSVerifier: {A} Bounded Model Checking Tool for Digital Systems},
booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9232},
pages = {126--131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23404-5\_9},
doi = {10.1007/978-3-319-23404-5\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/IsmailBCFF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/BessaAFC14,
author = {Iury Bessa and
Renato B. Abreu and
Jo{\~{a}}o Edgar Chaves Filho and
Lucas C. Cordeiro},
title = {SMT-based bounded model checking of fixed-point digital controllers},
booktitle = {{IECON} 2014 - 40th Annual Conference of the {IEEE} Industrial Electronics
Society, Dallas, TX, USA, October 29 - November 1, 2014},
pages = {295--301},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IECON.2014.7048514},
doi = {10.1109/IECON.2014.7048514},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iecon/BessaAFC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/BessaICF14,
author = {Iury Valente de Bessa and
Hussama Ibrahim Ismail and
Lucas Carvalho Cordeiro and
Joao Edgar Chaves Filho},
title = {Verification of Delta Form Realization in Fixed-Point Digital Controllers
Using Bounded Model Checking},
booktitle = {2014 Brazilian Symposium on Computing Systems Engineering, {SBESC}
2014, Manaus, Amazonas, Brazil, November 3-7, 2014},
pages = {49--54},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SBESC.2014.14},
doi = {10.1109/SBESC.2014.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbesc/BessaICF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BessaAFC14,
author = {Iury Bessa and
Renato B. Abreu and
Joao Edgar Chaves Filho and
Lucas C. Cordeiro},
title = {SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers},
journal = {CoRR},
volume = {abs/1403.5172},
year = {2014},
url = {http://arxiv.org/abs/1403.5172},
eprinttype = {arXiv},
eprint = {1403.5172},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BessaAFC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/RosaLCF13,
author = {Ricardo Erikson Veras De Sena Rosa and
Vicente Ferreira de Lucena Jr. and
Lucas C. Cordeiro and
Joao Edgar Chaves Filho},
title = {Dynamic and automated product derivation for consumer electronics
software applications},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {59},
number = {4},
pages = {883--891},
year = {2013},
url = {https://doi.org/10.1109/TCE.2013.6689703},
doi = {10.1109/TCE.2013.6689703},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tce/RosaLCF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/LucenaVMFS12,
author = {Vicente Ferreira de Lucena Jr. and
Nairon S. Viana and
Orlewilson Bentes Maia and
Joao Edgar Chaves Filho and
Waldir Sabino da Silva Jr.},
title = {Designing an extension {API} for bridging Ginga iDTV applications
and home services},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {58},
number = {3},
pages = {1077--1085},
year = {2012},
url = {https://doi.org/10.1109/TCE.2012.6311359},
doi = {10.1109/TCE.2012.6311359},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tce/LucenaVMFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/LucenaNFSC11,
author = {Vicente Ferreira de Lucena and
Jos{\'{e}} Pinheiro de Queiroz Neto and
Joao Edgar Chaves Filho and
Waldir Sabino da Silva Jr. and
Lucas Carvalho Cordeiro},
title = {Gift young engineers: An extra-curricular initiative for updating
computer and electrical engineering courses},
booktitle = {2011 Frontiers in Education Conference, {FIE} 2011, Rapid City, SD,
USA, October 12-15, 2011},
pages = {S1},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/FIE.2011.6143056},
doi = {10.1109/FIE.2011.6143056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/LucenaNFSC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/LucenaFVM09,
author = {Vicente Ferreira de Lucena Jr. and
Joao Edgar Chaves Filho and
Nairon S. Viana and
Orlewilson Bentes Maia},
title = {A home automation proposal built on the Ginga digital {TV} middleware
and the OSGi framework},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {55},
number = {3},
pages = {1254--1262},
year = {2009},
url = {https://doi.org/10.1109/TCE.2009.5277985},
doi = {10.1109/TCE.2009.5277985},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tce/LucenaFVM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 03:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
