Raimundo da Silva Barreto

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• BESSA, JOÃO ALFREDO ; MIRANDA FILHO, RICARDO ; SOUZA, GIRLANA ; Barreto, Raimundo ; DE FREITAS, ROSIANE . Log parsers' performance on raw logs from Android devices. JOURNAL OF INTERNET SERVICES AND APPLICATIONS , v. 16, p. 105-116, 2025.

• ASSAYAG, YURI ; OLIVEIRA, HORÁCIO ; SOUTO, EDUARDO ; Barreto, Raimundo ; PAZZI, RICHARD . A Model-based BLE Indoor Positioning System using Particle Swarm Optimization. IEEE SENSORS JOURNAL , v. 1, p. 1-1, 2024.

• ASSAYAG, YURI ; SOUTO, EDUARDO ; Barreto, Raimundo ; CARVALHO, MOISES ; PAZZI, RICHARD ; FERNANDES, HORÁCIO . Efficient exploration of indoor localization using genetic algorithm and signal propagation model. COMPUTING (WIEN. INTERNET) , v. 107, p. 1-12, 2024.

• SILVA, VANDERMI ; TAVARES, GABRIEL ; FREITAS, CARLOS ; MAKLOUF, FELIPE ; IVANOV, CHAVDAR ; Barreto, Raimundo ; DE FREITAS, ROSIANE . A multi-device and multi-operator dataset from mobile network coverage on Android devices. DATA IN BRIEF , v. 57, p. 111146, 2024.

• ALENCAR, MÁRCIO ; Barreto, Raimundo ; OLIVEIRA, HORÁCIO ; SOUTO, EDUARDO . Embedded Restricted Boltzmann Machine Approach for Adjustments of Repetitive Physical Activities Using IMU Data. IEEE Embedded Systems Letters , v. 1, p. 1-1, 2023.

• ASSAYAG, YURI ; OLIVEIRA, HORÁCIO ; SOUTO, EDUARDO ; Barreto, Raimundo ; PAZZI, RICHARD . Adaptive Path Loss Model for BLE Indoor Positioning System. IEEE Internet of Things Journal , v. 10, p. 12898-12907, 2023.

• ALENCAR, MARCIO ; Barreto, Raimundo ; SOUTO, EDUARDO ; OLIVEIRA, HORACIO . An Online Method for Supporting and Monitoring Repetitive Physical Activities Based on Restricted Boltzmann Machines. JOURNAL OF SENSOR AND ACTUATOR NETWORKS , v. 12, p. 70-88, 2023.

• MONTEIRO, E. J. L. B. ; CAVALCANTE, H. ; BARRETO, R. S. ; RODRIGUES, R. F. . Analysis of Energy Consumption on Android Devices for Developers: A Systematic Mapping Study. SBC Reviews on Computer Science , v. 3, p. 1-18, 2023.

• DE ARAÚJO SILVA, EDSON ; VALENTIN, EDUARDO ; CARVALHO, JOSE REGINALDO HUGHES ; DA SILVA BARRETO, RAIMUNDO . A survey of Model Driven Engineering in robotics. Journal of Computer Languages , v. 62, p. 101021-14, 2021.

• MONTEIRO, EDWIN JUAN LOPES BARBOZA ; LEITÃO, GABRIEL DE SOUZA ; BARRETO, RAIMUNDO DA SILVA . Um Método Baseado na Teoria da Resposta ao Item para Avaliação e Feedback Automático no Contexto de Educação Digital. Revista Brasileira de Informática na Educação (RBIE) , v. 29, p. 746-774, 2021.

• ASSAYAG, YURI ; OLIVEIRA, HORACIO ; SOUTO, EDUARDO ; Barreto, Raimundo ; PAZZI, RICHARD . Indoor Positioning System Using Synthetic Training and Data Fusion. IEEE Access , v. 9, p. 115687-115699, 2021.

• PINTO, BRAULIO ; Barreto, Raimundo ; SOUTO, EDUARDO ; OLIVEIRA, HORACIO . Robust RSSI-based Indoor Positioning System using K-Means Clustering and Bayesian Estimation. IEEE SENSORS JOURNAL , v. 21, p. 1-1, 2021.

• MELO, AÚREA ; LIMA, V. Y. P. ; ORAN FONSECA SOUZA, CARLA ; CASTRO, RHAYSSA ; SOUZA TEODORO, GIOVANNA ; BARRETO, R. S. ; RIVERO, LUIS . Desenvolvimento de uma aplicação educativa para o ensino de rotinas diárias e quebra de rotinas a crianças Autistas. RENOTE. REVISTA NOVAS TECNOLOGIAS NA EDUCAÇÃO , v. 19, p. 166-175, 2021.

• ALENCAR, M. A. C. ; BARRETO, R. S. ; OLIVEIRA, H. A. B. F. ; Souto, E. J. P. ; PAZZI, RICHARD W. . DARE: A decentralized association rules extraction scheme for embedded data sets in distributed IoT devices. International Journal of Distributed Sensor Networks , v. 16, p. 155014772096299, 2020.

• ASSAYAG, YURI ; OLIVEIRA, HORÁCIO ; SOUTO, EDUARDO ; Barreto, Raimundo ; PAZZI, RICHARD . Indoor Positioning System Using Dynamic Model Estimation. SENSORS , v. 20, p. 7003, 2020.

• PORTELA, A. M. ; LEITÃO, Gabriel de S. ; BARRETO, R. S. ; OLIVEIRA, E. H. T. . Uso de Learning Analytics sobre dados de simulados para apoio à avaliação da aprendizagem por professores e gestores. RENOTE. REVISTA NOVAS TECNOLOGIAS NA EDUCAÇÃO , v. 18, p. 388-397, 2020.

• BALICO, LEANDRO N. ; LOUREIRO, ANTONIO A. F. ; NAKAMURA, EDUARDO F. ; BARRETO, RAIMUNDO S. ; PAZZI, RICHARD W. ; OLIVEIRA, HORACIO A. B. F. . Localization Prediction in Vehicular Ad Hoc Networks. IEEE Communications Surveys and Tutorials , v. 1, p. 1-1, 2018.

• VALENTIN, EDUARDO ; DE FREITAS, ROSIANE ; Barreto, Raimundo . Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. SCIENCE OF COMPUTER PROGRAMMING , v. 1, p. 1-16, 2017.

• VALENTIN, EDUARDO BEZERRA ; DE FREITAS, ROSIANE ; Barreto, Raimundo . Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. Procedia Computer Science , v. 80, p. 1135-1146, 2016.

• SPOSITO, M. A. F. ; DIAS-NETO, A. C. ; BARRETO, R. S. . Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV:2012 e pelo MR-MPS-SV:2015. iSys: Revista Brasileira de Sistemas de Informação , v. 9, p. 77-100, 2016.

• MELO, A. H. ; BARRETO, R. S. ; Conte, T. U. . ProAut: Um Processo para Apoio de Projetos de Interface de Produtos de Software para Crianças Autista. Cadernos de Informática (UFRGS) , v. 9, p. 27-41, 2016.

• SPÓSITO, MARCOS ANDRÉ FERNANDES ; DIAS-NETO, A. C. ; BARRETO, R. S. . Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV:2012 e pelo MR-MPS-SV:2015. iSys: Revista Brasileira de Sistemas de Informação , v. 9, p. 77-100, 2016.

• Rivero, L. ; Barreto, Raimundo ; Conte, T. U. . Characterizing Usability Inspection Methods through the Analysis of a Systematic Mapping Study Extension. CLEI Electronic Journal , v. 16, p. 1-33, 2013.

• PASSOS, O.M. ; DIAS-NETO, A. C. ; BARRETO, R. S. . Relevant Organizational Values in the Implementation of Software Process Improvement Initiatives. CLEI Electronic Journal , v. 16, p. 1, 2013.

• PASSOS, O. M. ; Dias Neto, A. C. ; BARRETO, R. S. . Organizational Culture and Success in SPI Initiatives. IEEE Software , v. 29, p. 97-99, 2012.

• AZEVEDO DIAS, WANDERSON ROGER ; MORENO, EDWARD DAVID ; DA SILVA BARRETO, RAIMUNDO . Architectural Characterization and Code Compression in Embedded Processors. Revista IEEE América Latina , v. 10, p. 1865-1873, 2012.

• BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; FREITAS, R. D. ; OLIVEIRA JUNIOR, M. N. ; LIMA, R. M. . A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis. Design Automation for Embedded Systems , v. 12, p. 1-10, 2008.

• Penha Júnior, O. S. ; BARRETO, R. S. . Uma abordagem baseada em lógica para escalonamento offline de sistemas embarcados de tempo real considerando o tempo adicional do despachante. REIC. Revista Eletrônica de Iniciação Científica , v. 2008, p. 1-10, 2008.

• CORDEIRO, L. C. ; MAR, C. A. A. ; VALENTIN, E. ; Cruz, F. T. ; BARRETO, R. S. ; FILHO LUCENA, V. . An agile development methodology applied to embedded control software under stringent hardware constraints. SOFTWARE ENGINEERING NOTES , v. 33, p. 1, 2008.

• Tavares, Eduardo ; Barreto, Raimundo ; Maciel, Paulo ; Oliveira, Meuse ; Amorim, Leonardo ; Rocha, Fernando ; Lima, Ricardo . Software synthesis for hard real-time embedded systems with multiple processors. Software Engineering Notes , v. 32, p. 1, 2007.

• Oliveira Jr, F. ; LIMA, R. M. ; Cornélio, M. ; Soares, S. ; MACIEL, P. R. M. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; TAVARES, E. A. G. . CML: C Modeling Language. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , v. 13, p. 682-700, 2007.

• CORDEIRO, L. C. ; BARRETO, R. S. ; BARCELOS, R. ; OLIVEIRA JUNIOR, M. N. ; FILHO LUCENA, V. ; MACIEL, P. R. M. . TXM: an Agile HW/SW Development Methodology for Building Medical Devices. Software Engineering Notes , v. 32, p. 1-10, 2007.

• Amorim, Leonardo ; Maciel, Paulo ; Nogueira, Meuse ; Barreto, Raimundo ; Tavares, Eduardo . Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. Software Engineering Notes , v. 31, n.3, p. 1, 2006.

• BRITO, A. (Org.) ; BARRETO, R. S. (Org.) ; Oliveira, R. S. (Org.) ; SILVA, I. S. (Org.) . International Journal of Embedded Systems - Special Issue on Critical and Real-Time Embedded Systems. 5/6. ed. Inderscience Publishers, 2016. v. 8.

• BARRETO, R. S. ; PASSOS, O.M. . Experiências com o uso da computação desplugada com base em peças teatrais na educação básica do Estado do Amazonas. In: André Raabe; Avelino Zorzo; Paulo Blikstein. (Org.). Computação na Educação Básica: Fundamentos e Experiências. 1ed.: GrupoA, 2020, v. 1, p. 125-134.

• VALENTIN, EDUARDO ; DE FREITAS, ROSIANE ; Barreto, Raimundo . Designing Distributed Real-Time Systems to Process Complex Control Workload in the Energy Industry. In: Kahraman C.; Kayakutlu G.. (Org.). Studies in Systems, Decision and Control. 1ed.: Springer International Publishing, 2018, v. 149, p. 317-333.

• ROCHA, H. O. ; ISMAIL, H. ; CORDEIRO, L. C. ; BARRETO, R. S. . Model Checking Embedded C Software Using k-Induction and Invariants. Embedded Software Verification and Debugging. 1ed.: , 2017, v. XVI, p. 159-182.

• Leitão, Gabriel ; Colonna, Juan ; RIBEIRO, ERICK ; Barreto, Raimundo ; Araujo, Thierry-Yves ; Martins, Anny ; Koster, Andrew ; KOCH, FERNANDO . Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2016, v. 606, p. 124-139.

• Barreto, Raimundo . Algumas Dicas no Processo de Estudo e Pesquisa. SBC Horizontes, eletrônico, p. 24 - 26, 01 dez. 2009.

• BARRETO, R. S. . Sistemas Embarcados: O Novo Boom da Informática?. Computação Brasil (Revista da SBC), Ano VII, No. 22, p. 17 - 18.

• SANTOS, A. B. ; SOUZA, ELIAN ; BARRETO, R. S. . Aprendizado por Reforço em Dispositivos Móveis: Controle de Configuração Sensível ao Contexto. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2025), 2025, Fortaleza-CE. ENIAC'2025, 2025. p. 1-12.

• BESSA, JOÃO ALFREDO ; FILHO, RICARDO MIRANDA ; BARRETO, R. S. ; RODRIGUES, R. F. . A Multi-device Android Mobile Raw Log Dataset for Intelligent Analysis. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2025, Campinas-SP. SBESC'2025, 2025.

• BARRETO, L. L. S. ; GALVAO, L. ; BARRETO, R. S. ; OLIVEIRA, H. A. B. F. . Sistema AIoT para Detecção de Sirenes com Aprendizado de Máquina Embarcado em Dispositivos de Borda. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2025, Campinas-SP. SBESC'2025, 2025.

• PEREIRA, F. D. ; MORAES, M. S. ; HENKLAIN, M. ; HELLAS, A. ; OLIVEIRA, E. H. T. ; GASEVIC, D. ; BARRETO, R. S. ; MELLO, R. F. . From Sparse to Smart: Leveraging AI for Effective Online Judge Problem Classification in Programming Education. In: 19th European Conference on Technology Enhanced Learning, 2024, Krems, Austria. ECTEL'2024, 2024.

• BESSA, JOÃO ALFREDO ; FILHO, RICARDO ; SOUZA, GIRLANA ; PESSOA, LARISSA ; Barreto, Raimundo ; FREITAS, ROSIANE DE . Análise de desempenho de Log Parsers da coleção Logpai em dados brutos de dispositivos Android. In: Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2024, Brasil. Anais do XXIII Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance 2024), 2024. p. 37-48.

• LEITAO, G. S. ; MONTEIRO, E. J. L. B. ; BARRETO, R. S. . Objeto Tangível para Estudo de Trigonometria do Triângulo Retângulo. In: Congresso Brasileiro de Informática na Educação, 2024, Rio de Janeiro, RJ. Simpósio Brasileiro de Informática na Educação (SBIE'2024), 2024.

• SOUZA, G. ; MATIAS, P. ; MIRANDA FILHO, R. ; MONTEIRO, E. J. L. B. ; BARRETO, R. S. ; RODRIGUES, R. F. . Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices. In: IEEE Working Conference on Software Visualization, 2024, Flagstaff, Arizona. VISSOFT'2024, 2024.

• FILHO, RICARDO MIRANDA ; BONFIM, RICARDO ; PESSOA, LARISSA ; Barreto, Raimundo ; DE FREITAS, ROSIANE . Measuring the Execution Time of Programs from different Android Embedded Programming Languages. In: 2024 L Latin American Computer Conference (CLEI), 2024, Buenos Aires. 2024 L Latin American Computer Conference (CLEI), 2024. p. 1-9.

• SOUZA, ELIAN ; MONTEIRO, E. J. L. B. ; BARRETO, R. S. ; RODRIGUES, R. F. . Reducing Energy Consumption in Android Devices with User Profile Analysis and AI-based Feedback. In: 21st National Meeting on Artificial and Computational Intelligence, 2024, Belém-PA. ENIAC'2024, 2024. v. 2024. p. 1-10.

• NEDER, FERNANDO ; MIRANDA FILHO, RICARDO ; AZEVEDO, JÔNATAS ; PESSOA, LARISSA ; DE FREITAS, ROSIANE ; Barreto, Raimundo . Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android. In: SBLP 2023: XXVII Brazilian Symposium on Programming Languages, 2023, Campo Grande. Proceedings of the XXVII Brazilian Symposium on Programming Languages. New York: ACM, 2023. p. 56-63.

• MORAES, M. S. ; LEITAO, G. S. ; MELO, A. H. S. ; BARRETO, R. S. . Educational Data Analysis: a Study for Personalized Feedback Purposes. In: Simpósio Brasileiro de Informática na Educação, 2023, Passo Fundo-RS. Simpósio Brasileiro de Informática na Educação (SBIE'2023), 2023.

• SOUZA, ELIAN ; MONTEIRO, E. J. L. B. ; BARRETO, R. S. ; RODRIGUES, R. F. . Optimizing Energy Consumption in Android Mobile Devices Based on User Recommendations. In: International Conference on Intelligent Systems Design and Applications, 2023, Online. ISDA'2023, 2023.

• SOUZA, ELIAN ; MONTEIRO, EDWIN ; Barreto, Raimundo ; DEFREITAS, ROSIANE . A Context-Aware Automatic Smartphone Reconfiguration. In: 2022 IEEE International Conference on Consumer Electronics (ICCE), 2022, Las Vegas. 2022 IEEE International Conference on Consumer Electronics (ICCE), 2022. p. 1-7.

• MELO, A. H. ; ROCHA, A. C. O. ; SANTOS, J. ; TAMAYO, S. ; SANTOS, D. V. ; Rivero, L. ; BARRETO, R. S. . From Requirements to Prototyping: Proposal and Evaluation of an Artifact to Support Interface Design in the Context of Autism. In: 24th International Conference on Human-Computer Interaction, 2022. HCII'2022, 2022.

• MONTEIRO, E. J. L. B. ; BARRETO, R. S. . Um Método Baseado na Teoria da Resposta ao Item para Avaliação e Feedback Automático no Contexto do ENEM. In: Simpósio Brasileiro de Informática na Educação, 2022, Manaus. Anais do Simpósio Brasileiro de Informática na Educação, 2022.

• MARINHO, F. G. T. ; BARRETO, R. S. . Lições aprendidas usando Robótica Desplugada, Linguagens Baseadas em Blocos e Simulador Robótico 3D. In: Simpósio Brasileiro de Informática na Educação, 2022, Manaus. Anais do Simpósio Brasileiro de Informática na Educação, 2022.

• CUNHA, F. F. R. ; Santos, E. M. ; BARRETO, R. S. ; COLONNA, J. G. . Filtering Empty Camera Trap Images in Embedded Systems. In: Mobile AI workshop and challenges at CVPR 2021, 2021, Nashville, Tennessee. Mobile AI workshop and challenges, 2021.

• MELO, A. H. ; ORAN, A. C. ; SANTOS, J. S. ; CABREJOS, L. J. E. R. ; BARRETO, R. S. . ACF: An Autistic Personas? Characteristics Source to Develop Empathy in Software Development Teams. In: 23rd International Conference on Human-Computer Interaction, 2021, Washington, DC. HCII'2021.

• MELO, A. H. ; SANTOS, J. S. ; ORAN, A. C. ; BARRETO, R. S. ; CABREJOS, L. J. E. R. . Requirements Elicitation in the Context of Software for Low-Functioning Autistic People: An Initial Proposal of Specific Supporting Artifacts. In: Simpósio Brsileiro de Engenharia de Software, 2021. SBES'2021, 2021.

• GOMES, D. ; PINTO, N. ; MELO, A. H. ; MAIA, I. M. ; PAIVA, A. C. ; BARRETO, R. S. ; SANTOS, D. V. ; CABREJOS, L. J. E. R. . Developing a Set of Design Patterns Specific for the Design of User Interfaces for Autistic Users. In: XX Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais, 2021. Trilha de Ideias Inovadoras e Resultados Emergentes em IHC, 2021.

• MONTEIRO, EDWIN ; PEREIRA, K.S.N ; BARRETO, R. S. . Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes. In: International Conference on Computational Science, 2020, Amsterdam. ICCS'2020 - LNCS, 2020. v. 12143. p. 593-607.

• MELO, A. H. ; Rivero, L. ; SANTOS, J. S. ; BARRETO, R. S. . EmpathyAut: An Empathy Map for People with Autism. In: XIX Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2020), 2020, Ciberespaço. Ideias Inovadoras e Resultados Emergentes em IHC, 2020. p. 1-6.

• MELO, A. H. ; Rivero, L. ; SANTOS, J. S. ; BARRETO, R. S. . PersonAut: A Personas Model for People with Autism Spectrum Disorder. In: XIX Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2020), 2020, Ciberespaço. Ideias Inovadoras e Resultados Emergentes em IHC, 2020. p. 1-6.

• BARRETO, L. L. S. ; MONTEIRO, EDWIN ; LEITÃO, G. ; BENTES, T. K. A. ; BARRETO, R. S. . Mineração de Dados Educacionais a partir da Interação de Alunos com uma Plataforma Educacional. In: Congresso Brasileiro de Informática na Educação (CBIE), 2020, Ciberespaço. Simpósio Brasileiro de Informática na Educação (SBIE), 2020. p. 1-1.

• ALENCAR, M. A. C. ; BARRETO, R. S. ; OLIVEIRA, H. A. B. F. ; Souto, E. J. P. ; PAZZI, R. W. . Extração Descentralizada de Regras de Associação em Base de Dados Embarcadas de Dispositivos da Internet das Coisas. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2020, Ciberespaço. SBESC'2020, 2020.

• MARINHO, F. G. T. ; MONTEIRO, E. J. L. B. ; BARRETO, R. S. . UpRobotics: Robótica Educacional Utilizando Linguagem Visual Baseada em Blocos. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2020, Ciberespaço. SBESC'2020, 2020.

• ROCHA, H. O. ; MENEZES, R. ; CORDEIRO, L. C. ; BARRETO, R. S. . Map2Check: Using Symbolic Execution and Fuzzing. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020, Dublin. TACAS'20202, 2020. v. 12079. p. 403-407.

• SOUZA JR, M. J. ; OLIVEIRA, H. A. B. F. ; BARRETO, R. S. . IoT Assistant for People with Visual Impairment in Edge Computing. In: 6th International Embedded Systems Symposium, 2019, Friedrichshafen. IESS'2019, 2019.

• SOUZA JR, M. J. ; MAIA, O. B. ; OLIVEIRA, H. A. B. F. ; Souto, E. J. P. ; BARRETO, R. S. . Assistive Technology through Internet of Things and Edge Computing. In: IEEE 9th International Conference on Consumer Electronics, 2019, Berlin. ICCE-Berlin, 2019.

• AMORIM, L. S. ; ALENCAR, M. A. C. ; BARRETO, R. S. . Tiny Thing Blocks: Integrating Everyday Objects Into IoT Context. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2019, Natal-RN. SBESC'2019, 2019.

• ALEIXO, E. L. ; COLONNA, J. ; BARRETO, R. S. . SVC-A2C - Actor Critic Algorithm to Improve Smart Vacuum Cleaner. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2019, Natal-RN. SBESC'2019, 2019.

• HOLANDA JUNIOR, E. ; CRUZ, L. ; SILVA, V. J. ; BARRETO, R. S. ; LUCENA FILHO, V. F. ; TEÓFILO, M. . I-Jack: Wearable System for Collection and Evaluation Physiological Data. In: IEEE International Conference on Consumer Electronics, 2018, Las Vegas. ICCE'2018, 2018.

• MENEZES, R. ; ROCHA, H. O. ; CORDEIRO, L. C. ; BARRETO, R. S. . Map2Check Using LLVM and KLEE. In: 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2018, Thessaloniki. TACAS'2018. Heidelberg: Springer International Publishing, 2018. v. 1. p. 1-4.

• SILVA, L. ; HOLANDA JUNIOR, E. ; CARNEIRO, K. ; MATOS, J. ; VIEIRA, A. C. ; BARRETO, R. S. . Tellus ? Greenhouse Irrigation Automation System. In: Workshop on Communications in Critical Embedded Systems, 2018, Natal. VI WOCCES, 2018. v. VI. p. 1-6.

• LEITÃO, G. ; VALENTIN, EDUARDO BEZERRA ; OLIVEIRA, E. H. T. ; BARRETO, R. S. . Survey on Pedagogical Resources Recommendation using Cognitive Computing Systems. In: Frontiers in Education, 2018, San Jose, CA, USA. FIE'2018, 2018. v. 1. p. 1-1.

• BATISTA, ROMÁRIO LIRA ; SALGADO, NILMARA ; Barreto, Raimundo . Avaliação e Feedback Automático em Educação apoiada por Tecnologia: Um mapeamento sistemático da literatura. In: XXIX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2018, Fortaleza, 2018. p. 178-187.

• MONTEIRO, EDWIN ; RIVERO, LUIS ; Barreto, Raimundo . Uma Ferramenta de Suporte ao Ensino de Modelagem de Sistemas Distribuídos Críticos: Uma Experiência Prática. In: XXIX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2018, Fortaleza, 2018. p. 218-227.

• MELO, A. H. ; FERNANDES, C. ; JARDIM, M. ; BARRETO, RAIMUNDO DA SILVA . Modelo 3C de Colaboração aplicado ao uso de um repositório para o desenvolvimento de interfaces para autistas. In: XIV Simpósio Brasileiro de Sistemas Colaborativos (SBSC?2017), 2017, São Paulo. XIV Simpósio Brasileiro de Sistemas Colaborativos (SBSC?2017), 2017.

• HOLANDA JUNIOR, E. ; CRUZ, L. ; SILVA, G. ; BARRETO, RAIMUNDO DA SILVA ; SILVA, V. J. . I-Jack: Sistema Vestível Inteligente para Coleta e Avaliação de Dados Fisiológicos. In: V Workshop de Comunicação em Sistemas Embarcados Críticos (WoCCES?2017), 2017, Belém-PA. V Workshop de Comunicação em Sistemas Embarcados Críticos (WoCCES?2017), 2017.

• PINHEIRO, DIEGO ; GONCALVES, RAWLINSON ; VALENTIN, EDUARDO ; OLIVEIRA, HORACIO ; Barreto, Raimundo . Inserting DVFS Code in Hard Real-Time System Tasks. In: 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 2017, Curitiba. 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 2017. p. 23-30.

• CRUZ, A. A. ; COLONNA, J. ; LEITÃO, G. ; SILVA, E. A. ; BARRETO, R. S. ; PRIMO, T. T. . Framework para Coleta e Inferência de Estados Emocionais de Alunos Baseado em Reconhecimento de Expressões Faciais. In: XXVIII Simpósio Brasileiro de Informática na Educação, 2017, Recife-PE. SBIE'2017, 2017. v. 1. p. 1-10.

• NASCIMENTO, P. B. ; BARRETO, R. S. ; PRIMO, T. T. ; GUSMÃO, T. H. Y. ; OLIVEIRA, E. H. T. . Recomendação de Objetos de Aprendizagem baseados em Modelos de Estilos de Aprendizagem: Uma Revisão Sistemática da Literatura. In: XXVIII Simpósio Brasileiro de Informática na Educação, 2017, Recife-PE. SBIE'2017, 2017. v. 1. p. 1-10.

• MELO, AUREA ; SANTOS, JONATHAS ; RIVERO, LUIS ; Barreto, Raimundo . Searching for Preferences of Autistic Children to Support the Design of User Interfaces. In: IHC 2017: Brazilian Symposium on Human Factors in Computing Systems, 2017, Joinville Brazil. Proceedings of the XVI Brazilian Symposium on Human Factors in Computing Systems. v. 1. p. 1-10.

• SPOSITO, M. A. F. ; DIAS-NETO, A. C. ; BARRETO, R. S. . Business-IT Alignment Research Field - A Systematic Literature Review. In: International Conference on Enterprise Information Systems, 2016, Roma. Proceedings of the 18th International Conference on Enterprise Information Systems (ICEIS 2016), 2016. v. 2. p. 549-558.

• LIMA, M. M. ; OLIVEIRA, H. A. B. F. ; NAKAMURA, EDUARDO F. ; BARRETO, RAIMUNDO S. ; GUIDONI, D. L. . Agregação de Dados com Desvio de Buracos para Redes de Sensores Sem Fio com Sinks de Alto Alcance. In: XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2016, Salvador-BA. XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2016.

• GONÇALVES, R. S. ; PINHEIRO, D. Q. ; VALENTIN, EDUARDO ; OLIVEIRA, H. A. B. F. ; DA SILVA BARRETO, RAIMUNDO . Real-time Tasks and Voltage/Frequency Controller Collaboration on Low Power Energy Operational Systems. In: International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, 2016, Samos, Greece. XVI International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).

• BENTES, LARISSA ; ROCHA, HERBERT ; VALENTIN, EDUARDO ; Barreto, Raimundo . JFORTES: Java Formal Unit TESt Generation. In: 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa. 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016. p. 16-23.

• VALENTIN, EDUARDO ; FREITAS, ROSIANE DE ; Barreto, Raimundo . Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem. In: 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016, João Pessoa. 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016. p. 128-135.

• RIBEIRO, ERICK ; BENTES, LARISSA ; CRUZ, ANDERSON ; LEITAO, GABRIEL ; Barreto, Raimundo ; SILVA, VANDERMI ; PRIMO, TIAGO ; KOCH, FERNANDO . On the use of inertial sensors and machine learning for automatic recognition of fainting and epileptic seizure. In: 2016 IEEE 18th International Conference on eHealth Networking, Applications and Services (Healthcom), 2016, Munich. 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom), 2016. p. 1-6.

• SILVA, VANDERMI J. ; RODRIGUES, MARLOS A. S. ; Barreto, Raimundo ; FERREIRA DE LUCENA, VICENTE . UbMed: A ubiquitous system for monitoring medication adherence. In: 2016 IEEE 18th International Conference on eHealth Networking, Applications and Services (Healthcom), 2016, Munich. 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom), 2016. p. 1-4.

• AYRES, LARISSA MAIA ; MARQUES, ANNA BEATRIZ ; Barreto, Raimundo ; CONTE, TAYANA . Um processo baseado em modelagem de interação para o projeto de jogos educacionais a partir de livros: um estudo de caso no contexto de um jogo para dispositivos móveis. In: XV Simpósio Brasileiro de Qualidade de Software, 2016, Brasil. Anais do XV Simpósio Brasileiro de Qualidade de Software (SBQS 2016), 2016. p. 241-255.

• BALICO, LEANDRO N. ; OLIVEIRA, HORACIO A.B.F. ; NAKAMURA, EDUARDO F. ; BARRETO, RAIMUNDO S. ; LOUREIRO, ANTONIO A.F. . Routing and Data Aggregation toward a High Speed Sink in Wireless Sensor Networks. In: 2015 International Conference on Distributed Computing in Sensor Systems (DCOSS), 2015, Fortaleza. 2015 International Conference on Distributed Computing in Sensor Systems. p. 260-265.

• Balico, L. N. ; OLIVEIRA, H. A. B. F. ; DA SILVA BARRETO, RAIMUNDO ; Loureiro, A. A. F. ; PAZZI, R. W. . A Prediction-based Routing Algorithm for Vehicular Ad Hoc Networks. In: 2015 IEEE Symposium on Computers and Communications, 2015, Larnaca, Cyprus. ISCC?2015, 2015.

• ROCHA, H. O. ; DA SILVA BARRETO, RAIMUNDO ; CORDEIRO, L. C. . Memory Management Test-Case Generation of C Programs using Bounded Model Checking. In: 13th International Conference on Software Engineering and Formal Methods, 2015, York, UK. SEFM?2015, 2015. v. 9276. p. 251-267.

• SPOSITO, M. A. F. ; DIAS-NETO, A. C. ; BARRETO, R. S. . Avaliando a Cobertura do MR-MPS-SV para o Alinhamento Estratégico de TI e Negócios das Organizações. In: Workshop Anual do MPS, 2015, Curitiba-PR. Workshop Anual do MPS (WAMPS'2015). p. 96-107.

• ROCHA, HERBERT ; ISMAIL, HUSSAMA ; CORDEIRO, LUCAS ; Barreto, Raimundo . Model Checking Embedded C Software Using k-Induction and Invariants. In: 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 2015, Foz do Iguacu. 2015 Brazilian Symposium on Computing Systems Engineering (SBESC). p. 90-95.

• GONÇALVES, R. S. ; BARRETO, R. S. . Integração de Características Preemptivas à Técnica de Escalonamento Dinâmico de Tensões e Frequências Intra-Tarefa. In: V Brazilian Symposium on Computing Systems Engineering, 2015, Fóz do Iguaçu-PR. Brazilian Symposium on Computing Systems Engineering (SBESC'2015), 2015.

• LEITÃO, G. ; COLONNA, J. ; RIBEIRO, E. ; BARRETO, R. S. ; KOSTER, A. ; KOCH, F. . Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context. In: Workshop on Social Computing in Digital Education, 2015, Stanford, CA. Workshop on Social Computing in Digital Education (DIGEDU'2015), 2015.

• RIBEIRO, E. ; LEITÃO, G. ; COLONNA, J. ; BARRETO, R. S. ; KOSTER, A. ; KOCH, F. . Avaliação Experimental de Técnicas de Aprendizagem de Máquina para o Reconhecimento de Atividades Humanas no Contexto da Educação Tecnológica. In: IV Encontro Regional de Computação e Sistemas de Informação, 2015, Manaus-AM. Encontro Regional de Computação e Sistemas de Informação (ENCOSIS?2015). Manaus-AM: FUCAPI, 2015. p. 79-88.

• NASCIMENTO, J. ; XAVIER, D. ; PASSOS, O. M. ; BARRETO, R. S. . Um Relato de Experiência da Aplicação de Técnicas Iterativas para o Ensino da Computação na Educação Básica. In: IV Encontro Regional de Computação e Sistemas de Informação, 2015, Manaus-AM. Encontro Regional de Computação e Sistemas de Informação (ENCOSIS?2015). Manaus-AM: FUCAPI, 2015. p. 89-98.

• ROCHA, H. O. ; BARRETO, R. S. ; CORDEIRO, L. C. . Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution). In: 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 5th Competition on Software Verification, 2015, Eindhoven, Holanda. TACAS, 2015.

• GOMES, C. R. ; PASSOS, O. M. ; SPOSITO, M. A. F. ; BARRETO, R. S. ; DIAS-NETO, A. C. . MANIOC: Ferramenta de Apoio a Recomendações de Melhorias Baseadas na Cultura Organizacional para Iniciativas de MPS. In: XI Workshop Anual do MPS (WAMPS 2015), 2015, Curitiba-PR. Workshop Anual do MPS (WAMPS'2015), 2015. p. 73-84.

• VALENTIN, EDUARDO ; SALVATIERRA, MARIO ; DE FREITAS, ROSIANE ; Barreto, Raimundo . Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform. In: 2015 25th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2015, Salvador. 2015 25th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2015. p. 1-8.

• VALENTIN, EDUARDO ; CARVALHO, JOSE REGINALDO HUGHES ; Barreto, Raimundo . Rapid improvement of students' soft-skills based on an agile-process approach. In: 2015 IEEE Frontiers in Education Conference (FIE), 2015, Camino Real El Paso. 2015 IEEE Frontiers in Education Conference (FIE). p. 1-9.

• SANTOS, M. A. ; RABELO, J. H. ; BARRETO, R. S. ; Conte, T. U. . Persona Security: A Technique for Supporting the Elicitation of Security Requirements. In: International Conference on Software Engineering and Knowledge Engineering, 2014, Vancouver. Twenty-Sixth International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), 2014. p. 603-608.

• BEZERRA, DANIELLA RODRIGUES ; BARRETO, RAIMUNDO DA SILVA . Domain Engineering: A Practical Application in Analysis and Design of a Generative Query Language. In: 2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2014, Maceio. 2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse. p. 53-63.

• BEZERRA, D. R. ; DIAS-NETO, A. C. ; BARRETO, R. S. . ARDev: A Methodology Based on Scrum Principles to Support Research Management on Software Technologies. In: Annual International Conference on Computer Science and Software Engineering - CASCON, 2014, Toronto. 24th Annual International Conference on Computer Science and Software Engineering (CASCON'2014), 2014.

• Balico, L. N. ; OLIVEIRA, H. A. B. F. ; Barreto, Raimundo ; NAKAMURA, E. F. ; Loureiro, A. A. F. . Roteamento e Agregacao de Dados Usando Sinks em Alta Velocidade em Redes de Sensores Sem Fio. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2013, Brasília. XXXI SBRC, 2013.

• PASSOS, O. M. ; Dias Neto, A. C. ; BARRETO, R. S. . Uma Investigação sobre Recomendações de Melhoria Baseadas em Aspectos Culturais para Apoiar Iniciativas de Melhoria de Processo de Software. In: Simpósio Brasileiro de Qualidade de Software, 2013, Salvador. XII SBQS, 2013. p. 66-80.

• VIEIRA, A. C. ; PASSOS, O. M. ; Barreto, Raimundo . Um Relato de Experiência do Uso da Técnica Computação Desplugada. In: Workshop de Educação em Computação, 2013, Maceió. XXI WEI, 2013. p. 671-680.

• Balico, L. N. ; OLIVEIRA, H. A. B. F. ; NAKAMURA, E. F. ; BARRETO, R. S. ; Loureiro, A. A. F. . Routing and Data Aggregation Toward a High Speed Sink in Wireless Sensor Networks. In: IEEE Conference on Local Computer Networks, 2013, Sidney, Austrália. IEEE Conference on Local Computer Networks, 2013.

• PASSOS, O. M. ; Dias Neto, A. C. ; BARRETO, R. S. . Uma Investigação sobre a Relevância de Valores Organizacionais em Iniciativas de Melhoria de Processo de Software. In: IX Workshop Anual do MPS, 2013, Campinas. IX Workshop Anual do MPS (WAMPS 2013), 2013. p. 74-83.

• FREITAS, ROMULO ; Barreto, Raimundo ; Maciel, Paulo . Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. In: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. 2013 III Brazilian Symposium on Computing Systems Engineering. p. 107-112.

• COHEN, D. A. ; BARRETO, R. S. ; OLIVEIRA, H. A. B. F. ; CORDEIRO, L. C. . A Car Racing Based Strategy for the Dynamic Voltage and Frequency Scaling Technique. In: IEEE International Symposium on Industrial Electronics, 2012, Hangzhou. IEEE International Symposium on Industrial Electronics (ISIE 2012), 2012.

• PASSOS, O. M. ; Dias Neto, A. C. ; BARRETO, R. S. . Assessing the Relevance of Organizational Culture in Software Process Improvement Initiatives. In: Congresso Ibero-Americano em Engenharia de Software, 2012, Buenos Aires. XV Congresso Ibero-Americano em Engenharia de Software (CIbSE'2012), 2012. p. 70-83.

• ROCHA, H. O. ; BARRETO, R. S. ; CORDEIRO, L. C. ; Dias Neto, A. C. . Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. In: 9th International Conference on Integrated Formal Methods, 2012, Pisa, Italy. iFM'12, 2012. p. 128-142.

• CALDAS, R. B. ; BARRETO, R. S. ; CORDEIRO, L. C. ; CAMPOS, S. V. A. . A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In: IADIS Applied Computing, 2011, Rio de Janeiro. Proceedings of the AC'2011, 2011. v. 1. p. 379-386.

• BARRETO, R. S. ; CORDEIRO, L. C. ; FISCHER, B. . Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. In: XIII Workshop de Sistemas de Tempo Real, 2011, Florianópolis. Simpósio Brasileiro de Engenharia de Sistemas Computacionais - Workshop de Sistemas de Tempo Real, 2011. p. 46-52.

• CUNHA, E. G. ; CUSTODIO, M. M. ; ROCHA, H. O. ; BARRETO, R. S. . Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. In: II Workshop de Sistemas Embarcados., 2011, Florianópolis. Workshop de Sistemas Embarcados (WSE 2011) - Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC), 2011. p. 39-45.

• DIAS, W. R. A ; MORENO, E. D. ; BARRETO, R. S. . Instruction Compression in Runtime for Embedded Systems. In: XII Simpósio em Sistemas Computacionais de Alto Desempenho, 2011, Vitória - ES. WSCAD-SSC'2011, 2011. p. 1-8.

• DIAS, W. R. A ; MORENO, E. D. ; BARRETO, R. S. . MIC: A New Compression Method of Instructions in Hardware for Embedded Systems. In: Southern Conference on Programmable Logic Conference, 2010, Porto de Galinhas. VI Southern Conference on Programmable Logic Conference, 2010. p. 1-10.

• VALENTIN, E. ; BARRETO, R. S. . smartenum: A Branch-and-Bound Algorithm for Optimum Frequency Set Establishment in Real-Time DVFS. In: Workshop on Real-Time and Embedded Systems, 2010, Gramado. 12th Brazilian Workshop on Real-Time and Embedded Systems, 2010. p. 27-38.

• OLIVEIRA, H. A. B. F. ; BARRETO, R. S. ; Fontão, A. ; NAKAMURA, E. F. ; Loureiro, A. A. F. . Envio de Dados de Consulta para Sinks Móveis em Alta Velocidade em Redes de Sensores Sem Fio. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2010, Gramado. XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2010. p. 75-88.

• OLIVEIRA, H. A. B. F. ; BARRETO, R. S. ; Fontão, A. ; NAKAMURA, E. F. ; Loureiro, A. A. F. . A Novel Greedy Forward Algorithm for Routing Data Toward a High Speed Sink in Wireless Sensor Networks. In: International Conference on Computer Communication Networks, 2010, Zurich, Switzerland. 19th International Conference on Computer Communications and Networks (ICCCN 2010), 2010. p. 1-7.

• ROCHA, H. O. ; CORDEIRO, L. C. ; BARRETO, R. S. ; MAGALHÃES NETTO, J. F. . Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs. In: SAST, 2010, Natal. 4th Brazilian Workshop on Systematic and Automated Software Testing, 2010. p. 1-10.

• PINTO, L. ; ROSA, R. E. ; REIS, C. P. ; XAVIER, C. L. ; BARRETO, R. S. ; FILHO LUCENA, V. ; CAXIAS, M. H. ; FIGUEIREDO, C. M. S. . On the Use of Scrum for the Management of Practical Projects in Graduate Courses. In: Frontiers in Education Conference, 2009, San Antonio, Texas. 39th ASEE/IEEE Frontiers in Education Conference. New York: IEEE Computer Society Press, 2009. v. 1. p. T2C-1-T2C-6.

• FIGUEIREDO, C. M. S. ; NAKAMURA, E. F. ; RIBAS, A. ; SOUZA, T. R. ; BARRETO, R. S. . Assessing the Communication Performance of Wireless Sensor Networks in Rainforests. In: 2o. IFIP Wireless Days 2009, 2009, Paris, França. IFIP Wireless Days 2009, 2009. v. 1. p. 1-6.

• MAR, C. A. A. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MORENO, E. D. . PESTI: A Probabilistic Tool for Energy Consumption and Execution-Time Estimation for ANSI C Embedded Systems. In: IEEE International Conference on Industrial Technology, 2009, Churchill. ICIT'2009, 2009.

• CORDEIRO, L. C. ; MAR, C. A. A. ; VALENTIN, E. ; Cruz, F. T. ; OLIVEIRA, D. P. ; BARRETO, R. S. ; FILHO LUCENA, V. . A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. In: Agility in the Software Process Workshop (ASP), 2008, Belfast, Northern Ireland. Agility in the Software Process Workshop (ASP) of the 15th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2008.

• Cruz, F. T. ; CORDEIRO, L. C. ; BARRETO, R. S. ; MACIEL, P. R. M. . ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. In: Design, Automation, and Test in Europe, 2008, Munich, Germany. Design, Automation, and Test in Europe (DATE'08), 2008.

• Cruz, F. T. ; CORDEIRO, L. C. ; BARRETO, R. S. ; MACIEL, P. R. M. . Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software. In: 23rd Annual ACM Symposium on Applied Computing ? Real-Time Systems Track, 2008, Fortaleza-CE. 23rd Annual ACM Symposium on Applied Computing ? Real-Time Systems Track, 2008.

• TEÓFILO, M. ; CORDEIRO, L. C. ; BARRETO, R. S. ; Pereira, J. R. G. ; Nascimento, A. M. ; FREITAS, P. . Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. In: Advances in Computer-Human Interaction (ACHI'2008), 2008, Sainte Luce. International Conference on Advances in Computer-Human Interaction (ACHI'2008). Los Alamitos, CA, USA: IEEE Computer Society Press, 2008. p. 271-276.

• AGUIAR, M. ; BARRETO, R. S. ; CALDAS, R. B. ; CHAVES FILHO, J. E. . Modeling and Analysis of Flexible Manufacture Systems through Hierarchical and Colored Petri Nets. In: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, 2008, Chengdu, China. IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT'2008), 2008.

• CORDEIRO, L. C. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. . Towards a Semiformal Development Methodology for Embedded Systems. In: Intenational Conference on Evaluation of Novel Approaches to Software Engineering, 2008, Madeira. In 3rd Intenational Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'2008), 2008.

• Penha Júnior, O. S. ; BARRETO, R. S. . Uma Abordagem Baseada em Lógica para Escalonamento Offline de Sistemas Embarcados de Tempo Real Considerando o Tempo Adicional do Despachante. In: Concurso de Trabalhos de Iniciação Científica, 2008, Belém. 27o. Concurso de Trabalhos de Iniciação Científica (CTIC2008), 2008.

• PEREIRA, D. P. ; DIAS, W. R. A ; BRAGA, M. L. ; BARRETO, R. S. ; FIGUEIREDO, C. M. S. ; BRILHANTE, V. V. B. B. . Model to integration of RFID into Wireless Sensor Network for Tracking and Monitoring Animals. In: IEEE International Conference on Computational Science and Engineering, 2008, São Paulo. IEEE CSE'2008. New York: IEEE Computer Society, 2008. v. 1. p. 125-131.

• CORDEIRO, L. C. ; BARRETO, R. S. ; BARCELOS, R. ; OLIVEIRA JUNIOR, M. N. ; FILHO LUCENA, V. ; MACIEL, P. R. M. . Agile Development Methodology for Embedded Systems: A Platform-based Desing Approach. In: IEEE International Conference on the Engineering of Computer Based Systems, 2007, Tucson, Arizona, USA. 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007.

• CORDEIRO, L. C. ; C. Becker ; BARRETO, R. S. . Applying Scrum and Organizational Patterns to Multi Site Software Development. In: SugarLoafPlop, 2007, Porto de Galinhas, PE, Brazil. 6th Latin American Conference on Pattern Languages of programming, 2007. p. 46-67.

• CUSTODIO, M. M. ; BARRETO, R. S. ; CALDAS, R. B. ; MAGALHÃES NETTO, J. F. . A Logics-based Framework for Hard Real-Time Embedded Systems Scheduling. In: 9th Workshop on Real-Time Systems, 2007, Belém, PA. Workshop on Real-Time Systems (WTR'2007), 2007.

• Oliveira Jr, F. ; LIMA, R. M. ; Cornélio, M. ; Soares, S. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. . CML: C Modeling Language. In: 11th Brazilian Symposium on Programming Languages, 2007, Porto de Galinhas, PE. SBLP'2007, 2007.

• OLIVEIRA JUNIOR, M. N. ; NETO, S. ; MACIEL, P. R. M. ; LIMA, R. M. ; RIBEIRO, A. R. ; BARRETO, R. S. ; TAVARES, E. A. G. ; Braga, F. . Analyzing Embedded Systems Software Performance and Energy Consumption by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. In: 27th International Conference on Application and Theory of Petri Nets and Other Models of Councurrency, 2006, Turku. Lecture Notes in Computer Science, 2006. v. LNCS. p. 261-281.

• BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; CUSTODIO, M. M. ; FREITAS, R. D. ; OLIVEIRA JUNIOR, M. N. . A Formal Modeling for Embedded Hard Real-Time Systems. In: 8th Brazilian Workshop on Real-Time Systems, 2006, Curitiba. WTR'2006, 2006.

• TAVARES, E. A. G. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; SOUZA, B. ; BARRETO, R. S. ; FREITAS, R. D. ; CUSTODIO, M. M. . Pre-Runtime Scheduling considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. In: 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, 2006, Braga, Portugal. DIPES'2006, 2006.

• BARRETO, R. S. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; NEVES, M. L. ; OLIVEIRA JUNIOR, M. N. ; AMORIM, L. ; BESSA, A. ; LIMA, R. M. . Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. In: International Embedded System Symposium (IESS'05), 2005, Manaus - AM. From Specification to Embedded Systems Application. Springer Publisher. A Rettberg, M. Zanella, and F. Rammig, eds., 2005. p. 77-86.

• OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; RIBEIRO, A. R. ; ARCOVERDE JUNIOR, A. ; LIMA, R. M. ; AMORIM, L. ; BARRETO, R. S. ; TAVARES, E. A. G. . A Retargetable Environment for Power-Aware Code Exploration: An Approach Based on Coloured Petri Nets. In: International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'05), 2005, Leuven, Belgium. Lecture Notes in Computer Science, 2005. v. LNCS. p. 49-58.

• TAVARES, E. A. G. ; BARRETO, R. S. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; LIMA, R. M. ; ARCOVERDE JUNIOR, A. ; ALVES JUNIOR, G. ; BESSA, A. . An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. In: International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'05), 2005, Leuven, Belgium. Lecture Notes in Computer Science, 2005. v. LNCS. p. 382-392.

• AMORIM, L. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARRETO, R. S. ; TAVARES, E. A. G. . A Methodology for Mapping Live Sequence Chart to Coloured Petri Net. In: IEEE Conference on Systems, Man and Cibernetics (SMC'05), 2005, Havai. IEEE Conference on Systems, Man and Cibernetics (SMC'05), 2005.

• TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; AMORIM, L. ; LIMA, R. M. ; BESSA, A. . A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes. In: 18th Symposium on Integrated Circuits and Systems Design, 2005, Florianópolis. Symposium on Integrated Circuits and Systems Design, 2005. p. 98-103.

• BARRETO, R. S. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; AMORIM, L. ; LIMA, R. M. ; CARVALHO, C. A. ; MELLO, C. A. B. . A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. In: 17th International Symposium on Computer Architecture and High Performance Computing, 2005, Rio de Janeiro. 17th International Symposium on Computer Architecture and High Performance Computing, 2005. p. 184-191.

• AMORIM, L. ; BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; BESSA, A. ; LIMA, R. M. . A Methodology for Software Synthesis of Embedded Real-Time Systems Based On TPN and LSC. In: 2nd International Conference on Embedded Software and Systems, 2005, Xian, China. Lecture Notes in Computer Science, 2005. v. LNCS. p. 50-62.

• BARRETO, R. S. ; CAVALCANTE, S. V. ; MACIEL, P. R. M. . A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. In: 1st Int. Workshop on Embedded Computing Systems, em conjunto com 24th Int. Conf. on Distributed Computing Systems, 2004, Tokio, Japan. 24th Int. Conf. on Distributed Computing Systems, 2004.

• BARRETO, R. S. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. . Pre-Runtime Scheduling for Embedded Hard Real-Time Systems Using Time Petri Nets. In: International Conference on Design, Analysis, and Simulation of Distributed Systems (DASD'04), 2004, Arlington, Washington. Advanced Simulation Technologies Conference, 2004.

• OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; BARRETO, R. S. ; CARVALHO, F. F. . A Software Power Cost Analysis based on Colored Petri Net. In: Workshop on Token-Based Computing (TOBACO), 2004, Bologna. 25th Int. Conf. on Applications and Theory of Petri Net (ICATPN'04), 2004.

• BARRETO, R. S. ; MACIEL, P. R. M. ; NEVES, M. L. ; TAVARES, E. A. G. ; LIMA, R. M. . A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. In: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES), 2004, Toulousse. Design Methods and Applications for Distributed Embedded Systems. B. Kleinjohann, G.R. Gao, H. Kopetz, L. Kleinjohann and A. Rettberg (eds.), 2004.

• OLIVEIRA JUNIOR, M. N. ; MACIEL, P. R. M. ; BARRETO, R. S. ; CARVALHO, F. F. . Towards A Software Power Cost Analysis Framework Using Colored Petri Net. In: 14th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'2004), 2004, Isle of Santorini. Lecture Notes in Computer Science, 2004. v. LNCS. p. 362-371.

• ARCOVERDE JUNIOR, A. ; ALVES JUNIOR, G. ; LIMA, R. M. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARRETO, R. S. . EZPetri: A Petri net interchange framework for Eclipse based on PNML. In: 1st International Symposium on Leveraging Applications of Formal Method (ISoLA'04), 2004, Paphos. International Symposium on Leveraging Applications of Formal Method, 2004.

• BARRETO, R. S. ; NEVES, M. L. ; TAVARES, E. A. G. ; MACIEL, P. R. M. . Embedded Hard Real-Time Systems Scheduling: An Unmanned Ground Vehicle Case Study. In: I Workshop de Sistemas Operacionais, 2004, Salvador. Congresso da Sociedade Brasileira da Computação, 2004.

• BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; NEVES, M. L. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; LIMA, R. M. . A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems. In: 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004), 2004, Porto de Galinhas. Brazilian Symposium on Integrated Circuits and Systems Design, 2004. p. 163-168.

• TAVARES, E. A. G. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; NEVES, M. L. ; MACIEL, P. R. M. ; LIMA, R. M. . An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints. In: 16th Brazilian Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2004), 2004, Foz do Iguaçu. Brazilian Symposium on Computer Architecture and High Performance Computing, 2004.

• LIMA, M. E. ; SANTANA, R. E. ; SILVA FILHO, A. ; BARROS, A. ; GUEDES, P. A. ; OLIVEIRA FILHO, J. ; BARRETO, R. S. ; RABELO, C. . A Reconfigurable Architecture for Multi-Context Application. In: 3rd International Conference on Engineering and Computer Education,, 2003, Santos - SP. ICECE'2003, 2003.

• BARRETO, R. S. ; MACIEL, P. R. M. ; CAVALCANTE, S. V. . A Modeling Methodology and Scheduler Synthesis for Embedded Real-Time Software. In: SBAC-PAD'2003, 2003, São Paulo - SP. 15th Brazilian Symposium on Computer Architecture and High Performance Computing, 2003.

• BARRETO, R. S. ; COELHO JR, C. ; FERNANDES, A. O. . A Implementação de uma Arquitetura de Suporte à Alta Diponibilidade de Objetos. In: X SBAC-PAD, 1998, Búzios. X Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1998.

• CRUZ, A. A. ; LEITÃO, G. ; BARRETO, R. S. ; PRIMO, T. T. ; KOCH, F. . Emotion Recognition based on Physiological Sensors and Machine Learning Techniques. In: International Symposium on Perception, Action, and Cognitive Systems, 2016, Seoul. Proceedings of the International Symposium on Perception, Action, and Cognitive Systems, 2016.

• SILVA FILHO, J, A, P. ; RIBEIRO, E. ; AYRES, L. M. ; GONÇALVES, R. S. ; BARRETO, R. S. . Epilepsy Detector: Um aplicativo de detecção de crises epiléticas para dispositivos móveis. In: IV Encontro Regional de Computação e Sistemas de Informação, 2015, Manaus-AM. Encontro Regional de Computação e Sistemas de Informação (ENCOSIS?2015). Manaus-AM: FUCAPI, 2015. p. 17-20.

• NEVES, L. L. E. ; SOUZA, G. M. ; BEZERRA, A. ; BARRETO, R. S. ; DIAS-NETO, A. C. . Um Relato de Experiência do Uso de Programação de Jogos para a Melhoria do Raciocínio Lógico em Crianças. In: XX Conferência Internacional sobre Informática na Educação (TISE'2015), 2015, Santiago. XX Conferência Internacional sobre Informática na Educação (TISE'2015), 2015.

• DIAS, W. R. A ; MORENO, E. D. ; BARRETO, R. S. . An Approach for Code Compression in Run Time for Embedded Systems - A Preliminary Results. In: 11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2011)., 2011, Melbourne. Proceedings of the ICA3PP'2011, 2011.

• ROCHA, C. ; BARRETO, R. S. . Geração Automática de Mutantes Baseada na Especificação para Construção de Casos de Testes em Sistemas Embarcados. In: Simpósio em Sistemas Computacionais (WSCAD-SSC), 2009, São Paulo. Workshop de Iniciação Científica do Simpósio em Sistemas Computacionais (WSCAD-SSC), 2009. v. 1. p. 1-4.

• LEITÃO, G. ; BARRETO, R. S. . É Possível Recomendar Objetos de Aprendizagem Físico-Virtuais?. In: Workshop de Desafios da Computação Aplicada à Educação, 2019, Brasília. DesafIE'2019, 2019.

• CALDAS, R. B. ; BARRETO, R. S. ; CAMPOS, S. V. A. . On the use of X-machine Formal Model to Design Sensor Network Applications. In: IEEE Symposium on Industrial Embedded Systems, 2008, Montpellier. Work-in-Progress of the IEEE SIES. New York: IEEE Computer Society Press, 2008. p. 29-32.

• CUSTODIO, M. M. ; BARRETO, R. S. ; CALDAS, R. B. . An Automated Theorem Proving Method for Scheduling Embedded Hard Real-time Systems. In: 27th IEEE Real-Time Systems Symposium (Work-in-Progress), 2006, Rio de Janeiro. 27th IEEE Real-Time Systems Symposium Work-in-Progress, 2006. p. 000-0000.

Outras produções

Projetos de pesquisa

• 2024 - Atual

  Geração Automática de Analíticos e Recomendações Inteligentes de Aprendizagem no Contexto da Educação Baseada em Tecnologias usando Técnicas de Mineração de Dados Educacionais e Aprendizado de Máquina, Descrição: O uso de analíticos de aprendizagem como a principal fonte de geração de recomendações inteligentes para professores e alunos. A inovação está na coleta de dados automáticos da interação dos alunos com o material didático disponível através de uma plataforma educacional baseada em tecnologias. A proposta é usar métricas de aprendizagem, e os dados coletados automaticamente, para gerar os analíticos e as recomendações para o aperfeiçoamento tanto do ensino quanto da aprendizagem.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Edwin Juan Lopes Barboza Monteiro - Integrante / Maely da Silva Moraes - Integrante / Gabriel de Souza Leitão - Integrante., Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro.

• 2021 - Atual

  Técnicas de Inteligência Artificial para Análise e Otimização de Desempenho de Software - SW_PerfI, Descrição: Projeto de Pesquisa, Desenvolvimento e Inovação Tecnológica (PDI) sobre a aplicação de técnicas de inteligência artificial e afins, para a análise, verificação formal e otimização de desempenho de software, explorando o impacto de componentes de hardware no sistema embarcado, como consumo de bateria, comunicação em rede e gerenciamento de memória. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (8) / Especialização: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Raimundo da Silva Barreto - Integrante / Rosiane de Freitas Rodrigues - Coordenador / Lucas Carvalho Cordeiro - Integrante.

• 2019 - 2021

  SAPIENTIA : Plataforma inteligente para testes exploratórios autônomos e revisão de defeitos de software embarcados, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Integrante / Lucas Carvalho Cordeiro - Integrante / Juan Colonna - Integrante / José Reginaldo Hughes Carvalho - Coordenador., Financiador(es): Samsung Eletrônica da Amazônia - Auxílio financeiro.

• 2018 - 2020

  MODELAGEM, VERIFICAÇÃO FORMAL, METODOLOGIAS E FERRAMENTAS PARA DESENVOLVIMENTO DE SISTEMAS CIBER-FÍSICOS, Descrição: O projeto "Modelagem, Verificação, Metodologias e Ferramentas para Desenvolvimento de Sistemas Ciber-Físicos" visa elevar o nível de conhecimento, competência e qualidade no desenvolvimento de sistemas ciberfísicos, tanto na inovação tecnológica de produto e de processo, quanto na formação de pessoal qualificado, em nível de graduação, mestrado, doutorado e outros profissionais. Este projeto vai atuar mais fortemente nas linhas de pesquisa relacionadas com o desenvolvimento de sistemas ciber-físicos e verificação formal com alto grau de complexidade e de natureza crítica. A proposta é que se possa fazer transferência tecnológica para possíveis empresas interessadas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Gabriel Leitão - Integrante / Anderson de Araújo Cruz - Integrante / Edson de Araújo Silva - Integrante / Nilmara da Silva Salgado - Integrante / Márcio André da Costa Alencar - Integrante / Romário Lira Batista - Integrante., Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro.

• 2014 - 2017

  Modelagem, Verificação Formal, Metodologias e Ferramentas para Desenvolvimento de Sistemas Embarcados, Descrição: Este projeto visa elevar o nível de conhecimento, competência e qualidade no desenvolvimento de sistemas embarcados, tanto na inovação tecnológica de produto e de processo, quanto na formação de pessoal qualificado, em nível de graduação, mestrado, doutorado e outros profissionais. Este projeto vai atuar mais fortemente nas linhas de pesquisa relacionadas com o desenvolvimento de sistemas embarcados com alto grau de complexidade e de natureza crítica. Diversos desafios deverão ser superados, como por exemplo, lidar com severas restrições (consumo de energia, memória, poder de processamento, etc), sensoriamento, protocolos de comunicação, tratando questões importantes como geração automática de código, integração de sistemas, testes e verificação, modelagem e verificação formal, metodologias de desenvolvimento e segurança. Espera-se obter os seguintes resultados: (1) gerar diversas ferramentas de apoio ao projetista para desenvolvimento de aplicativos com restrições temporais, estimativa de consumo de energia, restrições de consumo de energia e verificação e testes de programas; (2) integrar todas as ferramentas anteriores; (3) aplicar todas essas ferramentas em estudos de caso práticos do mundo real; (4) formar mão de obra qualificada em SE; (5) publicar nas principais conferências e revistas nacionais e internacionais da área de SE; (6) transferir tecnologias da universidade para possíveis empresas interessadas na melhoria qualidade de software de SE com restrições temporais, de energia ou de segurança; e (7) melhorar a contínua atuação do grupo de pesquisa em SE na UFAM.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (4) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Eduardo Valentin - Integrante / Herbert Oliveira Rocha - Integrante / Daniella Rodrigues Bezerra - Integrante / Marcos André Fernandes Spósito - Integrante / Gabriel Leitão - Integrante., Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro., Número de produções C, T & A: 8

• 2013 - 2016

  Programa de Capacitação de Recursos Humanos em Tecnologias da Informação e Computação e em Sistemas e Aplicativos para Plataformas Tecnológicas Portáteis, Móveis e Distribuídas (PROMOBILE), Descrição: Programa de capacitação de três anos e de larga escala, a ser implantado simultaneamente em três campi (Manaus, Itacoatiara e Boa Vista) com o objetivo de criar massa crítica de especialistas em plataformas de software para dispositivos portáteis e móveis, mais especificamente Android e Tizen. O programa apoia cinco linhas de pesquisa e desenvolvimento: gerenciamento de consumo de energia, interface com usuário tangível, segurança, conteúdo peer to peer e aplicativos de e-learning. O programa contará com 80 bolsas de graduação, 16 de mestrado e 5 de doutorado, além de apoio à realização de três eventos por ano e treinamento de curta duração com conteúdo aprofundado.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (80) / Especialização: (0) / Mestrado acadêmico: (16) / Mestrado profissional: (0) / Doutorado: (5) . , Integrantes: Raimundo da Silva Barreto - Integrante / José Reginaldo Carvalho - Coordenador / Horácio Antonio Braga Fernandes Oliveira - Integrante / Elaine Harada Teixeira de Oliveira - Integrante / César Augusto Viana Melo - Integrante.

• 2012 - 2014

  Computação Desplugada: Ensinando Computação sem o Uso de Computadores, Descrição: Jean Piaget afirmava: "O pensamento se desenvolve através de ações e não de palavras.". O objetivo geral deste projeto é o de popularizar os fundamentos da ciência da computação, junto com crianças e adolescentes de escolas públicas, tanto de Manaus quanto de Itacoatiara, usando a técnica conhecida como "computação desplugada", que consiste em passar o conhecimento da computação sem usar o computador através de diversas atividades. Este tipo de aprendizagem possibilita promover a construção de conhecimentos de forma natural, divertida e agradável. Os jogos ajudam a criar um entusiasmo sobre o conteúdo a ser trabalhado a fim de que os estudantes se interessem e se motivem de forma que expressem, ajam e interajam nas atividades lúdicas. A execução deste projeto é relevante tanto para as crianças participantes quanto para os professores e bolsistas envolvidos. Muitas crianças e adolescentes ainda vêem o computador como algo distante e inalcançável. Em algumas escolas da periferia, muitas crianças nunca tiveram contato com um computador. Como resultado, as crianças vão adquirir compreensão sobre como funcionam os computadores, além de desenvolvem as suas habilidades de comunicação, resolução de problemas, criatividade e diversos outros elementos cognitivos. Para os professores e bolsistas do projeto, haverá a interação da academia com a sociedade, através da troca de informações, e a satisfação de passar conhecimentos importantes e que seria difícil para algumas crianças obterem.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (20) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Odette Mestrinho Passos - Integrante / Anacília Cavalcante Vieira - Integrante., Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro.

• 2011 - 2015

  Núcleo de Excelência em Desenvolvimento de Sistemas Embarcados para Veículos Aéreos Não-Tripulados e Robôs Táticos Móveis., Descrição: Este Núcleo de Excelência visa a pesquisa e desenvolvimento de novos métodos, técnicas e ferramentas para a construção de sistemas embarcados críticos que usem veículos robóticos de aplicação crítica (VRACs) em situações onde aspectos de segurança e disponibilidade são fundamentais. A proposta é que os sistemas sejam construídos com máxima garantia de corretude. Exemplos de VRACs incluem Veículos Aéreos Não-Tripulados (VANTs), Robôs Táticos Móveis (RTMs) e Veículos Autônomos Submergíveis (VAS). Um maior nível de autonomia são atingidos quando for incorporado a eles a capacidade de percepção (sensores e sistemas que conseguem ?interpretar? o ambiente onde ele atua), capacidade de agir (atuadores, motores e sistemas de controle capazes de produzir ações, tais como o deslocamento do robô no ambiente), robustez e inteligência (capacidade de lidar com as mais diversas situações, de modo a resolver e executar tarefas por mais complexas que sejam). Os VRACs possuem as aplicações das mais variadas, desde aplicações ambientais (inspeção de reservas ambientais e gasodutos, desastres ecológicos, monitoramento de animais, pesquisas climáticas), quanto aplicações de segurança (reconhecimento e localização de alvos). Independente de suas especificidades com respeito à mobilidade (aéreo, terrestre aquático, etc), os VRACs possuem restrições críticas de segurança, disponibilidade e tolerância a falhas em todos os seus principais subsistemas: i) o veículo propriamente dito; ii) o subsistema de comando e supervisão; iii) o subsistema de comunicação, todos inseridos no domínio dos sistemas embarcados críticos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (12) / Mestrado acadêmico: (10) / Doutorado: (6) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Ruiter Braga Caldas - Integrante / José Luiz de Souza Pio - Integrante / Paulo Romero Martins Maciel - Integrante / Horácio Antonio Braga Fernandes Oliveira - Integrante / Tayana Uchôa Conte - Integrante / José Carlos Maldonado - Integrante / Arilo Cláudio Dias Neto - Integrante / Eulanda Miranda Santos - Integrante / Jordan Lima Caetano - Integrante / Jó Oliveira Vidal - Integrante / Marcos Paulo Siqueira Farias - Integrante., Financiador(es): Fundação de Amparo a Pesquisa do Estado do Amazonas - Auxílio financeiro.

• 2009 - 2012

  Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC), Descrição: O objetivo do INCT-SEC é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento de sistemas embarcados críticos. A relação academia-indústria é fortemente explorada no desenvolvimento de soluções nesses diversos domínios e a difusão científica e a formação de recursos humanos são ações primordiais. Dentre suas metas específicas, está o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase em veículos aéreos, terrestres, aquáticos e subaquáticos autônomos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (6) / Doutorado: (2) . , Integrantes: Raimundo da Silva Barreto - Integrante / Horácio Antonio Braga Fernandes Oliveira - Integrante / Tayana Uchôa Conte - Integrante / José Carlos Maldonado - Coordenador / Arilo Claudio Dias Neto - Integrante / José Reginaldo Hughes Carvalho - Integrante.

• 2008 - 2011

  SEMPRE: Sistemas Embarcados Multimídia PoRtáteis com baixo consumo de Energia, Descrição: Sistemas multimídia são muito usados em celulares, palm-tops, assistentes pessoais digitais (Personal Digital Assistants ? PDAs), internet tablets, etc. Estes equipamentos usualmente dependem de baterias para sua execução. Uma das principais preocupações dos projetistas de tais equipamentos está na sua autonomia, ou seja, o quanto pode ser usado sem a necessidade de recarga da bateria. Esta característica faz um grande diferencial de mercado. Multimídia pode ser executada em diversos tipos de equipamentos, inclusive os equipamentos portáteis que são dispositivos menores e mais restritos, por exemplo, PDAs, Internet Tablets, Smart Phones, dentre outros. O desenvolvimento de sistemas para esses equipamentos é mais desafiador do que para equipamentos convencionais. Isso porque os dispositivos portáteis possuem diversas restrições, como por exemplo, restrição de peso, tamanho, de consumo de energia, de consumo de memória e poder de processamento. A restrição a ser tratada neste projeto é a de desenvolver sistemas multimídia a com baixo consumo de energia. A proposta deste projeto é aplicar a técnica conhecida como escala dinâmica de voltagem e freqüência (dynamic voltage and frequency scaling - DVFS), onde a freqüência do clock, e a correspondente voltagem, podem ser controladas dinamicamente para o nível mínimo possível ao mesmo tempo em que as restrições temporais (deadline) da tarefa continuam sendo atingidas. Um problema que existe na utilização de DVFS é que a alteração da voltagem é de inteira responsabilidade do programador da aplicação. Por exemplo, não existem guias para selecionar os melhores locais onde colocar código de alteração de voltagem. Adicionalmente, programadores não são familiares com questões de baixo consumo de energia do software e técnicas de análise temporal. Na prática, é muito difícil usar DVFS em aplicações de tempo-real sem o suporte de uma metodologia de desenvolvimento sistemático, que é uma das propostas desse projeto.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Ruiter Braga Caldas - Integrante / Meuse Nogueira de Oliveira Júnior - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2007 - 2008

  PESQUISA E DESENVOLVIMENTO DE SISTEMAS EMBARCADOS COM BAIXO CONSUMO DE ENERGIA, Descrição: O projeto de sistemas embarcados de baixa potência tem despertado muito interesse nos últimos anos. A principal razão por este interesse crescente é função da proliferação de equipamentos portáteis, onde as preocupações com o baixo consumo de energia são fundamentais para que possam ser utilizados por longos períodos sem a necessidade de re-carga dos sistemas de alimentação. Além dos aspectos relacionados à demanda do mercado, a própria evolução das tecnologias dos sistemas semicondutores, em função da maior funcionalidade que se coloca por unidade de área dos circuitos integrados, tem levado ao crescimento constante da potência dissipada destes sistemas. Além disto, as preocupações ambientais relativas ao consumo de energia são fatores que fazem com que, no projeto destes sistemas, as preocupações com o consumo de energia sejam de fundamental importância. É bem sabido que a relação entre o consumo de energia e a tensão é quadrática. Dessa forma, ajustes na tensão produzem grande impacto no consumo de energia. Entretanto, a mudança de tensão também afeta (nesse caso linearmente) o tempo de processamento do processador. O objetivo geral é promover pesquisa, desenvolvimento e inovação tecnológica através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia no processador ARM operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Raimundo da Silva Barreto - Coordenador.

• 2006 - 2010

  RESMA: REde de Sensores sem fio e o controle do Meio ambiente Amazônico, Descrição: Este projeto tem como objetivo principal a proposta de uma metodologia, e ferramentas de apoio, para a síntese automática do software para nodos sensores. Os objetivos específicos são: (i) Introduzir um modelo de especificação que capture as informações de cada tarefa a ser executada em cada nodo sensor, assim como as relações entre tarefas; (ii) Modelar a especificação usando um modelo formal; (iii) Estudar os sistemas operacionais utilizados na implementação de redes de sensores e, se for o caso, alterar tais sistemas operacionais; (iv) Desenvolver um método para a geração de código fonte de programas de tal forma que seja garantido que este atende a todas as restrições especificadas; (v) Propor um método para estimativas de consumo de energia em sistemas de nodos sensores sem fio.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (4) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Herbert Oliveira Rocha - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

• 2005 - 2009

  SSoft: Síntese de Software para Sistemas Embutidos Complexos, Descrição: Síntese de software é definida como o processo de geração automática do código fonte, partindo de uma especificação usualmente composta por processos concorrentes e comunicantes. Esta geração de código considera tanto as funcionalidades especificadas, quanto o suporte operacional de tempo de execução para execução da funcionalidade. Em palavras mais simples, a síntese de software preocupa-se em gerar os programas e (parte de) o sistema operacional. A proposta deste projeto é o de buscar soluções para a construção de sistemas embutidos com garantia da corretude de projeto, que atendam requisitos de tempo-real, consumo mínimo de energia, acesso mutuamente exclusivo a recursos compartilhados, reconfiguráveis dinamicamente e tolerantes a falhas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 9

Projetos de desenvolvimento

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - Atual

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - Atual

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - Atual

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - Atual

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador.Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

• 2023 - Atual

  Geração Automática de Analíticos e Recomendações Inteligentes de Aprendizagem no Contexto da Educação Baseada em Tecnologias usando Técnicas de Mineração de Dados Educacionais e Aprendizado de Máquina, Descrição: O uso de analíticos de aprendizagem como a principal fonte de geração de recomendações inteligentes para professores e alunos. A inovação está na coleta de dados automáticos da interação dos alunos com o material didático disponível através de uma plataforma educacional baseada em tecnologias. A proposta é usar métricas de aprendizagem, e os dados coletados automaticamente, para gerar os analíticos e as recomendações para o aperfeiçoamento tanto do ensino quanto da aprendizagem.Este projeto tem como objetivo principal prover recomendações inteligentes, tanto para alunos quanto professores, a partir da geração de analíticos de aprendizagem baseados em métricas da interação dos alunos com uma plataforma educacional baseada em tecnologiasEste projeto tem os seguintes objetivos específicos:1. Propor um método de geração de analíticos de aprendizagem, usando mineração de dados educacionais, a partir dos dados de interação dos alunos com uma plataforma educacional;2. A partir dos analíticos de aprendizagem, gerar recomendações inteligentes para professores e alunos;3. Experimentar a solução propostas em escolas da rede pública e particular;4. Fazer a transferência tecnológica para escolas interessadas;5. Publicar nas principais conferências e revistas especializadas da área.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Edwin Juan Lopes Barboza Monteiro - Integrante / Gabriel de Souza Leitão - Integrante.

• 2014 - 2016

  Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota, Descrição: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado. O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Raimundo da Silva Barreto - Coordenador / Moisés Gomes de Carvalho - Integrante / Gabriel Leitão - Integrante / Juan Colonna - Integrante / Francisca Maria Coelho Cavalcanti - Integrante / Vandermi João da Silva - Integrante / Ingrid Nascimento da Costa - Integrante / André Luiz da Costa Carvalho - Integrante.

• 2007 - 2008

  Desenvolvimento de Aplicações com Baixo Consumo de Energia, Descrição: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Raimundo da Silva Barreto - Coordenador., Financiador(es): Instituto Nokia de Tecnlogia (AM) - Auxílio financeiro.

Prêmios