Plataforma CpE

Busque por temas e encontre especialistas

Raimundo Da Silva Barreto

Dados pessoais

  • HS Health Sciences
  • LS Life Sciences
  • MU Multidisciplinary
  • PS Physical Sciences
  • SH Social Sciences & Humanities
# Nome Links Grande Área Área
1 Davi Viana Dos SANTOS Ciências Exatas e da Terra Ciência da Computação
2 Elaine Harada Teixeira De OLIVEIRA Ciências Exatas e da Terra Ciência da Computação
3 José Francisco De Magalhães NETTO Ciências Exatas e da Terra Ciência da Computação
4 Tayana Uchôa CONTE Ciências Exatas e da Terra Ciência da Computação
Figura 1. Número de publicações por ano e por tipo, considerando todas as publicações.
  1. Physical Sciences Computer Science Applications
    Ricardo Nogueira Miranda FILHO; Fernando Vitor Ventilari NEDER; Jônatas Lima Magalhães De AZEVEDO; Larissa Da Silva PESSOA; Rosiane De Freitas RODRIGUES et al. 2023. Análise comparativa entre linguagens de programação em sistemas embarcados móveis android. In: Simpósio brasileiro de linguagens de programação. Brasil.
  2. Physical Sciences Artificial Intelligence
    Maely Da Silva MORAES; Gabriel De Souza LEITÃO; Áurea Hiléia Da Silva MELO; Raimundo Da Silva BARRETO. 2023. Educational data analysis: a study for personalized feedback purposes. In: Simpósio brasileiro de informática na educação. Brasil.
  3. Physical Sciences Computer Science (miscellaneous)
    Souza ELIAN; Monteiro EDWIN; Raimundo Da Silva BARRETO; Defreitas ROSIANE. 2022. A context-aware automatic smartphone reconfiguration. In: 2022 ieee international conference on consumer electronics (icce). Brasil.
  4. Physical Sciences Computer Science (miscellaneous)
    Áurea Hileia MELO; Ana Carolina Oran ROCHA; Jonathas SANTOS; Sergio TAMAYO; Davi Viana Dos SANTOS et al. 2022. 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. Brasil.
  5. Social Sciences & Humanities Education
    Edwin Juan Lopes Barboza MONTEIRO; Raimundo Da Silva BARRETO. 2022. 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. Brasil.
  6. Physical Sciences Computer Science (miscellaneous)
    Francisco Gabriel Teixeira MARINHO; Raimundo Da Silva BARRETO. 2022. 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. Brasil.
  7. Physical Sciences Computer Science (miscellaneous)
    Francisco Fagner Do Rego CUNHA; Eulanda Miranda SANTOS; Raimundo Da Silva BARRETO; Juan Gabriel COLONNA. 2021. Filtering empty camera trap images in embedded systems. In: Mobile ai workshop and challenges at cvpr 2021. Estados Unidos.
  8. Physical Sciences Computer Science (miscellaneous)
    Áurea Hileia MELO; Ana Carolina ORAN; Jonathas Silva Dos SANTOS; Luis Jorge Enrique Rivero CABREJOS; Raimundo Da Silva BARRETO. 2021. Acf: an autistic personas? characteristics source to develop empathy in software development teams. In: 23rd international conference on human-computer interaction. Estados Unidos.
  9. Physical Sciences Computer Science Applications
    Áurea Hileia MELO; Jonathas Silva Dos SANTOS; Ana Carolina ORAN; Raimundo Da Silva BARRETO; Luis Jorge Enrique Rivero CABREJOS. 2021. 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. Brasil.
  10. Physical Sciences Computer Science (miscellaneous)
    Dayanne GOMES; Nathasha PINTO; Áurea Hileia MELO; Ivana Márcia MAIA; Anselmo Cardoso De PAIVA et al. 2021. 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. Brasil.
  11. Physical Sciences Computer Science Applications
    Monteiro EDWIN; Kelvinn Da Silva Nunes PEREIRA; Raimundo Da Silva BARRETO. 2020. Modeling and automatic code generation tool for teaching concurrent and parallel programming by finite state processes. In: International conference on computational science. Holanda.
  12. Social Sciences & Humanities Education
    Áurea Hileia MELO; Luis RIVERO; Jonathas Silva Dos SANTOS; Raimundo Da Silva BARRETO. 2020. Empathyaut: an empathy map for people with autism. In: Xix simpósio brasileiro sobre fatores humanos em sistemas computacionais (ihc 2020). Brasil.
  13. Social Sciences & Humanities Education
    Áurea Hileia MELO; Luis RIVERO; Jonathas Silva Dos SANTOS; Raimundo Da Silva BARRETO. 2020. Personaut: a personas model for people with autism spectrum disorder. In: Xix simpósio brasileiro sobre fatores humanos em sistemas computacionais (ihc 2020). Brasil.
  14. Social Sciences & Humanities Education
    Lucas Luis De Souza BARRETO; Monteiro EDWIN; Gabriel LEITÃO; Thays Karoline Araújo BENTES; Raimundo Da Silva BARRETO. 2020. 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). Brasil.
  15. Physical Sciences Computer Science (miscellaneous)
    Márcio André Da Costa ALENCAR; Raimundo Da Silva BARRETO; Horácio Antonio Braga Fernandes OLIVEIRA; Eduardo James Pereira SOUTO; Richard W PAZZI. 2020. 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. Brasil.
  16. Physical Sciences Computer Science (miscellaneous)
    Francisco Gabriel Teixeira MARINHO; Edwin Juan Lopes Barboza MONTEIRO; Raimundo Da Silva BARRETO. 2020. Uprobotics: robótica educacional utilizando linguagem visual baseada em blocos. In: Simpósio brasileiro de engenharia de sistemas computacionais. Brasil.
  17. Physical Sciences Artificial Intelligence
    Herbert Oliveira ROCHA; Rafael MENEZES; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO. 2020. Map2check: using symbolic execution and fuzzing. In: International conference on tools and algorithms for the construction and analysis of systems. Irlanda.
  18. Physical Sciences Computer Science (miscellaneous)
    Manoel José De Souza JÚNIOR; Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO. 2019. Iot assistant for people with visual impairment in edge computing. In: 6th international embedded systems symposium. Alemanha.
  19. Physical Sciences Computer Science (miscellaneous)
    Manoel José De Souza JÚNIOR; Orlewilson Bentes MAIA; Horácio Antonio Braga Fernandes OLIVEIRA; Eduardo James Pereira SOUTO; Raimundo Da Silva BARRETO. 2019. Assistive technology through internet of things and edge computing. In: Ieee 9th international conference on consumer electronics. Alemanha.
  20. Physical Sciences Computer Science (miscellaneous)
    Lucas Simões De AMORIM; Márcio André Da Costa ALENCAR; Raimundo Da Silva BARRETO. 2019. Tiny thing blocks: integrating everyday objects into iot context. In: Simpósio brasileiro de engenharia de sistemas computacionais. Brasil.
  21. Physical Sciences Computer Science Applications
    Everton Lima ALEIXO; Juan COLONNA; Raimundo Da Silva BARRETO. 2019. Svc-a2c - actor critic algorithm to improve smart vacuum cleaner. In: Simpósio brasileiro de engenharia de sistemas computacionais. Brasil.
  22. Social Sciences & Humanities Education
    Gabriel LEITÃO; Raimundo Da Silva BARRETO. 2019. É possível recomendar objetos de aprendizagem físico-virtuais?. In: Workshop de desafios da computação aplicada à educação. Brasil.
  23. Physical Sciences Computer Science Applications
    Elpidio Holanda JUNIOR; Lucas CRUZ; Vandermi João Da SILVA; Raimundo Da Silva BARRETO; Vicente Ferreira De Lucena FILHO et al. 2018. I-jack: wearable system for collection and evaluation physiological data. In: Ieee international conference on consumer electronics. Estados Unidos.
  24. Physical Sciences Computer Science (miscellaneous)
    Rafael MENEZES; Herbert Oliveira ROCHA; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO. 2018. Map2check using llvm and klee. In: 24th international conference on tools and algorithms for the construction and analysis of systems. Grécia.
  25. Physical Sciences Computer Science Applications
    Luciano SILVA; Elpidio Holanda JUNIOR; Kayque CARNEIRO; Johthema MATOS; Anacília Cavalcante VIEIRA et al. 2018. Tellus ? greenhouse irrigation automation system. In: Workshop on communications in critical embedded systems. Brasil.
  26. Physical Sciences Computer Science (miscellaneous)
    Gabriel LEITÃO; Valentin Eduardo BEZERRA; Elaine Harada Teixeira De OLIVEIRA; Raimundo Da Silva BARRETO. 2018. Survey on pedagogical resources recommendation using cognitive computing systems. In: Frontiers in education. Estados Unidos.
  27. Social Sciences & Humanities Education
    Batista Romário LIRA; Salgado NILMARA; Raimundo Da Silva BARRETO. 2018. 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). Brasil.
  28. Physical Sciences Information Systems
    Monteiro EDWIN; Rivero LUIS; Raimundo Da Silva BARRETO. 2018. 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). Brasil.
  29. Physical Sciences Computer Science (miscellaneous)
    Áurea Hileia MELO; Clara FERNANDES; Marco JARDIM; Raimundo Da Silva BARRETO. 2017. 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). Brasil.
  30. Life Sciences Physiology
    Elpidio Holanda JUNIOR; Lucas CRUZ; Gustavo SILVA; Raimundo Da Silva BARRETO; Vandermi João Da SILVA. 2017. 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). Brasil.
  31. Physical Sciences Computer Science (miscellaneous)
    Pinheiro DIEGO; Goncalves RAWLINSON; Valentin EDUARDO; Oliveira HORACIO; Raimundo Da Silva BARRETO. 2017. Inserting dvfs code in hard real-time system tasks. In: 2017 vii brazilian symposium on computing systems engineering (sbesc). Brasil.
  32. Physical Sciences Computer Science (miscellaneous)
    Anderson De Araújo CRUZ; Juan COLONNA; Gabriel LEITÃO; Edson De Araújo SILVA; Raimundo Da Silva BARRETO et al. 2017. 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. Brasil.
  33. Social Sciences & Humanities Education
    Priscilla Batista Do NASCIMENTO; Raimundo Da Silva BARRETO; Tiagothompsen PRIMO; Tammy Hikari Yanai GUSMÃO; Elaine Harada Teixeira De OLIVEIRA. 2017. 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. Brasil.
  34. Physical Sciences Computer Science (miscellaneous)
    Melo AUREA; Santos JONATHAS; Rivero LUIS; Raimundo Da Silva BARRETO. 2017. Searching for preferences of autistic children to support the design of user interfaces. In: Ihc 2017: brazilian symposium on human factors in computing systems. Brasil.
  35. Social Sciences & Humanities Business, Management and Accounting (miscellaneous)
    Marcos André Fernandes SPÓSITO; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO. 2016. Business-it alignment research field - a systematic literature review. In: International conference on enterprise information systems. Itália.
  36. Physical Sciences Computer Science (miscellaneous)
    Moysés Mendes De LIMA; Horácio Antonio Braga Fernandes OLIVEIRA; Nakamura Eduardo F; Raimundo Da Silva BARRETO; Daniel Ludovico GUIDONI. 2016. 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. Brasil.
  37. Physical Sciences Computer Networks and Communications
    Rawlinson Da Silva GONÇALVES; Diego Quintana PINHEIRO; Valentin EDUARDO; Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO. 2016. 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. Grécia.
  38. Physical Sciences Artificial Intelligence
    Bentes LARISSA; Rocha HERBERT; Valentin EDUARDO; Raimundo Da Silva BARRETO. 2016. Jfortes: java formal unit test generation. In: 2016 vi brazilian symposium on computing systems engineering (sbesc). Brasil.
  39. Physical Sciences Computer Science (miscellaneous)
    Valentin EDUARDO; Freitas Rosiane DE; Raimundo Da Silva BARRETO. 2016. 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). Brasil.
  40. Physical Sciences Artificial Intelligence
    Anderson De Araújo CRUZ; Gabriel LEITÃO; Raimundo Da Silva BARRETO; Tiagothompsen PRIMO; Fernando KOCH. 2016. Emotion recognition based on physiological sensors and machine learning techniques. In: International symposium on perception; action; and cognitive systems. Coréia Do Sul.
  41. Health Sciences Medicine (miscellaneous)
    Ribeiro ERICK; Bentes LARISSA; Cruz ANDERSON; Leitao GABRIEL; Raimundo Da Silva BARRETO et al. 2016. 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). Alemanha.
  42. Health Sciences Medicine (miscellaneous)
    Silva Vandermi J; Rodrigues Marlos A S; Raimundo Da Silva BARRETO; Ferreira De Lucena VICENTE. 2016. Ubmed: a ubiquitous system for monitoring medication adherence. In: 2016 ieee 18th international conference on ehealth networking; applications and services (healthcom). Alemanha.
  43. Physical Sciences Computer Science Applications
    Ayres Larissa MAIA; Marques Anna BEATRIZ; Raimundo Da Silva BARRETO; Conte TAYANA. 2016. 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. Brasil.
  44. Physical Sciences Computer Science Applications
    Balico Leandro N; Oliveira Horacio A B F; Nakamura Eduardo F; Raimundo Da Silva BARRETO; Loureiro Antonio A F. 2015. Routing and data aggregation toward a high speed sink in wireless sensor networks. In: 2015 international conference on distributed computing in sensor systems (dcoss). Brasil.
  45. Physical Sciences Computer Science (miscellaneous)
    Leandro Nelinho BALICO; Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO; Antonio Alfredo Ferreira LOUREIRO; Richard W PAZZI. 2015. A prediction-based routing algorithm for vehicular ad hoc networks. In: 2015 ieee symposium on computers and communications. Chipre.
  46. Physical Sciences Artificial Intelligence
    Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO. 2015. Memory management test-case generation of c programs using bounded model checking. In: 13th international conference on software engineering and formal methods. Grã-Bretanha.
  47. Physical Sciences Computer Science (miscellaneous)
    Marcos André Fernandes SPÓSITO; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO. 2015. 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. Brasil.
  48. Physical Sciences Computer Science (miscellaneous)
    Rocha HERBERT; Ismail HUSSAMA; Cordeiro LUCAS; Raimundo Da Silva BARRETO. 2015. Model checking embedded c software using k-induction and invariants. In: 2015 brazilian symposium on computing systems engineering (sbesc). Brasil.
  49. Life Sciences Neuroscience (miscellaneous)
    Rawlinson Da Silva GONÇALVES; Raimundo Da Silva BARRETO. 2015. 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. Brasil.
  50. Social Sciences & Humanities Education
    Gabriel LEITÃO; Juan COLONNA; Erick RIBEIRO; Raimundo Da Silva BARRETO; Andrew KOSTER et al. 2015. Experimental evaluation on machine learning techniques for human activities recognition in digital education context. In: Workshop on social computing in digital education. Estados Unidos.
  51. Social Sciences & Humanities Education
    Erick RIBEIRO; Gabriel LEITÃO; Juan COLONNA; Raimundo Da Silva BARRETO; Andrew KOSTER et al. 2015. 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. Brasil.
  52. Social Sciences & Humanities Education
    Juliana NASCIMENTO; Daniel XAVIER; Odette Mestrinho PASSOS; Raimundo Da Silva BARRETO. 2015. 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. Brasil.
  53. Life Sciences Neuroscience (miscellaneous)
    José Alberto Pacífico Da Silva FILHO; Erick RIBEIRO; Larissa Maia AYRES; Rawlinson Da Silva GONÇALVES; Raimundo Da Silva BARRETO. 2015. 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. Brasil.
  54. Physical Sciences Artificial Intelligence
    Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO. 2015. 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. Holanda.
  55. Social Sciences & Humanities Education
    Cláudia Rejane GOMES; Odette Mestrinho PASSOS; Marcos André Fernandes SPÓSITO; Raimundo Da Silva BARRETO; Arilo Claudio Dias NETO. 2015. 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). Brasil.
  56. Social Sciences & Humanities Education
    Larissa Lorena Evangelista NEVES; Guibson Moreira SOUZA; Allan BEZERRA; Raimundo Da Silva BARRETO; Arilo Claudio Dias NETO. 2015. 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). Chile.
  57. Physical Sciences Computer Networks and Communications
    Valentin EDUARDO; Salvatierra MARIO; De Freitas ROSIANE; Raimundo Da Silva BARRETO. 2015. 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). Brasil.
  58. Life Sciences Neuroscience (miscellaneous)
    Valentin EDUARDO; Carvalho Jose Reginaldo HUGHES; Raimundo Da Silva BARRETO. 2015. Rapid improvement of students' soft-skills based on an agile-process approach. In: 2015 ieee frontiers in education conference (fie). Estados Unidos.
  59. Physical Sciences Computer Science (miscellaneous)
    Marco Aurélio Dos SANTOS; Jacilane De Holanda RABELO; Raimundo Da Silva BARRETO; Tayana Uchôa CONTE. 2014. Persona security: a technique for supporting the elicitation of security requirements. In: International conference on software engineering and knowledge engineering. Canadá.
  60. Physical Sciences Computer Science (miscellaneous)
    Bezerra Daniella RODRIGUES; Raimundo Da Silva BARRETO. 2014. 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). Brasil.
  61. Physical Sciences Computer Science (miscellaneous)
    Daniella Rodrigues BEZERRA; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO. 2014. 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. Canadá.
  62. Physical Sciences Computer Science (miscellaneous)
    Leandro Nelinho BALICO; Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO; Eduardo Freire NAKAMURA; Antonio Alfredo Ferreira LOUREIRO. 2013. 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. Brasil.
  63. Physical Sciences Computer Science (miscellaneous)
    Odette Mestrinho PASSOS; Arilo Cláudio Dias NETO; Raimundo Da Silva BARRETO. 2013. 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. Brasil.
  64. Physical Sciences Computer Science (miscellaneous)
    Anacília Cavalcante VIEIRA; Odette Mestrinho PASSOS; Raimundo Da Silva BARRETO. 2013. Um relato de experiência do uso da técnica computação desplugada. In: Workshop de educação em computação. Brasil.
  65. Physical Sciences Computer Science Applications
    Leandro Nelinho BALICO; Horácio Antonio Braga Fernandes OLIVEIRA; Eduardo Freire NAKAMURA; Raimundo Da Silva BARRETO; Antonio Alfredo Ferreira LOUREIRO. 2013. Routing and data aggregation toward a high speed sink in wireless sensor networks. In: Ieee conference on local computer networks. Austrália.
  66. Physical Sciences Computer Science (miscellaneous)
    Odette Mestrinho PASSOS; Arilo Cláudio Dias NETO; Raimundo Da Silva BARRETO. 2013. Uma investigação sobre a relevância de valores organizacionais em iniciativas de melhoria de processo de software. In: Ix workshop anual do mps. Brasil.
  67. Social Sciences & Humanities Psychology (miscellaneous)
    Freitas ROMULO; Raimundo Da Silva BARRETO; Maciel PAULO. 2013. 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). Brasil.
  68. Physical Sciences Computer Science Applications
    David Abrahan COHEN; Raimundo Da Silva BARRETO; Horácio Antonio Braga Fernandes OLIVEIRA; Lucas Carvalho CORDEIRO. 2012. A car racing based strategy for the dynamic voltage and frequency scaling technique. In: Ieee international symposium on industrial electronics. China.
  69. Physical Sciences Computer Science (miscellaneous)
    Odette Mestrinho PASSOS; Arilo Cláudio Dias NETO; Raimundo Da Silva BARRETO. 2012. Assessing the relevance of organizational culture in software process improvement initiatives. In: Congresso ibero-americano em engenharia de software. Argentina.
  70. Physical Sciences Computer Science (miscellaneous)
    Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO; Arilo Cláudio Dias NETO. 2012. Understanding programming bugs in ansi-c software using bounded model checking counter-examples. In: 9th international conference on integrated formal methods. Itália.
  71. Physical Sciences Computer Science (miscellaneous)
    Wanderson Roger Azevedo DIAS; Edward David MORENO; Raimundo Da Silva BARRETO. 2011. 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). Austrália.
  72. Physical Sciences Computer Science (miscellaneous)
    Ruiter Braga CALDAS; Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO; Sérgio Vale Aguiar CAMPOS. 2011. A formal method for modeling; verification and synthesis of embedded reactive systems. In: Iadis applied computing. Brasil.
  73. Physical Sciences Computer Science (miscellaneous)
    Raimundo Da Silva BARRETO; Lucas Carvalho CORDEIRO; Bernd FISCHER. 2011. Verifying embedded c software with timing constraints using an untimed bounded model checker. In: Xiii workshop de sistemas de tempo real. Brasil.
  74. Social Sciences & Humanities Education
    Everton Gualberto CUNHA; Marcelo Monteiro CUSTÓDIO; Herbert Oliveira ROCHA; Raimundo Da Silva BARRETO. 2011. Formal verification of uml sequence diagrams in the embedded systems context. In: Ii workshop de sistemas embarcados. Brasil.
  75. Physical Sciences Computer Science (miscellaneous)
    Wanderson Roger Azevedo DIAS; Edward David MORENO; Raimundo Da Silva BARRETO. 2011. Instruction compression in runtime for embedded systems. In: Xii simpósio em sistemas computacionais de alto desempenho. Brasil.
  76. Physical Sciences Computer Science (miscellaneous)
    Wanderson Roger Azevedo DIAS; Edward David MORENO; Raimundo Da Silva BARRETO. 2010. Mic: a new compression method of instructions in hardware for embedded systems. In: Southern conference on programmable logic conference. Brasil.
  77. Physical Sciences Computer Science (miscellaneous)
    Eduardo VALENTIN; Raimundo Da Silva BARRETO. 2010. Smartenum: a branch-and-bound algorithm for optimum frequency set establishment in real-time dvfs. In: Workshop on real-time and embedded systems. Brasil.
  78. Physical Sciences Computer Science Applications
    Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO; Awdren FONTÃO; Eduardo Freire NAKAMURA; Antonio Alfredo Ferreira LOUREIRO. 2010. 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. Brasil.
  79. Physical Sciences Computer Science Applications
    Horácio Antonio Braga Fernandes OLIVEIRA; Raimundo Da Silva BARRETO; Awdren FONTÃO; Eduardo Freire NAKAMURA; Antonio Alfredo Ferreira LOUREIRO. 2010. A novel greedy forward algorithm for routing data toward a high speed sink in wireless sensor networks. In: International conference on computer communication networks. Suiça.
  80. Physical Sciences Artificial Intelligence
    Herbert Oliveira ROCHA; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; José Francisco De Magalhães NETTO. 2010. Exploiting safety properties in bounded model checking for test cases generation of c programs. In: Sast. Brasil.
  81. Physical Sciences Computer Science Applications
    Luciano PINTO; Ricardo Erikson ROSA; Cristiane Pachero REIS; Christophe Lima XAVIER; Raimundo Da Silva BARRETO et al. 2009. On the use of scrum for the management of practical projects in graduate courses. In: Frontiers in education conference. Estados Unidos.
  82. Physical Sciences Computer Science Applications
    Carlos Maurício Seródio FIGUEIREDO; Eduardo Freire NAKAMURA; Afonso RIBAS; Thales Ruano De SOUZA; Raimundo Da Silva BARRETO. 2009. Assessing the communication performance of wireless sensor networks in rainforests. In: 2o. ifip wireless days 2009. Estados Unidos.
  83. Physical Sciences Computer Science (miscellaneous)
    César ROCHA; Raimundo Da Silva BARRETO. 2009. 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). Brasil.
  84. Physical Sciences Artificial Intelligence
    Carlos Augusto De Araújo MAR; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Edward David MORENO. 2009. Pesti: a probabilistic tool for energy consumption and execution-time estimation for ansi c embedded systems. In: Ieee international conference on industrial technology. Austrália.
  85. Physical Sciences Computer Science (miscellaneous)
    Lucas Carvalho CORDEIRO; Carlos Augusto De Araújo MAR; Eduardo VALENTIN; Fabiano Teixeira CRUZ; Daniel Patrick De OLIVEIRA et al. 2008. A platform-based software design methodology for embedded control systems: an agile toolkit. In: Agility in the software process workshop (asp). Irlanda Do Norte.
  86. Physical Sciences Computer Science (miscellaneous)
    Fabiano Teixeira CRUZ; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL. 2008. Ezrealtime: a domain-specific modeling tool for embedded hard real-time software synthesis. In: Design; automation; and test in europe. Alemanha.
  87. Physical Sciences Computer Science Applications
    Fabiano Teixeira CRUZ; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL. 2008. 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. Brasil.
  88. Physical Sciences Computer Science Applications
    Mauro TEÓFILO; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; José Raimundo Gomes PEREIRA; Ayres Mardem NASCIMENTO et al. 2008. Mandos: a user interaction method in embedded applications for mobile telephony. In: Advances in computer-human interaction (achi'2008). Martinica.
  89. Physical Sciences Computer Science (miscellaneous)
    Marcelo AGUIAR; Raimundo Da Silva BARRETO; Ruiter Braga CALDAS; João Edgar Chaves FILHO. 2008. Modeling and analysis of flexible manufacture systems through hierarchical and colored petri nets. In: Ieee international conference on industrial technology. China.
  90. Physical Sciences Computer Science (miscellaneous)
    Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR. 2008. Towards a semiformal development methodology for embedded systems. In: Intenational conference on evaluation of novel approaches to software engineering. Portugal.
  91. Physical Sciences Computer Science (miscellaneous)
    Osman Seixas Penha JÚNIOR; Raimundo Da Silva BARRETO. 2008. 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. Brasil.
  92. Physical Sciences Computer Science Applications
    Daniel Patrick PEREIRA; Wanderson Roger Azevedo DIAS; Marcus De Lima BRAGA; Raimundo Da Silva BARRETO; Carlos Maurício Seródio FIGUEIREDO et al. 2008. Model to integration of rfid into wireless sensor network for tracking and monitoring animals. In: Ieee international conference on computational science and engineering. Brasil.
  93. Physical Sciences Computer Science Applications
    Ruiter Braga CALDAS; Raimundo Da Silva BARRETO; Sérgio Vale Aguiar CAMPOS. 2008. On the use of x-machine formal model to design sensor network applications. In: Ieee symposium on industrial embedded systems. França.
  94. Physical Sciences Computer Science (miscellaneous)
    Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Rafael BARCELOS; Meuse Nogueira De Oliveira JÚNIOR; Vicente Lucena FILHO et al. 2007. Agile development methodology for embedded systems: a platform-based desing approach. In: Ieee international conference on the engineering of computer based systems. Estados Unidos.
  95. Physical Sciences Computer Science (miscellaneous)
    Lucas Carvalho CORDEIRO; Cristiano BECKER; Raimundo Da Silva BARRETO. 2007. Applying scrum and organizational patterns to multi site software development. In: Sugarloafplop. Brasil.
  96. Physical Sciences Computer Science (miscellaneous)
    Marcelo Monteiro CUSTÓDIO; Raimundo Da Silva BARRETO; Ruiter Braga CALDAS; José Francisco De Magalhães NETTO. 2007. A logics-based framework for hard real-time embedded systems scheduling. In: 9th workshop on real-time systems. Brasil.
  97. Social Sciences & Humanities Education
    Frederico Oliveria JR; Ricardo Massa LIMA; Márcio CORNÉLIO; Sérgio SOARES; Eduardo Antonio Guimarães TAVARES et al. 2007. Cml: c modeling language. In: 11th brazilian symposium on programming languages. Brasil.
  98. Physical Sciences Energy Engineering and Power Technology
    Meuse Nogueira De Oliveira JÚNIOR; Silvino NETO; Paulo Romero Martins MACIEL; Ricardo Massa LIMA; Angelo Roncalli RIBEIRO et al. 2006. 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. Turquia.
  99. Physical Sciences Computer Science (miscellaneous)
    Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Eduardo Antonio Guimarães TAVARES; Marcelo Monteiro CUSTÓDIO; Rômulo Devezas FREITAS et al. 2006. A formal modeling for embedded hard real-time systems. In: 8th brazilian workshop on real-time systems. Brasil.
  100. Physical Sciences Computer Networks and Communications
    Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Bruno SOUZA; Raimundo Da Silva BARRETO et al. 2006. 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. Portugal.
  101. Physical Sciences Artificial Intelligence
    Marcelo Monteiro CUSTÓDIO; Raimundo Da Silva BARRETO; Ruiter Braga CALDAS. 2006. An automated theorem proving method for scheduling embedded hard real-time systems. In: 27th ieee real-time systems symposium (work-in-progress). Brasil.
  102. Physical Sciences Computer Science (miscellaneous)
    Raimundo Da Silva BARRETO; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL; Marília Litwak NEVES; Meuse Nogueira De Oliveira JÚNIOR et al. 2005. Embedded hard real-time software synthesis considering dispatcher overheads. In: International embedded system symposium (iess'05). Brasil.
  103. Physical Sciences Computer Science (miscellaneous)
    Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Angelo Roncalli RIBEIRO; Adilson Arcoverde JÚNIOR; Ricardo Massa LIMA et al. 2005. 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). Bélgica.
  104. Physical Sciences Computer Science (miscellaneous)
    Eduardo Antonio Guimarães TAVARES; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Ricardo Massa LIMA et al. 2005. 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). Bélgica.
  105. Physical Sciences Computer Science (miscellaneous)
    Leonardo AMORIM; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Raimundo Da Silva BARRETO; Eduardo Antonio Guimarães TAVARES. 2005. A methodology for mapping live sequence chart to coloured petri net. In: Ieee conference on systems; man and cibernetics (smc'05). Estados Unidos.
  106. Physical Sciences Computer Science (miscellaneous)
    Eduardo Antonio Guimarães TAVARES; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Leonardo AMORIM et al. 2005. 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. Brasil.
  107. Physical Sciences Artificial Intelligence
    Raimundo Da Silva BARRETO; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR; Leonardo AMORIM et al. 2005. A time petri net-based approach for software synthesis considering overheads. In: 17th international symposium on computer architecture and high performance computing. Brasil.
  108. Physical Sciences Computer Science (miscellaneous)
    Leonardo AMORIM; Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Eduardo Antonio Guimarães TAVARES; Meuse Nogueira De Oliveira JÚNIOR et al. 2005. A methodology for software synthesis of embedded real-time systems based on tpn and lsc. In: 2nd international conference on embedded software and systems. China.
  109. Physical Sciences Computer Science (miscellaneous)
    Raimundo Da Silva BARRETO; Sérgio Vanderlei CAVALCANTE; Paulo Romero Martins MACIEL. 2004. 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. Japão.
  110. Physical Sciences Computer Science (miscellaneous)
    Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR. 2004. 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). Estados Unidos.
  111. Physical Sciences Computer Science (miscellaneous)
    Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Raimundo Da Silva BARRETO; Fernando Ferreira De CARVALHO. 2004. A software power cost analysis based on colored petri net. In: Workshop on token-based computing (tobaco). Itália.
  112. Physical Sciences Computer Networks and Communications
    Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Marília Litwak NEVES; Eduardo Antonio Guimarães TAVARES; Ricardo Massa LIMA. 2004. 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). França.
  113. Physical Sciences Computer Science (miscellaneous)
    Meuse Nogueira De Oliveira JÚNIOR; Paulo Romero Martins MACIEL; Raimundo Da Silva BARRETO; Fernando Ferreira De CARVALHO. 2004. 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). Grécia.
  114. Physical Sciences Artificial Intelligence
    Adilson Arcoverde JÚNIOR; Gabriel Alves JÚNIOR; Ricardo Massa LIMA; Paulo Romero Martins MACIEL; Meuse Nogueira De Oliveira JÚNIOR et al. 2004. Ezpetri: a petri net interchange framework for eclipse based on pnml. In: 1st international symposium on leveraging applications of formal method (isola'04). Chipre.
  115. Physical Sciences Computer Science Applications
    Raimundo Da Silva BARRETO; Marília Litwak NEVES; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL. 2004. Embedded hard real-time systems scheduling: an unmanned ground vehicle case study. In: I workshop de sistemas operacionais. Brasil.
  116. Physical Sciences Computer Science (miscellaneous)
    Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Marília Litwak NEVES; Eduardo Antonio Guimarães TAVARES; Paulo Romero Martins MACIEL et al. 2004. A formal software synthesis approach for embedded hard real-time systems. In: 17th brazilian symposium on integrated circuits and systems design (sbcci'2004). Brasil.
  117. Physical Sciences Computer Science Applications
    Eduardo Antonio Guimarães TAVARES; Raimundo Da Silva BARRETO; Meuse Nogueira De Oliveira JÚNIOR; Marília Litwak NEVES; Paulo Romero Martins MACIEL et al. 2004. 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). Brasil.
  118. Physical Sciences Computer Science (miscellaneous)
    Manoel Eusébio LIMA; Remy Eskinazi SANTANA; Abel Silva FILHO; Abner BARROS; Paulo Abadie GUEDES et al. 2003. A reconfigurable architecture for multi-context application. In: 3rd international conference on engineering and computer education;. Brasil.
  119. Physical Sciences Computer Science (miscellaneous)
    Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Sérgio Vanderlei CAVALCANTE. 2003. A modeling methodology and scheduler synthesis for embedded real-time software. In: Sbac-pad'2003. Brasil.
  120. Physical Sciences Computer Science Applications
    Raimundo Da Silva BARRETO; Claudionor Coelho JR; Antonio Otávio FERNANDES. 1998. A implementação de uma arquitetura de suporte à alta diponibilidade de objetos. In: X sbac-pad. Brasil.
  1. Life Sciences Neuroscience (miscellaneous)
    Alencar MÁRCIO; Raimundo Da Silva BARRETO; Oliveira HORÁCIO; Souto EDUARDO. 2023. Embedded restricted boltzmann machine approach for adjustments of repetitive physical activities using imu data. Ieee embedded systems letters. 1, 1-1.
  2. Physical Sciences Computer Science (miscellaneous)
    Assayag YURI; Oliveira HORÁCIO; Souto EDUARDO; Raimundo Da Silva BARRETO; Pazzi RICHARD. 2023. Adaptive path loss model for ble indoor positioning system. Ieee internet of things journal. 10, 12898-12907.
  3. Physical Sciences Artificial Intelligence
    De Araújo Silva EDSON; Valentin EDUARDO; Carvalho Jose Reginaldo HUGHES; Raimundo Da Silva BARRETO. 2021. A survey of model driven engineering in robotics. Journal of computer languages. 62, 101021-14.
  4. Social Sciences & Humanities Education
    Áurea Hileia MELO; Victor LIMA; Carla Oran SOUZA; Rhayssa CASTRO; Giovanna TEODORO et al. 2021. 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. 19, 1-10.
  5. Social Sciences & Humanities Education
    Monteiro Edwin Juan Lopes BARBOZA; Leitão Gabriel De SOUZA; Raimundo Da Silva BARRETO. 2021. 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). 29, 746-774.
  6. Physical Sciences Computer Science Applications
    Assayag YURI; Oliveira HORACIO; Souto EDUARDO; Raimundo Da Silva BARRETO; Pazzi RICHARD. 2021. Indoor positioning system using synthetic training and data fusion. Ieee access. 9, 115687-115699.
  7. Physical Sciences Computer Science (miscellaneous)
    Pinto BRAULIO; Raimundo Da Silva BARRETO; Souto EDUARDO; Oliveira HORACIO. 2021. Robust rssi-based indoor positioning system using k-means clustering and bayesian estimation. Ieee sensors journal. 21, 1-1.
  8. Social Sciences & Humanities Education
    Melo AÚREA; Victor Yan Pereira E LIMA; Oran Fonseca Souza CARLA; Castro RHAYSSA; Souza Teodoro GIOVANNA et al. 2021. Desenvolvimento de uma aplicação educativa para o ensino derotinas diárias e quebra de rotinas a crianças autistas. Renote. revista novas tecnologias na educação. 19, 166-175.
  9. Physical Sciences Computer Science (miscellaneous)
    Márcio André Da Costa ALENCAR; Raimundo Da Silva BARRETO; Horácio Antonio Braga Fernandes OLIVEIRA; Eduardo James Pereira SOUTO; Pazzi Richard W. 2020. Dare: a decentralized association rules extraction scheme for embedded data sets in distributed iot devices. International journal of distributed sensor networks. 16, 155014772096299-.
  10. Physical Sciences Computer Science Applications
    Assayag YURI; Oliveira HORÁCIO; Souto EDUARDO; Raimundo Da Silva BARRETO; Pazzi RICHARD. 2020. Indoor positioning system using dynamic model estimation. Sensors. 20, 7003-.
  11. Social Sciences & Humanities Education
    Adelson Menezes PORTELA; Gabriel De Souza LEITÃO; Raimundo Da Silva BARRETO; Elaine Harada Teixeira De OLIVEIRA. 2020. 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. 18, 388-397.
  12. Physical Sciences Computer Science Applications
    Balico Leandro N; Loureiro Antonio A F; Nakamura Eduardo F; Raimundo Da Silva BARRETO; Pazzi Richard W et al. 2018. Localization prediction in vehicular ad hoc networks. Ieee communications surveys and tutorials. 1, 1-1.
  13. Physical Sciences Computer Science (miscellaneous)
    Valentin EDUARDO; De Freitas ROSIANE; Raimundo Da Silva BARRETO. 2017. Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. Science of computer programming. 1, 1-16.
  14. Physical Sciences Artificial Intelligence
    Valentin Eduardo BEZERRA; De Freitas ROSIANE; Raimundo Da Silva BARRETO. 2016. Applying mgap modeling to the hard real-time task allocation on multiple heterogeneous processors problem. Procedia computer science. 80, 1135-1146.
  15. Social Sciences & Humanities Business, Management and Accounting (miscellaneous)
    Marcos André Fernandes SPÓSITO; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO. 2016. 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. 9, 77-100.
  16. Physical Sciences Computer Science (miscellaneous)
    Áurea Hileia MELO; Raimundo Da Silva BARRETO; Tayana Uchôa CONTE. 2016. Proaut: um processo para apoio de projetos de interface de produtos de software para crianças autista. Cadernos de informática (ufrgs). 9, 27-41.
  17. Health Sciences Medicine (miscellaneous)
    Spósito Marcos André FERNANDES; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO. 2016. 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. 9, 77-100.
  18. Physical Sciences Computer Science (miscellaneous)
    Luis RIVERO; Raimundo Da Silva BARRETO; Tayana Uchôa CONTE. 2013. Characterizing usability inspection methods through the analysis of a systematic mapping study extension. Clei electronic journal. 16, 1-33.
  19. Physical Sciences Computer Science (miscellaneous)
    Odette Mestrinho PASSOS; Arilo Claudio Dias NETO; Raimundo Da Silva BARRETO. 2013. Relevant organizational values in the implementation of software process improvement initiatives. Clei electronic journal. 16, 1-.
  20. Social Sciences & Humanities Education
    Odette Mestrinho PASSOS; Arilo Cláudio Dias NETO; Raimundo Da Silva BARRETO. 2012. Organizational culture and success in spi initiatives. Ieee software. 29, 97-99.
  21. Physical Sciences Computer Science (miscellaneous)
    Azevedo Dias Wanderson ROGER; Moreno Edward DAVID; Raimundo Da Silva BARRETO. 2012. Architectural characterization and code compression in embedded processors. Revista ieee américa latina. 10, 1865-1873.
  22. Physical Sciences Computer Science (miscellaneous)
    Raimundo Da Silva BARRETO; Paulo Romero Martins MACIEL; Eduardo Antonio Guimarães TAVARES; Rômulo Devezas FREITAS; Meuse Nogueira De Oliveira JÚNIOR et al. 2008. A time petri net-based method for embedded hard real-time software synthesis. Design automation for embedded systems. 12, 1-10.
  23. Physical Sciences Computer Science (miscellaneous)
    Osman Seixas Penha JÚNIOR; Raimundo Da Silva BARRETO. 2008. 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. 2008, 1-10.
  24. Physical Sciences Computer Networks and Communications
    Lucas Carvalho CORDEIRO; Carlos Augusto De Araújo MAR; Eduardo VALENTIN; Fabiano Teixeira CRUZ; Raimundo Da Silva BARRETO et al. 2008. An agile development methodology applied to embedded control software under stringent hardware constraints. Software engineering notes. 33, 1-.
  25. Physical Sciences Computer Science (miscellaneous)
    Tavares EDUARDO; Raimundo Da Silva BARRETO; Maciel PAULO; Oliveira MEUSE; Amorim LEONARDO et al. 2007. Software synthesis for hard real-time embedded systems with multiple processors. Software engineering notes. 32, 1-.
  26. Social Sciences & Humanities Linguistics and Language
    Frederico Oliveria JR; Ricardo Massa LIMA; Márcio CORNÉLIO; Sérgio SOARES; Paulo Romero Martins MACIEL et al. 2007. Cml: c modeling language. Journal of universal computer science. 13, 682-700.
  27. Life Sciences Neuroscience (miscellaneous)
    Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO; Rafael BARCELOS; Meuse Nogueira De Oliveira JÚNIOR; Vicente Lucena FILHO et al. 2007. Txm: an agile hw/sw development methodology for building medical devices. Software engineering notes. 32, 1-10.
  28. Physical Sciences Computer Science Applications
    Amorim LEONARDO; Maciel PAULO; Nogueira MEUSE; Raimundo Da Silva BARRETO; Tavares EDUARDO. 2006. Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. Software engineering notes. 31, (3) 1-.
  1. Physical Sciences Computer Science (miscellaneous)
    Raimundo Da Silva BARRETO; Odette Mestrinho PASSOS. 2020. 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: Computação na educação básica: fundamentos e experiências. Brasil.
  2. Physical Sciences Energy Engineering and Power Technology
    Valentin EDUARDO; De Freitas ROSIANE; Raimundo Da Silva BARRETO. 2018. Designing distributed real-time systems to process complex control workload in the energy industry. In: Studies in systems; decision and control. Estados Unidos.
  3. Physical Sciences Computer Science (miscellaneous)
    Herbert Oliveira ROCHA; Hussama ISMAIL; Lucas Carvalho CORDEIRO; Raimundo Da Silva BARRETO. 2017. Model checking embedded c software using k-induction and invariants. In: Embedded software verification and debugging. Estados Unidos.
  4. Physical Sciences Computer Science (miscellaneous)
    Leitão GABRIEL; Colonna JUAN; Ribeiro ERICK; Raimundo Da Silva BARRETO; Araujo Thierry YVES et al. 2016. Experimental evaluation on machine learning techniques for human activities recognition in digital education context. In: Communications in computer and information science. Brasil.
  1. Physical Sciences Computer Science (miscellaneous)
    Alisson BRITO; Raimundo Da Silva BARRETO; Rômulo Silva De OLIVEIRA; Ivan Saraiva SILVA. 2016. International journal of embedded systems - special issue on critical and real-time embedded systems. Estados Unidos.