A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. - Raimundo S. Barreto; Paulo Romero Martins Maciel; Sérgio Cavalcante (SBAC-PAD, 2003)

A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. - Raimundo S. Barreto; Sérgio Cavalcante; Paulo Romero Martins Maciel (ICDCS Workshops, 2004)

A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. - Raimundo S. Barreto; Paulo Romero Martins Maciel; Marília Neves; Eduardo Tavares; Ricardo Massa Ferreira Lima (DIPES, 2004)

Towards a Software Power Cost Analysis Framework Using Colored Petri Net. - Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Raimundo S. Barreto; Fernando F. Carvalho (PATMOS, 2004)

An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. - Eduardo Tavares; Raimundo S. Barreto; Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Marília Neves; Ricardo Massa Ferreira Lima (SBAC-PAD, 2004)

A formal software synthesis approach for embedded hard real-time systems. - Raimundo S. Barreto; Marília Neves; Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Eduardo Tavares; Ricardo Massa Ferreira Lima (SBCCI, 2004)

A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. - Leonardo Amorim; Raimundo S. Barreto; Paulo Romero Martins Maciel; Eduardo Tavares; Meuse N. Oliveira Jr.; Arthur Bessa; Ricardo Massa Ferreira Lima (ICESS, 2005)

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. - Raimundo S. Barreto; Eduardo Tavares; Paulo Romero Martins Maciel; Marília Neves; Meuse N. Oliveira Jr.; Leonardo Amorim; Arthur Bessa; Ricardo Massa Ferreira Lima (IESS, 2005)

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. - Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Angelo Ribeiro; César A. L. de Oliveira; Adilson Arcoverde; Raimundo S. Barreto; Eduardo Tavares; Leonardo Amorim (PATMOS, 2005)

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. - Eduardo Tavares; Raimundo S. Barreto; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Adilson Arcoverde; Gabriel Alves; Ricardo Massa Ferreira Lima; Leonardo Barros; Arthur Bessa (PATMOS, 2005)

A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. - Raimundo S. Barreto; Eduardo Tavares; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Leonardo Amorim; Ricardo Massa Ferreira Lima; Cesar Carvalho; Carlos A. B. Mello (SBAC-PAD, 2005)

A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. - Eduardo Tavares; Paulo Romero Martins Maciel; Arthur Bessa; Raimundo S. Barreto; Leonardo Barros; Meuse N. Oliveira Jr.; Ricardo Massa Ferreira Lima (SBCCI, 2005)

A methodology for mapping live sequence chart to coloured Petri net. - Leonardo Amorim; Paulo Romero Martins Maciel; Meuse N. Nogueira Jr.; Raimundo S. Barreto; Eduardo Tavares (SMC, 2005)

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. - Meuse N. Oliveira Jr.; Silvino Neto; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Angelo Ribeiro; Raimundo S. Barreto; Eduardo Tavares; Frederico Braga (ICATPN, 2006)

Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. - Eduardo Tavares; Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Bruno Souza; Silvino Neto; Raimundo S. Barreto; Romulo Devezas Freitas; Marcelo Custódio (DIPES, 2006)

Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. - Leonardo Amorim; Paulo Romero Martins Maciel; Meuse N. Nogueira Jr.; Raimundo S. Barreto; Eduardo Tavares (ACM SIGSOFT Softw. Eng. Notes, 2006)

Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. - Lucas C. Cordeiro; Raimundo S. Barreto; Rafael Barcelos; Meuse N. Oliveira Jr.; Vicente Lucena; Paulo Romero Martins Maciel (ECBS, 2007)

TXM: an agile HW/SW development methodology for building medical devices. - Lucas C. Cordeiro; Raimundo S. Barreto; Rafael Barcelos; Meuse N. Oliveira Jr.; Vicente Lucena; Paulo Romero Martins Maciel (ACM SIGSOFT Softw. Eng. Notes, 2007)

Software synthesis for hard real-time embedded systems with multiple processors. - Eduardo Tavares; Raimundo S. Barreto; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Leonardo Amorim; Fernando Rocha; Ricardo Massa Ferreira Lima (ACM SIGSOFT Softw. Eng. Notes, 2007)

Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. - Mauro Teófilo; Lucas C. Cordeiro; Raimundo S. Barreto; José Raimundo Pereira; Ayres Mardem; Pedro Freitas (ACHI, 2008)

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 S. Figueiredo; Virgínia V. B. Biris Brilhante (CSE, 2008)

ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. - Fabiano Cruz; Raimundo S. Barreto; Lucas C. Cordeiro; Paulo Romero Martins Maciel (DATE, 2008)

A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. - Lucas C. Cordeiro; Carlos Mar; Eduardo Valentin; Fabiano Cruz; Daniel Patrick; Raimundo S. Barreto; Vicente Lucena (ECBS, 2008)

Towards a Semiformal Development Methodology for Embedded Systems. - Lucas C. Cordeiro; Raimundo S. Barreto; Meuse N. Oliveira Jr. (ENASE, 2008)

Towards a model-driven engineering approach for developing embedded hard real-time software. - Fabiano Cruz; Raimundo S. Barreto; Lucas C. Cordeiro (SAC, 2008)

A time Petri net-based method for embedded hard real-time software synthesis. - Raimundo S. Barreto; Paulo Romero Martins Maciel; Eduardo Tavares; Romulo Devezas Freitas; Meuse N. Oliveira Jr.; Ricardo Massa Ferreira Lima (Des. Autom. Embed. Syst., 2008)

An agile development methodology applied to embedded control software under stringent hardware constraints. - Lucas C. Cordeiro; Carlos Mar; Eduardo Valentin; Fabiano Cruz; Daniel Patrick; Raimundo S. Barreto; Vicente Lucena (ACM SIGSOFT Softw. Eng. Notes, 2008)

Assessing the communication performance of wireless sensor networks in rainforests. - Carlos Maurício S. Figueiredo; Eduardo Freire Nakamura; Afonso D. Ribas; Thales R. B. de Souza; Raimundo S. Barreto (Wireless Days, 2009)

A Novel Greedy Forward Algorithm for Routing Data toward a High Speed Sink in Wireless Sensor Networks. - Horacio A. B. F. de Oliveira; Raimundo S. Barreto; Awdren L. Fontão; Antonio Alfredo Ferreira Loureiro; Eduardo Freire Nakamura (ICCCN, 2010)

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 (ICA3PP (1), 2011)

Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. - Raimundo S. Barreto; Lucas C. Cordeiro; Bernd Fischer 002 (SBESC, 2011)

Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. - Elisabete Cunha; Marcelo Custódio; Herbert Rocha; Raimundo S. Barreto (SBESC, 2011)

Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker - Raimundo S. Barreto; Lucas C. Cordeiro; Bernd Fischer 002 (CoRR, 2011)

Assessing the Relevance of Organizational Culture in Software Process Improvement Initiatives. - Odette Mestrinho Passos; Arilo Claudio Dias-Neto; Raimundo da Silva Barreto (CIbSE, 2012)

Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. - Herbert Rocha; Raimundo S. Barreto; Lucas C. Cordeiro; Arilo Dias Neto (IFM, 2012)

A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique. - David Cohen; Eduardo Valentin; Raimundo S. Barreto; Horacio A. B. F. de Oliveira; Lucas C. Cordeiro (ISIE, 2012)

Organizational Culture and Success in SPI Initiatives. - Odette Mestrinho Passos; Arilo Claudio Dias-Neto; Raimundo da Silva Barreto (IEEE Softw., 2012)

Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. - Romulo Devezas Freitas; Raimundo S. Barreto; Paulo Romero Martins Maciel (SBESC, 2013)

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 Claudio Dias-Neto; Raimundo da Silva Barreto (SBQS, 2013)

Relevant Organizational Values in the Implementation of Software Process Improvement Initiatives. - Odette Mestrinho Passos; Arilo Claudio Dias-Neto; Raimundo da Silva Barreto (CLEI Electron. J., 2013)

Characterizing Usability Inspection Methods through the Analysis of a Systematic Mapping Study Extension. - Luis Rivero 001; Raimundo da Silva Barreto; Tayana Conte (CLEI Electron. J., 2013)

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 (CASCON, 2014)

Domain Engineering: A Practical Application in Analysis and Design of a Generative Query Language. - Daniella Rodrigues Bezerra; Raimundo da Silva Barreto (SBCARS, 2014)

Persona Security: A Technique for Supporting the Elicitation of Security Requirements. - Marco Aurélio Dos Santos; Jacilane Rabelo; Raimundo da Silva Barreto; Tayana Conte (SEKE, 2014)

Routing and Data Aggregation toward a High Speed Sink in Wireless Sensor Networks. - Leandro N. Balico; Horacio A. B. F. de Oliveira; Eduardo Freire Nakamura; Raimundo S. Barreto; Antonio Alfredo Ferreira Loureiro (DCOSS, 2015)

Rapid improvement of students' soft-skills based on an agile-process approach. - Eduardo Valentin; José Reginaldo Hughes Carvalho; Raimundo S. Barreto (FIE, 2015)

A prediction-based routing algorithm for Vehicular Ad Hoc Networks. - Leandro N. Balico; Horacio A. B. F. de Oliveira; Raimundo S. Barreto; Antonio A. F. Loureiro; Richard W. Pazzi (ISCC, 2015)

Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform. - Eduardo Valentin; Mario Salvatierra; Rosiane de Freitas; Raimundo S. Barreto (PATMOS, 2015)

Model Checking Embedded C Software Using k-Induction and Invariants. - Herbert Rocha; Hussama Ismail; Lucas C. Cordeiro; Raimundo S. Barreto (SBESC, 2015)

Recomendações de Melhoria Baseadas na Cultura Organizacional para Iniciativas em Melhoria de Processo de Software. - Odette Mestrinho Passos; Arilo Claudio Dias-Neto; Raimundo da Silva Barreto (SBQS, 2015)

Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. - Herbert Rocha; Raimundo S. Barreto; Lucas C. Cordeiro (SEFM, 2015)

Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context. - Gabriel Leitão 001; Juan Gabriel Colonna; Erick Ribeiro; Raimundo S. Barreto; Thierry-Yves Araujo; Anny Martins; Andrew Koster; Fernando Koch (SOCIALEDU, 2015)

State of the Art of the Intra-Task Dynamic Voltage and Frequency Scaling Technique. - Rawlinson S. Gonçalves; Raimundo da Silva Barreto (CoRR, 2015)

Model Checking C Programs with Loops via k-Induction and Invariants. - Herbert Rocha; Hussama Ismail; Lucas C. Cordeiro; Raimundo S. Barreto (CoRR, 2015)

Model Checking Embedded C Software using k-Induction and Invariants (extended version). - Herbert Rocha; Hussama Ismail; Lucas C. Cordeiro; Raimundo S. Barreto (CoRR, 2015)

Brazilian Symposium on Computing System Engineering. - Raimundo S. Barreto; Rafael R. Obelheiro; Leandro Buss Becker (ACM SIGOPS Oper. Syst. Rev., 2015)

On the use of inertial sensors and machine learning for automatic recognition of fainting and epileptic seizure. - Erick Ribeiro; Larissa Bentes; Anderson Cruz; Gabriel Leitão 001; Raimundo S. Barreto; Vandermi J. Silva; Tiago Thompsen Primo; Fernando Luiz Koch (HealthCom, 2016)

UbMed: A ubiquitous system for monitoring medication adherence. - Vandermi J. Silva; Marlos A. S. Rodrigues; Raimundo S. Barreto; Vicente Ferreira de Lucena Jr. (HealthCom, 2016)

Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. - Eduardo Bezerra Valentin; Rosiane de Freitas; Raimundo S. Barreto (ICCS, 2016)

Business-IT Alignment Research Field - A Systematic Literature Review. - Marcos Andre Fernandes Sposito; Arilo Claudio Dias-Neto; Raimundo da Silva Barreto (ICEIS (2), 2016)

Real-time tasks and voltage/frequency controller collaboration on low power energy operational systems. - Rawlinson S. Gonçalves; Diego Q. Pinheiro; Eduardo Bezerra Valentin; Horacio A. B. F. de Oliveira; Raimundo S. Barreto (SAMOS, 2016)

JFORTES: Java Formal Unit TESt Generation. - Larissa Bentes; Herbert Rocha; Eduardo Valentin; Raimundo S. Barreto (SBESC, 2016)

Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem. - Eduardo Valentin; Rosiane de Freitas; Raimundo S. Barreto (SBESC, 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. - Larissa Maia Ayres; Anna Beatriz dos Santos Marques; Raimundo S. Barreto; Tayana Conte (SBQS, 2016)

Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). - Herbert O. Rocha; Raimundo S. Barreto; Lucas C. Cordeiro (TACAS, 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. - Marcos Andre Fernandes Sposito; Arilo Claudio Dias-Neto; Raimundo da Silva Barreto (Braz. J. Inf. Syst., 2016)

Searching for Preferences of Autistic Children to Support the Design of User Interfaces. - Aurea Melo; Jonathas Silva dos Santos; Luis Rivero 001; Raimundo da Silva Barreto (IHC, 2017)

Inserting DVFS Code in Hard Real-Time System Tasks. - Diego Q. Pinheiro; Rawlinson S. Gonçalves; Eduardo Valentin; Horacio A. B. F. de Oliveira; Raimundo S. Barreto (SBESC, 2017)

Survey on Pedagogical Resources Recommendation using Cognitive Computing Systems. - Gabriel de Souza Leitão; Eduardo Bezerra Valentin; Elaine Harada Teixeira de Oliveira; Raimundo da Silva Barreto (FIE, 2018)

I-Jack: Wearable system for collection and evaluation physiological data. - Elpidio H. Junior; Lucas F. da Cruz; Vandermi J. da Silva; Mauro Ricardo da S. Teófilo; Raimundo da Silva Barreto; Vicente F. Lucena (ICCE, 2018)

Tellus - Greenhouse Irrigation Automation System. - Luciano M. da Silva; Elpidio H. Junior; Kayque J. P. Carneiro; Johthema M. de Matos; A. P. Anacilia M. C. de Vieira; Raimundo da Silva Barreto (ISCC, 2018)

Map2Check Using LLVM and KLEE - (Competition Contribution). - Rafael Menezes; Herbert Rocha; Lucas C. Cordeiro; Raimundo S. Barreto (TACAS (2), 2018)

Localization Prediction in Vehicular Ad Hoc Networks. - Leandro N. Balico; Antonio A. F. Loureiro; Eduardo Freire Nakamura; Raimundo S. Barreto; Richard W. Pazzi; Horacio A. B. F. de Oliveira (IEEE Commun. Surv. Tutorials, 2018)

Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. - Eduardo Valentin; Rosiane de Freitas; Raimundo S. Barreto (Sci. Comput. Program., 2018)

Assistive Technology through Internet of Things and Edge Computing. - Manoel José S. Júnior; Orlewilson B. Maia; Horácio A. B. F. Oliveira; Eduardo Souto; Raimundo S. Barreto (ICCE-Berlin, 2019)

IoT Assistant for People with Visual Impairment in Edge Computing. - Manoel José S. Júnior; Horácio A. B. F. Oliveira; Raimundo S. Barreto (IESS, 2019)

Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes. - Edwin Monteiro 001; Kelvinn Pereira; Raimundo S. Barreto (ICCS (7), 2020)

EmpathyAut: an empathy map for people with autism. - Áurea Hiléia da Silva Melo; Luis Rivero 001; Jonathas Silva dos Santos; Raimundo da Silva Barreto (IHC, 2020)

PersonAut: a personas model for people with autism spectrum disorder. - Áurea Hiléia da Silva Melo; Luis Rivero 001; Jonathas Silva dos Santos; Raimundo da Silva Barreto (IHC, 2020)

Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). - Herbert Rocha; Rafael Menezes; Lucas C. Cordeiro; Raimundo S. Barreto (TACAS (2), 2020)

New Metrics for Learning Evaluation in Digital Education Platforms. - Gabriel Leitão 001; Juan Gabriel Colonna; Edwin Monteiro 001; Elaine H. T. Oliveira; Raimundo S. Barreto (CoRR, 2020)

DARE: A decentralized association rules extraction scheme for embedded data sets in distributed IoT devices. - Marcio Aurelio dos Santos Alencar; Raimundo S. Barreto; Horácio Fernandes 001; Eduardo Souto; Richard W. Pazzi (Int. J. Distributed Sens. Networks, 2020)

Indoor Positioning System Using Dynamic Model Estimation. - Yuri Assayag; Horácio A. B. F. Oliveira; Eduardo Souto; Raimundo S. Barreto; Richard W. Pazzi (Sensors, 2020)

Filtering Empty Camera Trap Images in Embedded Systems. - Fagner Cunha; Eulanda M. dos Santos; Raimundo S. Barreto; Juan Gabriel Colonna (CVPR Workshops, 2021)

ACF: An Autistic Personas' Characteristics Source to Develop Empathy in Software Development Teams. - Áurea Hiléia da Silva Melo; Ana Carolina Oran; Jonathas Silva dos Santos; Luis Rivero 001; Raimundo da Silva Barreto (HCI (42), 2021)

Developing a Set of Design Patterns Specific for the Design of User Interfaces for Autistic Users. - Dayanne Gomes; Nathasha Pinto; Aurea Melo; Ivana Marcia Oliveira Maia; Anselmo Cardoso de Paiva; Raimundo S. Barreto; Davi Viana; Luis Rivero 001 (IHC, 2021)

Requirements Elicitation in the Context of Software for Low-Functioning Autistic People: An Initial Proposal of Specific Supporting Artifacts. - Aurea Melo; Ana Carolina Oran; Jonathas Silva dos Santos; Luis Rivero 001; Raimundo S. Barreto (SBES, 2021)

Indoor Positioning System Using Synthetic Training and Data Fusion. - Yuri Assayag; Horacio A. B. F. de Oliveira; Eduardo Souto; Raimundo S. Barreto; Richard W. Pazzi (IEEE Access, 2021)

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

A survey of Model Driven Engineering in robotics. - Edson de Araújo Silva; Eduardo Valentin; José Reginaldo Hughes Carvalho; Raimundo da Silva Barreto (J. Comput. Lang., 2021)

Defining Requirements for the Development of Useful and Usable Chatbots: An Analysis of Quality Attributes from Academy and Industry. - Malu Mafra; Kennedy Nunes; Adailton Castro; Adriana Lopes; Ana Carolina Oran; Geraldo Braz Júnior; João Almeida 003; Anselmo Cardoso de Paiva; Aristófanes C. Silva; Simara Rocha; Davi Viana; Aurea Melo; et al. (HCI (3), 2022)

From Requirements to Prototyping: Proposal and Evaluation of an Artifact to Support Interface Design in the Context of Autism. - Áurea Hiléia da Silva Melo; Ana Carolina Oran; Jonathas Silva dos Santos; Sergio Cleger Tamayo; Davi Viana; Luis Rivero 001; Raimundo da Silva Barreto (HCI (46), 2022)

A Context-Aware Automatic Smartphone Reconfiguration. - Elian Souza; Edwin Monteiro 001; Raimundo S. Barreto; Rosiane de Freitas (ICCE, 2022)

Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android. - Fernando Neder; Ricardo Miranda Filho; Jônatas Azevedo; Larissa Pessoa; Rosiane de Freitas; Raimundo S. Barreto (SBLP, 2023)

Adaptive Path Loss Model for BLE Indoor Positioning System. - Yuri Assayag; Horacio A. B. F. de Oliveira; Eduardo Souto; Raimundo S. Barreto; Richard Werner Nelem Pazzi (IEEE Internet Things J., 2023)

An Online Method for Supporting and Monitoring Repetitive Physical Activities Based on Restricted Boltzmann Machines. - Marcio Aurelio dos Santos Alencar; Raimundo S. Barreto; Eduardo Souto; Horacio A. B. F. de Oliveira (J. Sens. Actuator Networks, 2023)

Measuring the Execution Time of Programs from different Android Embedded Programming Languages. - Ricardo Miranda Filho; Ricardo Bonfim; Larissa Pessoa; Raimundo S. Barreto; Rosiane de Freitas (CLEI, 2024)

From Sparse to Smart: Leveraging AI for Effective Online Judge Problem Classification in Programming Education. - Filipe Dwan Pereira; Maely Moraes; Marcelo Henrique Oliveira Henklain; Arto Hellas; Elaine Oliveira; Dragan Gasevic; Raimundo S. Barreto; Rafael Mello (EC-TEL (1), 2024)

Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices. - Girlana Souza; Pedro Matias 003; Ricardo Miranda Filho; Edwin Monteiro 001; Raimundo S. Barreto; Rosiane de Freitas (VISSOFT, 2024)

Embedded Restricted Boltzmann Machine Approach for Adjustments of Repetitive Physical Activities Using IMU Data. - Marcio Aurelio dos Santos Alencar; Raimundo S. Barreto; Horácio A. B. F. Oliveira; Eduardo Souto (IEEE Embed. Syst. Lett., 2024)

Log parsers' performance on raw logs from Android devices. - João Alfredo Bessa; Ricardo Miranda Filho; Girlana Souza; Raimundo S. Barreto; Rosiane de Freitas (J. Internet Serv. Appl., 2025)

Efficient exploration of indoor localization using genetic algorithm and signal propagation model. - Yuri Assayag; Eduardo Souto; Raimundo S. Barreto; Moises Carvalho; Richard Werner Nelem Pazzi; Horacio A. B. F. de Oliveira (Computing, 2025)