Paulo Cunha

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
A coloured Petri nets-based system for validation of biomedical signal acquisition devices.
J. Supercomput., July, 2024

2022
Reliability analysis of multi-parameter monitoring systems for Intensive Care Units.
Reliab. Eng. Syst. Saf., 2022

2021
A Tool to Assess Students' Performance in Programming.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2021

Análise das condições ambientais na Serra do Cipó como ferramenta para o combate aos incêndios florestais.
Proceedings of the XXII Brazilian Symposium on Geoinformatics - GEOINFO 2020, São José dos Campos, SP, Brazil, online, November 29, 2021

2019
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
Softw. Syst. Model., 2019

2018
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., 2018

2016
Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

2015
A Colored Petri Nets model of the risk management process based on the ISO 14971 standard.
Proceedings of the IECON 2015, 2015

A methodology for modeling and simulation of biomedical signal acquisition devices.
Proceedings of the 17th International Conference on E-health Networking, 2015

A simulation approach to certify electrocardiography devices.
Proceedings of the 17th International Conference on E-health Networking, 2015

The social dimension of business models: an Actor-Network Theory perspective.
Proceedings of the 21st Americas Conference on Information Systems, 2015

A framework for next generation e-health systems and services.
Proceedings of the 21st Americas Conference on Information Systems, 2015

2014
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014


  Loading...