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 21 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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