Alvaro Sobrinho
Orcid: 0000-0002-1753-1890Affiliations:
- Federal University of the Agreste of Pernambuco, Garanhuns, Brazil
According to our database1,
Alvaro Sobrinho
authored at least 29 papers
between 2011 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
Challenges and Opportunities in Mobile Network Security for Vertical Applications: A Survey.
ACM Comput. Surv., February, 2025
2024
A coloured Petri nets-based system for validation of biomedical signal acquisition devices.
J. Supercomput., July, 2024
Expert Syst. Appl., 2024
Machine learning models for predicting hospitalization and mortality risks of COVID-19 patients.
Expert Syst. Appl., 2024
Proceedings of the IEEE International Conference on Consumer Electronics, 2024
Exploring the Impact of Gender Stereotypes on Motivation, Flow State, and Learning Performance in a Gamified Tutoring System.
Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky, 2024
Breaking the Cycle: AI Boosting Communication Skills of Low-Income Students in Brazil.
Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky, 2024
Unhappiness and Demotivation Among Students in Gamified Tutoring Systems: Toward Understanding the Gender Gap.
Proceedings of the Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky, 2024
2023
Applications of convolutional neural networks in education: A systematic literature review.
Expert Syst. Appl., November, 2023
Softw. Test. Verification Reliab., March, 2023
Siamese Convolutional Neural Network for Heartbeat Classification Using Limited 12-Lead ECG Datasets.
IEEE Access, 2023
Proceedings of the Advanced Information Networking and Applications, 2023
Trusted and only Trusted. That is the Access! - Improving Access Control Allowing only Trusted Execution Environment Applications.
Proceedings of the Advanced Information Networking and Applications, 2023
2022
Reliab. Eng. Syst. Saf., 2022
Modeling unmanned aerial vehicle system for identifying foci of arboviral disease with monitoring system.
Int. J. Model. Simul. Sci. Comput., 2022
2021
Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications.
IEEE Internet Things J., 2021
2020
Computer-Aided Diagnosis of Chronic Kidney Disease in Developing Countries: A Comparative Analysis of Machine Learning Techniques.
IEEE Access, 2020
2019
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
Softw. Syst. Model., 2019
A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems.
Proceedings of the IECON 2019, 2019
A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process.
Proceedings of the IECON 2019, 2019
2018
Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries.
BMC Medical Informatics Decis. Mak., 2018
2016
Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016
2015
A Colored Petri Nets model of the risk management process based on the ISO 14971 standard.
Proceedings of the IECON 2015, 2015
Proceedings of the 17th International Conference on E-health Networking, 2015
Proceedings of the 17th International Conference on E-health Networking, 2015
2014
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Biomedical signal acquisition systems: Towards a hybrid methodology for certification-based development.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
2011
A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care.
Proceedings of the ENTERprise Information Systems - International Conference, 2011