Paulo Cunha
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2022
Reliab. Eng. Syst. Saf., 2022
2021
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
Proceedings of the 17th International Conference on E-health Networking, 2015
Proceedings of the 17th International Conference on E-health Networking, 2015
Proceedings of the 21st Americas Conference on Information Systems, 2015
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