Thiago D. Cordeiro

According to our database, Thiago D. Cordeiro authored at least 13 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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., July, 2024

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, Alvaro Sobrinho, Thiago D. Cordeiro

IEEE Access, 2023

2021

An Inverse Problem Approach for Parameter Estimation of Cardiovascular System Models.

Xu Yang, Jorge S. Leandro, Thiago D. Cordeiro, Antonio M. N. Lima

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

A variable gain physiological controller for a rotary left ventricular assist device.

Luis F. V. Silva, Thiago D. Cordeiro, Antonio M. N. Lima

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

Simulating cardiac disorders with a lumped parameter synergistic model.

Laryssa S. Gomes, Eduardo Moraes de Miranda Vasconcellos, Thiago D. Cordeiro, Antonio M. N. Lima

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

2020

A physiological control system for ECG-synchronized pulsatile pediatric ventricular assist devices.

Thiago D. Cordeiro, Daniel L. Sousa, Idágene Aparecida Cestari, Antonio M. N. Lima

Biomed. Signal Process. Control., 2020

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

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

Proceedings of the IECON 2019, 2019

2016

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

Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

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

Proceedings of the 17th International Conference on E-health Networking, 2015

A simulation approach to certify electrocardiography devices.

Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego

Proceedings of the 17th International Conference on E-health Networking, 2015

2014

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

Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014

2013

A PLC-Based PI and Pi-Fuzzy Logic Controller for an Industrial Fan System.

Ronaldo R. B. de Aquino, Zanoni Dueire Lins, Luiz F. A. Cordeiro, Thiago D. Cordeiro, Davidson C. Marques, Leo Bottler, Rodolfo G. S. Leite

Proceedings of the IEEE International Conference on Systems, 2013