Paulo Cunha

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

Top Topics

Signal Acquisition

Colored Petri Nets

Nonlinear Diffusion Filtering

Biomedical Images

Top Venues

BMC Medical Informatics Decis. Mak.

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)
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)
João Ramos, Paulo Cunha, Fábio Silva
A Tool to Assess Students' Performance in Programming. MIS4TEL (2021)
Guilherme Martins, Fabiano Morelli, Mateus Macul, Paulo Cunha
Análise das condições ambientais na Serra do Cipó como ferramenta para o combate aos incêndios florestais. GeoInfo (2021)
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)
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)
Henrike Berthold, Jorge Cardoso, Paulo Cunha, Ronny Mans, Silvana Quaglini, Wil M. P. van der Aalst
A framework for next generation e-health systems and services. AMCIS (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)
Cristina Costa, Paulo Cunha
The social dimension of business models: an Actor-Network Theory perspective. AMCIS (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)