Paulo Barbosa

My name is Paulo Barbosa, I have a PhD degree in Computer Science and I am Professor at UEPB (State University of Paraiba) – Campina Grande – Brazil. I coordinate research and development projects at NUTES (Center for Strategic Health Technologies), involving disciplines such as Internet of Things, Cloud Computing and Artificial Intelligence. My main interest topics are Connected Health and Pilot Studies.

I have been involved in Biomedical Engineering and Health IT projects for the development and validation of medical devices products and IT solutions such as Cardioversors, Vital Sign Monitors and IoT platforms for obesity, ageing and mobile apps.

List of current projects:

• Productive Development Program (PDP) for the Brazilian Health Ministry: Currently, I am coordinating the only public lab in Brazil with all the good manufacturing practices that delivers Cardioversors and Multiparametric Monitors to the Brazilian Unified Health System (SUS). This project has partnership with Lifemed, and has already delivered more than one thousand of these products to almost all the Brazilian states. Official website. Executed budget (approximately): R$ 55M in 2 years.
• Smart childhood Obesity CARing solution using IoT potential (OCARIoT): Currently, I am coordinating NUTES participation in the H2020 project financed by European comission and Brazilian Science, Technology and Inovation Ministry. OCARIoT promotes the improvement of eating and physical disorders and also the prevention of the obesity onset for children through an IoT-based personalised coaching solution guiding children to adopt healthy eating and physical activity behaviour. The IoT network allows observing child activity patterns of daily living, health evolution, physiological & behavioural parameters and environmental data. All this information combined with medical patterns allows OCARIoT to provide a customised obesity coaching plan while enabling children to remain active and engaged in their well-being and healthy habits management. We are executing pilots in Brazil, Greece and Spain. Official website. Executed budget (approximately): R$ 10M in 3 years.
• Cicatriza’s AI Platform for Wound Analysis: Private platform for keeping the leadership of Cicatriza clinics in the field of wound treatment. The Artificial Intelligence provided by the apps and platform allows the wound image analysis and treatment plans for health professionals and online coaching for patients in order to avoid reopening problems of healing wounds. Executed budget (approximately): R$ 60K in 1 year.
• IoT Pilots with Health Analytics: Pilots under execution in the main clinics of State University of Paraiba involving topics such as pediatrics, nutrition and dentistry. The HAM platform, developed by NUTES, is collecting high volumes of information of users of the Brazilian Unified Health System (SUS) using IoT. Official website. Executed budget (approximately): R$ 30K in 1 year.

• IoTaPED – Internet of Things applied to Pediatrics: The IoTaPED project is an initiative aimed at the insertion in the market of an innovative and modular IoT platform focused on the monitoring of patients within the scope of a health plan focused on the children’s audience, providing managers and health professionals with technical and strategic knowledge to intelligent decision-making based on evidence of treatments and health policies conducted and conducted in real time. As a result, it will generate a reliable cause-and-effect study, of national interest, regarding the application of IoT in health environments. Reference. Approved budget (approximately): R$ 1.2M for 2 years.
• Analytics Platform for Public Health Studies: Partnership with Ubilab from University of Waterloo for providing front-end and back-end services for managing publich health pilots using Fitbit wearables. Approved budget (approximately): R$ 50K for 1 year.
• Information Technology Services for Paraiba State Treasury: Development of a platform using Artificial Intelligence and Natural Language Processing for fraud detection in electronic invoices. Approved budget (approximately): R$ 250K for 1 year.

List of recent teaching disciplines:

Computer Science Bachelor:
– High Performance Computing.

Master Program in Health Technologies:
– Biomedical Informatics.

List of main publications:

Complete works published in proceedings of conferences

24. Nunes, Adriana & M Medeiros, Gertrudes & N Velloso, Renata & Gurjao, Edmar & B Nunes, Adriana & E S Barbosa, Paulo. (2019). Neuroendocrine neoplasia and obesity. Endocrine Abstracts. 10.1530/endoabs.63.P895.

23. BARBOSA, PAULO E.S.; QUEIROZ, J. ; FIGUEIREDO, A. ; SANTOS, D. F. S. ; LEITE, F. ; GALDINO, K. E. . RE4CH: Requirements Engineering for Connected Health. In: 31st IEEE CBMS International Symposium on Computer-Based Medical Systems, 2018, Karlstad, Suécia. Proceedings of the 31st IEEE CBMS International Symposium on Computer-Based Medical Systems. Piscataway, U.S.A.: IEEE Computer Society, 2018.

21. VASCONCELOS FILHO, J. E. ; PRACA, C. C. ; LEAL, R. L. V. ; FREITAS FILHO, R. G. ; BEZERRA, I. N. ; CARVALHO, L. M. ; ARAUJO, E. W. ; BRITO, F. O. ; BARBOSA, P. E. S. ; BENEVIDES, C. A. . OCARIoT : Integrando conhecimentos em saúde e Tecnologias mHealth, IoT e Data Science no Apoio ao Enfrentamento da Obesidade Infantil.. In: Congresso Brasileiro de Informática em Saúde, 2018, Fortaleza. Anais do Congresso Brasileiro de Informática em Saúde, 2018. v. 16.

20. FIGUEIREDO, R. I. N. ; SOARES, N. ; PEREIRA, G. ; COUTINHO, G. ; BARBOSA, P. E. S. . AVALIAÇÃO SOBRE FALHAS EM VENTILADORES PULMONARES DE UM HOSPITAL NA PARAÍBA. In: I CONGRESSO BRASILEIRO DE CIÊNCIAS DA SAÚDE. In: CONBRACIS, 2016, CAMPINA GRANDE. ANAIS DO I CONGRESSO BRASILEIRO DE CIÊNCIAS DA SAÚDE, 2016. v. 01.

19. GURJÃO, EDMAR C.; BARBOSA, PAULO E.S.; MEDEIROS, YANG; ALBORNOZ, LEO. A Model for Architecture Centric Development of Automated External Defibrillators. In: V Brazilian Symposium on Computing Systems Engineering, 2015, Foz do Iguacu, Brazil. Proceedings of V Brazilian Symposium on Computing Systems Engineering, 2015.

18. ANTONINO, PABLO OLIVEIRA ; TRAPP, MARIO ; BARBOSA, PAULO E.S. ; SOUSA, LUANA . Parameterized Safety Requirements Templates. In: The 8th International Symposium on Software and Systems Traceability – Event Co-allocated with ICSE, 2015, Firenze, Italy. Proceedings of 8th International Symposium on Software and Systems Traceability, 2015.

17. BARBOSA, PAULO E.S.; LEITE, FABIO; MENDONCA, RAPHAEL; ANDRADE, MELQUISEDEC; SOUSA, LUANA; ANTONINO, PABLO OLIVEIRA . RAwTIM – Uma Ferramenta para Rastreabilidade da Informação em Análises de Riscos. In: Brazilian Conference on Software: Theory and Practice – Tools Section, 2015, Belo Horizonte, Brazil. Proceedings of Brazilian Conference on Software: Theory and Practice, 2015.

16. RODRIGUES, SIDNEY A. ; FREIRE, RAIMUNDO C. S. ; LUCIANO, BENEDITE A. ; BARBOSA, PAULO E. S. ; ANTONIO, D. S. ; CATUNDA, SEBASTIAN Y. C. . Architectural specification for infusion pumps and realization towards safety technological trends. In: 2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA), 2014, Lisboa. 2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA). p. 1.

15. JUNIOR, ANTONIO D. DOS S. ; BARBOSA, PAULO E.S. ; JUNIOR, NORMANDO G. DE C. ; RODRIGUES, SIDNEY A. ; MORAIS, MISAEL ; PEQUENO, ROBSON . NUTES ProLS: Specification of an Environment for Prototyping and Evolving EHR Data Collection Systems. In: 2014 IEEE 27th International Symposium on ComputerBased Medical Systems (CBMS), 2014, New York. 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014. p. 509.

14. SILVA, F. ; SILVA, A. R. F. ; BARBOSA, PAULO E.S. ; RODRIGUES, SIDNEY A. ; GALDINO, K. E. . QUALITATIVE APPLICATION OF OPERATION AND SUPPORT HAZARD ANALYSIS FOR SYRINGE INFUSION PUMPS. In: XXIV Congresso Brasileiro de Engenharia Biomédica, 2014, Uberlândia – MG. Anais do XXIV Congresso Brasileiro de Engenharia Biomédica, 2014.

13. LEITE, FABIO ; ANTONINO, PABLO OLIVEIRA ; BARBOSA, PAULO ; KEMMANN, SOEREN ; MENDONCA, RAPHAEL . Are the current architectural practices suitable for safety aspects of medical devices? An exploratory investigation. In: 2014 IEEE 16th International Conference on eHealth Networking, Applications and Services (Healthcom 2014), 2014, Natal-RN. 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), 2014. p. 477.

12. BARBOSA, PAULO E. S. ; MORAIS, MISAEL ; GALDINO, KATIA ; ANDRADE, MELQUISEDEC ; GOMES, LUIS ; MOUTINHO, FILIPE ; DE FIGUEIREDO, JORGE C. A. . Towards medical device behavioural validation using Petri nets. In: 2013 IEEE 26th International Symposium on ComputerBased Medical Systems (CBMS), 2013, Porto. Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems. p. 4.

11. BARBOSA, P. E. S. ; COSTA, A. ; GOMES, L. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; S. JUNIOR, A. D. . A MDA-based contribution for integrating web services within embedded system’s design. In: 8th IEEE International Conference on Industrial Informatics, 2010, Osaka. Proceedings of the 8th IEEE International Conference on Industrial Informatics. Osaka, 2010. p. 565-570.

10. MOUTINHO, FILIPE ; GOMES, LUIS ; RAMALHO, FRANKLIN ; FIGUEIREDO, JORGE ; BARROS, JOAO PAULO ; BARBOSA, PAULO ; PAIS, RUI ; COSTA, ANIKO . Ecore representation for extending PNML for Input-Output Place-Transition nets. In: IECON 2010 36th Annual Conference of IEEE Industrial Electronics, 2010, Glendale. IECON 2010 – 36th Annual Conference on IEEE Industrial Electronics Society. p. 2156-2161.

9. BARBOSA, P. E. S. ; COSTA, A. ; FIGUEIREDO, J. C. A. ; RAMALHO, F. ; GOMES, L. ; S. JUNIOR, A. D. . Modeling Complex Petri Nets Operations in the Model-Driven Architecture. In: IECON’09, 2009, Porto. 35th Conference of the IEEE Industrial electronics Society. Porto, 2009. v. 1. p. 4359-4364.

8. FIGUEIREDO, André Luis Lima de ; MACHADO, P. ; GADELHA, E. C. ; FIGUEIREDO, J. C. A. ; BARBOSA, P. E. S. . Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos. In: IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008, Rio de Janeiro. Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008. v. v. 1. p. 29-42.

7. BARBOSA, P. E. S. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; S. JUNIOR, A. D. . Incorporating Semantic Algebra in The MDA Framework. In: ICSOFT2008 – Third International Conference on Software and Data Technologies, 2008, Porto. Proceedings of the Third International Conference on Software and Data Technologies. Porto: INSTICC Press, 2008. v. 1. p. 330-336.

6. BARBOSA, P. E. S. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; S. JUNIOR, A. D. . An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. In: 32nd Annual IEEE Software Engineering Wokshop, 2008, Kassandra. Proceedings of 32nd Annual IEEE Software Engineering Wokshop. Danvers: IEEE Computer Society, 2008. p. 33-42.

5. BARBOSA, P. E. S. ; RODRIGUES, C. L. ; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. In: The 33rd Annual Conference of the IEEE Industrial Electronics Society (IECON-2007), 2007, Taipei. Proceedings of the 33rd Annual Conference of the IEEE Industrial Electronics Society, 2007. p. 82-87.

4. RODRIGUES, C. L. ; BARBOSA, P. E. S. ; CABRAL, J. M. ; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . A Bag-Of-Tasks Approach for State Space Exploration Using Computational Grids. In: Software Engineering and Formal Methods, 2006, Pune. Fourth IEEE International Conference on Software Engineering and Formal Methods, 2006. p. 226-235.

3. BARBOSA, P. E. S. ; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . Verificação Distribuída de Modelos: Uma Abordagem com Grades Computacionais. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis. Anais do XI Workshop de Teses e Dissertações em Engenharia de Software, 2006. v. 1. p. 1-6.

2. RODRIGUES, C. L. ; BARBOSA, P. E. S. ; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . RPOO Model Checker. In: Simpósio Brasileiro de Engenharia de Software SBES 2004, 2004, Brasília/DF. Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software (18.:2004 out. 21-22: Brasília).. Belém/PA: Departamento de Informática da Universidade Federal do Pará, 2004. p. 88-93.

1. MACHADO, P. ; OLIVEIRA, E. ; BARBOSA, P. E. S. ; RODRIGUES, C. L. . . Algebraic Specification-Based Testing: The Veritas Case Study. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. SBMF 2004, 2004. p. 166-183.

Articles in Scientific Journals

2. BARBOSA, P. E. S. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; S. JUNIOR, A. D. ; COSTA, A. ; GOMES, L. . Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science, v. 15, p. 2196-2224, 2009.

1. MACHADO, PATRÍCIA D.L. ; OLIVEIRA, ELTHON A.S. ; BARBOSA, PAULO E.S. ; RODRIGUES, CÁSSIO L. . Testing from Structured Algebraic Specifications: The Veritas Case Study. Electronic Notes in Theoretical Computer Science, v. 130, p. 235-261, 2005.

Book Chapter Published

8. MORAIS, M. E. ; BARBOSA, P. E. S. ; BUBLITZ, F. ; GALDINO, K. E. . Avaliação de Softwares Embarcados. In: Secretaria de Ciência, Tecnologia e Insumos Estratégicos do Ministério da Saúde. (Org.). Avanços, Desafios e Oportunidades no Complexo Industrial da Saúde em Serviços Tecnológicos. 1ed.Brasília: Ministério da Saúde, 2018, v. 1, p. 152-171.

7. Ruiz, Alejandra ; Barbosa, Paulo ; Medeiros, Yang ; Espinoza, Huascar . Safety Case Driven Development for Medical Devices. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. , p. 183-196.

6. ANTONINO, PABLO OLIVEIRA ; TRAPP, MARIO ; Barbosa, Paulo ; Gurjäo, Edmar C. ; Rosário, Jeferson . The Safety Requirements Decomposition Pattern. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. , p. 269-282.

5. COSTA, A. ; BARBOSA, P. E. S. ; MOUTINHO, F ; PEREIRA, F. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; GOMES, L. . MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models. In: Zhiwu Li; Abdulrahman M. Al-Ahmari. (Org.). Formal Methods in Manufacturing Systems: Recent Advances. 1ed.Hershey: IGI Global, 2013, v. , p. 112-135.

4. Barbosa, Paulo ; Barros, João Paulo ; RAMALHO, FRANKLIN ; Gomes, Luís ; FIGUEIREDO, JORGE ; MOUTINHO, FILIPE ; Costa, Anikó ; Aranha, André . SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. In: IFIP. (Org.). IFIP Advances in Information and Communication Technology. 349ed.Lisboa: Springer Berlin Heidelberg, 2011, v. 349, p. 256-265.

3. MOUTINHO, FILIPE ; Gomes, Luís ; Barbosa, Paulo ; Barros, João Paulo ; RAMALHO, FRANKLIN ; FIGUEIREDO, JORGE ; Costa, Anikó ; Monteiro, André . Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. In: IFIP. (Org.). IFIP Advances in Information and Communication Technology. 349ed.Lisboa: Springer Berlin Heidelberg, 2011, v. 349, p. 237-245.

2. Barbosa, Paulo ; RAMALHO, FRANKLIN ; FIGUEIREDO, JORGE ; Costa, Anikó ; Gomes, Luís ; Junior, Antônio . Semantic Equations for Formal Models in the Model-Driven Architecture. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis. (Org.). (Org.). IFIP Advances in Information and Communication Technology. 1ed.Costa da Caparica: Springer Berlin Heidelberg, 2010, v. 314, p. 251-260.

1. Costa, Anikó ; Barbosa, Paulo ; Gomes, Luís ; RAMALHO, FRANKLIN ; FIGUEIREDO, JORGE ; Junior, Antônio . Properties Preservation in Distributed Execution of Petri Nets Models. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis. (Org.). (Org.). IFIP Advances in Information and Communication Technology. 1ed.Costa da Caparica: Springer Berlin Heidelberg, 2010, v. 314, p. 241-250.