Raimundo S. Barreto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
19
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HCI | Prototyping Interfaces for Autistic People: The Role of GuideAut as Support for the ProAut Process. | Aurea Melo, Diego Lopes, Danielle Valente, Jonathas Silva dos Santos, Luis Rivero, Raimundo S. Barreto |
| 2024 | CLEI | 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 |
| 2024 | VISSOFT | Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices. | Girlana Souza, Pedro Matias, Ricardo Miranda Filho, Edwin Monteiro, Raimundo S. Barreto, Rosiane de Freitas |
| 2022 | HCI | 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 Jnior, Joo Almeida, Anselmo Cardoso de Paiva, Aristfanes C. Silva, Simara Rocha, Davi Viana, Aurea Melo, Raimundo S. Barreto, Luis Rivero |
| 2021 | CVPR | Filtering Empty Camera Trap Images in Embedded Systems. | Fagner Cunha, Eulanda M. dos Santos, Raimundo S. Barreto, Juan Gabriel Colonna |
| 2020 | ICCS | Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes. | Edwin Monteiro, Kelvinn Pereira, Raimundo S. Barreto |
| 2020 | TACAS | Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). | Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto |
| 2018 | TACAS | Map2Check Using LLVM and KLEE - (Competition Contribution). | Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto |
| 2016 | HealthCom | On the use of inertial sensors and machine learning for automatic recognition of fainting and epileptic seizure. | Erick Ribeiro, Larissa Bentes, Anderson Cruz, Gabriel Leito, Raimundo S. Barreto, Vandermi J. Silva, Tiago Thompsen Primo, Fernando Luiz Koch |
| 2016 | HealthCom | UbMed: A ubiquitous system for monitoring medication adherence. | Vandermi J. Silva, Marlos A. S. Rodrigues, Raimundo S. Barreto, Vicente Ferreira de Lucena Jr. |
| 2016 | ICCS | Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. | Eduardo Bezerra Valentin, Rosiane de Freitas, Raimundo S. Barreto |
| 2016 | TACAS | Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). | Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro |
| 2015 | DCOSS | 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 |
| 2015 | FIE | Rapid improvement of students' soft-skills based on an agile-process approach. | Eduardo Valentin, Jos Reginaldo Hughes Carvalho, Raimundo S. Barreto |
| 2015 | ISCC | 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 |
| 2015 | SEFM | Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro |
| 2012 | IFM | Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. | Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto |
| 2010 | ICCCN | 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. Fonto, Antonio Alfredo Ferreira Loureiro, Eduardo Freire Nakamura |
| 2008 | ACHI | Mandos: A User Interaction Method in Embedded Applications for Mobile Telephony. | Mauro Tefilo, Lucas C. Cordeiro, Raimundo S. Barreto, Jos Raimundo Pereira, Ayres Mardem, Pedro Freitas |
| 2008 | DATE | 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 |
| 2008 | ENASE | Towards a Semiformal Development Methodology for Embedded Systems. | Lucas C. Cordeiro, Raimundo S. Barreto, Meuse N. Oliveira Jr. |
| 2008 | SAC | Towards a model-driven engineering approach for developing embedded hard real-time software. | Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro |
| 2005 | SMC | 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 |
| 2005 | SBAC-PAD | 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 |
| 2004 | SBAC-PAD | 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, Marlia Neves, Ricardo Massa Ferreira Lima |
| 2003 | SBAC-PAD | A Modeling Methodology and Pre-Run-Time Scheduling for Embedded Real-Time Software. | Raimundo S. Barreto, Paulo Romero Martins Maciel, Srgio Cavalcante |