José Augusto Miranda Nacif

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• FERREIRA, RICARDO ; CANESCHE, MICHAEL ; JAMIESON, PETER ; NETO, OMAR P. VILELA ; NACIF, JOSE A. M. . Examples and tutorials on using Google Colab and Gradio to create online interactive student-learning modules. COMPUTER APPLICATIONS IN ENGINEERING EDUCATION , v. 1, p. 1, 2024.

• FERREIRA, RICARDO ; SABINO, CARLOS ; CANESCHE, MICHAEL ; NETO, OMAR PARANAIBA V. ; NACIF, JOSÉ AUGUSTO . AIoT tool integration for enriching teaching resources and monitoring student engagement. Internet Of Things , v. 26, p. 101045, 2024.

• CREMONEZI, BRUNO ; VIEIRA, ALEX B. ; NACIF, JOSÉ ; SILVA, EDELBERTO FRANCO ; NOGUEIRA, MICHELE . Identity management for Internet of Things: Concepts, challenges and opportunities. COMPUTER COMMUNICATIONS , v. 1, p. 1, 2024.

• LOPES, LEONARDO ESTEVES ; BAPTISTA, MICHELLE NORONHA DA MATTA ; REIS, JÉSSICA NAIARA ; FERNANDES, ALEXANDRE MENDES ; HEMING, NEANDER MARCEL ; MAGNAGO, GUSTAVO ; NACIF, JOSÉ AUGUSTO ; NOGUEIRA, WAGNER ; RODRIGUES, MARCOS ; VASCONCELOS, MARCELO FERREIRA DE . Two centuries of ornithological exploration of the Rio Doce Basin, southeastern Brazil. Part II-A catalogue of its birds and a gazetteer. ZOOTAXA (ONLINE) , v. 5532, p. 1-558, 2024.

• ZANETONI, HIAGO HENRIQUE ROCHA ; QUEIROZ, DANIEL MARÇAL DE ; CHIZZOTTI, MARIO LUIZ ; MENDONÇA, RONAN DUTRA ; BAÊTA, FERNANDO DA COSTA ; COELHO, ANDRE LUIZ DE FREITAS ; NACIF, JOSÉ AUGUSTO MIRANDA . Blockchain applied to the traceability of animal products: a systematic literature review. Revista Ciencia Agronomica , v. 55, p. 1, 2024.

• MILANEZ, GUILHERME A.S. ; VIEIRA, MARCOS A.M. ; VIEIRA, LUIZ F.M. ; NACIF, JOSÉ A.M. . VariBan: A Variable Bandwidth channel allocation algorithm for IEEE 802.15.4e-based networks. Computer Networks , v. 231, p. 109774, 2023.

• COELHO, KRISTTOPHER K. ; TRISTÃO, EDUARDO T. ; NOGUEIRA, MICHELE ; VIEIRA, ALEX B. ; NACIF, JOSÉ A.M. . Multimodal biometric authentication method by federated learning. Biomedical Signal Processing and Control , v. 85, p. 105022, 2023.

• COELHO, KRISTTOPHER K. ; NOGUEIRA, MICHELE ; VIEIRA, ALEX B. ; SILVA, EDELBERTO F. ; NACIF, JOSÉ AUGUSTO M. . A survey on federated learning for security and privacy in healthcare applications. COMPUTER COMMUNICATIONS , v. 207, p. 113-127, 2023.

• PENHA, J. C. ; SILVA, L. B. ; CANESCHE, M. ; RIBEIRO, D. V. ; NACIF, JOSÉ A. M. ; FERREIRA, R. S. . Gene regulatory accelerators on cloud FPGA. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. e7822, p. 1, 2023.

• PACÍFICO, RACYUS D. G. ; DUARTE, LUCAS F. S. ; VIEIRA, LUIZ F. M. ; RAGHAVAN, BARATH ; NACIF, JOSÉ A. M. ; VIEIRA, MARCOS A. M. . eBPFlow: A Hardware/Software Platform to Seamlessly Offload Network Functions Leveraging eBPF. IEEE-ACM TRANSACTIONS ON NETWORKING , v. 1, p. 1-14, 2023.

• COELHO, KRISTTOPHER KAYO ; NOGUEIRA, MICHELE ; MARIM, MATEUS COUTINHO ; SILVA, EDELBERTO FRANCO ; VIEIRA, Alex Borges ; NACIF, JOSE AUGUSTO M. . LORENA: Low memORy symmEtric-Key geNerAtion Method for Based on Group Cryptography Protocol Applied to the Internet of Healthcare Things. IEEE Access , v. 10, p. 12564-12579, 2022.

• OLIVEIRA, WESTERLEY C. ; CANESCHE, MICHAEL ; REIS, LUCAS ; NACIF, JOSÉ AUGUSTO M. ; FERREIRA, RICARDO S. . Heterogeneous reconfigurable architectures for machine learning dataflows. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 1, p. 1, 2022.

• BRAGANÇA, LUCAS ; CANESCHE, MICHAEL ; PENHA, JERONIMO ; CAMPOS, JOSUÉ ; NACIF, JOSÉ AUGUSTO M. ; FERREIRA, RICARDO S. . Fast flow cloud: A stream dataflow framework for cloud FPGA accelerator overlays at runtime. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 1, p. 1, 2022.

• VIEIRA, M. D. ; NG, S. S. H. ; WALTER, M. ; WILLE, R. ; WALUS, K. ; FERREIRA, R. S. ; VILELA NETO, O. P. ; NACIF, JOSE A. M. . Three-Input NPN Class Gate Library for Atomic Silicon Quantum Dots. Ieee Design & Test , v. 39, p. 147-155, 2022.

• CREMONEZI, BRUNO ; FILHO, AIRTON RIBEIRO GOMES ; SILVA, EDELBERTO FRANCO ; NACIF, JOSÉ AUGUSTO MIRANDA ; VIEIRA, Alex Borges ; NOGUEIRA, MICHELE . Improving the attribute retrieval on ABAC using opportunistic caches for Fog-Based IoT Networks. Computer Networks , v. 213, p. 109000, 2022.

• SILVA, PEDRO ARTHUR R. L. ; FORMIGONI, RUAN E. ; LUZ, LAYSSON O. ; FERREIRA, RICARDO ; NETO, OMAR P. VILELA ; NACIF, JOSÉ AUGUSTO M. . An automatic routing approach for NML circuits. Journal of Computational Electronics , v. 22, p. 570-580, 2022.

• PARANAIBA, OMAR ; OLIVEIRA, POLIANA ; MARKS, RENAN ; NOVY, GABRIEL ; VIEIRA, MARIA ; OLIVEIRA LUZ, LAYSSON ; SILVA, PEDRO ARTHUR ; FERREIRA, RICARDO ; RAMIREZ, JHONATTAN ; NACIF, JOSÉ AUGUSTO ; CAPORALI, GUILHERME . Design Automation for Emerging Technologies. JICS. JOURNAL OF INTEGRATED CIRCUITS AND SYSTEMS (ED. PORTUGUÊS) , v. 17, p. 1-11, 2022.

• CREMONEZI, B. M. ; VIEIRA, A. B. ; NOGUEIRA, M. ; NACIF, J. A. M. . A dynamic channel allocation protocol for medical environment. Annals of Telecommunications , v. 1, p. 1, 2021.

• CERQUEIRA, LUCAS S. ; VIEIRA, ALEX B. ; VIEIRA, LUIZ F. M. ; VIEIRA, MARCOS A. M. ; NACIF, JOSÉ A. M. . A cooperative protocol for pervasive underwater acoustic networks. WIRELESS NETWORKS (ONLINE) , v. 1, p. 1-23, 2021.

• ALMEIDA, DANILO DAMIAO ; BRAGANCA, LUCAS ; TORRES, FRANK SILL ; FERREIRA, RICARDO ; NACIF, JOSE AUGUSTO M. . HAMBug: A Hybrid CPU-FPGA System to Detect Race Conditions. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS , v. 68, p. 3158-3162, 2021.

• FORMIGONI, R. E. ; FERREIRA, R. S. ; NACIF, JOSE A. M. . A Survey on Placement and Routing for Field-Coupled Nanocomputing. JICS - Journal of Integrated Circuits and Systems , v. 16, p. 1-9, 2021.

• CANESCHE, M. ; CARVALHO, W. ; REIS, L. ; OLIVEIRA, M. ; MAGALHAES, S. ; JAMIESON, P. ; NACIF, JOSÉ A. M. ; FERREIRA, R. S. . You Only Traverse Twice: A YOTT Placement, Routing, and Timing Approach for CGRAs. ACM Transactions on Embedded Computing Systems , v. 20, p. 1, 2021.

• PACÍFICO, RACYUS D. G. ; SILVA, LUCAS B. ; COELHO, GERFERSON R. ; SILVA, PABLO G. ; VIEIRA, ALEX B. ; VIEIRA, MARCOS A. M. ; CUNHA, ÍTALO F. S. ; VIEIRA, LUIZ F. M. ; NACIF, JOSÉ A. M. . BloomTime: space-efficient stateful tracking of time-dependent network performance metrics. TELECOMMUNICATION SYSTEMS , v. 1, p. 1, 2020.

• FORMIGONI, RUAN EVANGELISTA ; VIEIRA, LEANDRO LÁZARO ARAÚJO ; NETO, OMAR PARANAIBA VILELA ; FERREIRA, RICARDO ; NACIF, JOSÉ AUGUSTO M. . Evaluating nanomagnetic logic circuit layouts using different clock schemes. ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING , v. 1, p. 1, 2020.

• TORRES, FRANK SILL ; SILVA, PEDRO A. ; FONTES, GERALDO ; WALTER, MARCEL ; NACIF, JOSÉ AUGUSTO M. ; FERREIRA, RICARDO SANTOS ; NETO, OMAR PARANAIBA VILELA ; CHAVES, JEFERSON F. ; WILLE, ROBERT ; NIEMANN, PHILIPP ; GRßOE, DANIEL ; DRECHSLER, ROLF . On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata. MICROPROCESSORS AND MICROSYSTEMS , v. 1, p. 103109, 2020.

• VALE-CARDOSO, ADRIANO ; MOREIRA, MARIANA ; COELHO, KRISTTOPHER KAYO ; VIEIRA, ALEX ; SANTOS, ALDRI ; NOGUEIRA, MICHELE ; NACIF, JOSÉ AUGUSTO M. . A Low-Cost Electronic System for Human-Body Communication. ELECTRONICS , v. 9, p. 1928, 2020.

• CANESCHE, MICHAEL ; MENEZES, MARCELO ; CARVALHO, WESTERLEY ; TORRES, FRANK ; JAMIESON, PETER ; NACIF, JOSE AUGUSTO ; FERREIRA, RICARDO . TRAVERSAL: A Fast and Adaptive Graph-based Placement and Routing for CGRAs. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS , v. 1, p. 1-1, 2020.

• LIMA, F. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; VIEIRA, Alex Borges ; NACIF, JOSE A. M. . Water Ping: ICMP for the Internet of Underwater Things. Computer Networks , v. 152, p. 54-63, 2019.

• MATHEUS, LUIZ ; PIRES, LETÍCIA ; VIEIRA, ALEX ; VIEIRA, LUIZ F. M. ; VIEIRA, MARCOS A. M. ; NACIF, JOSÉ A. . The Internet of Light: Impact of Colors in LED-to-LED Visible Light Communication Systems. Internet Technology Letters , v. 2, p. e78, 2019.

• C. PENHA, JERONIMO ; B. SILVA, LUCAS ; M. SILVA, JANSEN ; COELHO, KRISTTOPHER K. ; P. BARANDA, HECTOR ; M. NACIF, JOSÉ AUGUSTO ; S. FERREIRA, RICARDO . ADD: Accelerator Design and Deploy - A tool for FPGA high-performance dataflow computing. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 1, p. e5096, 2019.

• COELHO, K. K. ; ALMEIDA, D. ; NOUBIR, G. ; VIEIRA, A. B. ; NOGUEIRA, M. ; NACIF, J. A. M. . Cryptography Algorithms in Wearable Communication: An Empirical Analysis. IEEE COMMUNICATIONS LETTERS , v. 23, p. 1-1, 2019.

• SILVA, L. B. ; FERREIRA, R. S. ; CANESCHE, M. ; MENEZES, M. M. ; VIEIRA, M. D. ; PENHA, J. C. ; JAMIESON, P. ; NACIF, J. A. M. . READY: A Fine-Grained Multithreading Overlay Framework for Modern CPU-FPGA Dataflow Applications. ACM Transactions on Embedded Computing Systems , v. 18, p. 1, 2019.

• VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. ; VIEIRA, A. B. . Autonomous Wireless Lake Monitoring. COMPUTING IN SCIENCE & ENGINEERING , v. 20, p. 66-75, 2018.

• COSTA, A. C. ; COELHO, K. K. ; PENHA, J. C. ; Ferreira, R. S. ; NACIF, J. A. M. . Ensino de Arquitetura e as Predições Tomadas por Desempenho com as Predições não Tomadas pela Segurança: Vulnerabilidades Meltdown e Spectre. INTERNATIONAL JOURNAL OF COMPUTER ARCHITECTURE EDUCATION , v. 1, p. 1, 2018.

• DE ALMEIDA, THALES TEIXEIRA ; NACIF, JOSE AUGUSTO M. ; BHERING, FABIANO PEREIRA ; JUNIOR, JOSE GERALDO RIBEIRO . DOCTraMS: A Decentralized and Offline Community-Based Traffic Monitoring System. IEEE Transactions on Intelligent Transportation Systems , v. 20, p. 1-10, 2018.

• BESSA, TARSILA ; GULL, CHRISTOPHER ; QUINTÃO, PEDRO ; FRANK, MICHAEL ; NACIF, JOSÉ ; PEREIRA, FERNANDO MAGNO QUINTÃO . JetsonLEAP: A framework to measure power on a heterogeneous system-on-a-chip device. SCIENCE OF COMPUTER PROGRAMMING , v. 10, p. 1-16, 2017.

• Viana, S. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. ; VIEIRA, A. B. . Survey on the design of underwater sensor nodes. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS (DORDRECHT. ONLINE) , v. 20, p. 170-190, 2016.

• Ferreira, R. S. ; ROCHA, L. ; NACIF, J. A. M. ; SANTOS, A. G. ; WONG, S. ; CARRO, L. . A Runtime FPGA Placement and Routing Using Low-Complexity Graph Traversal. ACM Transactions on Reconfigurable Technology and Systems , v. 8, p. 1-16, 2015.

• ALVES, F. ; ALMEIDA, D. ; SILVA, L. B. ; GOMES, A. B. ; Ferreira, R. S. ; NACIF, J. A. M. . Ensinando Arquiteturas Vetoriais Utilizando um Simulador de Instruções MIPS. International Journal of Computer Architecture Education , v. 1, p. 1, 2015.

• SAFE, Georgia Penido ; Coelho, Claudionor ; Vieira, Luiz Filipe M. ; Do Val, Celina Gomes ; NACIF, J. A. M. ; Fernandes, Antonio Otavio . Selection of formal verification heuristics for parallel execution. International Journal on Software Tools for Technology Transfer (Print) , v. 14, p. 95-108, 2012.

• VIEIRA, A. B. ; Gomes, Pedro ; NACIF, J. A. M. ; Mantini, Rodrigo ; Almeida, Jussara M. ; Campos, Sérgio . Characterizing SopCast client behavior. Computer Communications , v. 35, p. 1004-1016, 2012.

• CAMPOS, J. N. ; MENDONCA, R. D. ; FONTINELE, A. ; CARVALHO, L. H. S. ; CARDOSO, I. W. F. ; COELHO, R. ; FREITAS, A. E. S. ; GONCALVES, G. D. ; M. NACIF, JOSÉ AUGUSTO ; VIEIRA, A. B. . Finanças Descentralizadas em Redes Blockchain: Perspectivas sobre Pesquisa e Inovação em Aplicações, Interoperabilidade e Segurança. In: Claudia Cappelli; Eduardo Alchieri. (Org.). Jornada de Atualização em Informática. 1ed.Porto Alegre: SBC - Sociedade Brasileira de Computação, 2024, v. , p. 1-.

• MENDONCA, R. D. ; CAMPOS, J. N. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; VIEIRA, A. B. ; NACIF, JOSÉ A. M. . Tokens Não Fungíveis (NFTs): Conceitos, Aplicações e Desafios. In: Rafael L. Gomes, Rossana Maria C. Andrade, Fátima Duarte-Figueiredo, Miguel Elias M. Campista. (Org.). Minicursos do XL Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2022, v. , p. 52-94.

• NACIF, J. A. M. ; OLIVEIRA, H. S. ; FERREIRA, R. S. . Internet of Things in Agriculture. In: Daniel Marçal Queiroz, Domingos Sárvio Magalhães Valente, Francisco de Assis de Carvalho Pinto, Aluízio Borém. (Org.). Digital Agriculture. 1ed.: Springer, 2022, v. , p. 195-219.

• NACIF, JOSE A. M. ; OLIVEIRA, H. S. ; FERREIRA, R. S. . Internet das Coisas para a Agricultura. In: Daniel Marçal Queiroz, Domingos Sárvio Magalhães Valente, Francisco de Assis de Carvalho Pinto, Aluízio Borém. (Org.). Agricultura Digital. 2ed.São Paulo: Oficina dos Textos, 2021, v. , p. 148-164.

• VIEIRA, A. G. ; PANTUZZA, G. ; FREIRE, J. H. F. ; DUARTE, L. F. S. ; PACIFICO, R. ; VIEIRA, Marcos Augusto M. ; VIEIRA, Luiz Filipe Menezes ; NACIF, J. A. M. . Computação Serverless: Conceitos, Aplicações e Desafios. XXXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC) - Minicursos Livro Texto. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2020, v. , p. 1-190.

• CERQUEIRA, L. S. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. ; VIEIRA, A. B. . Cooperative Protocol for Medium Access Control in Underwater Acoustic Sensor Networks. In: Fei Hu. (Org.). Magnetic and Acoustic Communications: From Theory to Practice. 1ed.Boca Raton: CRC Press, 2018, v. , p. 1-.

• SOUZA, A. D. ; MARQUES, A. F. F. ; MACEDO, D. F. ; COLLINS, D. ; MIRANDA JUNIOR, G. ; CORDEIRO, J. R. S. ; MARQUEZ-BARJA, J. M. ; NACIF, J. A. M. ; COELHO, K. K. ; PINTO, L. R. M. ; SILVA, L. A. ; VIEIRA, Luiz Filipe Menezes ; CORREIA, L. H. A. ; VIEIRA, Marcos Augusto M. ; ALVAREZ, P. ; SILVA, W. S. . Experimental wireless networking research using software-defined radios. Minicursos do XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC 2017. 1a.ed.: , 2017, v. , p. 104-152.

• NACIF, J. A. M. . Sistemas Embarcados. In: Olga N. Goussevskaia. (Org.). Primeira escola de verão em computação. 1ed.Belo Horizonte: Instituto de Ciências Exatas / UFMG, 2012, v. 1, p. 89-103.

• NACIF, J.A. ; COELHO JR, Claudionor N ; FOSTER, Harry ; PAULA, Flávio M. de ; MOTA, Edjard ; MOTA, Márcia Falcão ; FERNANDES, Antônio Otávio . On-chip Property Verification using Assertion Processors. In: Glesner, M.; Reis, R.; Indrusiak, L.; Mooney, V.; Eveking, H.. (Org.). VLSI SoC: From Systems to Chips. 1ed.Boston: Springer, 2006, v. 200, p. 101-117.

• FREITAS, L. L. C. ; COELHO, K. K. ; NOGUEIRA, M. ; VIEIRA, Alex Borges ; NACIF, JOSÉ A.M. ; SILVA, E. F. . Controle de Acesso Sensível ao Contexto e Zero Trust para a Segurança em E-Health. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2024, Niterói. Anais do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2024.

• COELHO, K. K. ; OKUYAMA, M. M. ; NOGUEIRA, M. ; VIEIRA, A. B. ; SILVA, E. F. ; NACIF, JOSÉ A.M. . Uma Abordagem Dinâmica para Anonimização de Dados de Saúde por Separatrizes. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2024, Niterói. Anais do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2024.

• FONTINELE, A. ; CAMPOS, J. N. ; OLIVEIRA, I. R. ; GONCALVES, G. D. ; NACIF, JOSÉ A.M. ; VIEIRA, A. B. ; SOARES, A. C. B. . Análise de Ataques Sanduíche sob as Transações da Blockchain Ethereum. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2024, Niterói. Anais do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2024.

• ALMEIDA, W. ; RAMOS, F. ; VIEIRA, A. B. ; NACIF, JOSÉ A.M. ; FERREIRA, R. S. . Explorando GNNs Sensíveis a Arestas para Previsão de Carga em uma Rede Backbone. In: Workshop de Gerência e Operação de Redes e Serviços, 2024, Niterói. Anais do Workshop de Gerência e Operação de Redes e Serviços (WGRS), 2024.

• FREITAS, L. L. C. ; COELHO, K. K. ; NOGUEIRA, M. ; VIEIRA, A. B. ; NACIF, JOSÉ A.M. ; SILVA, E. F. . Context-Sensitive Access Control and Zero Trust for Security in E-Health. In: IEEE Symposium on Computers and Communications, 2024, Paris. Proceedings of the IEEE Symposium on Computers and Communications 2024, 2024.

• COELHO, K. K. ; OKUYAMA, M. M. ; NOGUEIRA, M. ; VIEIRA, A. B. ; SILVA, E. F. ; NACIF, JOSÉ A.M. . A Dynamic Approach to Health Data Anonymization by Separatrices. In: IEEE Symposium on Computers and Communications, 2024, Paris. Proceedings of the IEEE Symposium on Computers and Communications 2024, 2024.

• FORTINI, ARTHUR M. ; BICALHO, JOÃO GABRIEL O. ; NETO, OMAR P. VILELA ; VIEIRA, MARIA D. ; NACIF, JOSÉ AUGUSTO M. ; FERREIRA, RICARDO S. . Robustness Analysis of Atomic Silicon Quantum Dot Logic Gates. In: 2024 37th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design (SBCCI), 2024, Joao Pessoa. 2024 37th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design (SBCCI), 2024. p. 1.

• MIKI, LUÍS FERNANDO ; LUZ, LAYSSON OLIVEIRA ; NACIF, JOSÉ AUGUSTO M. ; FERREIRA, RICARDO S. ; NETO, OMAR P. VILELA . A Nanomagnetic Logic based processor. In: 2024 37th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design (SBCCI), 2024, Joao Pessoa. 2024 37th SBC/SBMicro/IEEE Symposium on Integrated Circuits and Systems Design (SBCCI), 2024. p. 1.

• MENDONCA, R. D. ; CARDOSO, I. W. F. ; COELHO, R. ; CAMPOS, J. N. ; GONCALVES, G. D. ; VIEIRA, A. B. ; NACIF, JOSÉ A.M. . Mecanismos de Interoperabilidade em Blockchains: Um Comparativo de Custo de Transações Cross-chain para Tokens ERC-20. In: Workshop em Blockchain: Teoria, Tecnologias e Aplicações, 2024, Niterói. Anais do VII Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain), 2024.

• MENDONCA, R. D. ; MOURA, E. M. A. ; GONCALVES, G. D. ; VIEIRA, Alex Borges ; NACIF, JOSÉ A. M. . Comparação e Análise de Custo e Desempenho entre Nós de Redes Blockchain Permissionadas e Públicas. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2023, Brasília. Anais do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2023.

• SENA, S. P. C. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; VIEIRA, Alex Borges ; SILVA, E. F. ; NACIF, JOSÉ A. M. . Um Protocolo Multicast para Comunicação por Luz Visível (VLC). In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2023, Brasília. Anais do Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2023.

• FORMIGONI, R. E. ; FERREIRA, R. S. ; VILELA NETO, O. P. ; NACIF, JOSÉ A. M. . L-BANCS: A Multi-Phase Tile Design for Nanomagnetic Logic. In: IEEE Computer Society Annual Symposium on VLSI, 2023, Foz do Iguaçu. IEEE Computer Society Annual Symposium on VLSI, 2023.

• LOPES, A. R. ; LIRA, J. M. S. ; OLIVEIRA, L. A. ; GARUZZO, M. S. P. B. ; BARBALHO, M. V. S. ; ARAUJO, P. O. C. ; SANTOS, G. A. ; NACIF, JOSÉ A. M. . Predição do Incremento Médio Anual Volumétrico de Eucalyptus com Aprendizado de Máquina. In: Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais - WCAMA, 2023, João Pessoa. Workshop de Computação Aplicada à Gestão do Meio Ambiente e Recursos Naturais, 2023.

• LEAL, S. T. C. ; CANESCHE, M. ; PARANAIBA, OMAR ; FERREIRA, R. S. ; NACIF, JOSÉ A.M. . A Non-Blocking Multistage Interconnection using Regular Clock Schemes for QCA Circuits. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2023, Rio de Janeiro. Proceedings of the 36th Symposium on Integrated Circuits and Systems Design, 2023.

• SILVA, P. A. R. L. ; CHAVES, J. F. ; NACIF, JOSÉ A.M. ; FERREIRA, R. S. ; VILELA NETO, O. P. . Exploring Nanomagnetic Logic with Bennett Clocking. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2023, Rio de Janeiro. Proceedings of the 36th Symposium on Integrated Circuits and Systems Design, 2023.

• BOMFIM, A. F. M. ; NACIF, JOSE A. M. . Systematically Classifying Trusthub Hardware Trojan Benchmarks. In: Student Forum, 2023, Rio de Janeiro. Proceedings of the 23rd Student Forum, 2023.

• ESQUIVEL, E. V. B. ; CAMPOS, J. N. ; MENDONCA, R. D. ; VIEIRA, A. B. ; NACIF, JOSÉ A.M. . Detecção de Vulnerabilidades em Contratos Inteligentes Utilizando Árvore Sintática Abstrata. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais - SBSeg, 2023, Juiz de Fora. Anais do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais - SBSeg, 2023.

• MORAIS, C. V. R. ; PENHA, J. C. ; NACIF, JOSÉ A.M. ; FERREIRA, R. S. . New Kids on the Unblocking: Strategies to Overcome Blocking Networks. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2023, Porto Alegre. Anais do XXIV Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2023), 2023.

• ALVES, M. S. ; SILVA, L. B. ; PENHA, J. C. ; FERREIRA, R. S. ; NACIF, JOSÉ A. M. . KCGRA ? Uma Arquitetura Reconfigurável de Domínio Específico para K-means. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2023, Porto Alegre. Anais do XXIV Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2023), 2023.

• PENHA, J. C. ; SILVA, A. K. C. ; BARROS, O. ; MOREIRA, I. G. S. ; NACIF, JOSÉ A. M. ; FERREIRA, R. S. . Avaliação de Estilos de Código para Árvores de Decisão em GPU com Microbenchmarks. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2023, Porto Alegre. Anais do XXIV Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2023), 2023.

• FERREIRA, R. S. ; M. NACIF, JOSÉ AUGUSTO . Ensino de Software Pipelining e Escalonamento em GPUs com Python no Google Colab. In: Workshop sobre Educação em Arquitetura de Computadores (WEAC), 2023, Porto Alegre. Anais do Workshop sobre Educação em Arquitetura de Computadores (WEAC), 2023.

• REIS, GABRIEL M. ; SILVA, DOUGLAS D. M. ; VIEIRA, ALEX B. ; VIEIRA, MARCOS A. M. ; VIEIRA, LUIZ F. M. ; NACIF, JOSÉ AUGUSTO M. . Comunicação Óptica Sem Fio Subaquática: Caracterização de Desempenho da Luz Vermelha. In: Anais Estendidos do Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2023, Brasil. Anais Estendidos do XIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC Estendido 2023), 2023. p. 37.

• MARIM, MATEUS COUTINHO ; COELHO, KRISTTOPHER K. ; VIEIRA, ALEX B. ; NACIF, JOSÉ AUGUSTO M. ; NOGUEIRA, MICHELE ; SILVA, EDELBERTO FRANCO . Análise de Desempenho de um Esquema de Acordo de Chaves de Conferência para IoT. In: Anais Estendidos do Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2023, Brasil. Anais Estendidos do XIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC Estendido 2023), 2023. p. 67.

• DA SILVA, GENILSON ISRAEL ; VIEIRA, Alex Borges ; NOGUEIRA, MICHELE ; SILVA, EDELBERTO FRANCO ; NACIF, JOSÉ AUGUSTO MIRANDA . A Software-Defined Wireless Network-Based System for Prioritizing Medical Alert Messages. In: 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2023, Porto Alegre. 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2023. p. 1.

• SILVA, OLAVO A. B. ; SILVA, ALYSSON K. C. ; MOREIRA, ÍCARO G. S. ; NACIF, JOSÉ A. M. ; FERREIRA, RICARDO S. . RDSF: Everything at Same Place All at Once - A Random Decision Single Forest. In: 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2023, Porto Alegre. 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2023. p. 1.

• LUZ, L. O. ; NACIF, JOSÉ A. M. ; FERREIRA, R. S. ; VILELA NETO, O. P. . An NML in-plane Wire Crossing Structure. In: IEEE Latin America Symposium on Circuits and Systems, 2022, Santiago. Proceedings of the 13th IEEE Latin America Symposium on Circuits and Systems, 2022.

• CANESCHE, MICHAEL ; FERREIRA, RICARDO ; NACIF, JOSÉ AUGUSTO ; QUINTÃO PEREIRA, FERNANDO MAGNO . A polynomial time exact solution to the bit-aware register binding problem. In: CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, 2022, Seoul South Korea. Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction. p. 29.

• PENHA, JERONIMO COSTA ; SILVA, LUCAS BRAGANC'A DA ; CANESCHE, MICHAEL ; NACIF, JOSE' AUGUSTO M. ; FERREIRA, RICARDO . Simulated Annealing em Hardware com Mu¿ltiplas Threads em Pipeline para Posicionamento em CGRAs. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2022, Brasil. Anais do XXIII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2022), 2022. p. 97.

• SILVA, LUCAS B. DA ; PENHA, JERONIMO COSTA ; RIBEIRO, DENER V. ; SILVA, ALYSSON ; NACIF, JOSE' AUGUSTO M. ; FERREIRA, RICARDO . HPyC-FPGA - Integrac¿a¿o de Aceleradores em FPGA de Alto Desempenho com Python para Jupyter Notebooks. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2022, Brasil. Anais do XXIII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2022), 2022. p. 193.

• BARROS, OLAVO ; RONDOW, CAIO VON ; PENHA, JERONIMO ; CANESCHE, MICHAEL ; NACIF, JOSE' AUGUSTO M. ; FERREIRA, RICARDO . Aceleradores com CGRAs para Redes Reguladoras de Genes. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2022, Brasil. Anais do XXIII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2022), 2022. p. 229.

• RUELLA, E. V. ; VIEIRA, M. D. ; VILELA NETO, O. P. ; FERREIRA, R. S. ; NACIF, JOSÉ A. M. . Convolutional Neural Network to Recognize 2-Input Gates for Silicon Quantum Dot. In: Student Forum, 2022, Pelotas. Proceedings of the 22nd Student Forum, 2022.

• MENDONC'A, RONAN DUTRA ; DANTAS, PEDRO HE'RCULES ; GONC'ALVES, GLAUBER DIAS ; VIEIRA, Alex Borges ; NACIF, JOSE' A. M. . Ana¿lise de Custo de Infraestrutura em Redes Blockchain Pu¿blicas e Permissionadas. In: Workshop em Blockchain: Teoria, Tecnologias e Aplicações, 2022, Brasil. V Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain 2022), 2022. p. 26.

• SILVEIRA, C. V. F. ; SENA, S. P. C. ; COELHO, K. K. ; SILVA, E. F. ; VIEIRA, A. B. ; NOGUEIRA, M. ; NACIF, JOSÉ A. M. . Avaliação de Protocolos de Acordo de Chave Baseados em Sinais Fisiológicos para Redes Corporais sem Fio. In: XII Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2022, Fortaleza. Anais do XII Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC), 2022.

• TRISTAO, E. T. ; COELHO, K. K. ; SILVA, E. F. ; VIEIRA, A. B. ; NOGUEIRA, M. ; NACIF, JOSÉ A. M. . Autenticação Biométrica Baseada em PPG e ECG utilizando Aprendizado Profundo. In: XII Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2022, Fortaleza. Anais do XII Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC), 2022.

• PACIFICO, RACYUS D. G. ; VIEIRA, MARCOS A. M. ; DUARTE, LUCAS F. S. ; NACIF, JOSE A. M. . Function as a Service Offloaded to a SmartNIC. In: 2022 IEEE LatinAmerican Conference on Communications (LATINCOM), 2022, Rio de Janeiro. 2022 IEEE Latin-American Conference on Communications (LATINCOM), 2022. p. 1.

• CREMONEZI, BRUNO ; ROCHA, L. F. ; VIEIRA, Alex Borges ; NACIF, JOSÉ A. M. ; OLIVEIRA, A. L. ; SILVA, E. F. . A Bi-directional Attribute Synchronization Mechanism for Access Control in IoT Environments. In: International Conference on Mobile Computing, Applications, and Services - MobiCASE, 2022, Messina. Mobile Computing, Applications, and Services, 2022.

• PACIFICO, R. ; DUARTE, L. F. S. ; CASTANHO, M. S. ; VIEIRA, Luiz Filipe Menezes ; NACIF, J. A. M. ; VIEIRA, Marcos Augusto M. . Application Layer Packet Classifier in Hardware. In: IFIP/IEEE International Symposium on Integrated Network Management, 2021, Bordeaux. Proceeding of the IFIP/IEEE International Symposium on Integrated Network Management, 2021.

• CANESCHE, M. ; SILVA, L. B. ; VILELA NETO, O. P. ; NACIF, J. A. M. ; FERREIRA, R. S. . Google Colab CAD4U: Hands-On Cloud Laboratories for Digital Design. In: IEEE International Symposium on Circuits and Systems (ISCAS), 2021, Daegu. roceedings of the 53th IEEE International Symposium on Circuits and Systems, 2021.

• VIEIRA, M. D. ; CANESCHE, M. ; SILVA, L. B. ; CAMPOS, J. N. ; SILVA, M. P. ; FERREIRA, R. S. ; NACIF, J. A. M. . RESHAPE: A Run-Time Dataflow Hardware-Based Mapping for CGRA Overlays. In: IEEE International Symposium on Circuits and Systems (ISCAS), 2021, Daegu. roceedings of the 53th IEEE International Symposium on Circuits and Systems, 2021.

• LUZ, L. O. ; NACIF, J. A. M. ; FERREIRA, R. S. ; VILELA NETO, O. P. . NMLib: A Nanomagnetic Logic Standard Cell Library. In: IEEE International Symposium on Circuits and Systems (ISCAS), 2021, Daegu. roceedings of the 53th IEEE International Symposium on Circuits and Systems, 2021.

• NELSON, I. ; FERREIRA, R. S. ; NACIF, J. A. M. ; JAMIESON, P. . Is It Time to Include High-Level Synthesis Design in Digital System Education for Undergraduate Computer Engineers?. In: IEEE International Symposium on Circuits and Systems (ISCAS), 2021, Daegu. roceedings of the 53th IEEE International Symposium on Circuits and Systems, 2021.

• GOMES-FILHO, A. R. ; CREMONEZI, B. M. ; NACIF, J. A. M. ; NOGUEIRA, M. ; SILVA, E. F. ; VIEIRA, A. B. . Opportunistic Attribute Caching: Improving theEfficiency of ABAC in Fog-Based IoT Networks. In: IEEE International Conference on Communications, 2021, Montreal. IEEE International Conference on Communications, 2021.

• MENDONCA, R. D. ; GOMES, O. S. ; VIEIRA, A. B. ; NACIF, J. A. M. . Tratamento de Concessão e Revogação de Acesso a Registros Eletrônicos de Saúde em Blockchain. In: Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain 2021), 2021, Uberlândia. Workshop em Blockchain: Teoria, Tecnologias e Aplicações (WBlockchain 2021), 2021.

• MOREIRA, I. G. S. ; VIEIRA, M. D. ; VILELA NETO, O. P. ; FERREIRA, R. S. ; NACIF, J. A. M. . Exploring the use of 3-input Gates in Field-Coupled Nanotechnologies. In: Student Forum, 2021, Campinas. Proceedings of the 21st Student Forum, 2021.

• CREMONEZI, B. M. ; VIEIRA, A. B. ; NACIF, J. A. M. ; SILVA, E. F. ; NOGUEIRA, M. . Um Método para Extração e Refinamento de Políticas de Acesso baseado em Árvore de Decisão e Algoritmo Genético. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2021, Uberlândia. Anais do XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2021.

• SILVA, V. L. G. ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. . Data Center TCP com Histerese em Switches P4. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2021, Uberlândia. Anais do XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2021.

• DUARTE, L. F. S. ; PACIFICO, R. ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. . Sistema de Detecção de Intrusão Serverless em uma SmartNIC. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2021, Uberlândia. Anais do XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2021.

• VIEIRA, M. D. ; MOREIRA, I. G. S. ; SILVA, P. A. R. L. ; LUZ, L. O. ; FERREIRA, R. S. ; VILELA NETO, O. P. ; NACIF, J. A. M. . Novel Three-Input Gates for Silicon Quantum Dot. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2021, Campinas. Proceedings of the 34th Symposium on Integrated Circuits and Systems Design, 2021.

• JAMIESON, P. ; FERREIRA, R. S. ; NACIF, JOSÉ A. M. . Personalizing Online Computer Engineering Resources and Labs for Digital, Embedded, and Computer System Courses. In: IEEE Frontiers in Education, 2021, Lincoln. Proceedings of 51st IEEE Frontiers in Education Conference, 2021.

• GOMES-FILHO, A. R. ; CREMONEZI, B. M. ; SILVA, E. F. ; VIEIRA, A. B. ; NACIF, JOSÉ A. M. ; NOGUEIRA, M. . Uma Política de Cache de Identidades Multinível para Névoas Computacionais. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais - SBSeg, 2021, Belém. Anais do XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais - SBSeg, 2021.

• MILANEZ, G. A. S. ; OLIVEIRA, T. ; VIEIRA, Marcos Augusto M. ; VIEIRA, Luiz Filipe Menezes ; NACIF, JOSÉ A. M. . TSCH-LBV: Alocação dinâmica de canais com largura de banda variável em redes TSCH. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2021, Florianópolis. Anais do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2021.

• SILVA, L. B. ; CANESCHE, M. ; PENHA, J. C. ; CARVALHO, W. ; COMARELA, G. ; NACIF, JOSÉ A. M. ; FERREIRA, R. S. . An Open Source Custom K-means Generator for AWS Cloud FPGA Accelerators. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2021, Florianópolis. Anais do XI Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2021.

• SILVA, L. B. ; PENHA, J. C. ; CANESCHE, M. ; RIBEIRO, D. V. ; NACIF, JOSÉ A. M. ; FERREIRA, R. S. . An Open-Source Cloud-FPGA Gene Regulatory Accelerator. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2021, Belo Horizonte. Anais do XXII Simpósio em Sistemas Computacionais de Alto Desempenho, 2021.

• PASSE, F. F. ; CANESCHE, M. ; VILELA NETO, O. P. ; NACIF, J. A. M. ; FERREIRA, R. S. . Mind the Gap: Bridging Verilog and Computer Architecture. In: IEEE International Symposium on Circuits and Systems (ISCAS), 2020, Sevilha. Proceedings of the 52nd IEEE International Symposium on Circuits and Systems, 2020.

• PACIFICO, R. ; DUARTE, L. F. S. ; CASTANHO, M. S. ; NACIF, J. A. M. ; VIEIRA, Marcos Augusto M. . Sistema de Processamento de Pacotes Serverless. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2020, Rio de Janeiro. Anais do XXXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2020.

• CAMPOS, J. N. ; VIEIRA, M. D. ; CANESCHE, M. ; FERREIRA, R. S. ; NACIF, J. A. M. . Using LibFuzzer, KLEE, and LegUp to Validate Hardware Designs. In: Student Forum, 2020, Virtual. Proceedings of the 20th Student Forum, 2020.

• VIEIRA, L. L. A. ; SILVA, L. I. R. E. ; FORMIGONI, R. E. ; CANESCHE, M. ; FERREIRA, R. S. ; NACIF, J. A. M. . NanoSCL: A Standard Cell Library for Nanomagnetic Logic. In: Student Forum, 2020, Virtual. Proceedings of the 20th Student Forum, 2020.

• SILVA, M. P. ; VIEIRA, M. D. ; FERREIRA, R. S. ; NACIF, J. A. M. . A Run-time Hardware Routing Implementation for CGRA Overlays. In: Student Forum, 2020, Virtual. Proceedings of the 20th Student Forum, 2020.

• MENDONCA, R. D. ; GOMES, O. S. ; PEREIRA, P. C. ; VIEIRA, A. B. ; NACIF, J. A. M. . Utilização de Blockchain na Rastreabilidade da Cadeia Produtiva do Leite. In: BLOCKCHAIN WORKSHOP: THEORY, TECHNOLOGY, AND APPLICATIONS (WBLOCKCHAIN), 2020, Virtual. Anais do BLOCKCHAIN WORKSHOP: THEORY, TECHNOLOGY, AND APPLICATIONS (WBLOCKCHAIN), 2020.

• CARVALHO, W. ; REIS, L. ; CANESCHE, M. ; NACIF, J. A. M. ; FERREIRA, R. S. . Design Exploration of Machine Learning Data-Flows onto Heterogeneous Reconfigurable Hardware. In: XXI Simpósio em Sistemas Computacionais de Alto Desempenho, 2020, Virtual. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD), 2020.

• SILVA, L. B. ; CANESCHE, M. ; FERREIRA, R. S. ; NACIF, J. A. M. . HPCGRA - An Orthogonal Design CGRA Generator for High Performance Spatial Accelerators. In: XXI Simpósio em Sistemas Computacionais de Alto Desempenho, 2020, Virtual. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD), 2020.

• PASSE, F. F. ; SILVA, L. B. ; CANESCHE, M. ; CATHOUD, F. ; NACIF, J. A. M. ; FERREIRA, R. S. . Plain: Ferramenta para Desenvolvimento de Aceleradores para Overlays em FPGA na Nuvem em Tempo de Execução. In: XXI Simpósio em Sistemas Computacionais de Alto Desempenho, 2020, Virtual. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD), 2020.

• CARVALHO, W. ; CANESCHE, M. ; REIS, L. ; SILVA, L. B. ; Sill, F. ; JAMIESON, P. ; NACIF, J. A. M. ; FERREIRA, R. S. . A Design Exploration of Scalable Mesh-based Fully Pipelined Accelerators. In: International Conference on Field Programmable Technology, 2020, Maui. Proceedings of the International Conference on Field Programmable Technology (FPT), 2020.

• CREMONEZI, B. M. ; NOGUEIRA, M. ; SANTOS, A. L. ; VIEIRA, Alex Borges ; NACIF, J. A. M. . Um Sistema Multinível de Distribuição de Identidades em Névoas Computacionais. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC, 2019, Gramado. XXXVII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2019, 2019.

• FORMIGONI, R. E. ; Ferreira, R. S. ; NACIF, J. A. M. . Ropper: A Placement and Routing Framework for Field-Coupled Nanotechnologies. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2019, São Paulo. Proceedings of the 32nd Symposium on Integrated Circuits and Systems Design, 2019.

• SILVA, P. A. R. L. ; VILELA NETO, O. P. ; NACIF, J. A. M. . Toward Nanometric Scale Integration: An Automatic Routing Approach for NML Circuits. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2019, São Paulo. Proceedings of the 32nd Symposium on Integrated Circuits and Systems Design, 2019.

• VIEIRA, M. D. ; SILVA, L. B. ; CANESCHE, M. ; FERREIRA, R. S. ; NACIF, J. A. M. . Instruction Set Design for Coarse-Grained Reconfigurable Architectures. In: Student Forum, 2019, São Paulo. Proceedings of the 19th Student Forum, 2019.

• ROSA, W. ; BARANDA, H. ; CANESCHE, M. ; MENEZES, M. ; SILVA, L. B. ; MAGALHAES, S. ; NACIF, J. A. M. ; FERREIRA, R. S. . Simulação de Redes Reguladoras de Genes com Lógica Booleana e Limiar em Plataformas Alto Desempenho. In: XX Simpósio em Sistemas Computacionais de Alto Desempenho, 2019, Campo Grande. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD), 2019. p. 334.

• ALVES, L. ; ANTUNES, E. ; FERREIRA, R. S. ; NACIF, J. A. M. . A Mesh Sensor Network based on Bluetooh: Comparing Topologies to Crop Monitoring. In: IX Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2019, Natal. Anais Estendidos do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC), 2019. p. 125.

• SILVA, P. A. R. L. ; ALVES, J. R. S. B. ; Ferreira, R. S. ; VILELA NETO, O. P. ; NACIF, J. A. M. . A Novel Five-input Multiple-function QCA Threshold Gate. In: IEEE International Symposium on Circuits and Systems (ISCAS), 2018, Florença. Proceedings of the 50th IEEE International Symposium on Circuits and Systems, 2018.

• FONTES-JUNIOR, G. S. ; SILVA, P. A. R. L. ; NACIF, J. A. M. ; VILELA NETO, O. P. ; Ferreira, R. S. . Placement and Routing by Overlapping and Merging QCA Gates. In: IEEE International Symposium on Circuits and Systems (ISCAS), 2018, Florença. Proceedings of the 50th International Symposium on Circuits and Systems, 2018.

• CERQUEIRA, L. S. ; VIEIRA, A. B. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. . ProCoopa: um Protocolo Cooperativo para Redes de Sensores sem fio Aquáticas. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC, 2018, Campos do Jordão. Anais / XXXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2018.

• PACIFICO, R. ; COELHO, G. R. ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. . Roteador SDN em hardware independente de protocolo com análise, casamento e ações dinâmicas. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC, 2018, Campos do Jordão. Anais / XXXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2018.

• CERQUEIRA, L. S. ; VIEIRA, A. B. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. . COPPER: Increasing Underwater Sensor Network Performance Through Nodes Cooperation. In: IEEE Symposium on Computers and Communications, 2018, Natal. Proceedings of the IEEE Symposium on Computers and Communications 2018, 2018.

• SILVA, L. B. ; ALVES, F. ; PENHA, J. C. ; COIMBRA, G. T. P. ; Ferreira, R. S. ; NACIF, J. A. M. . Simplifying HW/SW Integration to Deploy Multiple Accelerators for CPU-FPGA Heterogeneous Platforms. In: International Conference on Embedded Computing Systems Architectures, Modeling and Simulation - SAMOS, 2018, Samos. Proceedings of the XVIII International Conference on Embedded Computing Systems Architectures, Modeling and Simulation, 2018.

• ALVES, F. ; JAMIESON, P. ; SILVA, L. B. ; Ferreira, R. S. ; NACIF, J. A. M. . Lessons Learned on which Applications Benefit when Implemented on CPU-FPGA Heterogeneous System. In: International Conference on Embedded Computing Systems Architectures, Modeling and Simulation - SAMOS, 2018, Samos. Proceedings of the XVIII International Conference on Embedded Computing Systems Architectures, Modeling and Simulation, 2018.

• Sill, F. ; SILVA, P. A. R. L. ; FONTES-JUNIOR, G. S. ; NACIF, J. A. M. ; Ferreira, R. S. ; VILELA NETO, O. P. ; CHAVES, J. F. ; DRECHSLER, R. . Exploration of the Synchronization Constraint in Quantum-dot Cellular Automata. In: Euromicro Conference on Digital System Design, 2018, Praga. Proceedings of the Euromicro Conference on Digital System Design 2018, 2018.

• FORMIGONI, R. E. ; VILELA NETO, O. P. ; NACIF, J. A. M. . BANCS: Bidirectional Alternating Nanomagnetic Clocking Scheme. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2018, Bento Gonçalves. Proceedings of the 31st Symposium on Integrated Circuits and Systems Design, 2018.

• COIMBRA, G. ; SILVA, L. B. ; NACIF, J. A. M. . Investigating the use of Modern Heterogeneous CPU-FPGA Architectures on the 3-SAT Problem. In: Student Forum, 2018, Bento Gonçalves. Proceedings of the 18th Student Forum, 2018.

• CALDEIRA, P. ; PENHA, J. C. ; SILVA, L. B. ; Ferreira, R. S. ; NACIF, J. A. M. ; FERREIRA, R. ; PEREIRA, F. M. Q. . From Java to FPGA: an Experience with the Intel HARP System. In: International Symposium on Computer Architecture and High Performance Computing, 2018, Lyon. Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018.

• PENHA, J. C. ; SILVA, L. B. ; COELHO, K. K. ; CANESCHE, M. ; SILVA, J. ; COMARELA, G. ; NACIF, J. A. M. ; Ferreira, R. S. . Gerador Parametriz´avel de Aceleradores para K-means em FPGA e GPU. In: Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD, 2018, São Paulo. Anais do XIV Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD, 2018.

• MATHEUS, L. ; PIRES, L. ; VIEIRA, A. B. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. . Análise do impacto de diferentes cores na transmissão de dados por luz visível em dispositivos embarcados baseados em LEDs. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2018, Salvador. Anais do VIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2018.

• Ferreira, R. S. ; CANESCHE, M. ; COELHO, K. K. ; NACIF, J. A. M. . Minimum Switching Networks. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2018, Salvador. Anais do VIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2018.

• ALMEIDA, D. ; SILVA, L. B. ; Ferreira, R. S. ; NACIF, J. A. M. . Uma Arquitetura de Overlay para Depuração de Circuitos Digitais em Sistemas Heterogêneos CPU-FPGA. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2018, Salvador. Anais do VIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2018.

• CERQUEIRA, L. S. ; SILVA, F. R. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. ; VIEIRA, A. B. . Um Protocolo Cooperativo para Acesso ao Meio em Redes de Sensores Aquaticas Sem Fio. In: Workshop on Autonomic Distributed System ? WoSiDA, 2017, Belém. Anais / VII Workshop on Autonomic Distributed System ? WoSiDA, 2017. p. 21-16.

• CREMONEZI, B. M. ; VIEIRA, A. B. ; NOGUEIRA, M. ; NACIF, J. A. M. . Um Protocolo de Alocação Dinâmica de Canais para Ambientes Médicos sob Múltiplas Estações Base. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC, 2017, Belém. Anais / XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017.

• LIMA, F. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; VIEIRA, A. B. ; NACIF, J. A. M. . Pingo d?água: ICMP para Internet das Coisas Aquáticas. In: Simpósio Brasileira de Redes de Computadores e Sistemas Distribuídos - SBRC, 2017, Belém. Anais / XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017. p. 401-414.

• CREMONEZI, B. M. ; VIEIRA, A. B. ; NACIF, J. A. M. ; NOGUEIRA, M. . A Dynamic Channel Allocation Protocol for Medical Environment under Multiple Base Stations. In: IEEE Wireless Communications and Networking Conference (WCNC), 2017, San Francisco. Proceedings of the 2017 IEEE Wireless Communications and Networking Conference (WCNC), 2017.

• PENHA, J. C. ; SILVA, L. B. ; ALMEIDA, D. ; NACIF, J. A. M. ; Ferreira, R. S. . ADD - Uma Ferramenta de Projeto de Aceleradores com DataFlow para Alto Desempenho. In: Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD, 2017, Campinas. Anais do XVIII Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD, 2017.

• ALVES, F. ; JAMIESON, P. ; SILVA, L. B. ; Ferreira, R. S. ; NACIF, J. A. M. . Designing a Collision Detection Accelerator on a Heterogeneous CPU-FPGA Platform. In: International Conference on Reconfigurable Computing and FPGAs, 2017, Cancún. Proceedings of the 2017 International Conference on Reconfigurable Computing and FPGAs, 2017.

• SILVA, L. B. ; ALMEIDA, D. ; NACIF, J. A. M. ; HERNANDEZ-MARTINEZ, C. A. ; SANCHEZ-OSORIO, I. ; Ferreira, R. S. . Exploring the dynamics of large-scale gene regulatory networks using hardware acceleration on a heterogeneous CPU-FPGA platform. In: International Conference on Reconfigurable Computing and FPGAs, 2017, Cancún. Proceedings of the 2017 International Conference on Reconfigurable Computing and FPGAs, 2017.

• VERGUTZ, A. ; SILVA, R. ; NACIF, J. A. M. ; VIEIRA, A. B. ; NOGUEIRA, M. . Mapping Critical Illness Early Signs to Priority Alert Transmission on Wireless Networks. In: IEEE Latin-American Conference on Communications, 2017, Guatemala City. Proceedings of the 9th IEEE Latin-American Conference on Communications, 2017.

• SOUSA, A. D. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. . STEIN: Sistema de Transferência de Energia para INternet das coisas. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2017, Curitiba. Anais do VII Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2017.

• PACIFICO, R. ; GOULART, P. ; CUNHA, I. F. S. ; VIEIRA, Marcos Augusto M. ; VIEIRA, A. B. ; GUEDES NETO, D. O. ; NACIF, J. A. M. . Medição de desempenho de rede em hardware. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2016, Salvador. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2016.

• REIS, V. K. ; SOARES, T. R. B. S. ; ALVES, J. R. S. B. ; CASTRO, G. M. ; VILELA NETO, O. P. ; NACIF, J. A. M. . Redesigning state-of- the-art QCA Adders in NML Technology. In: Student Forum, 2016, Belo Horizonte. Proceedings of the 16th Student Forum, 2016.

• ALMEIDA, D. ; MARCIANO, A. L. P. ; NACIF, J. A. M. . Using an Analog Netlist Generation Tool to Evaluate a Mixed Circuit Verification Framework. In: Student Forum, 2016, Belo Horizonte. Proceedings of the 16th Student Forum, 2016.

• ALVES, F. ; ALMEIDA, D. ; PEREIRA, V. H. ; COSTA, A. C. ; NACIF, J. A. M. . Automating Trace Buffer Post-Silicon Debug. In: Student Forum, 2016, Belo Horizonte. Proceedings of the 16th Student Forum, 2016.

• ALVES, J. R. S. B. ; SILVA, P. A. R. L. ; FONTES-JUNIOR, G. S. ; Ferreira, R. S. ; NACIF, J. A. M. . Optimizing Circuits for QCA Routing. In: Student Forum, 2016, Belo Horizonte. Proceedings of the 16th Student Forum, 2016.

• PASSE, F. F. ; VASCONCELOS, V. C. R. ; SILVA, L. B. ; NACIF, J. A. M. ; Ferreira, R. S. . Virtual Reconfigurable Functional Units on Shared-Memory Processor-FPGA Systems. In: Student Forum, 2016, Belo Horizonte. Proceedings of the 16th Student Forum, 2016.

• TRINDADE, A. ; Ferreira, R. S. ; NACIF, J. A. M. ; SALLES, D. ; VILELA NETO, O. P. . A Placement and Routing Algorithm for Quantum-dot Cellular Automata. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2016, Belo Horizonte. Proceedings of the 29th Symposium on Integrated Circuits and Systems Design, 2016.

• ALMEIDA, T. ; SILVA, L. B. ; ANTONIO, R. ; LIMA, F. ; VIEIRA, Marcos Augusto M. ; R. JUNIOR, J. G. ; VIEIRA, Luiz Filipe Menezes ; NACIF, J. A. M. . Avaliação de Desempenho na Comunicação em Redes Acústicas Aquáticas Utilizando Modems Reais de Baixo Custo. In: Simpósio Brasileiro de Computação Ubíqua e Pervasiva, 2016, Porto Alegre. Anais do 8o. Simpósio Brasileiro de Computação Ubíqua e Pervasiva, 2016.

• PACIFICO, R. ; GOULART, P. ; VIEIRA, A. B. ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. . Hardware Modules for Packet Interarrival Time Monitoring for Software Defined Measurements. In: IEEE Conference on Local Computer Networks (LCN), 2016, Dubai. Proceedings of the 41st IEEE Conference on Local Computer Networks, 2016.

• ALMEIDA, T. ; R. JUNIOR, J. G. ; SILVA, F. A. ; SANTOS, A. ; NACIF, J. A. M. . Projeto e Análise de um Sistema Descentralizado e Local para Monitoramento de Trânsito Baseado em Dados Colaborativos. In: Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2016, Santarém. Anais do XXXIV Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, 2016.

• ALMEIDA, T. ; R. JUNIOR, J. G. ; GULL, C. J. ; SILVA, F. A. ; NACIF, J. A. M. . DOCS4V: Design and Evaluation of a Distributed and Offline Traffic Monitoring System Based on Collaborative Data. In: 19th International IEEE Conference on Intelligent Transportation Systems, 2016, Rio de Janeiro. Proceedings of the 19th International IEEE Conference on Intelligent Transportation Systems, 2016.

• GULL, C. J. ; MINKOV, M. T. ; PEREIRA, E. G. ; NACIF, J. A. M. . A Low-Cost Chlorophyll Fluorescence Sensor System. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2016, João Pessoa. Anais do VI Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2016.

• GOMES, A. B. ; ALVES, F. ; Ferreira, R. S. ; NACIF, J. A. M. . Vericonn: A Tool to Generate Efficient Interconnection Networks for Post-Silicon Debug. In: Latin-American Test Symposium, 2015, Puerto Vallarta. Proceedings of the 16th Latin-American Symposium, 2015.

• GOMES, A. B. ; ALVES, F. ; Ferreira, R. S. ; NACIF, J. A. M. . Increasing Observability in Post-Silicon Debug Using Asymmetric Omega Networks. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2015, Salvador. Proceedings of the 28th Symposium on Integrated Circuits and Systems Design, 2015.

• Ferreira, R. S. ; NACIF, J. A. M. ; MAGALHAES, S. ; ALMEIDA, T. ; PACIFICO, R. . Be a Simulator Developer and Go Beyond in Computer Engineering. In: IEEE Frontiers in Education, 2015, El Paso. Proceedings of the 45th Frontiers in Education Conference, 2015.

• ALMEIDA, D. ; ALVES, F. ; NACIF, J. A. M. . Veritrace: A Tool To Generate Trace Buffers For Post-Silicon Debug. In: Student Forum, 2015, Salvador. Proceedings of the 15th Student Forum, 2015.

• FAZZION, E. ; FONSECA, O. L. H. M. ; SILVA, D. S. ; NACIF, J. A. M. ; FERNANDES, A. O. ; VILELA NETO, O. P. . A Quantum-dot Cellular Automata Processor Design. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2014, Aracaju. Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, 2014.

• ALVES, F. ; TEIXEIRA, F. ; GOMES, A. B. ; Ferreira, R. S. ; NACIF, J. A. M. . Routing Clos-based Interconnection Networks for Post-Silicon Debug. In: Student Forum, 2014, Aracaju. Proceedings of the 14th Student Forum, 2014.

• LIMA, F. ; SILVA, L. B. ; ANTONIO, R. ; VIEIRA, Luiz Filipe Menezes ; NACIF, J. A. M. ; VIEIRA, Marcos Augusto M. . Plataforma Autônoma para Monitoração Hídrica. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, Manaus. Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais - SBESC 2014, 2014.

• ALMEIDA, R. B. ; NACIF, J. A. M. ; SILVA, A. P. C. ; VIEIRA, A. B. . Pollution and Whitewashing Attacks in a P2P Live Streaming System: Analysis and Counter-Attack. In: IEEE International Conference on Communications, 2013, Budapeste. IEEE International Conference on Communications (ICC 2013), 2013.

• ALMEIDA, R. B. ; NACIF, J. A. M. ; SILVA, A. P. C. ; VIEIRA, A. B. . Análise e Contra-Ataque à Poluição e Whitewashing em Sistemas P2P de Vídeo ao Vivo. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2013, Brasília. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2013), 2013.

• Ferreira, R. S. ; ROCHA, L. ; SANTOS, A. G. ; NACIF, J. A. M. ; CARRO, L. ; WONG, S. . A Run-time Graph-Based Polynomial Placement and Routing Algorithm for Virtual FPGAs. In: International Conference on Field Programmable Logic and Applications, 2013, Porto. Proceedings of the 23rd International Conference on Field Programmable Logic and Applications, 2013.

• MARCIANO, A. L. P. ; OLIVEIRA, A. ; NACIF, J. A. M. ; VILELA NETO, O. P. . An efficient FPGA implementation in quantum-dot cellular automata. In: Symposium on Integrated Circuits and Systems Design - SBCCI, 2013, Curitiba. Proceedings of the 26th Symposium on Integrated Circuits and Systems Design - SBCCI 2013, 2013.

• SANTOS, E. R. S. ; GOMES, A. B. ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. . Roteamento IPv6 em redes sem fio com dispositivos com pouca memória. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013, Niterói. Anais do III Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013.

• Viana, S. ; SILVA, L. B. ; LIMA, A. ; VIEIRA, A. B. ; Vieira, Luiz Filipe M. ; VIEIRA, Marcos Augusto M. ; FERNANDES, Antônio O. ; NACIF, J. A. M. . HydroNode: Uma rede sensores aquáticos de baixo custo e consumo. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013, Niterói. Anais do III Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013.

• Pinto, D. ; Viana, S. ; Vieira, Luiz Filipe M. ; NACIF, J. A. M. ; VIEIRA, Marcos Augusto M. ; VIEIRA, A. B. ; FERNANDES, Antônio O. . HydroNode: a Low Cost, Energy Efficient, Multi Purpose Node for Underwater Sensor Networks. In: 37th Annual IEEE Conference on Local Computer Networks, 2012, Clearwater. Proceedings of the 37th Annual IEEE Conference on Local Computer Networks, 2012.

• VIEIRA, Luiz Filipe Menezes ; Pinto, D. ; Viana, S. ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. ; VIEIRA, A. B. ; FERNANDES, A. O. . An Underwater Sensor Node Prototype for Monitoring Hydroelectric Reservoirs. In: Seventh ACM International Conference on Underwater Networks and Systems, 2012, Los Angeles. Proceedings of the Seventh ACM International Conference on Underwater Networks and Systems, 2012.

• NACIF, J. A. M. ; SILVA, T. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, A. B. ; FERNANDES, A. O. ; COELHO JR, C. N. . Tracking Hardware Evolution. In: International Symposium on Quality Electronic Design (ISQED), 2011, Santa Clara. Proceedings of the International Symposium on Quality Electronic Design - ISQED 2011, 2011.

• NACIF, J. A. M. ; SILVA, T. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, A. B. ; FERNANDES, A. O. ; COELHO JR, C. N. . A Cache Based Algorithm to Predict HDL Modules Faults. In: Latin American Test Workshop (LATW), 2011, Porto de Galinhas. Proceedings of the Latin American Test Workshop - LATW 2011, 2011.

• MARCIANO, A. L. P. ; NACIF, J. A. M. ; do Val, C. G. ; FERNANDES, Antônio O. ; COELHO JR, Claudionor N. . A Software Programmable Infrastructure for Assertion Based Post Silicon Debug. In: Chip on the Cliffs Student Forum, 2011, João Pessoa. Proceedings of the 11th Student Forum, 2011.

• SILVA, T. ; Silva, A. ; NACIF, J. A. M. ; VIEIRA, Luiz Filipe Menezes ; ANTÔNIO OTÁVIO FERNANDES, . Visualizing HDL Code Evolution. In: Chip in Sampa Student Forum, 2010, São Paulo. Proceedings of the Chip in Sampa Student Forum, 2010.

• CARDOSO, T. N. C. ; NACIF, J.A. ; FERNANDES, Antônio Otávio ; COELHO JR, Claudionor N. . BUGTRACER: A System for Integrated Circuit Development Tracking and Statistics Retrieval. In: Latin American Test Workshop - LATW, 2009, Búzios. LATW 2009 Digest of Papers, 2009.

• NACIF, J.A. ; SILVA, T. ; TAVARES, Andréa Iabrudi ; FERNANDES, Antônio Otávio ; COELHO JR, Claudionor N. . Efficient Allocation of Verification Resources using Revision History Information. In: IEEE Design and Diagnostics of Electronic Circuits and Systems - DDECS, 2008, Bratislava. Proceedings of the 2008 IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, 2008. p. 190-194.

• NACIF, J.A. ; FERNANDES, Antônio Otávio . Prediction of Design Errors using Revision History Information. In: IFIP VLSI SoC PhD Forum, 2008, Rhodes. Proceedings of 16th IFIP VLSI-SoC PhD Forum, 2008.

• CARDOSO, T. N. C. ; do Val, C. G. ; NACIF, J.A. ; FERNANDES, Antônio O. ; COELHO JR, Claudionor N. . Assertion based fault-tolerant processor: How to recover from design errors. In: IFIP/IEEE International Conference on Very Large Scale Integration and System-on-Chip - VLSI-SoC, 2008, Rhodes. Proceedings of the 16th IFIP International Conference on Very Large Scale Integration and System-on-Chip, 2008.

• CARDOSO, T. N. C. ; do Val, C. G. ; NACIF, J.A. ; FERNANDES, Antônio O. ; COELHO JR, Claudionor N. . Memory Aspects of Dual Core Processor Design. In: Chip on the Pampas Student Forum, 2008, Gramado. Proceedings of the Chip in the Pampas Student Forum, 2008.

• VIVAS, Fabrício ; NACIF, J.A. ; COELHO JR, Claudionor N. ; FERNANDES, Antônio Otávio . High-level Automatic Verification Methodology for Computer Graphics Cores. In: Latin American Test Workshop - LATW, 2006, Buenos Aires. LATW 2006 Digest of Papers, 2006.

• DAMASCENO, Fabrício ; NACIF, J.A. ; PASSOS, Rodrigo ; FERNANDES, Antônio Otávio ; COELHO JR, Claudionor N. . Signaling Chip Errors with SNMP. In: Latin American Test Workshop - LATW, 2006, Buenos Aires. LATW 2006 Digest of Papers, 2006.

• PASSOS, Rodrigo ; NACIF, J.A. ; MINI, Raquel Aparecida de Freitas ; LOUREIRO, A. A. F. ; FERNANDES, Antônio Otávio ; COELHO JR, C. N. . System-level Dynamic Power Management Techniques for Communication Intensive Devices. In: IFIP/IEEE International Conference on Very Large Scale Integration and System-on-Chip - VLSI-SoC, 2006, Nice. Proceedings of the 14th International Conference on Very Large Scale Integration, 2006.

• VIVAS, Fabrício ; NACIF, J.A. ; COELHO JR, Claudionor N. ; FERNANDES, Antônio O ; CHI, Wong ; MOREIRA, Luiz Fernando E. ; RESENDE, Luis Humberto . When bits are not bits and bytes are not bytes: Validating computer graphics cores at higher level of abstraction. In: Latin American Test Workshop - LATW, 2005, Salvador. LATW 2005 Digest of Papers, 2005.

• CALDAS, Ruiter Braga ; CORRÊA, Fábio Lúcio ; ROQUE, Thiago Radicchi ; NACIF, J.A. ; RUIZ, Linnyer Beatrys ; FERNANDES, Antônio O. ; COELHO JR, Claudionor N. . Low Power/High Performance Self-Adapting Sensor Node Architecture. In: Emerging Techniques and Factory Automation, 2005, Catania. Proceedings of the Emerging Techniques and Factory Automation, 2005.

• CALDAS, Ruiter Braga ; CORRÊA, Fábio Lúcio ; ROQUE, Thiago Radicchi ; RUIZ, Linnyer Beatrys ; FERNANDES, Antônio O. ; COELHO JR, Claudionor N. ; NACIF, J.A. . Reconfigurable Sensor Node for Low Power/High Performance Applications. In: IFIP/IEEE International Conference on Very Large Scale Integration and System-on-Chip - VLSI-SoC, 2005, Perth. Proceedings of the 13th International Conference on Very Large Scale Integration, 2005.

• ALMEIDA, Vínicius C de ; VIEIRA, Luiz Filipe Menezes ; VITORINO, Breno A D ; VIEIRA, Marcos Augusto M. ; NACIF, J.A. ; FERNANDES, Antônio Otávio ; SILVA, Diógenes C. da ; COELHO JR, Claudionor N. . Sistema Operacional YATOS para Redes de Sensores Sem Fio. In: Workshop em Sistemas Operacionais, 2004, Salvador. Anais do SBC'2004, 2004.

• NACIF, J.A. ; MOREIRA, Luiz Fernando E. ; TAVARES, Andréa Iabrudi ; MATA, José M. da ; FERNANDES, Antônio Otávio ; COELHO JR, Claudionor N ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. . Migração de um kernel de tempo real para um processador digital de sinais. In: Workshop em Sistemas Operacionais, 2004, Salvador. Anais do SBC'2004, 2004.

• OTAVIANO, Leonardo F ; MACIEL, Leandro ; NACIF, J.A. ; COELHO JR, Claudionor N ; FERNANDES, Antônio Otávio . Validation of a Verilog Assertion Library. In: Student Forum, 2004, Porto de Galinhas. Proceedings of the Student Forum 2004, 2004.

• SICA, Fernando C. ; COELHO JR, Claudionor N ; NACIF, J.A. ; FOSTER, Harry ; FERNANDES, Antônio Otávio . Exception handling in microprocessors using assertion libraries. In: SBCCI, 2004, Porto de Galinhas. Proceedings of the SBCCI 2004, 2004.

• NACIF, J.A. ; PAULA, Flávio M. de ; FOSTER, Harry ; COELHO JR, Claudionor N. ; SICA, Fernando C. ; SILVA, Diógenes C. da ; FERNANDES, Antônio O. . An Assertion Library for On-Chip White-Box Verification at Run-Time. In: Latin American Test Workshop - LATW, 2003, Natal. LATW 2003 Digest of Papers, 2003.

• OLIVEIRA, M. C. M. ; NACIF, J.A. ; COELHO JR, Claudionor N. ; FERNANDES, Antônio Otávio . XRoach: A Tool for Generation of Embedded Assertions. In: Chip in Sampa - Student Forum, 2003, São Paulo. Proceedings of the Student Forum 2003, 2003.

• ZUQUIM, A. L. A. P. ; LOUREIRO, A. A. F. ; COELHO JR, C. N. ; VIEIRA, Marcos Augusto M. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, A. B. ; FERNANDES, Antônio O. ; SILVA JÚNIOR, D. C. ; MATA, José M. da ; NACIF, J.A. ; CARVALHO, H. S. . Efficient Power Management in Real-Time Embedded Systems. In: Emerging Techniques and Factory Automation, 2003, Lisbon. Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003.

• NACIF, J.A. . Desenvolvimento de circuitos integrados tolerantes a falhas de projeto através de processadores de asserções. In: Workshop de Teses e Dissertações em Computação Tolerante a Falhas, 2003, São Paulo. Anais do II Workshop de Teses e Dissertações em Computação Tolerante a Falhas, 2003.

• PAULA, F. M. ; COELHO JR, Claudionor N ; FOSTER, Harry ; NACIF, J.A. ; TOMPKINS, J. ; FERNANDES, Antônio O ; SILVA, D. C. . Refactoring Digital Hardware Designs with Assertion Libraries. In: High Level Design Validation and Test Workshop, 2003, San Francisco. Proceedings of the 8th High Level Design Validation and Test Workshop, 2003.

• NACIF, J.A. ; PAULA, Flávio M. de ; COELHO JR, Claudionor N. ; SICA, Fernando C. ; FOSTER, Harry ; FERNANDES, Antônio O. ; SILVA, D. C. . The Chip is Ready. Am I done? On-chip Verification using Assertion Processors. In: IFIP/IEEE International Conference on Very Large Scale Integration - VLSI-SoC, 2003, Darmstadt. Proceedings of the 12th International Conference on Very Large Scale Integration, 2003. p. 111-116.

• JAMIESON, P. ; FERREIRA, R. S. ; NACIF, J. A. M. . GA-lapagos, an Open-Source C Framework including a Python-based System for Data Analysis. In: EvoSoft ? Evolutionary Computation Software Systems, 2020, Virtual. Proceedings of the EvoSoft ? Evolutionary Computation Software Systems, 2020.

• PESSOA, L. E. F. ; PINTO, S. S. ; ARAUJO, T. M. P. ; GOMES, A. B. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, Marcos Augusto M. ; PEREIRA, E. G. ; NACIF, J. A. M. . Um nó sensor de baixo custo para agricultura de precisão. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2014, Manaus. Anais do IV Simpósio Brasileiro de Engenharia de Sistemas Computacionais - SBESC 2014, 2014.

• Vieira, Luiz Filipe M. ; Viana, S. ; VIEIRA, Marcos Augusto M. ; NACIF, J. A. M. ; VIEIRA, A. B. . Designing an Underwater Sensor Node for Ocean Monitoring. In: MTS/IEEE Oceans, 2013, San Diego. Proceedings of the MTS/IEEE 2013, 2013.

• MEIRELES, W. D. ; NACIF, J. A. M. . Componentes e Softwares para Projetos de Multicópteros de baixo custo. In: Simpósio de Engenharia de Sistemas Computacionais, 2013, Niterói. Anais do III Simpósio de Engenharia de Sistemas Computacionais, 2013.

• OLIVEIRA, Gabriela A. A. ; NACIF, J. A. M. . Treinamento para a Olimpíada Brasileira de Informática. In: III Semana Acadêmica, 2011, Florestal. Anais da III Semana Acadêmica, 2011.

• SOUSA, M. T. D. ; NACIF, J. A. M. . Desenvolvimento de um Sistema Embarcado para Medição de Temperatura Ambiente. In: III Semana Acadêmica, 2011, Florestal. Anais da III Semana Acadêmica, 2011.

• CARVALHO, H. S. ; COELHO JR, Claudionor N ; HEINSELMAN, W. B. ; NACIF, J.A. ; MOREIRA, Luiz Fernando E. ; VIEIRA, N. ; ANTÔNIO OTÁVIO FERNANDES, . Mobile and Reconfigurable EKG Monitoring System. In: ICBME, 2002, Cingapura. Proceedings of ICBME, 2002.

• NACIF, J. A. M. ; SILVA, T. ; VIEIRA, Luiz Filipe Menezes ; VIEIRA, A. B. ; FERNANDES, Antônio Otávio ; COELHO JR, Claudionor N. . Tracking Hardware Evolution. 2011. (Apresentação de Trabalho/Simpósio).

• NACIF, J.A. . Efficient Allocation of Verification Resources using Revision History Information. 2008. (Apresentação de Trabalho/Congresso).

• NACIF, J.A. . Assertion based fault-tolerant processor: How to recover from design errors. 2008. (Apresentação de Trabalho/Congresso).

• NACIF, J.A. . Prediction of design errors using revision history information. 2008. (Apresentação de Trabalho/Congresso).

• NACIF, J.A. . System-level Dynamic Power Management Techniques for Communication Intensive Devices. 2006. (Apresentação de Trabalho/Congresso).

• NACIF, J.A. . Reconfigurable Sensor Node for Low Power/High Performance Applications. 2005. (Apresentação de Trabalho/Congresso).

• NACIF, J.A. . The Chip is Ready. Am I done? On-chip Verification using Assertion Processors. 2003. (Apresentação de Trabalho/Congresso).

• NACIF, J. A. M. . Revisão de Artigos para o Student Forum 2012 (Revisão técnica).

• NACIF, J. A. M. . Revisão de Artigos para o Symposium on Integrated Circuits and Systems Design 2012 (Revisão técnica).

• NACIF, J.A. . Revisão de Artigos para o Simpósio Sul de Microeletrônica (SIM) 2008 (Revisão técnica).

• NACIF, J.A. . Revisão de Artigos para o Simpósio Sul de Microeletrônica (SIM) 2006 (Revisão técnica).

• MOREIRA, Luiz Fernando E. ; NACIF, J.A. ; FERNANDES, Antônio Otávio ; MATA, José Monteiro da ; TAVARES, Andréa Iabrudi . Migração de um Kernel de Tempo Real para um Processador Digital de Sinais 2001 (Relatório Técnico).

Outras produções

Projetos de pesquisa

• 2024 - Atual

  GT-SmartSeg - Grupo de Trabalho em Segurança de Contratos Inteligentes, Descrição: Auditar segurança de contratos inteligentes é essencial para evitar vulnerabilidades em aplicações descentralizadas (DApps) em redes como Ethereum e Hyperledger Fabric. Embora existam ferramentas para detectar vulnerabilidades, a adoção dessas soluções enfrenta desafios, como projetos descontinuados ou de código fechado, e a necessidade de configurar diferentes ambientes de execução. A proposta visa desenvolver um framework automatizado para execução de ferramentas de verificação de segurança em contratos inteligentes, integrando auditorias de segurança ao ciclo de desenvolvimento de DApps. O framework será integrado à RNP, compatível com redes blockchain como Hyperledger Besu e Ethereum, e incluirá atualizações para detectar novas vulnerabilidades por meio de Fuzzing. Os principais benefícios incluem a automação da auditoria, redução de custos com auditorias tradicionais, e a disponibilização de ferramentas de verificação acessíveis. O sistema será acessado por uma interface web, gerenciando containers configurados para executar diversas ferramentas, e poderá ser adaptado a diferentes redes. O projeto também fornecerá documentação, vídeos demonstrativos e relatórios de desempenho.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Coordenador / Josué Nunes Campos - Integrante / Isdael R. Oliveira - Integrante / Luís H. S. de Carvalho - Integrante / Aline Cristina Santos Silva - Integrante / Iago Guimaraes Falcão. - Integrante / Ana Lúcia de Souza - Integrante.

• 2024 - Atual

  Novas Abordagens e Tecnologias Aplicadas ao Estudo, Manejo e Conservação de Abelhas, Descrição: - Realizar estudo genômico e monitorar a dinâmica populacional da espécie Melipona capixaba em núcleos de reprodução geneticamente assistida e manejo replicativo em populações de conservação in situ. - Detectar e monitorar o florescimento de plantas fornecedoras de óleo utilizadas por espécies de Epicharis, a partir de séries temporais de imagens de drone de alta resolução e aprendizagem profunda.- Inventariar populações da espécie Epicharis pygialis a partir de monitoramento em dossel e coleta com auxílio de drone... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Integrante / Helder Canto Resende - Coordenador / Robson Luiz dos Santos - Integrante.

• 2023 - 2024

  Análise de Técnicas e Ferramentas de Segurança para Contratos Inteligentes em Redes Blockchain, Descrição: O principal objetivo é analisar as ferramentas e técnicas atuais para garantir a segurança de contratos inteligentes, verificando sua corretude e a aderência às regras de negócios. O trabalho inclui uma revisão sistemática da literatura, abordando perguntas de pesquisa sobre ferramentas de segurança automatizadas, técnicas de aprimoramento de segurança e limitações das atuais ferramentas de análise. A análise dos trabalhos existentes revela uma predominância de técnicas de análise estática e destaca áreas com lacunas de pesquisa, como chamadas subsequentes de contratos e manipulação de oráculos. O estudo visa contribuir para a segurança dos contratos inteligentes e do ecossistema blockchain.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: José Augusto Miranda Nacif - Coordenador / Alex Borges Vieira - Integrante / Josué Nunes Campos - Integrante / Glauber Dias Gonçalves - Integrante., Financiador(es): Rede Nacional de Ensino e Pesquisa - Bolsa.

• 2023 - Atual

  Autenticação Multimodal Federada utilizando Sinais Biométricos, Descrição: APQ-02545-23 - A Internet das Coisas aplicada à saúde (Internet of Health Things -- IoHT) demanda por mecanismos de segurança e privacidade para armazenamento, transmissão e manipulação de dados pessoais. A autenticação biométrica de usuários objetiva tais proteções entre as interações homem-máquina. Portanto, esta proposta visa o desenvolvimento de ferramentas e metodologias para autenticação biométrica multimodal para IoHT utilizando técnicas de aprendizado de máquina. A combinação de mais de um sinal biométrico (multimodal ) permite reforçar a segurança, além disso reduzir a interação do usuário e garantir que este esteja vivo. Neste trabalho serão utilizados sinais biométricos do tipo ECG (Eletrocardiograma), PPG (Fotopletismografia) e ondas cerebrais para realizar autenticação de usuários. Os sinais biométricos utilizados pertencem a usuários reais, disponíveis em bancos de dados públicos. Também espera-se produzir um banco de dados próprio, o qual também será disponibilizado com intuito de contribuir com a evolução do estado da arte. É importante que as soluções apresentadas sejam aplicáveis em dispositivos com recursos computacionais limitados, tais como utilizados em ambientes IoHT.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Coordenador / Michele Nogueira - Integrante / Alex Borges Vieira - Integrante / Ricardo dos Santos Ferreira - Integrante / Kristopher Kayo Coelho - Integrante / Edelberto Franco Silva - Integrante / Eduardo T. Tristão - Integrante.

• 2022 - Atual

  Treinamento e Aprimoramento de Modelos Clássicos de Aprendizado de Máquina, Descrição: Projeto financiado pela startup suiça CodeDepot. Este projeto de pesquisa tem como objetivo reproduzir e aprimorar modelos descritos em artigos clássicos e de alto impacto da literatura. Especificamente,as seguintes técnicas serão exploradas a partir da leitura e entendimento de cada artigo: a) Otimização de hiperparâmetros: técnicas de busca de hiperparâmetros eficientes para ajustar os modelos clássicos de aprendizado de máquina, como regressão linear e SVM, para diferentes conjuntos de dados. b) Regularização: técnicas para reduzir o overfitting dos modelos. c). Aprendizado por transferência: técnicas para transferir conhecimento de um modelopré-treinado para outro modelo, permitindo treinar modelos clássicos de aprendizado de máquina com conjuntos de dados menores. d) Combinação de modelos: técnicas para combinar diferentes modelos.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Coordenador.

• 2021 - 2023

  Aplicações de Inteligência Artificial e Visão Computacional no Setor Agro, Descrição: Chamadas CNPq/MCTI/SEMPI N14/2021 e CNPq/MCTI/SEMPI N 56/2022. Técnicas de visão computacional têm sido utilizadas para melhorar a produtividade e a eficiência de diversas etapas do processo produtivo no setor Agro, coletando, em tempo real, imagens geradas durante todo o processo de produção. Assim, esta proposta apresenta avanço do estado da arte e na geração de novas tecnologias para Zootecnia de precisão, Melhoramento genético e Meliponicultura . Neste projeto serão utilizadas imagens reais, coletadas e validadas em campo assim como bancos de imagens disponíveis online. Esta proposta conta com quatro áreas que são oferecidas aos estudantes como opção para a realização do trabalho de conclusão de curso: (I) Monitoramento do peso de bovinos de corte utilizando visão computacional; (II) Predição de rendimento de carcaças de bovinos/ovinos; (III) Identificação de clones tolerantes à seca a partir da morfologia das folhas de eucalipto; (IV) Classificação da origem botânica a partir da identificação dos tipos polínicos da composição do mel e pólen apícola. Como se trata de um projeto interdisciplinar, a formação complementar dos membros da equipe é crucial para atingir o impacto esperado.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Coordenador.

• 2021 - Atual

  AgroBigData: Sistemas Inteligentes para Agricultura Digital, Descrição: Chamada FAPEMIG 01/2021 - Demanda Universal. O mercado global de Internet das Coisas (IoT) para agricultura digital deve chegar a 34,9 bilhões de dólares em 2027. Neste contexto, os dispositivos IoT têm sido utilizados para melhorar a produtividade e a eficiência de diversas etapas do processo produtivo, coletando, em tempo real, dados gerados durante a fase do desenvolvimento do cultivo. Assim, esta proposta apresenta uma visão interdisciplinar e integrada de pesquisa IoT e aprendizado de máquina com foco no avanço do estado da arte e na geração de novas tecnologias para a agricultura digital. Este projeto trata de um fluxo completo que vai desde temas inerentemente ligados à Ciência da Computação (IoT, protocolos, processamento de alto desempenho e aprendizado de máquina) até a aplicação final em que dados reais serão coletados em campo e posteriormente validados também em campo. Não apenas em Minas Gerais, mas em todo mundo, iniciativas que integram pesquisadores da área de Ciência da Computação e do setor Agro ainda são incipientes e apresentam grande potencial de inovação e geração de tecnologia de impacto econômico. Esta proposta conta com três linhas de pesquisa: (I) Desenvolvimento de protocolos de comunicação e dispositivos IoT; (II) Criação da segunda versão do sensor IoT de fluorescência da clorofila e validação em um ambiente real; e (III) Análise de dados reais e treinamento de modelos de aprendizado de máquina em aplicações de agricultura digital. Mais precisamente, na linha de pesquisa (I) avançaremos no conhecimento da área de IoT desenvolvendo novos protocolos e utilizando novos meios de comunicação. Já o foco das linhas de pesquisa (II) e (III) é no avanço tecnológico com a melhoria da primeira versão e análise dos dados gerados pelo sensor IoT de fluorescência da clorofila desenvolvido pelo grupo e também propondo modelos de predição de tolerância a seca para espécies de interesse da área Florestal. A formação complementar dos membros da equipe é crucial para atingir o impacto esperado.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Coordenador.

• 2020 - 2022

  Utilizando Computação Heterogênea em Nuvem para Acelerar Simulações de Redes Reguladoras de Genes, Descrição: Edital CNPq/AWS 032/2019. As redes reguladores de genes ou GRNs são modelos dinâmicos implementados por grafos que possuem várias aplicações em bioinformática como, por exemplo, o estudo de diferenciação celular, metabolismo e a evolução de doenças como o câncer. Porém, para simular todo espaço de estados de uma GRN com n nós são necessários 2n passos, limitando os estudos a GRNs com poucos genes (da ordem de 20 a 40). Existem vários modelos com mais de 50 genes documentados na literatura que foram poucos explorados em função da sua complexidade. Este trabalho propõe o desenvolvimento de novas ferramentas e técnicas para facilitar o estudo de GRNs utilizando computação de alto desempenho de forma eficiente, escalável e transparente para usuário final. Dessa forma, será possível diminuir o tempo de execução de simulações em até 4 ordens de grandeza, permitindo a exploração de redes reguladoras maiores. As ferramentas podem ser usadas em computadores na nuvem com aceleradores (GPUs e FPGAs), explorando o paralelismo de grão grosso/fino, além de poderem ser integradas a outros softwares de ampla utilização na área de biologia como o Cytoscape. As ferramentas desenvolvidas neste projeto têm como objetivos específicos permitir que o usuário possa dinamicamente construir e ajustar os modelos de GRNs em tempo de execução. Finalmente, todo o trabalho desenvolvido será disponibilizado para os pesquisadores da área de biologia em repositórios de domínio público.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Coordenador / Lucas Bragança da Silva - Integrante / Michael Canesche - Integrante / Ricardo dos Santos Ferreira - Integrante / Hector Baranda - Integrante / Maria Dalila Vieira - Integrante / Josué Nunes Campos - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.

• 2018 - 2023

  Novas Ferramentas EDA para Sistemas Heterogêneos CPU-FPGA, Descrição: Edital Universal CNPq 28/2018. Atualmente, as GPUs (Graphics Processing Unit) e os FPGAs (Field-Programmable Gate Array) são duas tendências em aceleradores para desempenho com eficiência energética em comparação aos processadores de uso geral. Neste contexto, a eficiência pode ser maior ao trabalhar com domínios específicos. Apesar dos FPGAs oferecerem maior potencial de eficiência energética, o maior desafio ainda é a sua programação que exige conhecimentos específicos de hardware, mesmo com os ambientes de alto nível como OpenCL. Neste projeto propomos novas ferramentas EDA para facilitar o desenvolvimento e depuração de aplicações de domínio específico em sistemas heterogêneos CPU-FPGA. A primeira ferramenta permitirá a especificação de aplicações em alto nível e realizará a geração automática de código (CPU e FPGA) para sistemas heterogêneos CPU-FPGA. A segunda ferramenta auxiliará na depuração de aplicações para sistemas heterogêneos CPU-FPGA permitindo observar ossinais da aplicação executada na FPGA em tempo real.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Danilo Almeida - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2017 - 2019

  Sistemas Computacionais para Inovação em Sensores de Alta Tecnologia, Descrição: Edital Universal FAPEMIG 01/2016. Este projeto tem o objetivo de desenvolver sistemas computacionais para aplicações de sensoriamento de alta tecnologia. Serão desenvolvidos/finalizados 3 sistemas de sensoriamento para as aplicações: a) Qualidade de água de reservatórios: O sistema de monitoramento é capaz de monitorar temperatura, condutividade elétrica e oxigênio dissolvido a partir de uma sonda aquática; b) Irrigação inteligente: Utilização de um sensor de temperatura infra-vermelho para medir a temperatura das folhas que aumentam quando a planta precisa de irrigação; c) Identificação de poluição: Pretende-se utilizar fluorescência para estimar a quantidade de fotossíntese que uma planta está realizando. Quando uma planta está sofrendo stress por poluição sua capacidade de fotossíntese diminui. Como primeira fonte de poluição estudaremos a chuva ácida.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Eduardo G. Pereira - Integrante / Christopher Johannes Gull - Integrante / Kristtopher Kayo Coelho - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

• 2015 - 2019

  SiCRA - Sistemas Computacionais para Redes Aquáticas, Descrição: O objetivo deste projeto é desenvolver a pesquisa multidisciplinar em Sistemas Computacionais para Redes Aquáticas, causando impacto social, impacto na formação de alunos, interagindo com a comunidade, formando um núcleo de excelência de pesquisa. O projeto de Sistemas Computacionais para Redes Aquáticas ocorre em duas frente principais: através do desenvolvimento de hardware e software. O hardware é composto por nós sensores que possuem capacidade de sensoriamento, comunicação e processamento. Eles podem medir grandezas físicas (como temperatura, turbidez, poluição, etc.). Outro hardware é uma plataforma computacional que age como interface da rede (nó gateway), suportam os nós sensores na água e fazem a comunicação entre terra e água. O software é formado pela pilha de protocolos que garante a comunicação e permite a troca de dados e a cooperação de entidades computacionais em redes de sensores aquáticas, facilitando o trabalho do homem, aumentando sua produtividade e melhorando a qualidade de vida. O mérito intelectual desta proposta aparece na pesquisa fundamental para desenvolver novas teorias, algoritmos, protocolos e ferramentas causando impacto em diversas áreas da Ciência. Tendo em vista a vasta área de aplicação, como monitoração do meio ambiente e controle da qualidade água, este projeto apresenta uma forte contribuição econômica e social. Além disso, o projeto apresenta caráter multi-disciplinar, envolvendo diversas áreas da Ciência como Computação, Redes, Sistemas Embutidos, envolve parcerias interinstitucionais (UFMG, UFV, UFJF).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Integrante / Marcos Augusto M. Vieira - Integrante / Luiz Filipe Menezes Vieira - Coordenador / Alex Borges Vieira - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

• 2013 - 2017

  Monitoramento Dinâmico de Asserções para Depuração de Circuitos, Descrição: A depuração de erros encontrados durante a fase de validação pós-silício exige um grande esforço, dado que a visibilidade dos circuitos é extremamente limitada. Atrelados ao fato de que alguns erros só podem ser reproduzidos durante essa fase, a depuração (conhecida por Post-silicon Debug) torna-se cada dia mais importante. Portanto, o trabalho proposto visa o desenvolvimento de um sistema para auxiliar nessa depuração, o qual possibilitará o aumento da visibilidade do circuito sensível a falha a ser depurada. Com isso, o objetivo principal é o de aumentar a eficiência nos processos de detecção e identificação da causa de um erro. O mérito intelectual deste trabalho aparece na pesquisa fundamental para desenvolver novas teorias e algoritmos para otimizar a escolha de sinais a serem monitorados, bem como restaurar cenários válidos de execução, entre outros.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: José Augusto Miranda Nacif - Coordenador / Marcos Augusto M. Vieira - Integrante / Luiz Filipe Menezes Vieira - Integrante / Alex Borges Vieira - Integrante / Ricardo dos Santos Ferreira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2013 - 2015

  ASA: Algoritmos para rede de sensores aquáticas, Descrição: O objetivo desta pesquisa é desenvolver algoritmos para tratar a comunicação e a cooperação de entidades computacionais em redes de sensores aquáticas, facilitando o trabalho do homem, aumentando sua produtividade e melhorando a qualidade de vida. Como instância inicial deste projeto, será tratado o problema de desenvolvimento de um protocolo de roteamento para o monitoramento de plataformas de petróleo e hidrelétricas. O mérito intelectual desta proposta aparece na pesquisa fundamental para desenvolver novas teorias, algoritmos, protocolos e ferramentas causando impacto em diversas áreas da ciência. Tendo em vista a vasta área de aplicação como exploração de gás e petróleo, monitoração do meio ambiente, controle da qualidade água, geração de energia, este projeto apresenta uma forte contribuição econômica e social.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) . , Integrantes: José Augusto Miranda Nacif - Integrante / Antônio Otávio Fernandes - Integrante / Luiz Filipe Menezes Vieira - Coordenador.

• 2011 - 2016

  Projeto, Construção e Programação de Robôs Móveis para Competições, Descrição: A robótica é uma área interdisciplinar quem envolve conhecimentos de mecânica, eletrônica e computação. Para incentivar a formação de recursos humanos, diversas competições nacionais e internacionais são realizadas anualmente. No Brasil, se destaca a Competição Brasileira de Robótica, realizada com alunos de graduação de todo o país. O objetivo deste projeto é a aquisição de equipamentos e a capacitação de alunos da Universidade Federal de Viçosa - Campus de Florestal para viabilizar a participação de uma equipe na categoria IEEE SEK (Standard Educational Kits) na Competição Brasileira de Robótica. As regras da competição da categoria SEK são elaboradas pelo IEEE, anualmente. À partir da divulgação das regras, que acontece meses antes da competição, as equipes devem projetar, construir e programar robôs autônomos para resolver o problema proposto no dia do evento.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

• 2011 - 2012

  AquaNode: Prototipação de um nó sensor para rede de sensores aquáticas, Descrição: Descrição: O objetivo desta pesquisa é desenvolver um protótipo de hardware para tratar a comunicação e a cooperação de entidades computacionais em redes de sensores aquáticas, facilitando o trabalho do homem, aumentando sua produtividade e melhorando a qualidade de vida. Como instância inicial deste projeto, será tratado o problema de desenvolvimento de um protótipo específico permitindo o desenvolvimento das redes de sensores aquáticas. O mérito intelectual desta proposta aparece na pesquisa fundamental para desenvolver novas teorias, algoritmos, protocolos e ferramentas causando impacto em diversas áreas da ciência. Tendo em vista a vasta área de aplicação como exploração de gás e petróleo, monitoração do meio ambiente, controle da qualidade água, este projeto apresenta uma forte contribuição econômica e social.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: José Augusto Miranda Nacif - Integrante / Antônio Otávio Fernandes - Coordenador / Luiz Filipe Menezes Vieira - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

• 2007 - 2009

  EECI: Ferramenta para Estimar Erros de Projeto em Circuitos Integrados, Descrição: Com a complexidade dos circuitos integrados (CIs) crescendo exponencialmente, as técnicas tradicionais de verificação nem sempre são suficientes para localizar todos os erros de um projeto. Uma das técnicas mais utilizadas nos dias de hoje é a verificação baseada em asserções. asserções são monitores instanciados pelo projetista do circuito integrado de forma a garantir o seu funcionamento. Este trabalho propõe uma ferramenta para estimar erros de projeto em CIs durante a etapa de verificação. Esta estimação de possíveis erros tem por objetivo selecionar um sbconjunto de asserções para serem incorporadas ao CI. A inclusão das assercões tem dois propósitos distintos. O primeiro deles é durante a fase de emulação do CI. Neste caso, o CI pode ser emulado em situações reais, a uma velocidade impossível de ser alcançada durante o processo de simulação. O segundo propósito é o monitoramento remoto de um CI. Em se tratando de um CI em arquitetura reconfigurável (FPGA), o erro seria identificado e corrigido, e a FPGA seria novamente gravada.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (2) . , Integrantes: José Augusto Miranda Nacif - Integrante / Claudionor N. Coelho Jr - Integrante / Antônio O. Fernandes - Coordenador / José M. da Mata - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

• 2003 - 2005

  SCANITEC: Ferramenta para diagnóstico de falhas em veículos automotores, Descrição: Projeto aprovado no Edital 01/2002 RHAE/CNPq, processo 55.0355/2003-0. Desenvolvimento de uma nova plataforma de hardware para o scanner automotivo Scanycar, sem o uso de cartuchos. Essa plataforma deveria ser capaz de se comunicar com as diferentes redes de comunicação de dados existentes nos veículos atuais e com a interface serial RS-232 de um computador pessoal (PC).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) . , Integrantes: José Augusto Miranda Nacif - Integrante / Antônio O. Fernandes - Integrante / José M. da Mata - Integrante / Valdeci Pereira Belo - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Projetos de desenvolvimento

• 2016 - Atual

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2016 - Atual

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2017 - Atual

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2017 - Atual

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2017 - Atual

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2017 - Atual

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2017 - Atual

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Em andamento; Natureza: Desenvolvimento.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento.

• 2017 - Atual

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2017 - Atual

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2017 - Atual

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2017 - Atual

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2017 - 2019

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP).. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante.

• 2022 - Atual

  Internet das Coisas e Cidades Inteligentes: Protocolos, Algoritmos e Caracterização de Dados, Descrição: Este projeto apresenta diversas oportunidades de pesquisa dentro do conceito de cidades inteligentes, Internet das Coisas e Inteligência Artificial em parceria com a empresa OneRF Networks. Os principais desafios de comunicação nestes ambientes incluem largura de banda, distância, topologia da rede e consumo de energia. Este projeto tratará também desafios relacionados ao processamento e caracterização dos dados produzidos por esses dispositivos de medição inteligente, gerando modelos de predição do comportamento do usuário. Apesar da literatura apresentar algumas soluções de protocolos e algoritmos, não são levadas em consideração os vários nichos e também a diversidade de cenários que as aplicações devem trabalhar. Sendo assim, este projeto apresenta grande relevância científica ao avaliar os algoritmos e protocolos mais eficientes dentro de um conjunto de nichos de aplicação e cenários de utilização.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: José Augusto Miranda Nacif - Coordenador / Kristopher Kayo Coelho - Integrante / Thiago Cândido Rocha - Integrante / Maurício Masaharu Okuyama - Integrante / Eduardo Caldas Cardoso - Integrante / Gustavo Retuci Pinheiro - Integrante.

• 2017 - 2019

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários em parceria com a empresa Ferrovia Centro-Atlântica.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante., Financiador(es): Ferrovia Centro-Atlantica - Auxílio financeiro.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP) in collaboration with Intel Brasil.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante., Financiador(es): Intel Semicondutores do Brasil - Auxílio financeiro.

• 2023 - Atual

  Plataforma para Avaliação de Aplicações em Medição Inteligente: Detectando Eventos Atípicos com Dados de Consumo Energético, Descrição: Edital SETEC 83/2022. O objetivo principal deste projeto é a criação e validação de uma plataforma para avaliação do desempenho e validação de redes Wi-SUN no Campus.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador.

• 2022 - Atual

  Internet das Coisas e Cidades Inteligentes: Protocolos, Algoritmos e Caracterização de Dados, Descrição: Este projeto apresenta diversas oportunidades de pesquisa dentro do conceito de cidades inteligentes, Internet das Coisas e Inteligência Artificial em parceria com a empresa OneRF Networks. Os principais desafios de comunicação nestes ambientes incluem largura de banda, distância, topologia da rede e consumo de energia. Este projeto tratará também desafios relacionados ao processamento e caracterização dos dados produzidos por esses dispositivos de medição inteligente, gerando modelos de predição do comportamento do usuário. Apesar da literatura apresentar algumas soluções de protocolos e algoritmos, não são levadas em consideração os vários nichos e também a diversidade de cenários que as aplicações devem trabalhar. Sendo assim, este projeto apresenta grande relevância científica ao avaliar os algoritmos e protocolos mais eficientes dentro de um conjunto de nichos de aplicação e cenários de utilização.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: José Augusto Miranda Nacif - Coordenador / Kristopher Kayo Coelho - Integrante / Thiago Cândido Rocha - Integrante / Maurício Masaharu Okuyama - Integrante / Eduardo Caldas Cardoso - Integrante / Gustavo Retuci Pinheiro - Integrante.

• 2017 - 2019

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários em parceria com a empresa Ferrovia Centro-Atlântica.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante., Financiador(es): Ferrovia Centro-Atlantica - Auxílio financeiro.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP) in collaboration with Intel Brasil.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante., Financiador(es): Intel Semicondutores do Brasil - Auxílio financeiro.

• 2024 - Atual

  Desenvolvimento de um aplicativo para o Programa de Segurança Alimentar e Nutricional Mesa Brasil Sesc, em parceria com SESC Minas Gerais, Descrição: O objetivo deste projeto é desenvolver um aplicativo que fomente e gerencie as doações e a redistribuição de alimentos excedentes de entidades doadoras devidamente cadastradas. O aplicativo atuará como uma ponte de comunicação entredoadores e entidades sociais, estreitando o contato e viabilizando as doações, epermitindo a gestão eficiente do banco de alimentos.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Integrante / Maria Amélia Lopes Silva - Coordenador.

• 2023 - 2024

  Plataforma para Avaliação de Aplicações em Medição Inteligente: Detectando Eventos Atípicos com Dados de Consumo Energético, Descrição: Edital SETEC 83/2022. O objetivo principal deste projeto é a criação e validação de uma plataforma para avaliação do desempenho e validação de redes Wi-SUN no Campus.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador.

• 2022 - Atual

  Internet das Coisas e Cidades Inteligentes: Protocolos, Algoritmos e Caracterização de Dados, Descrição: Este projeto apresenta diversas oportunidades de pesquisa dentro do conceito de cidades inteligentes, Internet das Coisas e Inteligência Artificial em parceria com a empresa OneRF Networks. Os principais desafios de comunicação nestes ambientes incluem largura de banda, distância, topologia da rede e consumo de energia. Este projeto tratará também desafios relacionados ao processamento e caracterização dos dados produzidos por esses dispositivos de medição inteligente, gerando modelos de predição do comportamento do usuário. Apesar da literatura apresentar algumas soluções de protocolos e algoritmos, não são levadas em consideração os vários nichos e também a diversidade de cenários que as aplicações devem trabalhar. Sendo assim, este projeto apresenta grande relevância científica ao avaliar os algoritmos e protocolos mais eficientes dentro de um conjunto de nichos de aplicação e cenários de utilização.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Doutorado: (1) . , Integrantes: José Augusto Miranda Nacif - Coordenador / Kristopher Kayo Coelho - Integrante / Thiago Cândido Rocha - Integrante / Maurício Masaharu Okuyama - Integrante / Eduardo Caldas Cardoso - Integrante / Gustavo Retuci Pinheiro - Integrante.

• 2017 - 2019

  Instrumentação de vagões ferroviários., Descrição: O objetivo deste projeto é desenvolver um sistema de medição e armazenamento de dados de tração entre vagões ferroviários em parceria com a empresa Ferrovia Centro-Atlântica.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Danilo Almeida - Integrante., Financiador(es): Ferrovia Centro-Atlantica - Auxílio financeiro.

• 2016 - 2017

  Teaching Shared-Memory Processor-FPGA Systems using Intel Heterogeneous Architecture Research Platform (HARP), Descrição: This project uses a hands on approach to teach shared-memory processor-FPGA systems using Intel Heterogeneous Architecture Research Platform (HARP) in collaboration with Intel Brasil.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: José Augusto Miranda Nacif - Coordenador / Ricardo dos Santos Ferreira - Integrante / Lucas Bragança da Silva - Integrante / Fredy Alves - Integrante / Fernando Ferreira Passe - Integrante / Vanessa Cristiny Rodrigues Vasconcelos - Integrante / Jerônimo Costa Penha - Integrante., Financiador(es): Intel Semicondutores do Brasil - Auxílio financeiro.

Prêmios