A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care. - Álvaro Alvares de Carvalho César Sobrinho; Leandro Dias da Silva; Leonardo Melo de Medeiros (CENTERIS (3), 2011)

Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device. - Alvaro Sobrinho; Angelo Perkusich; Leandro Dias da Silva; Thiago D. Cordeiro; Joilson Rego; Paulo Cunha (IECON, 2014)

Biomedical signal acquisition systems: Towards a hybrid methodology for certification-based development. - Alvaro Alvares de C. C. Sobrinho (INDIN, 2014)

Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system. - Alvaro Sobrinho; Angelo Perkusich; Leandro Dias da Silva; Paulo Cunha (INDIN, 2014)

A simulation approach to certify electrocardiography devices. - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Joilson Rego (HealthCom, 2015)

A methodology for modeling and simulation of biomedical signal acquisition devices. - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Joilson Rego (HealthCom, 2015)

A Colored Petri Nets model of the risk management process based on the ISO 14971 standard. - Alvaro Sobrinho; Jose Bernardo Neto; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich (IECON, 2015)

Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study. - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Jarbas Segundo (EMBC, 2016)

Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries. - Alvaro Sobrinho; Leandro Dias da Silva; Angelo Perkusich; Maria Eliete Pinheiro; Paulo Cunha (BMC Medical Informatics Decis. Mak., 2018)

A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process. - Tássio Fernandes Costa; Alvaro Sobrinho; Lenardo Chaves e Silva; Leandro Dias da Silva; Angelo Perkusich (IECON, 2019)

A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems. - Eduardo Moraes de Miranda Vasconcellos; Thiago D. Cordeiro; Alvaro Sobrinho; Leandro Dias da Silva; Angelo Perkusich; Antonio Marcus Nogueira de Lima (IECON, 2019)

Formal modeling of biomedical signal acquisition systems: source of evidence for certification. - Alvaro Sobrinho; Leandro Dias da Silva; Angelo Perkusich; Paulo Cunha; Thiago D. Cordeiro; Antonio Marcus Nogueira de Lima (Softw. Syst. Model., 2019)

Computer-Aided Diagnosis of Chronic Kidney Disease in Developing Countries: A Comparative Analysis of Machine Learning Techniques. - Alvaro Sobrinho; Andressa C. M. Da S. Queiroz; Leandro Dias da Silva; Evandro de Barros Costa; Maria Eliete Pinheiro; Angelo Perkusich (IEEE Access, 2020)

Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications. - Dalton Cézane Gomes Valadares; Álvaro Alvares de Carvalho César Sobrinho; Angelo Perkusich; Kyller Costa Gorgônio (IEEE Internet Things J., 2021)

Modeling unmanned aerial vehicle system for identifying foci of arboviral disease with monitoring system. - John David S. Belém; Hidalyn Theodory C. M. Souza; Alvaro Sobrinho; Lenardo Chaves e Silva; Helder F. de A. Oliveira (Int. J. Model. Simul. Sci. Comput., 2022)

Reliability analysis of multi-parameter monitoring systems for Intensive Care Units. - Matheus Soares de Araujo; Leandro Dias da Silva; Alvaro Sobrinho; Paulo Cunha; Leonardo Montecchi (Reliab. Eng. Syst. Saf., 2022)

Trusted and only Trusted. That is the Access! - Improving Access Control Allowing only Trusted Execution Environment Applications. - Dalton Cézane Gomes Valadares; Alvaro Sobrinho; Newton Carlos Will; Kyller Costa Gorgônio; Angelo Perkusich (AINA (3), 2023)

Security Challenges and Recommendations in 5G-IoT Scenarios. - Dalton Cézane Gomes Valadares; Newton Carlos Will; Álvaro Alvares de Carvalho César Sobrinho; Anna C. D. Lima; Igor S. Morais; Danilo F. S. Santos (AINA (1), 2023)

Siamese Convolutional Neural Network for Heartbeat Classification Using Limited 12-Lead ECG Datasets. - Eduardo Moraes de Miranda Vasconcellos; Bruno Georgevich Ferreira; Jorge S. Leandro; Baldoino Fonseca dos Santos Neto; Filipe Rolim Cordeiro; Idágene Aparecida Cestari; Marco Antonio Gutierrez 001; Alvaro Sobrinho; Thiago D. Cordeiro (IEEE Access, 2023)

Coloured Petri nets for abstract test generation in software engineering. - Alvaro Sobrinho; Ially Almeida; Leandro Dias da Silva; Lenardo Chaves e Silva; Adriano Araújo; Tássio Fernandes Costa; Angelo Perkusich (Softw. Test. Verification Reliab., 2023)

Applications of convolutional neural networks in education: A systematic literature review. - Lenardo Chaves e Silva; Álvaro Alvares de Carvalho César Sobrinho; Thiago Damasceno Cordeiro; Rafael Ferreira Leite de Mello; Ig Ibert Bittencourt; Leonardo Brandão Marques; Diego Dermeval Medeiros da Cunha Matos; Alan Pedro da Silva; Seiji Isotani (Expert Syst. Appl., 2023)

Unhappiness and Demotivation Among Students in Gamified Tutoring Systems: Toward Understanding the Gender Gap. - Kamila Benevides; Jário José Santos; Geiser Chalco Challco; Marcelo Reis; Alvaro Sobrinho; Leonardo Brandão Marques; Diego Dermeval; Rafael Ferreira Leite de Mello; Alan Silva; Seiji Isotani; Ig Ibert Bittencourt (AIED Companion (2), 2024)

Breaking the Cycle: AI Boosting Communication Skills of Low-Income Students in Brazil. - Renata Miranda de Gama; Geiser Chalco Challco; Jário José Santos; Marcelo Reis; Alvaro Sobrinho; Seiji Isotani; Ig Ibert Bittencourt (AIED Companion (1), 2024)

Exploring the Impact of Gender Stereotypes on Motivation, Flow State, and Learning Performance in a Gamified Tutoring System. - Kelly Silva; Jário José Santos; Geiser Chalco Challco; Marcelo Reis; Leonardo Brandão Marques; Alan Silva; Alvaro Sobrinho; Diego Dermeval; Rafael Ferreira Leite de Mello; Ig Ibert Bittencourt; Seiji Isotani (AIED Companion (2), 2024)

Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks. - Yuri Resende Matias de Oliveira; Alvaro Sobrinho; Leandro Dias da Silva; Danilo Santos 001; Kyller Costa Gorgônio; Angelo Perkusich (ICCE, 2024)

AI in Education Unplugged Support Equity Between Rural and Urban Areas in Brazil. - Carlos S. Portela; Paula T. Palomino; Geiser Chalco Challco; Alvaro Sobrinho; Thiago Damasceno Cordeiro; Rafael Ferreira Leite de Mello; Diego Dermeval; Ig Ibert Bittencourt; Seiji Isotani (ICTD, 2024)

Machine learning models for predicting hospitalization and mortality risks of COVID-19 patients. - Wallace Duarte de Holanda; Lenardo Chaves e Silva; Álvaro Alvares de Carvalho César Sobrinho (Expert Syst. Appl., 2024)

Assessing students' handwritten text productions: A two-decades literature review. - Lenardo Chaves e Silva; Alvaro Sobrinho; Thiago Damasceno Cordeiro; Alan Pedro da Silva; Diego Dermeval; Leonardo Brandão Marques; Ig Ibert Bittencourt; Jário José dos Santos Júnior; Rafael Ferreira Mello; Carlos dos Santos Portela; Maurício Ronny de Almeida Souza; Rodrigo Lisbôa Pereira; et al. (Expert Syst. Appl., 2024)

A coloured Petri nets-based system for validation of biomedical signal acquisition devices. - José Irineu Ferreira Júnior; Alvaro Sobrinho; Leandro Dias da Silva; Paulo Cunha; Thiago D. Cordeiro; Angelo Perkusich; Antonio Marcus Nogueira de Lima (J. Supercomput., 2024)

A Self-Sovereign Identity-Based Authentication and Reputation Protocol for IoV Applications. - Victor Emanuel Farias da Costa Borges; Alvaro Sobrinho; Danilo F. S. Santos; Angelo Perkusich (IEEE Access, 2025)

Harnessing coloured Petri nets to enhance machine learning:A simulation-based method for healthcare and beyond. - Andressa C. M. Da S. Queiroz; Alvaro Sobrinho; Leandro Dias da Silva; Danilo F. S. Santos; Muhammad Nauman; Angelo Perkusich (Simul. Model. Pract. Theory, 2025)

Challenges and Opportunities in Mobile Network Security for Vertical Applications: A Survey. - Alvaro Sobrinho; Matheus Vilarim; Amanda Barbosa; Edmar Candeia Gurjão; Danilo F. S. Santos; Dalton C. G. Valadares; Leandro Dias da Silva (ACM Comput. Surv., 2025)