Artigos Publicados em Conferências (121)

  1. Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android. Neder, Fernando; Miranda Filho, Ricardo; Azevedo, JÔnatas; Pessoa, Larissa; De Freitas, Rosiane; Raimundo Da Silva Barreto; SBLP 2023: XXVII Brazilian Symposium on Programming Languages, 2023. Completo.

  2. Educational Data Analysis: a Study for Personalized Feedback Purposes. Maely Da Silva Moraes; Gabriel De Souza Leitão; Áurea Hiléia Da Silva Melo; Raimundo Da Silva Barreto; Simpósio Brasileiro de Informática na Educação, 2023. Completo.

  3. Optimizing Energy Consumption in Android Mobile Devices Based on User Recommendations. Souza, Elian; Edwin Juan Lopes Barboza Monteiro; Raimundo Da Silva Barreto; Rosiane De Freitas Rodrigues; International Conference on Intelligent Systems Design and Applications, 2023. Completo.

  4. A Context-Aware Automatic Smartphone Reconfiguration. Souza, Elian; Monteiro, Edwin; Raimundo Da Silva Barreto; Defreitas, Rosiane; 2022 IEEE International Conference on Consumer Electronics (ICCE), 2022. Completo.

  5. From Requirements to Prototyping: Proposal and Evaluation of an Artifact to Support Interface Design in the Context of Autism. Áurea Hileia Melo; Ana Carolina Oran Rocha; Jonathas Santos; Sergio Tamayo; Davi Viana Dos Santos; Luis Rivero; Raimundo Da Silva Barreto; 24th International Conference on Human-Computer Interaction, 2022. Completo.

  6. Um Método Baseado na Teoria da Resposta ao Item para Avaliação e Feedback Automático no Contexto do ENEM. Edwin Juan Lopes Barboza Monteiro; Raimundo Da Silva Barreto; Simpósio Brasileiro de Informática na Educação, 2022. Completo.

  7. Lições aprendidas usando Robótica Desplugada, Linguagens Baseadas em Blocos e Simulador Robótico 3D. Francisco Gabriel Teixeira Marinho; Raimundo Da Silva Barreto; Simpósio Brasileiro de Informática na Educação, 2022. Completo.

  8. Filtering Empty Camera Trap Images in Embedded Systems. Francisco Fagner Do Rego Cunha; Eulanda Miranda Santos; Raimundo Da Silva Barreto; Juan Gabriel Colonna; Mobile AI workshop and challenges at CVPR 2021, 2021. Completo.

  9. ACF: An Autistic Personas? Characteristics Source to Develop Empathy in Software Development Teams. Áurea Hileia Melo; Ana Carolina Oran; Jonathas Silva Dos Santos; Luis Jorge Enrique Rivero Cabrejos; Raimundo Da Silva Barreto; 23rd International Conference on Human-Computer Interaction, 2021. Completo.

  10. Requirements Elicitation in the Context of Software for Low-Functioning Autistic People: An Initial Proposal of Specific Supporting Artifacts. Áurea Hileia Melo; Jonathas Silva Dos Santos; Ana Carolina Oran; Raimundo Da Silva Barreto; Luis Jorge Enrique Rivero Cabrejos; Simpósio Brsileiro de Engenharia de Software, 2021. Completo.

  11. Developing a Set of Design Patterns Specific for the Design of User Interfaces for Autistic Users. Dayanne Gomes; Nathasha Pinto; Áurea Hileia Melo; Ivana Márcia Maia; Anselmo Cardoso De Paiva; Raimundo Da Silva Barreto; Davi Viana Dos Santos; Luis Jorge Enrique Rivero Cabrejos; XX Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais, 2021. Completo.

  12. Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes. Monteiro, Edwin; Kelvinn Da Silva Nunes Pereira; Raimundo Da Silva Barreto; International Conference on Computational Science, 2020. Completo.

  13. EmpathyAut: An Empathy Map for People with Autism. Áurea Hileia Melo; Luis Rivero; Jonathas Silva Dos Santos; Raimundo Da Silva Barreto; XIX Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2020), 2020. Completo.

  14. PersonAut: A Personas Model for People with Autism Spectrum Disorder. Áurea Hileia Melo; Luis Rivero; Jonathas Silva Dos Santos; Raimundo Da Silva Barreto; XIX Simpósio Brasileiro sobre Fatores Humanos em Sistemas Computacionais (IHC 2020), 2020. Completo.

  15. Mineração de Dados Educacionais a partir da Interação de Alunos com uma Plataforma Educacional. Lucas Luis De Souza Barreto; Monteiro, Edwin; Gabriel Leitão; Thays Karoline Araújo Bentes; Raimundo Da Silva Barreto; Congresso Brasileiro de Informática na Educação (CBIE), 2020. Completo.

  16. Extração Descentralizada de Regras de Associação em Base de Dados Embarcadas de Dispositivos da Internet das Coisas. Márcio André Da Costa Alencar; Raimundo Da Silva Barreto; Horácio Antonio Braga Fernandes Oliveira; Eduardo James Pereira Souto; Richard W. Pazzi; Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2020. Completo.

  17. UpRobotics: Robótica Educacional Utilizando Linguagem Visual Baseada em Blocos. Francisco Gabriel Teixeira Marinho; Edwin Juan Lopes Barboza Monteiro; Raimundo Da Silva Barreto; Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2020. Completo.

  18. Map2Check: Using Symbolic Execution and Fuzzing. Herbert Oliveira Rocha; Rafael Menezes; Lucas Carvalho Cordeiro; Raimundo Da Silva Barreto; International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020. Completo.

  19. IoT Assistant for People with Visual Impairment in Edge Computing. Manoel José De Souza Júnior; Horácio Antonio Braga Fernandes Oliveira; Raimundo Da Silva Barreto; 6th International Embedded Systems Symposium, 2019. Completo.

  20. Assistive Technology through Internet of Things and Edge Computing. Manoel José De Souza Júnior; Orlewilson Bentes Maia; Horácio Antonio Braga Fernandes Oliveira; Eduardo James Pereira Souto; Raimundo Da Silva Barreto; IEEE 9th International Conference on Consumer Electronics, 2019. Completo.

  21. Tiny Thing Blocks: Integrating Everyday Objects Into IoT Context. Lucas Simões De Amorim; Márcio André Da Costa Alencar; Raimundo Da Silva Barreto; Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2019. Completo.

  22. SVC-A2C - Actor Critic Algorithm to Improve Smart Vacuum Cleaner. Everton Lima Aleixo; Juan Colonna; Raimundo Da Silva Barreto; Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2019. Completo.

  23. É Possível Recomendar Objetos de Aprendizagem Físico-Virtuais?. Gabriel Leitão; Raimundo Da Silva Barreto; Workshop de Desafios da Computação Aplicada à Educação, 2019. Resumo.

  24. I-Jack: Wearable System for Collection and Evaluation Physiological Data. Elpidio Holanda Junior; Lucas Cruz; Vandermi João Da Silva; Raimundo Da Silva Barreto; Vicente Ferreira De Lucena Filho; Mauro Teófilo; IEEE International Conference on Consumer Electronics, 2018. Completo.

  25. Map2Check Using LLVM and KLEE. Rafael Menezes; Herbert Oliveira Rocha; Lucas Carvalho Cordeiro; Raimundo Da Silva Barreto; 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2018. Completo.

  26. Tellus ? Greenhouse Irrigation Automation System. Luciano Silva; Elpidio Holanda Junior; Kayque Carneiro; Johthema Matos; Anacília Cavalcante Vieira; Raimundo Da Silva Barreto; Workshop on Communications in Critical Embedded Systems, 2018. Completo.

  27. Survey on Pedagogical Resources Recommendation using Cognitive Computing Systems. Gabriel Leitão; Valentin, Eduardo Bezerra; Elaine Harada Teixeira De Oliveira; Raimundo Da Silva Barreto; Frontiers in Education, 2018. Completo.

  28. Avaliação e Feedback Automático em Educação apoiada por Tecnologia: Um mapeamento sistemático da literatura. Batista, RomÁrio Lira; Salgado, Nilmara; Raimundo Da Silva Barreto; XXIX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2018. Completo.

  29. Uma Ferramenta de Suporte ao Ensino de Modelagem de Sistemas Distribuídos Críticos: Uma Experiência Prática. Monteiro, Edwin; Rivero, Luis; Raimundo Da Silva Barreto; XXIX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2018. Completo.

  30. Modelo 3C de Colaboração aplicado ao uso de um repositório para o desenvolvimento de interfaces para autistas. Áurea Hileia Melo; Clara Fernandes; Marco Jardim; Raimundo Da Silva Barreto; XIV Simpósio Brasileiro de Sistemas Colaborativos (SBSC?2017), 2017. Completo.

  31. I-Jack: Sistema Vestível Inteligente para Coleta e Avaliação de Dados Fisiológicos. Elpidio Holanda Junior; Lucas Cruz; Gustavo Silva; Raimundo Da Silva Barreto; Vandermi João Da Silva; V Workshop de Comunicação em Sistemas Embarcados Críticos (WoCCES?2017), 2017. Completo.

  32. Inserting DVFS Code in Hard Real-Time System Tasks. Pinheiro, Diego; Goncalves, Rawlinson; Valentin, Eduardo; Oliveira, Horacio; Raimundo Da Silva Barreto; 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 2017. Completo.

  33. Framework para Coleta e Inferência de Estados Emocionais de Alunos Baseado em Reconhecimento de Expressões Faciais. Anderson De Araújo Cruz; Juan Colonna; Gabriel Leitão; Edson De Araújo Silva; Raimundo Da Silva Barreto; Tiagothompsen Primo; XXVIII Simpósio Brasileiro de Informática na Educação, 2017. Completo.

  34. Recomendação de Objetos de Aprendizagem baseados em Modelos de Estilos de Aprendizagem: Uma Revisão Sistemática da Literatura. Priscilla Batista Do Nascimento; Raimundo Da Silva Barreto; Tiagothompsen Primo; Tammy Hikari Yanai Gusmão; Elaine Harada Teixeira De Oliveira; XXVIII Simpósio Brasileiro de Informática na Educação, 2017. Completo.

  35. Searching for Preferences of Autistic Children to Support the Design of User Interfaces. Melo, Aurea; Santos, Jonathas; Rivero, Luis; Raimundo Da Silva Barreto; IHC 2017: Brazilian Symposium on Human Factors in Computing Systems, 2017. Completo.

  36. Business-IT Alignment Research Field - A Systematic Literature Review. Marcos André Fernandes Spósito; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; International Conference on Enterprise Information Systems, 2016. Completo.

  37. Agregação de Dados com Desvio de Buracos para Redes de Sensores Sem Fio com Sinks de Alto Alcance. Moysés Mendes De Lima; Horácio Antonio Braga Fernandes Oliveira; Nakamura, Eduardo F.; Raimundo Da Silva Barreto; Daniel Ludovico Guidoni; XXXIV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2016. Completo.

  38. Real-time Tasks and Voltage/Frequency Controller Collaboration on Low Power Energy Operational Systems. Rawlinson Da Silva Gonçalves; Diego Quintana Pinheiro; Valentin, Eduardo; Horácio Antonio Braga Fernandes Oliveira; Raimundo Da Silva Barreto; International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, 2016. Completo.

  39. JFORTES: Java Formal Unit TESt Generation. Bentes, Larissa; Rocha, Herbert; Valentin, Eduardo; Raimundo Da Silva Barreto; 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016. Completo.

  40. Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem. Valentin, Eduardo; Freitas, Rosiane De; Raimundo Da Silva Barreto; 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 2016. Completo.

  41. Emotion Recognition based on Physiological Sensors and Machine Learning Techniques. Anderson De Araújo Cruz; Gabriel Leitão; Raimundo Da Silva Barreto; Tiagothompsen Primo; Fernando Koch; International Symposium on Perception, Action, and Cognitive Systems, 2016. Resumo_expandido.

  42. On the use of inertial sensors and machine learning for automatic recognition of fainting and epileptic seizure. Ribeiro, Erick; Bentes, Larissa; Cruz, Anderson; Leitao, Gabriel; Raimundo Da Silva Barreto; Silva, Vandermi; Primo, Tiago; Koch, Fernando; 2016 IEEE 18th International Conference on eHealth Networking, Applications and Services (Healthcom), 2016. Completo.

  43. UbMed: A ubiquitous system for monitoring medication adherence. Silva, Vandermi J.; Rodrigues, Marlos A. S.; Raimundo Da Silva Barreto; Ferreira De Lucena, Vicente; 2016 IEEE 18th International Conference on eHealth Networking, Applications and Services (Healthcom), 2016. Completo.

  44. 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. Ayres, Larissa Maia; Marques, Anna Beatriz; Raimundo Da Silva Barreto; Conte, Tayana; XV Simpósio Brasileiro de Qualidade de Software, 2016. Completo.

  45. Routing and Data Aggregation toward a High Speed Sink in Wireless Sensor Networks. Balico, Leandro N.; Oliveira, Horacio A.b.f.; Nakamura, Eduardo F.; Raimundo Da Silva Barreto; Loureiro, Antonio A.f.; 2015 International Conference on Distributed Computing in Sensor Systems (DCOSS), 2015. Completo.

  46. A Prediction-based Routing Algorithm for Vehicular Ad Hoc Networks. Leandro Nelinho Balico; Horácio Antonio Braga Fernandes Oliveira; Raimundo Da Silva Barreto; Antonio Alfredo Ferreira Loureiro; Richard W. Pazzi; 2015 IEEE Symposium on Computers and Communications, 2015. Completo.

  47. Memory Management Test-Case Generation of C Programs using Bounded Model Checking. Herbert Oliveira Rocha; Raimundo Da Silva Barreto; Lucas Carvalho Cordeiro; 13th International Conference on Software Engineering and Formal Methods, 2015. Completo.

  48. Avaliando a Cobertura do MR-MPS-SV para o Alinhamento Estratégico de TI e Negócios das Organizações. Marcos André Fernandes Spósito; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; Workshop Anual do MPS, 2015. Completo.

  49. Model Checking Embedded C Software Using k-Induction and Invariants. Rocha, Herbert; Ismail, Hussama; Cordeiro, Lucas; Raimundo Da Silva Barreto; 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 2015. Completo.

  50. Integração de Características Preemptivas à Técnica de Escalonamento Dinâmico de Tensões e Frequências Intra-Tarefa. Rawlinson Da Silva Gonçalves; Raimundo Da Silva Barreto; V Brazilian Symposium on Computing Systems Engineering, 2015. Completo.

  51. Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context. Gabriel Leitão; Juan Colonna; Erick Ribeiro; Raimundo Da Silva Barreto; Andrew Koster; Fernando Koch; Workshop on Social Computing in Digital Education, 2015. Completo.

  52. Avaliação Experimental de Técnicas de Aprendizagem de Máquina para o Reconhecimento de Atividades Humanas no Contexto da Educação Tecnológica. Erick Ribeiro; Gabriel Leitão; Juan Colonna; Raimundo Da Silva Barreto; Andrew Koster; Fernando Koch; IV Encontro Regional de Computação e Sistemas de Informação, 2015. Completo.

  53. Um Relato de Experiência da Aplicação de Técnicas Iterativas para o Ensino da Computação na Educação Básica. Juliana Nascimento; Daniel Xavier; Odette Mestrinho Passos; Raimundo Da Silva Barreto; IV Encontro Regional de Computação e Sistemas de Informação, 2015. Completo.

  54. Epilepsy Detector: Um aplicativo de detecção de crises epiléticas para dispositivos móveis. José Alberto Pacífico Da Silva Filho; Erick Ribeiro; Larissa Maia Ayres; Rawlinson Da Silva Gonçalves; Raimundo Da Silva Barreto; IV Encontro Regional de Computação e Sistemas de Informação, 2015. Resumo_expandido.

  55. Hunting Memory Bugs in C Programs with Map2Check (Competition Contribution). Herbert Oliveira Rocha; Raimundo Da Silva Barreto; Lucas Carvalho Cordeiro; 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 5th Competition on Software Verification, 2015. Completo.

  56. MANIOC: Ferramenta de Apoio a Recomendações de Melhorias Baseadas na Cultura Organizacional para Iniciativas de MPS. Cláudia Rejane Gomes; Odette Mestrinho Passos; Marcos André Fernandes Spósito; Raimundo Da Silva Barreto; Arilo Claudio Dias Neto; XI Workshop Anual do MPS (WAMPS 2015), 2015. Completo.

  57. Um Relato de Experiência do Uso de Programação de Jogos para a Melhoria do Raciocínio Lógico em Crianças. Larissa Lorena Evangelista Neves; Guibson Moreira Souza; Allan Bezerra; Raimundo Da Silva Barreto; Arilo Claudio Dias Neto; XX Conferência Internacional sobre Informática na Educação (TISE'2015), 2015. Resumo_expandido.

  58. Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform. Valentin, Eduardo; Salvatierra, Mario; De Freitas, Rosiane; Raimundo Da Silva Barreto; 2015 25th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2015. Completo.

  59. Rapid improvement of students’ soft-skills based on an agile-process approach. Valentin, Eduardo; Carvalho, Jose Reginaldo Hughes; Raimundo Da Silva Barreto; 2015 IEEE Frontiers in Education Conference (FIE), 2015. Completo.

  60. Persona Security: A Technique for Supporting the Elicitation of Security Requirements. Marco Aurélio Dos Santos; Jacilane De Holanda Rabelo; Raimundo Da Silva Barreto; Tayana Uchôa Conte; International Conference on Software Engineering and Knowledge Engineering, 2014. Completo.

  61. Domain Engineering: A Practical Application in Analysis and Design of a Generative Query Language. Bezerra, Daniella Rodrigues; Raimundo Da Silva Barreto; 2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2014. Completo.

  62. ARDev: A Methodology Based on Scrum Principles to Support Research Management on Software Technologies. Daniella Rodrigues Bezerra; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; Annual International Conference on Computer Science and Software Engineering - CASCON, 2014. Completo.

  63. Roteamento e Agregacao de Dados Usando Sinks em Alta Velocidade em Redes de Sensores Sem Fio. Leandro Nelinho Balico; Horácio Antonio Braga Fernandes Oliveira; Raimundo Da Silva Barreto; Eduardo Freire Nakamura; Antonio Alfredo Ferreira Loureiro; Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2013. Completo.

  64. Uma Investigação sobre Recomendações de Melhoria Baseadas em Aspectos Culturais para Apoiar Iniciativas de Melhoria de Processo de Software. Odette Mestrinho Passos; Arilo Cláudio Dias Neto; Raimundo Da Silva Barreto; Simpósio Brasileiro de Qualidade de Software, 2013. Completo.

  65. Um Relato de Experiência do Uso da Técnica Computação Desplugada. Anacília Cavalcante Vieira; Odette Mestrinho Passos; Raimundo Da Silva Barreto; Workshop de Educação em Computação, 2013. Completo.

  66. Routing and Data Aggregation Toward a High Speed Sink in Wireless Sensor Networks. Leandro Nelinho Balico; Horácio Antonio Braga Fernandes Oliveira; Eduardo Freire Nakamura; Raimundo Da Silva Barreto; Antonio Alfredo Ferreira Loureiro; IEEE Conference on Local Computer Networks, 2013. Completo.

  67. Uma Investigação sobre a Relevância de Valores Organizacionais em Iniciativas de Melhoria de Processo de Software. Odette Mestrinho Passos; Arilo Cláudio Dias Neto; Raimundo Da Silva Barreto; IX Workshop Anual do MPS, 2013. Completo.

  68. Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. Freitas, Romulo; Raimundo Da Silva Barreto; Maciel, Paulo; 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013. Completo.

  69. A Car Racing Based Strategy for the Dynamic Voltage and Frequency Scaling Technique. David Abrahan Cohen; Raimundo Da Silva Barreto; Horácio Antonio Braga Fernandes Oliveira; Lucas Carvalho Cordeiro; IEEE International Symposium on Industrial Electronics, 2012. Completo.

  70. Assessing the Relevance of Organizational Culture in Software Process Improvement Initiatives. Odette Mestrinho Passos; Arilo Cláudio Dias Neto; Raimundo Da Silva Barreto; Congresso Ibero-Americano em Engenharia de Software, 2012. Completo.

  71. Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. Herbert Oliveira Rocha; Raimundo Da Silva Barreto; Lucas Carvalho Cordeiro; Arilo Cláudio Dias Neto; 9th International Conference on Integrated Formal Methods, 2012. Completo.

  72. An Approach for Code Compression in Run Time for Embedded Systems - A Preliminary Results. Wanderson Roger Azevedo Dias; Edward David Moreno; Raimundo Da Silva Barreto; 11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2011)., 2011. Resumo_expandido.

  73. A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. Ruiter Braga Caldas; Raimundo Da Silva Barreto; Lucas Carvalho Cordeiro; Sérgio Vale Aguiar Campos; IADIS Applied Computing, 2011. Completo.

  74. Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. Raimundo Da Silva Barreto; Lucas Carvalho Cordeiro; Bernd Fischer; XIII Workshop de Sistemas de Tempo Real, 2011. Completo.

  75. Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. Everton Gualberto Cunha; Marcelo Monteiro Custódio; Herbert Oliveira Rocha; Raimundo Da Silva Barreto; II Workshop de Sistemas Embarcados., 2011. Completo.

  76. Instruction Compression in Runtime for Embedded Systems. Wanderson Roger Azevedo Dias; Edward David Moreno; Raimundo Da Silva Barreto; XII Simpósio em Sistemas Computacionais de Alto Desempenho, 2011. Completo.

  77. MIC: A New Compression Method of Instructions in Hardware for Embedded Systems. Wanderson Roger Azevedo Dias; Edward David Moreno; Raimundo Da Silva Barreto; Southern Conference on Programmable Logic Conference, 2010. Completo.

  78. smartenum: A Branch-and-Bound Algorithm for Optimum Frequency Set Establishment in Real-Time DVFS. Eduardo Valentin; Raimundo Da Silva Barreto; Workshop on Real-Time and Embedded Systems, 2010. Completo.

  79. Envio de Dados de Consulta para Sinks Móveis em Alta Velocidade em Redes de Sensores Sem Fio. Horácio Antonio Braga Fernandes Oliveira; Raimundo Da Silva Barreto; Awdren Fontão; Eduardo Freire Nakamura; Antonio Alfredo Ferreira Loureiro; Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2010. Completo.

  80. A Novel Greedy Forward Algorithm for Routing Data Toward a High Speed Sink in Wireless Sensor Networks. Horácio Antonio Braga Fernandes Oliveira; Raimundo Da Silva Barreto; Awdren Fontão; Eduardo Freire Nakamura; Antonio Alfredo Ferreira Loureiro; International Conference on Computer Communication Networks, 2010. Completo.

  81. Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs. Herbert Oliveira Rocha; Lucas Carvalho Cordeiro; Raimundo Da Silva Barreto; José Francisco De Magalhães Netto; SAST, 2010. Completo.

  82. On the Use of Scrum for the Management of Practical Projects in Graduate Courses. Luciano Pinto; Ricardo Erikson Rosa; Cristiane Pachero Reis; Christophe Lima Xavier; Raimundo Da Silva Barreto; Vicente Lucena Filho; Marcus Hilson Caxias; Carlos Maurício Seródio Figueiredo; Frontiers in Education Conference, 2009. Completo.

  83. Assessing the Communication Performance of Wireless Sensor Networks in Rainforests. Carlos Maurício Seródio Figueiredo; Eduardo Freire Nakamura; Afonso Ribas; Thales Ruano De Souza; Raimundo Da Silva Barreto; 2o. IFIP Wireless Days 2009, 2009. Completo.

  84. Geração Automática de Mutantes Baseada na Especificação para Construção de Casos de Testes em Sistemas Embarcados. César Rocha; Raimundo Da Silva Barreto; Simpósio em Sistemas Computacionais (WSCAD-SSC), 2009. Resumo_expandido.

  85. PESTI: A Probabilistic Tool for Energy Consumption and Execution-Time Estimation for ANSI C Embedded Systems. Carlos Augusto De Araújo Mar; Raimundo Da Silva Barreto; Meuse Nogueira De Oliveira Júnior; Edward David Moreno; IEEE International Conference on Industrial Technology, 2009. Completo.

  86. Uma Abordagem Baseada em Lógica para Escalonamento Offline de Sistemas Embarcados de Tempo Real Considerando o Tempo Adicional do Despachante. Osman Seixas Penha Júnior; Raimundo Da Silva Barreto; Concurso de Trabalhos de Iniciação Científica, 2008. Completo.

  87. Model to integration of RFID into Wireless Sensor Network for Tracking and Monitoring Animals. Daniel Patrick Pereira; Wanderson Roger Azevedo Dias; Marcus De Lima Braga; Raimundo Da Silva Barreto; Carlos Maurício Seródio Figueiredo; Virgínia Verônica Bezerra Biris Brilhante; IEEE International Conference on Computational Science and Engineering, 2008. Completo.

  88. On the use of X-machine Formal Model to Design Sensor Network Applications. Ruiter Braga Caldas; Raimundo Da Silva Barreto; Sérgio Vale Aguiar Campos; IEEE Symposium on Industrial Embedded Systems, 2008. Resumo.

  89. A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. Lucas Carvalho Cordeiro; Carlos Augusto De Araújo Mar; Eduardo Valentin; Fabiano Teixeira Cruz; Daniel Patrick De Oliveira; Raimundo Da Silva Barreto; Vicente Lucena Filho; Agility in the Software Process Workshop (ASP), 2008. Completo.

  90. ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. Fabiano Teixeira Cruz; Lucas Carvalho Cordeiro; Raimundo Da Silva Barreto; Paulo Romero Martins Maciel; Design, Automation, and Test in Europe, 2008. Completo.

  91. Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software. Fabiano Teixeira Cruz; Lucas Carvalho Cordeiro; Raimundo Da Silva Barreto; Paulo Romero Martins Maciel; 23rd Annual ACM Symposium on Applied Computing ? Real-Time Systems Track, 2008. Completo.

  92. Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. Mauro Teófilo; Lucas Carvalho Cordeiro; Raimundo Da Silva Barreto; José Raimundo Gomes Pereira; Ayres Mardem Nascimento; Pedro Freitas; Advances in Computer-Human Interaction (ACHI'2008), 2008. Completo.

  93. Modeling and Analysis of Flexible Manufacture Systems through Hierarchical and Colored Petri Nets. Marcelo Aguiar; Raimundo Da Silva Barreto; Ruiter Braga Caldas; João Edgar Chaves Filho; IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, 2008. Completo.

  94. Towards a Semiformal Development Methodology for Embedded Systems. Lucas Carvalho Cordeiro; Raimundo Da Silva Barreto; Meuse Nogueira De Oliveira Júnior; Intenational Conference on Evaluation of Novel Approaches to Software Engineering, 2008. Completo.

  95. Agile Development Methodology for Embedded Systems: A Platform-based Desing Approach. Lucas Carvalho Cordeiro; Raimundo Da Silva Barreto; Rafael Barcelos; Meuse Nogueira De Oliveira Júnior; Vicente Lucena Filho; Paulo Romero Martins Maciel; IEEE International Conference on the Engineering of Computer Based Systems, 2007. Completo.

  96. Applying Scrum and Organizational Patterns to Multi Site Software Development. Lucas Carvalho Cordeiro; Cristiano Becker; Raimundo Da Silva Barreto; SugarLoafPlop, 2007. Completo.

  97. A Logics-based Framework for Hard Real-Time Embedded Systems Scheduling. Marcelo Monteiro Custódio; Raimundo Da Silva Barreto; Ruiter Braga Caldas; José Francisco De Magalhães Netto; 9th Workshop on Real-Time Systems, 2007. Completo.

  98. CML: C Modeling Language. Frederico Oliveria Jr; Ricardo Massa Lima; Márcio Cornélio; Sérgio Soares; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel; Raimundo Da Silva Barreto; Meuse Nogueira De Oliveira Júnior; 11th Brazilian Symposium on Programming Languages, 2007. Completo.

  99. Analyzing Embedded Systems Software Performance and Energy Consumption by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. Meuse Nogueira De Oliveira Júnior; Silvino Neto; Paulo Romero Martins Maciel; Ricardo Massa Lima; Angelo Roncalli Ribeiro; Raimundo Da Silva Barreto; Eduardo Antonio Guimarães Tavares; Frederico Braga; 27th International Conference on Application and Theory of Petri Nets and Other Models of Councurrency, 2006. Completo.

  100. A Formal Modeling for Embedded Hard Real-Time Systems. Raimundo Da Silva Barreto; Paulo Romero Martins Maciel; Eduardo Antonio Guimarães Tavares; Marcelo Monteiro Custódio; Rômulo Devezas Freitas; Meuse Nogueira De Oliveira Júnior; 8th Brazilian Workshop on Real-Time Systems, 2006. Completo.

  101. Pre-Runtime Scheduling considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel; Meuse Nogueira De Oliveira Júnior; Bruno Souza; Raimundo Da Silva Barreto; Rômulo Devezas Freitas; Marcelo Monteiro Custódio; 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, 2006. Completo.

  102. An Automated Theorem Proving Method for Scheduling Embedded Hard Real-time Systems. Marcelo Monteiro Custódio; Raimundo Da Silva Barreto; Ruiter Braga Caldas; 27th IEEE Real-Time Systems Symposium (Work-in-Progress), 2006. Resumo.

  103. Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. Raimundo Da Silva Barreto; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel; Marília Litwak Neves; Meuse Nogueira De Oliveira Júnior; Leonardo Amorim; Arthur Bessa; Ricardo Massa Lima; International Embedded System Symposium (IESS'05), 2005. Completo.

  104. A Retargetable Environment for Power-Aware Code Exploration: An Approach Based on Coloured Petri Nets. Meuse Nogueira De Oliveira Júnior; Paulo Romero Martins Maciel; Angelo Roncalli Ribeiro; Adilson Arcoverde Júnior; Ricardo Massa Lima; Leonardo Amorim; Raimundo Da Silva Barreto; Eduardo Antonio Guimarães Tavares; International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'05), 2005. Completo.

  105. An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. Eduardo Antonio Guimarães Tavares; Raimundo Da Silva Barreto; Paulo Romero Martins Maciel; Meuse Nogueira De Oliveira Júnior; Ricardo Massa Lima; Adilson Arcoverde Júnior; Gabriel Alves Júnior; Arthur Bessa; International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'05), 2005. Completo.

  106. A Methodology for Mapping Live Sequence Chart to Coloured Petri Net. Leonardo Amorim; Paulo Romero Martins Maciel; Meuse Nogueira De Oliveira Júnior; Raimundo Da Silva Barreto; Eduardo Antonio Guimarães Tavares; IEEE Conference on Systems, Man and Cibernetics (SMC'05), 2005. Completo.

  107. A Time Petri Net-Based Approach for Embedded Hard Real-Time Software Synthesis with Multiple Operational Modes. Eduardo Antonio Guimarães Tavares; Raimundo Da Silva Barreto; Meuse Nogueira De Oliveira Júnior; Paulo Romero Martins Maciel; Leonardo Amorim; Ricardo Massa Lima; Arthur Bessa; 18th Symposium on Integrated Circuits and Systems Design, 2005. Completo.

  108. A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. Raimundo Da Silva Barreto; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel; Meuse Nogueira De Oliveira Júnior; Leonardo Amorim; Ricardo Massa Lima; Cesar Augusto De Carvalho; Carlos Alexandre Barros Mello; 17th International Symposium on Computer Architecture and High Performance Computing, 2005. Completo.

  109. A Methodology for Software Synthesis of Embedded Real-Time Systems Based On TPN and LSC. Leonardo Amorim; Raimundo Da Silva Barreto; Paulo Romero Martins Maciel; Eduardo Antonio Guimarães Tavares; Meuse Nogueira De Oliveira Júnior; Arthur Bessa; Ricardo Massa Lima; 2nd International Conference on Embedded Software and Systems, 2005. Completo.

  110. A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. Raimundo Da Silva Barreto; Sérgio Vanderlei Cavalcante; Paulo Romero Martins Maciel; 1st Int. Workshop on Embedded Computing Systems, em conjunto com 24th Int. Conf. on Distributed Computing Systems, 2004. Completo.

  111. Pre-Runtime Scheduling for Embedded Hard Real-Time Systems Using Time Petri Nets. Raimundo Da Silva Barreto; Paulo Romero Martins Maciel; Meuse Nogueira De Oliveira Júnior; International Conference on Design, Analysis, and Simulation of Distributed Systems (DASD'04), 2004. Completo.

  112. A Software Power Cost Analysis based on Colored Petri Net. Meuse Nogueira De Oliveira Júnior; Paulo Romero Martins Maciel; Raimundo Da Silva Barreto; Fernando Ferreira De Carvalho; Workshop on Token-Based Computing (TOBACO), 2004. Completo.

  113. A Novel Approach for Off-line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. Raimundo Da Silva Barreto; Paulo Romero Martins Maciel; Marília Litwak Neves; Eduardo Antonio Guimarães Tavares; Ricardo Massa Lima; IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES), 2004. Completo.

  114. Towards A Software Power Cost Analysis Framework Using Colored Petri Net. Meuse Nogueira De Oliveira Júnior; Paulo Romero Martins Maciel; Raimundo Da Silva Barreto; Fernando Ferreira De Carvalho; 14th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'2004), 2004. Completo.

  115. EZPetri: A Petri net interchange framework for Eclipse based on PNML. Adilson Arcoverde Júnior; Gabriel Alves Júnior; Ricardo Massa Lima; Paulo Romero Martins Maciel; Meuse Nogueira De Oliveira Júnior; Raimundo Da Silva Barreto; 1st International Symposium on Leveraging Applications of Formal Method (ISoLA'04), 2004. Completo.

  116. Embedded Hard Real-Time Systems Scheduling: An Unmanned Ground Vehicle Case Study. Raimundo Da Silva Barreto; Marília Litwak Neves; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel; I Workshop de Sistemas Operacionais, 2004. Completo.

  117. A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems. Raimundo Da Silva Barreto; Meuse Nogueira De Oliveira Júnior; Marília Litwak Neves; Eduardo Antonio Guimarães Tavares; Paulo Romero Martins Maciel; Ricardo Massa Lima; 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004), 2004. Completo.

  118. An Approach for Pre-Runtime Scheduling in Embedded Hard Real-Time Systems with Power Constraints. Eduardo Antonio Guimarães Tavares; Raimundo Da Silva Barreto; Meuse Nogueira De Oliveira Júnior; Marília Litwak Neves; Paulo Romero Martins Maciel; Ricardo Massa Lima; 16th Brazilian Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2004), 2004. Completo.

  119. A Reconfigurable Architecture for Multi-Context Application. Manoel Eusébio Lima; Remy Eskinazi Santana; Abel Silva Filho; Abner Barros; Paulo Abadie Guedes; Julio Oliveira Filho; Raimundo Da Silva Barreto; Claudianne Rabelo; 3rd International Conference on Engineering and Computer Education,, 2003. Completo.

  120. A Modeling Methodology and Scheduler Synthesis for Embedded Real-Time Software. Raimundo Da Silva Barreto; Paulo Romero Martins Maciel; Sérgio Vanderlei Cavalcante; SBAC-PAD'2003, 2003. Completo.

  121. A Implementação de uma Arquitetura de Suporte à Alta Diponibilidade de Objetos. Raimundo Da Silva Barreto; Claudionor Coelho Jr; Antonio Otávio Fernandes; X SBAC-PAD, 1998. Completo.

Artigos Publicados em Periódicos (29)

  1. A Model-based BLE Indoor Positioning System using Particle Swarm Optimization. Assayag, Yuri; Oliveira, HorÁcio; Souto, Eduardo; Raimundo Da Silva Barreto; Pazzi, Richard; IEEE SENSORS JOURNAL,

  2. Embedded Restricted Boltzmann Machine Approach for Adjustments of Repetitive Physical Activities Using IMU Data. Alencar, MÁrcio; Raimundo Da Silva Barreto; Oliveira, HorÁcio; Souto, Eduardo; IEEE Embedded Systems Letters,

  3. Adaptive Path Loss Model for BLE Indoor Positioning System. Assayag, Yuri; Oliveira, HorÁcio; Souto, Eduardo; Raimundo Da Silva Barreto; Pazzi, Richard; IEEE Internet of Things Journal,

  4. An Online Method for Supporting and Monitoring Repetitive Physical Activities Based on Restricted Boltzmann Machines. Alencar, Marcio; Raimundo Da Silva Barreto; Souto, Eduardo; Oliveira, Horacio; JOURNAL OF SENSOR AND ACTUATOR NETWORKS,

  5. A survey of Model Driven Engineering in robotics. De AraÚjo Silva, Edson; Valentin, Eduardo; Carvalho, Jose Reginaldo Hughes; Raimundo Da Silva Barreto; Journal of Computer Languages,

  6. Um Método Baseado na Teoria da Resposta ao Item para Avaliação e Feedback Automático no Contexto de Educação Digital. Monteiro, Edwin Juan Lopes Barboza; LeitÃo, Gabriel De Souza; Raimundo Da Silva Barreto; Revista Brasileira de Informática na Educação (RBIE),

  7. Indoor Positioning System Using Synthetic Training and Data Fusion. Assayag, Yuri; Oliveira, Horacio; Souto, Eduardo; Raimundo Da Silva Barreto; Pazzi, Richard; IEEE Access,

  8. Robust RSSI-based Indoor Positioning System using K-Means Clustering and Bayesian Estimation. Pinto, Braulio; Raimundo Da Silva Barreto; Souto, Eduardo; Oliveira, Horacio; IEEE SENSORS JOURNAL,

  9. Desenvolvimento de uma aplicação educativa para o ensino de rotinas diárias e quebra de rotinas a crianças Autistas. Melo, AÚrea; Victor Yan Pereira E Lima; Oran Fonseca Souza, Carla; Castro, Rhayssa; Souza Teodoro, Giovanna; Raimundo Da Silva Barreto; Rivero, Luis; RENOTE. REVISTA NOVAS TECNOLOGIAS NA EDUCAÇÃO,

  10. DARE: A decentralized association rules extraction scheme for embedded data sets in distributed IoT devices. Márcio André Da Costa Alencar; Raimundo Da Silva Barreto; Horácio Antonio Braga Fernandes Oliveira; Eduardo James Pereira Souto; Pazzi, Richard W.; International Journal of Distributed Sensor Networks,

  11. Indoor Positioning System Using Dynamic Model Estimation. Assayag, Yuri; Oliveira, HorÁcio; Souto, Eduardo; Raimundo Da Silva Barreto; Pazzi, Richard; SENSORS,

  12. Uso de Learning Analytics sobre dados de simulados para apoio à avaliação da aprendizagem por professores e gestores. Adelson Menezes Portela; Gabriel De Souza Leitão; Raimundo Da Silva Barreto; Elaine Harada Teixeira De Oliveira; RENOTE. REVISTA NOVAS TECNOLOGIAS NA EDUCAÇÃO,

  13. Localization Prediction in Vehicular Ad Hoc Networks. Balico, Leandro N.; Loureiro, Antonio A. F.; Nakamura, Eduardo F.; Raimundo Da Silva Barreto; Pazzi, Richard W.; Oliveira, Horacio A. B. F.; IEEE Communications Surveys and Tutorials,

  14. Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. Valentin, Eduardo; De Freitas, Rosiane; Raimundo Da Silva Barreto; SCIENCE OF COMPUTER PROGRAMMING,

  15. Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. Valentin, Eduardo Bezerra; De Freitas, Rosiane; Raimundo Da Silva Barreto; Procedia Computer Science,

  16. Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV:2012 e pelo MR-MPS-SV:2015. Marcos André Fernandes Spósito; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; iSys: Revista Brasileira de Sistemas de Informação,

  17. ProAut: Um Processo para Apoio de Projetos de Interface de Produtos de Software para Crianças Autista. Áurea Hileia Melo; Raimundo Da Silva Barreto; Tayana Uchôa Conte; Cadernos de Informática (UFRGS),

  18. Cobertura do Alinhamento Estratégico de TI e Negócios das Organizações pelo MR-MPS-SV:2012 e pelo MR-MPS-SV:2015. SpÓsito, Marcos AndrÉ Fernandes; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; iSys: Revista Brasileira de Sistemas de Informação,

  19. Characterizing Usability Inspection Methods through the Analysis of a Systematic Mapping Study Extension. Luis Rivero; Raimundo Da Silva Barreto; Tayana Uchôa Conte; CLEI Electronic Journal,

  20. Relevant Organizational Values in the Implementation of Software Process Improvement Initiatives. Odette Mestrinho Passos; Arilo Claudio Dias Neto; Raimundo Da Silva Barreto; CLEI Electronic Journal,

  21. Organizational Culture and Success in SPI Initiatives. Odette Mestrinho Passos; Arilo Cláudio Dias Neto; Raimundo Da Silva Barreto; IEEE Software,

  22. Architectural Characterization and Code Compression in Embedded Processors. Azevedo Dias, Wanderson Roger; Moreno, Edward David; Raimundo Da Silva Barreto; Revista IEEE América Latina,

  23. A Time Petri Net-based Method for Embedded Hard Real-Time Software Synthesis. Raimundo Da Silva Barreto; Paulo Romero Martins Maciel; Eduardo Antonio Guimarães Tavares; Rômulo Devezas Freitas; Meuse Nogueira De Oliveira Júnior; Ricardo Massa Lima; Design Automation for Embedded Systems,

  24. Uma abordagem baseada em lógica para escalonamento offline de sistemas embarcados de tempo real considerando o tempo adicional do despachante. Osman Seixas Penha Júnior; Raimundo Da Silva Barreto; REIC. Revista Eletrônica de Iniciação Científica,

  25. An agile development methodology applied to embedded control software under stringent hardware constraints. Lucas Carvalho Cordeiro; Carlos Augusto De Araújo Mar; Eduardo Valentin; Fabiano Teixeira Cruz; Raimundo Da Silva Barreto; Vicente Lucena Filho; SOFTWARE ENGINEERING NOTES,

  26. Software synthesis for hard real-time embedded systems with multiple processors. Tavares, Eduardo; Raimundo Da Silva Barreto; Maciel, Paulo; Oliveira, Meuse; Amorim, Leonardo; Rocha, Fernando; Lima, Ricardo; Software Engineering Notes,

  27. CML: C Modeling Language. Frederico Oliveria Jr; Ricardo Massa Lima; Márcio Cornélio; Sérgio Soares; Paulo Romero Martins Maciel; Raimundo Da Silva Barreto; Meuse Nogueira De Oliveira Júnior; Eduardo Antonio Guimarães Tavares; JOURNAL OF UNIVERSAL COMPUTER SCIENCE,

  28. TXM: an Agile HW/SW Development Methodology for Building Medical Devices. Lucas Carvalho Cordeiro; Raimundo Da Silva Barreto; Rafael Barcelos; Meuse Nogueira De Oliveira Júnior; Vicente Lucena Filho; Paulo Romero Martins Maciel; Software Engineering Notes,

  29. Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. Amorim, Leonardo; Maciel, Paulo; Nogueira, Meuse; Raimundo Da Silva Barreto; Tavares, Eduardo; Software Engineering Notes,

Livros Publicados (1)

  1. International Journal of Embedded Systems - Special Issue on Critical and Real-Time Embedded Systems. 2016.

Capítulos de Livros Publicados (4)

  1. Experiências com o uso da computação desplugada com base em peças teatrais na educação básica do Estado do Amazonas. Computação na Educação Básica: Fundamentos e Experiências, 2020.

  2. Designing Distributed Real-Time Systems to Process Complex Control Workload in the Energy Industry. Studies in Systems, Decision and Control, 2018.

  3. Model Checking Embedded C Software Using k-Induction and Invariants. Embedded Software Verification and Debugging, 2017.

  4. Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context. Communications in Computer and Information Science, 2016.