Thiago D. Cordeiro

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 11

Top Topics

Convolutional Neural Network

Coloured Petri Nets

Signal Acquisition

Top Venues

Biomed. Signal Process. Control.

Publications

José Irineu Ferreira Júnior, Alvaro Sobrinho, Leandro Dias da Silva, Paulo Cunha, Thiago D. Cordeiro, Angelo Perkusich, Antonio Marcus Nogueira de Lima
A coloured Petri nets-based system for validation of biomedical signal acquisition devices. J. Supercomput. 80 (10) (2024)
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)
Luis F. V. Silva, Thiago D. Cordeiro, Antonio M. N. Lima
A variable gain physiological controller for a rotary left ventricular assist device. EMBC (2021)
Xu Yang, Jorge S. Leandro, Thiago D. Cordeiro, Antonio M. N. Lima
An Inverse Problem Approach for Parameter Estimation of Cardiovascular System Models. EMBC (2021)
Laryssa S. Gomes, Eduardo Moraes de Miranda Vasconcellos, Thiago D. Cordeiro, Antonio M. N. Lima
Simulating cardiac disorders with a lumped parameter synergistic model. EMBC (2021)
Thiago D. Cordeiro, Daniel L. Sousa, Idágene Aparecida Cestari, Antonio M. N. Lima
A physiological control system for ECG-synchronized pulsatile pediatric ventricular assist devices. Biomed. Signal Process. Control. 57 (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)
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, 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, Thiago D. Cordeiro, Joilson Rego, Paulo Cunha
Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device. IECON (2014)
Ronaldo R. B. de Aquino, Zanoni D. Lins, Luiz F. A. Cordeiro, Thiago D. Cordeiro, Davidson C. Marques, Leo Bottler, Rodolfo G. S. Leite
A PLC-Based PI and Pi-Fuzzy Logic Controller for an Industrial Fan System. SMC (2013)