A PLC-Based PI and Pi-Fuzzy Logic Controller for an Industrial Fan System. - Ronaldo Ribeiro Barbosa de Aquino; Zanoni Dueire Lins; Luiz F. A. Cordeiro; Thiago D. Cordeiro; Davidson C. Marques; Leo Bottler; Rodolfo G. S. Leite (SMC, 2013)

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)

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)

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)

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)

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)

Simulating cardiac disorders with a lumped parameter synergistic model. - Laryssa S. Gomes; Eduardo Moraes de Miranda Vasconcellos; Thiago D. Cordeiro; Antonio M. N. Lima (EMBC, 2021)

A variable gain physiological controller for a rotary left ventricular assist device. - Luis F. V. Silva; Thiago D. Cordeiro; Antonio M. N. Lima (EMBC, 2021)

An Inverse Problem Approach for Parameter Estimation of Cardiovascular System Models. - Xu Yang; Jorge S. Leandro; Thiago D. Cordeiro; Antonio M. N. Lima (EMBC, 2021)

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)

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)