Paulo Cunha

14 papers C 5Misc 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
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
2022 J jnl
Reliability analysis of multi-parameter monitoring systems for Intensive Care Units.
Reliab. Eng. Syst. Saf.
Matheus Soares de Araujo, Leandro Dias da Silva, Alvaro Sobrinho, Paulo Cunha, Leonardo Montecchi
2021 Misc conf
A Tool to Assess Students' Performance in Programming.
MIS4TEL
João Ramos, Paulo Cunha, Fábio Silva
2021 — conf
Análise das condições ambientais na Serra do Cipó como ferramenta para o combate aos incêndios florestais.
GEOINFO
Guilherme Martins, Fabiano Morelli, Mateus Macul, Paulo Cunha
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
2018 J jnl
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.
Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Maria Eliete Pinheiro, Paulo Cunha
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 Colored Petri Nets model of the risk management process based on the ISO 14971 standard.
IECON
Alvaro Sobrinho, Jose Bernardo Neto, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich
2015 — conf
A framework for next generation e-health systems and services.
AMCIS
Henrike Berthold, Jorge Cardoso, Paulo Cunha, Ronny Mans, Silvana Quaglini, Wil M. P. van der Aalst
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
2015 — conf
The social dimension of business models: an Actor-Network Theory perspective.
AMCIS
Cristina Costa, Paulo Cunha
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
2014 C conf
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system.
INDIN
Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Paulo Cunha