Raimundo S. Barreto

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 39

Top Topics

Embedded Systems

Test Generation

Vehicular Ad Hoc Networks

Top Venues

Publications

Marcio Aurelio dos Santos Alencar, Raimundo S. Barreto, Horácio A. B. F. Oliveira, Eduardo Souto
Embedded Restricted Boltzmann Machine Approach for Adjustments of Repetitive Physical Activities Using IMU Data. IEEE Embed. Syst. Lett. 16 (2) (2024)
Yuri Assayag, Horacio A. B. F. de Oliveira, Eduardo Souto, Raimundo S. Barreto, Richard Werner Nelem Pazzi
Adaptive Path Loss Model for BLE Indoor Positioning System. IEEE Internet Things J. 10 (14) (2023)
Marcio Aurelio dos Santos Alencar, Raimundo S. Barreto, Eduardo Souto, Horacio A. B. F. de Oliveira
An Online Method for Supporting and Monitoring Repetitive Physical Activities Based on Restricted Boltzmann Machines. J. Sens. Actuator Networks 12 (5) (2023)
Elian Souza, Edwin Monteiro, Raimundo S. Barreto, Rosiane de Freitas
A Context-Aware Automatic Smartphone Reconfiguration. ICCE (2022)
Malu Mafra, Kennedy Nunes, Adailton Castro, Adriana Lopes, Ana Carolina Oran, Geraldo Braz Junior, João Almeida, Anselmo Cardoso de Paiva, Aristófanes C. Silva, Simara Rocha, Davi Viana, Aurea Melo, Raimundo S. Barreto, Luis Rivero
Defining Requirements for the Development of Useful and Usable Chatbots: An Analysis of Quality Attributes from Academy and Industry. HCI (3) (2022)
Dayanne Gomes, Nathasha Pinto, Aurea Melo, Ivana Marcia Oliveira Maia, Anselmo Cardoso de Paiva, Raimundo S. Barreto, Davi Viana, Luis Rivero
Developing a Set of Design Patterns Specific for the Design of User Interfaces for Autistic Users. IHC (2021)
Yuri Assayag, Horacio A. B. F. de Oliveira, Eduardo Souto, Raimundo S. Barreto, Richard W. Pazzi
Indoor Positioning System Using Synthetic Training and Data Fusion. IEEE Access 9 (2021)
Fagner Cunha, Eulanda M. dos Santos, Raimundo S. Barreto, Juan Gabriel Colonna
Filtering Empty Camera Trap Images in Embedded Systems. CVPR Workshops (2021)
Fagner Cunha, Eulanda M. dos Santos, Raimundo S. Barreto, Juan Gabriel Colonna
Filtering Empty Camera Trap Images in Embedded Systems. CoRR (2021)
Aurea Melo, Ana Carolina Oran, Jonathas Silva dos Santos, Luis Rivero, Raimundo S. Barreto
Requirements Elicitation in the Context of Software for Low-Functioning Autistic People: An Initial Proposal of Specific Supporting Artifacts. SBES (2021)
Marcio Aurelio dos Santos Alencar, Raimundo S. Barreto, Horácio Fernandes, Eduardo Souto, Richard W. Pazzi
DARE: A decentralized association rules extraction scheme for embedded data sets in distributed IoT devices. Int. J. Distributed Sens. Networks 16 (10) (2020)
Yuri Assayag, Horácio A. B. F. Oliveira, Eduardo Souto, Raimundo S. Barreto, Richard W. Pazzi
Indoor Positioning System Using Dynamic Model Estimation. Sensors 20 (24) (2020)
Gabriel Leitão, Juan Gabriel Colonna, Edwin Monteiro, Elaine H. T. Oliveira, Raimundo S. Barreto
New Metrics for Learning Evaluation in Digital Education Platforms. CoRR (2020)
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). TACAS (2) (2020)
Edwin Monteiro, Kelvinn Pereira, Raimundo S. Barreto
Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes. ICCS (7) (2020)
Manoel José S. Júnior, Horácio A. B. F. Oliveira, Raimundo S. Barreto
IoT Assistant for People with Visual Impairment in Edge Computing. IESS (2019)
Manoel José S. Júnior, Orlewilson B. Maia, Horácio A. B. F. Oliveira, Eduardo Souto, Raimundo S. Barreto
Assistive Technology through Internet of Things and Edge Computing. ICCE-Berlin (2019)
Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto
Map2Check Using LLVM and KLEE - (Competition Contribution). TACAS (2) (2018)
Leandro N. Balico, Antonio A. F. Loureiro, Eduardo Freire Nakamura, Raimundo S. Barreto, Richard W. Pazzi, Horacio A. B. F. de Oliveira
Localization Prediction in Vehicular Ad Hoc Networks. IEEE Commun. Surv. Tutorials 20 (4) (2018)
Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto
Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. Sci. Comput. Program. 165 (2018)
Diego Q. Pinheiro, Rawlinson S. Gonçalves, Eduardo Valentin, Horacio A. B. F. de Oliveira, Raimundo S. Barreto
Inserting DVFS Code in Hard Real-Time System Tasks. SBESC (2017)
Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). TACAS (2016)
Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto
Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem. SBESC (2016)
Eduardo Bezerra Valentin, Rosiane de Freitas, Raimundo S. Barreto
Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. ICCS (2016)
Larissa Maia Ayres, Anna Beatriz dos Santos Marques, Raimundo S. Barreto, Tayana Conte
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. SBQS (2016)
Rawlinson S. Gonçalves, Diego Q. Pinheiro, Eduardo Bezerra Valentin, Horacio A. B. F. de Oliveira, Raimundo S. Barreto
Real-time tasks and voltage/frequency controller collaboration on low power energy operational systems. SAMOS (2016)
Vandermi J. Silva, Marlos A. S. Rodrigues, Raimundo S. Barreto, Vicente Ferreira de Lucena Jr.
UbMed: A ubiquitous system for monitoring medication adherence. HealthCom (2016)
Larissa Bentes, Herbert Rocha, Eduardo Valentin, Raimundo S. Barreto
JFORTES: Java Formal Unit TESt Generation. SBESC (2016)
Erick Ribeiro, Larissa Bentes, Anderson Cruz, Gabriel Leitão, Raimundo S. Barreto, Vandermi J. Silva, Tiago Thompsen Primo, Fernando Luiz Koch
On the use of inertial sensors and machine learning for automatic recognition of fainting and epileptic seizure. HealthCom (2016)
Leandro N. Balico, Horacio A. B. F. de Oliveira, Eduardo Freire Nakamura, Raimundo S. Barreto, Antonio Alfredo Ferreira Loureiro
Routing and Data Aggregation toward a High Speed Sink in Wireless Sensor Networks. DCOSS (2015)
Raimundo S. Barreto, Rafael R. Obelheiro, Leandro Buss Becker
Brazilian Symposium on Computing System Engineering. ACM SIGOPS Oper. Syst. Rev. 49 (2) (2015)
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
Model Checking Embedded C Software Using k-Induction and Invariants. SBESC (2015)
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
Model Checking Embedded C Software using k-Induction and Invariants (extended version). CoRR (2015)
Eduardo Valentin, Mario Salvatierra, Rosiane de Freitas, Raimundo S. Barreto
Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform. PATMOS (2015)
Eduardo Valentin, José Reginaldo Hughes Carvalho, Raimundo S. Barreto
Rapid improvement of students' soft-skills based on an agile-process approach. FIE (2015)
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto
Model Checking C Programs with Loops via k-Induction and Invariants. CoRR (2015)
Leandro N. Balico, Horacio A. B. F. de Oliveira, Raimundo S. Barreto, Antonio A. F. Loureiro, Richard W. Pazzi
A prediction-based routing algorithm for Vehicular Ad Hoc Networks. ISCC (2015)
Gabriel Leitão, Juan Gabriel Colonna, Erick Ribeiro, Raimundo S. Barreto, Thierry-Yves Araujo, Anny Martins, Andrew Koster, Fernando Koch
Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context. SOCIALEDU (2015)
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. SEFM (2015)
Romulo Devezas Freitas, Raimundo S. Barreto, Paulo Romero Martins Maciel
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models. SBESC (2013)
Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. IFM (2012)
David Cohen, Eduardo Valentin, Raimundo S. Barreto, Horacio A. B. F. de Oliveira, Lucas C. Cordeiro
A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique. ISIE (2012)
Elisabete Cunha, Marcelo Custódio, Herbert Rocha, Raimundo S. Barreto
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. SBESC (2011)
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker CoRR (2011)
Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. SBESC (2011)
Horacio A. B. F. de Oliveira, Raimundo S. Barreto, Awdren L. Fontão, Antonio Alfredo Ferreira Loureiro, Eduardo Freire Nakamura
A Novel Greedy Forward Algorithm for Routing Data toward a High Speed Sink in Wireless Sensor Networks. ICCCN (2010)
Carlos Mauricio S. Figueiredo, Eduardo Freire Nakamura, Afonso D. Ribas, Thales R. B. de Souza, Raimundo S. Barreto
Assessing the communication performance of wireless sensor networks in rainforests. Wireless Days (2009)
Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. ECBS (2008)
Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro, Paulo Romero Martins Maciel
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. DATE (2008)
Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro
Towards a model-driven engineering approach for developing embedded hard real-time software. SAC (2008)
Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena
An agile development methodology applied to embedded control software under stringent hardware constraints. ACM SIGSOFT Softw. Eng. Notes 33 (1) (2008)
Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima
A time Petri net-based method for embedded hard real-time software synthesis. Des. Autom. Embed. Syst. 12 (1-2) (2008)
Mauro Teófilo, Lucas C. Cordeiro, Raimundo S. Barreto, José Raimundo Pereira, Ayres Mardem, Pedro Freitas
Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. ACHI (2008)
Lucas C. Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr.
Towards a Semiformal Development Methodology for Embedded Systems. ENASE (2008)
Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. ECBS (2007)
Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima
Software synthesis for hard real-time embedded systems with multiple processors. ACM SIGSOFT Softw. Eng. Notes 32 (2) (2007)
Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel
TXM: an agile HW/SW development methodology for building medical devices. ACM SIGSOFT Softw. Eng. Notes 32 (6) (2007)
Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Devezas Freitas, Marcelo Custódio
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. DIPES (2006)
Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems. ACM SIGSOFT Softw. Eng. Notes 31 (3) (2006)
Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. ICATPN (2006)
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
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. PATMOS (2005)
Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads. SBAC-PAD (2005)
Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Cesar A. L. Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. PATMOS (2005)
Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Marília Neves, Meuse N. Oliveira Jr., Leonardo Amorim, Arthur Bessa, Ricardo Massa Ferreira Lima
Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads. IESS (2005)
Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. ICESS (2005)
Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. SBCCI (2005)
Leonardo Amorim, Paulo Romero Martins Maciel, Meuse N. Nogueira Jr., Raimundo S. Barreto, Eduardo Tavares
A methodology for mapping live sequence chart to coloured Petri net. SMC (2005)
Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems. DIPES (2004)
Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. ICDCS Workshops (2004)
Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Raimundo S. Barreto, Fernando F. Carvalho
Towards a Software Power Cost Analysis Framework Using Colored Petri Net. PATMOS (2004)
Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima
A formal software synthesis approach for embedded hard real-time systems. SBCCI (2004)
Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. SBAC-PAD (2004)
Raimundo S. Barreto, Paulo Romero Martins Maciel, Sérgio Cavalcante
A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. SBAC-PAD (2003)