Alessandro Trindade
Alessandro Trindade
Adjunct Professor at Electricity Department, Federal University of Amazonas, Brazil
Dirección de correo verificada de ufam.edu.br - Página principal
Título
Citado por
Citado por
Año
Applying SMT-based verification to hardware/software partitioning in embedded systems
AB Trindade, LC Cordeiro
Design Automation for Embedded Systems 20 (1), 1-19, 2016
292016
Automated formal verification of stand-alone solar photovoltaic systems
A Trindade, L Cordeiro
Solar Energy 193, 684-691, 2019
82019
Applying multi-core model checking to hardware-software partitioning in embedded systems
A Trindade, H Ismail, L Cordeiro
2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 102-105, 2015
82015
Aplicando verificação de modelos para o particionamento de hardware/software
A Trindade, L Cordeiro
SBESC, 6, 2014
62014
Multi-core model checking and maximum satisfiability applied to hardware-software partitioning
AB Trindade, RDF Degelo, EGDS Junior, HI Ismail, HCD Silva, ...
International Journal of Embedded Systems 9 (6), 570-582, 2017
52017
Biomass residues as electricity generation source in low HDI regions of Brazil
ST Coelho, A Sanches-Pereira, LG Tudeschini, J Escobar, MMR Poveda, ...
XI LATIN-AMERICAN CONGRESS ON ELECTRICITY GENERATION AND TRANSMISSION-CLAGTEE, 8, 2015
52015
Desenvolvimento Tecnológico e inovação: vetor de integração regional e negócios na Amazônia
C Frota, A Trindade
Revista T&C Amazônia, Ano VI, 2008
22008
Minimizando riscos na gestão estratégica: proposta de uso de inteligência competitiva em instituições de ensino e pesquisa
AB TRINDADE, LMB REBELO
ABRAIC. Prêmio de inovação em Inteligência competitiva, 47-67, 2005
22005
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
AB Trindade
Universidade Federal do Amazonas, 2015
12015
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison
A Trindade, LC Cordeiro
Software Verification, 87-105, 2020
2020
Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation
AB Trindade
Universidade Federal do Amazonas, 2020
2020
Understanding Household Fuel Choice Behaviour in the Amazonas State, Brazil: Effects of Validation and Feature Selection
KS Gyamfi, E Gaura, J Brusey, AB Trindade, N Verba
Energies 13 (15), 3857, 2020
2020
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis
A Trindade, L Cordeiro
arXiv preprint arXiv:1909.13139, 2019
2019
Automated Verification of Stand-alone Solar Photovoltaic Systems
A Trindade, L Cordeiro
arXiv preprint arXiv:1811.09438, 2018
2018
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version)
A Trindade, H Ismail, L Cordeiro
arXiv preprint arXiv:1509.02492, 2015
2015
Ferramenta–Dimensionamento Técnico de Micro e Mini Centrais Hidrelétricas
AB Trindade
IICA, Brasília, DF (Brasil), 2014
2014
Avaliação da atuação e resultados obtidos pelas bases de? erviços técnicos, especialmente na integração e articulação de ações para negócios, comércio e? rganização, no âmbito …
SR Braga
IICA, Brasília, DF (Brasil), 2014
2014
Análise Econômica de Projetos de Referência, sob a ótica da Concessionária, no âmbito do Projeto BRA/09/001–Acesso e Uso da energia elétrica como fator de desenvolvimento de …
AB Trindade
IICA, Brasília, DF (Brasil), 2014
2014
Real-time energy management system for tri-phasic induction engines; Sistema de supervisao em tempo real de motores de inducao trifasicos
AB Trindade, JMY Carvalho, RCR Souza, NL Pimenta
1994
Sistema de Supervisão em Tempo Real de Motores de Indução Trifásicos
RCR Souza, NL Pimenta, AB Trindade, JMY de Carvalho
1994
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20