Towards medical device behavioural validation using Petri nets. - Paulo E. S. Barbosa; Misael Morais; Katia Elizabete Galdino; Melquisedec Andrade; Luís Gomes 001; Filipe Moutinho; Jorge C. A. de Figueiredo (CBMS, 2013)

NUTES ProLS: Specification of an Environment for Prototyping and Evolving EHR Data Collection Systems. - Antonio D. dos S. Junior; Paulo E. S. Barbosa; Normando G. de C. Junior; Sidney A. Rodrigues; Misael Morais; Robson Pequeno (CBMS, 2014)

A Computer Aided Diagnosis of ECG. - Robson Pequeno de Sousa; Katia Elizabete Galdino; Misael Elias de Morais; Carlos Wilson Dantas de Almeida; Adson D. D. da Silva; Valderi M. da Silva; Luiz A. C. Filho; Saulo S. de Toledo (CBMS, 2014)

Product-based Safety Certification for Medical Devices Embedded Software. - José Augusto Neto; Jemerson Figueiredo Damásio; Paul Monthaler; Misael Morais (MedInfo, 2015)

A methodical assessment of interpolation techniques to metal artifact reduction in Computed Tomography. - Jose Alberto Souza Paulino; Robson Pequeno de Sousa; Carlos Wilson Dantas de Almeida; Eduardo Jorge Valadares Oliveira; Katia Elizabete Galdino; Misael Elias de Morais (BIBM, 2019)