Thiago D. Cordeiro

14 papers B 1C 4Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Challenge of School Dropout in Brazil: An Analysis of Over Two Decades.
Revista Brasileira de Informática na Educ.
Matheus Ramos, Thiago D. Cordeiro, Alvaro Sobrinho, Bruno Almeida Pimentel
2024 J jnl
A coloured Petri nets-based system for validation of biomedical signal acquisition devices.
J. Supercomput.
José Irineu Ferreira Júnior, Alvaro Sobrinho, Leandro Dias da Silva, Paulo Cunha, Thiago D. Cordeiro, Angelo Perkusich, Antonio Marcus Nogueira de Lima
2023 J jnl
Siamese Convolutional Neural Network for Heartbeat Classification Using Limited 12-Lead ECG Datasets.
IEEE Access
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
2021 — conf
A variable gain physiological controller for a rotary left ventricular assist device.
EMBC
Luis F. V. Silva, Thiago D. Cordeiro, Antonio M. N. Lima
2021 — conf
An Inverse Problem Approach for Parameter Estimation of Cardiovascular System Models.
EMBC
Xu Yang, Jorge S. Leandro, Thiago D. Cordeiro, Antonio M. N. Lima
2021 — conf
Simulating cardiac disorders with a lumped parameter synergistic model.
EMBC
Laryssa S. Gomes, Eduardo Moraes de Miranda Vasconcellos, Thiago D. Cordeiro, Antonio M. N. Lima
2020 J jnl
A physiological control system for ECG-synchronized pulsatile pediatric ventricular assist devices.
Biomed. Signal Process. Control.
Thiago D. Cordeiro, Daniel L. Sousa, Idágene Aparecida Cestari, Antonio M. N. Lima
2019 C conf
A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems.
IECON
Eduardo Moraes de Miranda Vasconcellos, Thiago D. Cordeiro, Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Antonio Marcus Nogueira de Lima
2019 J jnl
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
Softw. Syst. Model.
Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Paulo Cunha, Thiago D. Cordeiro, Antonio Marcus Nogueira de Lima
2016 — conf
Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study.
EMBC
Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Jarbas Segundo
2015 C conf
A methodology for modeling and simulation of biomedical signal acquisition devices.
HealthCom
Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego
2015 C conf
A simulation approach to certify electrocardiography devices.
HealthCom
Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego
2014 C conf
Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device.
IECON
Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Thiago D. Cordeiro, Joilson Rego, Paulo Cunha
2013 B conf
A PLC-Based PI and Pi-Fuzzy Logic Controller for an Industrial Fan System.
SMC
Ronaldo Ribeiro Barbosa de Aquino, Zanoni Dueire Lins, Luiz F. A. Cordeiro, Thiago D. Cordeiro, Davidson C. Marques, Leo Bottler, Rodolfo G. S. Leite