Alvaro Sobrinho

Orcid: 0000-0002-1753-1890

Affiliations:
  • Federal University of the Agreste of Pernambuco, Garanhuns, Brazil


According to our database1, Alvaro Sobrinho authored at least 28 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A coloured Petri nets-based system for validation of biomedical signal acquisition devices.
J. Supercomput., July, 2024

Assessing students' handwritten text productions: A two-decades literature review.
Expert Syst. Appl., 2024

Machine learning models for predicting hospitalization and mortality risks of COVID-19 patients.
Expert Syst. Appl., 2024

Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks.
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

Coloured Petri nets for abstract test generation in software engineering.
Softw. Test. Verification Reliab., March, 2023

Siamese Convolutional Neural Network for Heartbeat Classification Using Limited 12-Lead ECG Datasets.
IEEE Access, 2023

Security Challenges and Recommendations in 5G-IoT Scenarios.
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
Reliability analysis of multi-parameter monitoring systems for Intensive Care Units.
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

A methodology for modeling and simulation of biomedical signal acquisition devices.
Proceedings of the 17th International Conference on E-health Networking, 2015

A simulation approach to certify electrocardiography devices.
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


  Loading...