Sign in
Alvaro Sobrinho
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 14
Top Topics
Uci Repository
Intensive Care Units
Signal Acquisition
Coloured Petri Nets
Top Venues
IECON
HealthCom
IEEE Access
BMC Medical Informatics Decis. Mak.
</>
Publications
</>
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
,
Alvaro Sobrinho
,
Thiago D. Cordeiro
Siamese Convolutional Neural Network for Heartbeat Classification Using Limited 12-Lead ECG Datasets.
IEEE Access
11 (2023)
Dalton Cézane Gomes Valadares
,
Alvaro Sobrinho
,
Newton Carlos Will
,
Kyller Costa Gorgônio
,
Angelo Perkusich
Trusted and only Trusted. That is the Access! - Improving Access Control Allowing only Trusted Execution Environment Applications.
AINA (3)
(2023)
Alvaro Sobrinho
,
Ially Almeida
,
Leandro Dias da Silva
,
Lenardo Chaves e Silva
,
Adriano Araújo
,
Tássio Fernandes Costa
,
Angelo Perkusich
Coloured Petri nets for abstract test generation in software engineering.
Softw. Test. Verification Reliab.
33 (2) (2023)
John David S. Belém
,
Hidalyn Theodory C. M. Souza
,
Alvaro Sobrinho
,
Lenardo Chaves e Silva
,
Helder F. de A. Oliveira
Modeling unmanned aerial vehicle system for identifying foci of arboviral disease with monitoring system.
Int. J. Model. Simul. Sci. Comput.
13 (3) (2022)
Matheus Soares de Araujo
,
Leandro Dias da Silva
,
Alvaro Sobrinho
,
Paulo Cunha
,
Leonardo Montecchi
Reliability analysis of multi-parameter monitoring systems for Intensive Care Units.
Reliab. Eng. Syst. Saf.
226 (2022)
Alvaro Sobrinho
,
Andressa C. M. Da S. Queiroz
,
Leandro Dias da Silva
,
Evandro de Barros Costa
,
Maria Eliete Pinheiro
,
Angelo Perkusich
Computer-Aided Diagnosis of Chronic Kidney Disease in Developing Countries: A Comparative Analysis of Machine Learning Techniques.
IEEE Access
8 (2020)
Alvaro Sobrinho
,
Leandro Dias da Silva
,
Angelo Perkusich
,
Paulo Cunha
,
Thiago D. Cordeiro
,
Antonio Marcus Nogueira de Lima
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
Softw. Syst. Model.
18 (2) (2019)
Eduardo Moraes de Miranda Vasconcellos
,
Thiago D. Cordeiro
,
Alvaro Sobrinho
,
Leandro Dias da Silva
,
Angelo Perkusich
,
Antonio Marcus Nogueira de Lima
A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems.
IECON
(2019)
Tássio Fernandes Costa
,
Alvaro Sobrinho
,
Lenardo Chaves e Silva
,
Leandro Dias da Silva
,
Angelo Perkusich
A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process.
IECON
(2019)
Alvaro Sobrinho
,
Leandro Dias da Silva
,
Angelo Perkusich
,
Maria Eliete Pinheiro
,
Paulo Cunha
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.
18 (1) (2018)
Alvaro Sobrinho
,
Paulo Cunha
,
Leandro Dias da Silva
,
Angelo Perkusich
,
Thiago D. Cordeiro
,
Jarbas Segundo
Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study.
EMBC
(2016)
Alvaro Sobrinho
,
Paulo Cunha
,
Leandro Dias da Silva
,
Angelo Perkusich
,
Thiago D. Cordeiro
,
Joilson Rego
A methodology for modeling and simulation of biomedical signal acquisition devices.
HealthCom
(2015)
Alvaro Sobrinho
,
Jose Neto
,
Paulo Cunha
,
Leandro Dias da Silva
,
Angelo Perkusich
A Colored Petri Nets model of the risk management process based on the ISO 14971 standard.
IECON
(2015)
Alvaro Sobrinho
,
Paulo Cunha
,
Leandro Dias da Silva
,
Angelo Perkusich
,
Thiago D. Cordeiro
,
Joilson Rego
A simulation approach to certify electrocardiography devices.
HealthCom
(2015)
Alvaro Sobrinho
,
Angelo Perkusich
,
Leandro Dias da Silva
,
Paulo Cunha
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system.
INDIN
(2014)
Alvaro Sobrinho
,
Angelo Perkusich
,
Leandro Dias da Silva
,
Thiago D. Cordeiro
,
Joilson Rego
,
Paulo Cunha
Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device.
IECON
(2014)