Raimundo S. Barreto

82 papers A 2B 7C 10Misc 2Journal 22Unranked 39

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