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)

Reliability analysis of multi-parameter monitoring systems for Intensive Care Units - Matheus Soares de Araujo; Leandro Dias da Silva; Alvaro Sobrinho; Paulo Cunha; Leonardo Montecchi (Reliab. Eng. Syst. Saf., 2022)

Análise das condições ambientais na Serra do Cipó como ferramenta para o combate aos incêndios florestais - Guilherme Martins; Fabiano Morelli; Mateus Macul; Paulo Cunha (XXII Brazilian Symposium on Geoinformatics - GEOINFO 2020, São José dos Campos, SP, Brazil, online, November 29 - December 2, 2020, 2021)

A Tool to Assess Students' Performance in Programming - João Ramos; Paulo Cunha; Fábio Silva (Methodologies and Intelligent Systems for Technology Enhanced Learning, 11th International Conference, MIS4TEL 2021, Salamanca, Spain, 6-8 October, 2021, 2021)

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)

Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries - Alvaro Sobrinho; Leandro Dias da Silva; Angelo Perkusich; Maria Eliete Pinheiro; Paulo Cunha (BMC Medical Informatics Decis. Mak., 2018)

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 (38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016, Orlando, FL, USA, August 16-20, 2016, 2016)

A framework for next generation e-health systems and services - Henrike Berthold; Jorge Cardoso; Paulo Cunha; Ronny Mans; Silvana Quaglini; Wil M. P. van der Aalst (21st Americas Conference on Information Systems, AMCIS 2015, Puerto Rico, August 13-15, 2015, 2015)

The social dimension of business models: an Actor-Network Theory perspective - Cristina Costa; Paulo Cunha (21st Americas Conference on Information Systems, AMCIS 2015, Puerto Rico, August 13-15, 2015, 2015)

A simulation approach to certify electrocardiography devices - Alvaro Sobrinho; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich; Thiago D. Cordeiro; Joilson Rego (17th International Conference on E-health Networking, Application & Services, HealthCom 2015, Boston, MA, USA, October 14-17, 2015, 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 (17th International Conference on E-health Networking, Application & Services, HealthCom 2015, Boston, MA, USA, October 14-17, 2015, 2015)

A Colored Petri Nets model of the risk management process based on the ISO 14971 standard - Alvaro Sobrinho; Jose Bernardo Neto; Paulo Cunha; Leandro Dias da Silva; Angelo Perkusich (IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015, 2015)

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 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29 - November 1, 2014, 2014)

Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system - Alvaro Sobrinho; Angelo Perkusich; Leandro Dias da Silva; Paulo Cunha (12th IEEE International Conference on Industrial Informatics, INDIN 2014, Porto Alegre, RS, Brazil, July 27-30, 2014, 2014)