Raimundo S. Barreto
Orcid: 0000-0001-8494-4225Affiliations:
- Federal University of Amazonas, Manaus, Brazil
According to our database1,
Raimundo S. Barreto
authored at least 101 papers
between 2003 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Efficient exploration of indoor localization using genetic algorithm and signal propagation model.
Computing, January, 2025
2024
Embedded Restricted Boltzmann Machine Approach for Adjustments of Repetitive Physical Activities Using IMU Data.
IEEE Embed. Syst. Lett., June, 2024
Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices.
Proceedings of the IEEE Working Conference on Software Visualization, 2024
From Sparse to Smart: Leveraging AI for Effective Online Judge Problem Classification in Programming Education.
Proceedings of the Technology Enhanced Learning for Inclusive and Equitable Quality Education, 2024
Measuring the Execution Time of Programs from different Android Embedded Programming Languages.
Proceedings of the L Latin American Computer Conference, 2024
2023
An Online Method for Supporting and Monitoring Repetitive Physical Activities Based on Restricted Boltzmann Machines.
J. Sens. Actuator Networks, September, 2023
IEEE Internet Things J., July, 2023
Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android.
Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023
2022
Proceedings of the IEEE International Conference on Consumer Electronics, 2022
From Requirements to Prototyping: Proposal and Evaluation of an Artifact to Support Interface Design in the Context of Autism.
Proceedings of the HCI International 2022 - Late Breaking Papers: HCI for Health, Well-being, Universal Access and Healthy Aging, 2022
Defining Requirements for the Development of Useful and Usable Chatbots: An Analysis of Quality Attributes from Academy and Industry.
Proceedings of the Human-Computer Interaction. User Experience and Behavior, 2022
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 Educ., 2021
IEEE Access, 2021
Requirements Elicitation in the Context of Software for Low-Functioning Autistic People: An Initial Proposal of Specific Supporting Artifacts.
Proceedings of the 35th Brazilian Symposium on Software Engineering, 2021
Developing a Set of Design Patterns Specific for the Design of User Interfaces for Autistic Users.
Proceedings of the IHC '21: XX Brazilian Symposium on Human Factors in Computing Systems, 2021
ACF: An Autistic Personas' Characteristics Source to Develop Empathy in Software Development Teams.
Proceedings of the HCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture, 2021
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021
2020
DARE: A decentralized association rules extraction scheme for embedded data sets in distributed IoT devices.
Int. J. Distributed Sens. Networks, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the IHC '20: XIX Brazilian Symposium on Human Factors in Computing Systems, 2020
Proceedings of the IHC '20: XIX Brazilian Symposium on Human Factors in Computing Systems, 2020
Modeling and Automatic Code Generation Tool for Teaching Concurrent and Parallel Programming by Finite State Processes.
Proceedings of the Computational Science - ICCS 2020, 2020
2019
Proceedings of the Analysis, Estimations, and Applications of Embedded Systems, 2019
Proceedings of the 9th IEEE International Conference on Consumer Electronics, 2019
2018
Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors.
Sci. Comput. Program., 2018
IEEE Commun. Surv. Tutorials, 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018
Proceedings of the IEEE International Conference on Consumer Electronics, 2018
Proceedings of the IEEE Frontiers in Education Conference, 2018
2017
Proceedings of the VII Brazilian Symposium on Computing Systems Engineering, 2017
Searching for Preferences of Autistic Children to Support the Design of User Interfaces.
Proceedings of the XVI Brazilian Symposium on Human Factors in Computing Systems, 2017
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.
Braz. J. Inf. Syst., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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.
Proceedings of the 15th Brazilian Symposium on Software Quality, 2016
Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem.
Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016
Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016
Real-time tasks and voltage/frequency controller collaboration on low power energy operational systems.
Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016
Proceedings of the ICEIS 2016, 2016
Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem.
Proceedings of the International Conference on Computational Science 2016, 2016
Proceedings of the 18th IEEE International Conference on e-Health Networking, 2016
On the use of inertial sensors and machine learning for automatic recognition of fainting and epileptic seizure.
Proceedings of the 18th IEEE International Conference on e-Health Networking, 2016
2015
ACM SIGOPS Oper. Syst. Rev., 2015
Model Checking Embedded C Software using k-Induction and Invariants (extended version).
CoRR, 2015
CoRR, 2015
Experimental Evaluation on Machine Learning Techniques for Human Activities Recognition in Digital Education Context.
Proceedings of the Social Computing in Digital Education - First International Workshop, 2015
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
Recomendações de Melhoria Baseadas na Cultura Organizacional para Iniciativas em Melhoria de Processo de Software.
Proceedings of the 14th Brazilian Symposium on Software Quality, 2015
Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015
Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform.
Proceedings of the 25th International Workshop on Power and Timing Modeling, 2015
Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015
Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015
Proceedings of the 2015 International Conference on Distributed Computing in Sensor Systems, 2015
2014
Persona Security: A Technique for Supporting the Elicitation of Security Requirements.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014
Domain Engineering: A Practical Application in Analysis and Design of a Generative Query Language.
Proceedings of the Eighth Brazilian Symposium on Software Components, 2014
ARDev: a methodology based on scrum principles to support research management on software technologies.
Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014
2013
Characterizing Usability Inspection Methods through the Analysis of a Systematic Mapping Study Extension.
CLEI Electron. J., 2013
Relevant Organizational Values in the Implementation of Software Process Improvement Initiatives.
CLEI Electron. J., 2013
Uma Investigação sobre Recomendações de Melhoria Baseadas em Aspectos Culturais para Apoiar Iniciativas de Melhoria de Processo de Software.
Proceedings of the 12th Brazilian Symposium on Software Quality, 2013
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013
2012
Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Assessing the Relevance of Organizational Culture in Software Process Improvement Initiatives.
Proceedings of the XV Iberoamerican Conference on Software Engineering, 2012
2011
CoRR, 2011
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011
An Approach for Code Compression in Run Time for Embedded Systems - A Preliminary Results.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2011
2010
A Novel Greedy Forward Algorithm for Routing Data toward a High Speed Sink in Wireless Sensor Networks.
Proceedings of the 19th International Conference on Computer Communications and Networks, 2010
2009
Proceedings of the 2nd IFIP Wireless Days, 2009
2008
An agile development methodology applied to embedded control software under stringent hardware constraints.
ACM SIGSOFT Softw. Eng. Notes, 2008
Des. Autom. Embed. Syst., 2008
Towards a model-driven engineering approach for developing embedded hard real-time software.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Towards a Semiformal Development Methodology for Embedded Systems.
Proceedings of the ENASE 2008, 2008
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit.
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis.
Proceedings of the Design, Automation and Test in Europe, 2008
Model to integration of RFID into Wireless Sensor Network for Tracking and Monitoring Animals.
Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, 2008
Proceedings of the First International Conference on Advances in Computer-Human Interaction, 2008
2007
ACM SIGSOFT Softw. Eng. Notes, 2007
ACM SIGSOFT Softw. Eng. Notes, 2007
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007
2006
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems.
ACM SIGSOFT Softw. Eng. Notes, 2006
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Proceedings of the IEEE International Conference on Systems, 2005
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.
Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, 2005
Proceedings of the 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 2005
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.
Proceedings of the Integrated Circuit and System Design, 2005
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.
Proceedings of the Integrated Circuit and System Design, 2005
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005
2004
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints.
Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 2004
Proceedings of the Integrated Circuit and System Design, 2004
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004
2003
Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003