Paulo Eduardo e Silva Barbosa

  • Endereço para acessar este CV: http://lattes.cnpq.br/9229454955533353
  • Última atualização do currículo em 13/07/2018


Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal de Campina Grande (2004), mestrado em Ciência da Computação pela Universidade Federal de Campina Grande (2007) e doutorado em Ciência da Computação pela Universidade Federal de Campina Grande (2011). Além do mais, é técnico em Eletrônica e Telecomunicações pela Escola Técnica Redentorista (2000) e especialista em Testes de Software pela Motorola/UFPE (2005). Professor da Universidade Estadual da Paraíba e com experiência de ensino no Centro Superior de Ensino e Desenvolvimento, Centro Universitário de João Pessoa, na Universidade Federal da Paraíba. Atua em projetos de tecnologias em saúde envolvendo software embarcado. Coordena e colabora em projetos de Parceria de Desenvolvimento Produtivo do Ministério da Saúde, envolvendo transferência de tecnologia e fabricação de equipamentos médicos diretamente para o SUS. Atua em pesquisas envolvendo sistemas críticos e técnicas para gerenciamento de riscos e engenharia de sistemas. (Texto informado pelo autor)


Identificação


Nome
Paulo Eduardo e Silva Barbosa
Nome em citações bibliográficas
BARBOSA, P. E. S.;BARBOSA, PAULO E. S.;BARBOSA, PAULO E.S.;BARBOSA, PAULO;Barbosa, Paulo

Endereço


Endereço Profissional
Universidade Estadual da Paraíba, Centro de Ciências e Tecnologia, Departamento de Ciência da Computação.
Rua Baraúnas, 351
Bairro Universitário
58429500 - Campina Grande, PB - Brasil
Telefone: (83) 33153300
URL da Homepage: www.dsc.ufcg.edu.br/~paulo


Formação acadêmica/titulação


2007 - 2011
Doutorado em Ciência da Computação.
Universidade Federal de Campina Grande, UFCG, Brasil.
com período sanduíche em Fac. Ciên. e Tecn., Universidade Nova de Lisboa (Orientador: Luís Filipe Gomes).
Título: MDA-Veritas: Uma arquitetura MDA estendida para transformações de sistemas concorrentes preservadoras de semântica, Ano de obtenção: 2011.
Orientador: Jorge Cesar Abrantes de Figueiredo.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
2005 - 2007
Mestrado em Ciência da Computação.
Universidade Federal de Campina Grande, UFCG, Brasil.
Título: Verificação Distribuída de Modelos: Investigando o uso de grades computacionais,Ano de Obtenção: 2007.
Orientador: Jorge Cesar Abrantes de Figueiredo.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
2004 - 2005
Especialização em Curso de Imersão Tecnológica CIN/Motorola. (Carga Horária: 552h).
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: TCD - Test Case Designer.
Orientador: Augusto César Sampaio.
Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil.
2000 - 2004
Graduação em Bacharelado em Ciência da Computação.
Universidade Federal de Campina Grande, UFCG, Brasil.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
1997 - 1999
Curso técnico/profissionalizante em Eletrônica e Telecomunicações.
Escola Técnica Redentorista, ETER, Brasil.
Bolsista do(a): Governo do Estado da Paraíba, GOVERNO, Brasil.




Atuação Profissional



Universidade Estadual da Paraíba, UEPB, Brasil.
Vínculo institucional

2012 - Atual
Vínculo: , Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

8/2016 - Atual
Direção e administração, Centro de Ciências e Tecnologia, Departamento de Ciência da Computação.

Cargo ou função
Coordenador do Bacharelado em Ciência da Computação.
3/2016 - Atual
Direção e administração, Reitoria, .

Cargo ou função
Assessor de Informática do Núcleo de Tecnologias Estratégicas em Saúde (NUTES).
3/2016 - Atual
Pesquisa e desenvolvimento , Reitoria, .

08/2013 - Atual
Ensino, Tecnologias para a Saúde, Nível: Pós-Graduação

Disciplinas ministradas
Metodologia da Pesquisa
Instrumentação Biomédica
03/2013 - Atual
Pesquisa e desenvolvimento , Centro de Ciências e Tecnologia, .

Linhas de pesquisa
Tecnologias em Saúde
03/2012 - Atual
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Lógica Matemática
Engenharia de Software
Linguagem de Programação I
01/2014 - 8/2016
Direção e administração, Reitoria, Pró-Reitoria de Pós-Graduação e Pesquisa.

Cargo ou função
Coordenador Adjunto do Programa de Mestrado Profissional em Ciência e Tecnologia em Saúde.

Centro de Ensino Superior e Desenvolvimento, CESED, Brasil.
Vínculo institucional

2011 - 2012
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 20
Outras informações
Disciplinas ministradas: Paradigmas de Programação e Sistemas de Informação

Vínculo institucional

2006 - 2011
Vínculo: Professor vistante, Enquadramento Funcional: Professor, Carga horária: 20
Outras informações
Disciplinas ministradas: Paradigmas de Programação e Sistemas de Informação


Centro Universitário de João Pessoa, UNIPÊ, Brasil.
Vínculo institucional

2011 - 2012
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 40
Outras informações
Disciplinas ministradas: Compiladores I e Compiladores II


Universidade Federal da Paraíba, UFPB, Brasil.
Vínculo institucional

2008 - 2009
Vínculo: Celetista formal, Enquadramento Funcional: Professor Substituto
Outras informações
Disciplina ministrada: Processamento de dados

Vínculo institucional

2000 - 2000
Vínculo: Estagiário em eletrônica, Enquadramento Funcional: estagiário, Carga horária: 20
Outras informações
Exerci atividades de manutenção e desenvolvimento de software no LEMA(Laboratório de Eletromagnetismo e Microondas Aplicado) do DEE - UFCG.

Atividades

03/2000 - 09/2000
Estágios , Centro de Ciências e Tecnologia - Campus II, Departamento de Engenharia Elétrica.

Estágio realizado
Conhecimento das características da rede interna de computadores da AMEA e o progressivo envolvimento com aspectos simples de seu gerenciamento. Desenvolvimento de um banco de dados para a AMEA utilizando uma linguagem visual. Desenvolvimento de um s.

Universidade Federal de Campina Grande, UFCG, Brasil.
Vínculo institucional

2009 - 2011
Vínculo: Outro (Pesquisador), Enquadramento Funcional: Pesquisador



Linhas de pesquisa


1.
Tecnologias em Saúde

Objetivo: Engenharia de software para sistemas embarcados críticos. Aplicação direta em dispositivos médicos..
2.
Coordenador da Parceria de Desenvolvimento Produtivo Desfibrilador com o Ministério da Saúde


Projetos de pesquisa


2017 - Atual
OCARIoT - smart childhood Obesity CARing solution using IoT potential
Descrição: Child obesity is the major pediatric public health concern, affecting around 224 million school-age children in the world. Its prevalence has tripled in many European countries since 1980, increasing in an alarming rate. Childhood obesity already affects more than one in three school-aged children in Brazil, Greece and Spain. The main goal of OCARIoT is to promote the improvement of eating and physical disorders and also the prevention of the obesity onset for children (between 9 and 12 years old). For doing so, OCARIoT will develop an IoT-based personalised coaching solution guiding children to adopt healthy eating and physical activity behaviour. The IoT network will allow observing child activity patterns of daily living, health evolution, physiological & behavioural parameters and environmental data. All this information combined with medical patterns will 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. The proposed solution will be able to empower children (and also educational staff and families) in taking control of their health by collecting real-time information about nutrition and physical activity, and interconnecting doctors and children (including parents and tutors) in order to adapt the individual obesity coaching plan. OCARIoT will demonstrate and validate its results on three specific pilot sites in Spain, Greece and Brazil. The OCARIoT consortium will ensure children?s rights and data privacy, security and confidentiality through an Ethics Board composed by healthcare professionals and children representatives from different EU and Brazil organisations..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) / Mestrado profissional: (2) .

Integrantes: Paulo Eduardo e Silva Barbosa - Coordenador / Katia Elizabete Galdino - Integrante / Lucas Barbosa - Integrante / Alex Figueiredo - Integrante / Izabela Queiroz - Integrante / Douglas Santos - Integrante / Edson Neto - Integrante / Leonardo Alves - Integrante.
Financiador(es): Rede Nacional de Ensino e Pesquisa - Cooperação.
2016 - 2017
Agregador de Dados em Saúde

Projeto certificado pela empresa Signove Tecnologia em 13/03/2017.
Descrição: Solução de captura de dados de dispositivos médicos...
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) .

Integrantes: Paulo Eduardo e Silva Barbosa - Coordenador / Fernanda Lima Jordão - Integrante / Lucas Barbosa - Integrante / Yasser Nascimento - Integrante.
2012 - Atual
Núcleo de Tecnologias Estratégicas em Saúde
Descrição: NUTES - Núcleo de Tecnologias Estratégicas em Saúde. 1) Validação e certificação de software para dispositivos médicos. 2) Qualidade de código em Safety Critical Systems. 3) Auxílio ao diagnóstico médico por imagem.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) .

Integrantes: Paulo Eduardo e Silva Barbosa - Coordenador / Misael Elias de Morais - Integrante / Katia Elizabete Galdino - Integrante / Fábio Luiz Leite Júnior - Integrante / Djalma de Melo Carvalho Filho - Integrante / Jose Augusto de Oliveira Neto - Integrante / Robson Pequeno de Sousa - Integrante / Eanes Torres Pereira - Integrante / Nadja Maria da Silva Oliveira - Integrante.
2009 - 2011
Verificação Semântica em Transformações MDA Envolvendo Modelos de Redes de Petri
Descrição: O objetivo principal do projeto de colaboração é o de explorar sinergias resultantes da interação de três trabalhos de teses de doutorado atualmente em curso sob a supervisão do Grupo de Métodos Formais da UFCG e Do Grupo de Pesquisa da UNINOVA/Portugal. Dois desses na equipe portuguesa e um na equipe brasileira. O trabalho de doutorado do lado brasileiro explora um problema em aberto na Arquitetura Dirigida por Modelos, que é a falta de garantia da preservação da semântica do modelo nas transformações entre modelos providas por esta arquitetura. Do lado português, os dois trabalhos de doutorado estão inseridos no contexto no projeto FORDESIGN (projeto da UNINOVA), sob responsabilidade da UNINOVA, cujo intuito é utilizar redes de Petri como linguagem central para construção de modelos dos sistemas.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (3) .

Integrantes: Paulo Eduardo e Silva Barbosa - Integrante / Jorge Cesar Abrantes de Figueiredo - Coordenador / Franklin Ramalho - Integrante / Luis Gomes - Integrante / Anikó Costa - Integrante.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2005 - 2007
DVeritas: Verificação de Modelos RPOO Distribuída
Descrição: O principal objetivo deste projeto é investigar e desenvolver métodos e ferramentas para aliviar o problema da explosão de estados em verificação de modelos. Em particular, desenvolver técnicas para a verificação de modelos distribuída dentro do contexto do Veritas (verificador de modelos RPOO desenvolvido no GMF/DSC/UFCG).
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) .

Integrantes: Paulo Eduardo e Silva Barbosa - Integrante / Cassio Leonardo Rodrigues - Integrante / Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante / Jairson Cabral Marinho - Integrante / Talita de Padua Uchoa - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2003 - 2004
Verificação de Modelos em Redes de Petri Orientadas a Modelo
Descrição: O objetivo principal deste trabalho é desenvolver técnicas de verificação formal de modelos RPOO, através da análise do espaço de estados.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .

Integrantes: Paulo Eduardo e Silva Barbosa - Integrante / Cassio Leonardo Rodrigues - Integrante / Jorge Cesar Abrantes de Figueiredo - Coordenador / Dalton Dario Serey Guerrero - Integrante / Fabricio Vale de Azevedo Guerra - Integrante / Leandro Max de Lima Silva - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.


Projetos de extensão


2017 - Atual
Acompanhamento da Implantação de Monitor Multiparamétrico com Acesso Remoto em um Leito de UTI para Cirurgia Cardíaca
Descrição: Este estudo objetiva analisar a implantação de monitor multiparamétrico com acesso remoto em um leito de UTI para cirurgia cardíaca. Este projeto de extensão tem auxiliado na validação de tecnologias com conectividade e acesso remoto, buscando comprovar a importância e viabilidade da adoção desse componente. Existe uma tendência de que o paciente que estiver sendo monitorado por equipamentos que dispõem dessa tecnologia tenha mais segurança, rapidez na assistência e resposta às intercorrências de uma cirurgia cardíaca..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (2) / Mestrado profissional: (1) .

Integrantes: Paulo Eduardo e Silva Barbosa - Coordenador / GISEDA COUTINHO - Integrante / Eder Rodrigues Araujo - Integrante / Aleksandro da Costa Fabricio - Integrante.
2016 - Atual
SOCIALIZAÇÃO TECNOLÓGICA SOBRE FALHAS DE VENTILADORES MECÂNICOS PULMONARES
Descrição: A tecnologia traz inúmeros benefícios aos profissionais da área de saúde e aos pacientes, através de tratamentos mais eficazes, como por exemplo, a assistência ventilatória mecânica invasiva que tem como objetivo a manutenção da oxigenação e/ou da ventilação pulmonar proporcionando condições favoráveis ao restabelecimento da sua saúde, até que o paciente reassuma essa função. Os Ventiladores Mecânicos Pulmonares são dispositivos utilizados frequentemente em unidades de terapia intensiva (UTI) para pacientes clinicamente críticos. Qualquer falha neste dispositivo pode representar risco para segurança do paciente, podendo proporcionar danos temporário ou permanente. Este trabalho de extensão se propõe a interpretar e socializar os dados levantados nessa pesquisa e leva-los para ambientes clínicos, trazendo ensinamentos e uma cultura de segurança aos desenvolvedores de tecnologias do Núcleo de Tecnologias em Saúde da UEPB, melhorando a interação de programadores de dispositivos médicos e o contexto social no qual eles estarão inseridos, já que as falhas constatadas podem gerar problemas com a graves consequências cardiorrespiratórias. Desta forma, os desenvolvedores de tecnologias visitarão clínicas-escola e hospitais para promover evoluções nos aspectos regulatórios destes ambientes. O resultado desse trabalho de extensão pode oferecer subsídios para um melhor gerenciamento de risco, no desenvolvimento de protocolos assistenciais, em uma articulação sistêmica entre possíveis sinais de alertas e respectivas necessidades de intervenções administrativas juntamente com a engenharia clínica..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .

Integrantes: Paulo Eduardo e Silva Barbosa - Coordenador / Antonio Marinho - Integrante.
2013 - Atual
AUXÍLIO À ENGENHARIA DE REQUISITOS PARA PROTOTIPAÇÃO DE LINHAS DE PRODUTO DE SISTEMAS DE INFORMAÇÃO EM CLÍNICAS-ESCOLA DA UEPB
Descrição: A engenharia de requisitos para sistemas de informação é uma área multidisciplinar, que envolve a interação com diversos segmentos da sociedade e interessados no desenvolvimento desses sistemas dos mais diferenciados perfis. O prontuário pessoal do paciente (PHR) e o prontuário eletrônico (EHR) são sistemas indispensáveis aos serviços de saúde em nossos dias, por facilitarem o gerenciamento dos dados do paciente, e otimizarem as atividades dos profissionais de saúde, uma vez que os mesmos necessitam de interação e economia de recursos. Neste cenário, o NUTES (Núcleo de Tecnologias Estratégicas em Saúde) vem desenvolvendo uma solução de linha de produto de software que permitirá a prototipação rápida de PHRs e EHRs para ambientes com mudanças constantes de requisitos. Um excelente cenário identificado para validação desta solução são as clínicas-escola da UEPB, por possuírem uma ampla variedade de tipos de serviços e uma pré-disposição de seus coordenadores a colaborarem com as pesquisas que ainda estão em um nível acadêmico. Sistemas PHR e EHR poderiam melhorar a qualidade dos atendimentos, por permitirem integrar informações sobre o histórico do paciente, de toda a sua conduta de tratamento e de toda a evolução da sua condição patológica. Neste cenário, este projeto propõe pesquisas de auxílio aos desenvolvedores da linha de produto de software por parte de estudantes da clínica-escola de fisioterapia da UEPB no intuito de refinarem e validarem os requisitos dos sistemas PHR e EHR que serão instanciados para este ambiente. Assim, o trabalho específico dos estudantes de fisioterapia selecionados para este projeto envolve levantamento e gerenciamento de requisitos dos sistemas, avaliação de usabilidade, aplicação de rotinas de testes, prototipação rápida, estudos clínicos e comunicação com outros dispositivos para que a solução seja amadurecida e utilizada efetivamente através da interação com os profissionais das clínicas-escola para uso efetivo em ambientes da UEPB..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) / Mestrado profissional: (1) .

Integrantes: Paulo Eduardo e Silva Barbosa - Coordenador / Eujessika Katielly Rodrigues Silva - Integrante.


Projetos de desenvolvimento


2013 - Atual
Parceria de Desenvolvimento Produtivo - Monitores Multi-paramétricos
Descrição: Transferência de tecnologia e fabricação do dispositivo Lifetouch 10 para venda direta ao Ministério da Saúde para incorporação no Sistema Único de Saúde..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (10) / Mestrado profissional: (2) .

Integrantes: Paulo Eduardo e Silva Barbosa - Integrante / Misael Elias de Morais - Integrante / GALDINO, KATIA - Integrante / Jean Pereira Fernandes - Coordenador / Frederico Bublitz - Integrante / Daniel Scherer - Integrante.
2013 - Atual
Parceria de Desenvolvimento Produtivo - Desfibriladores/Cardioversores
Descrição: Transferência de tecnologia e fabricação do dispositivo Lifeshock PRO para venda direta ao Ministério da Saúde para incorporação no Sistema Único de Saúde..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Técnico de nível médio: (0) Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (2) / Doutorado: (0) .

Integrantes: Paulo Eduardo e Silva Barbosa - Coordenador / Kátia Galdino - Integrante / MORAIS, MISAEL - Integrante / Jean Pereira Fernandes - Integrante.
Financiador(es): Lifemed Industrial de Equipamentos e Artigos Médicos Hospitalares - Cooperação / Ministério da Saúde - Outra.
2012 - 2013
Programa das Nações Unidas para Desenvolvimento - PNUD
Descrição: Certificação de Marcapassos Cardíacos Implantáveis para a ANVISA.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Técnico de nível médio: (0) Graduação: (5) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (2) / Doutorado: (0) .

Integrantes: Paulo Eduardo e Silva Barbosa - Coordenador / MORAIS, MISAEL - Integrante.
Financiador(es): Agência Nacional de Vigilância Sanitária - Cooperação.
2004 - 2005
Desenvolvimento e execução de testes em celulares MOTOROLA
Descrição: Capacitação na área de Engenharia de Software, com especialização em Testes. O estágio faz parte do Programa de Imersão Tecnológica, e tem como objetivo principal incentivar a formação de recursos humanos com alto grau de especialização em software embarcado para testes e aplicações em computação móvel, com os incentivos e benefícios previstos na Lei de Informática..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (20) / Mestrado acadêmico: (10) / Mestrado profissional: (2) .

Integrantes: Paulo Eduardo e Silva Barbosa - Integrante / Sampaio Augusto - Integrante / Sergio Cavalcanti - Coordenador.
Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa.


Revisor de periódico


2015 - Atual
Periódico: Empirical Software Engineering


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
2.
Grande área: Engenharias / Área: Engenharia Biomédica.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Análise de Sistemas Criticos.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2013
Mestre Nacional de Xadrez, Confederação Brasileira de Xadrez.
2011
Campeão Paraibano Absoluto de Xadrez, CBX - Confederação Brasileira de Xadrez.
2010
Campeão Brasileiro Universitário de Xadrez, CBDU - Confederação Brasileira de Desportos Universitários.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
BARBOSA, P. E. S.2009 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.

2.
MACHADO, PATRÍCIA D.L.2005MACHADO, 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.

Capítulos de livros publicados
1.
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.

2.
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.

3.
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.

5.
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.

6.
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.

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

Trabalhos completos publicados em anais de congressos
1.
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.

2.
BARBOSA, PAULO E.S.; LEITE JUNIOR, F. L. ; SANTOS, D. ; FIGUEIREDO, A. ; GALDINO, K. E. . Introducing Traceability Information Models in Connected Health Projects. In: 2018 IEEE 31st International Symposium on Computer-Based Medical Systems, 2018, Karlstad, Suécia. Proceedings of the 2018 IEEE 31st International Symposium on Computer-Based Medical Systems. Piscataway, U.S.A.: IEEE Computer Society, 2018.

3.
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.

4.
ANTONINO, PABLO OLIVEIRA ; TRAPP, MARIO ; Barbosa, Paulo ; SOUSA, LUANA . The Parameterized Safety Requirements Templates. In: 2015 IEEE/ACM 8th International Symposium on Software and Systems Traceability (SST), 2015, Florence. 2015 IEEE/ACM 8th International Symposium on Software and Systems Traceability. p. 29.

5.
BARBOSA, PAULO E.S.; LEITE JUNIOR, F. L. ; MENDONCA, RAPHAEL ; ANDRADE, M. ; SOUSA, L. ; ANTONINO, PABLO OLIVEIRA . RAwTIM Uma Ferramenta para Rastreabilidade da Informação em Análises de Riscos. In: 6th Brazilian Conference on Software: Theory and Practice (CBSoft 2015) - 22nd Tools Session, 2015, Belo Horizonte. Proceedings of the 22nd Tools Session / 6th Brazilian Conference on Software: Theory and Practice, 2015, 2015. p. 129-137.

6.
Gurjão, E. C. ; BARBOSA, PAULO E.S. ; Medeiros, Yang ; ALBORNOZ, L. . A Model for Architecture Centric Development of Automated External Defibrillators. In: V Brazilian Symposium on Computing Systems Engineering, 2015, Foz do Iguacu. roceedings of V Brazilian Symposium on Computing Systems Engineering, 2015.

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

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
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.

20.
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.

21.
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.

22.
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.

Resumos publicados em anais de congressos
1.
BARBOSA, P. E. S.; SILVA, T. M. ; GUERRERO, D. D. S. ; FIGUEIREDO, J. C. A. . Simulação de Modelos RPOO - Entrada de Dados e Parsers, Interface Gráfica, simulador de Redes de Petri e Integração de Ferramentas. In: XI Encontro de Iniciação Científica da UFPB, 2003, João Pessoa. XI Encontro de Iniciação Científica da UFPB, 2003.

2.
BARBOSA, P. E. S.; GUERRERO, D. D. S. . simulação de Modelos RPOO - Interface Gráfica e Integração de Ferramentas. In: X Encontro de Iniciação Científica da UFPB, 2002, João Pessoa. X Encontro de Iniciação Científica da UFPB, 2002.

Apresentações de Trabalho
1.
BARBOSA, P. E. S.. Pesquisa e Desenvolvimento de tecnologias no NUTES. 2013. (Apresentação de Trabalho/Simpósio).

2.
BARBOSA, P. E. S.. Paradigmas de Linguagem de Programação e Gramáticas. 2011. (Apresentação de Trabalho/Outra).

3.
BARBOSA, P. E. S.; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; COSTA, A. ; GOMES, L. ; S. JUNIOR, A. D. . Semantic Equations for Formal Models in the Model-Driven Architecture. 2010. (Apresentação de Trabalho/Conferência ou palestra).

4.
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. 2009. (Apresentação de Trabalho/Conferência ou palestra).

5.
BARBOSA, P. E. S.. An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. 2008. (Apresentação de Trabalho/Conferência ou palestra).

6.
BARBOSA, P. E. S.; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; S. JUNIOR, A. D. . Incorporating Semantic Algebra in The MDA Framework. 2008. (Apresentação de Trabalho/Conferência ou palestra).

7.
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. 2007. (Apresentação de Trabalho/Conferência ou palestra).

8.
BARBOSA, P. E. S.; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . Verificação Distribuída de Modelos: Uma Abordagem com Grades Computacionais. 2006. (Apresentação de Trabalho/Congresso).

9.
BARBOSA, P. E. S.; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . Distributed Model-Checking using Computational Grids. 2006. (Apresentação de Trabalho/Simpósio).


Produção técnica
Assessoria e consultoria
1.
BARBOSA, P. E. S.; MORAIS, M. E. ; GALDINO, K. E. . Cooperação Técnica entre a ANVISA e UEPB. 2013.

Programas de computador sem registro
1.
BARBOSA, P. E. S.; S. JUNIOR, A. D. . NUTES ProLS - Product Line Solution. 2014.

2.
BARBOSA, P. E. S.; CABRAL, J. M. ; RODRIGUES, C. L. . Divíduo - Distributed Ba-of-Tasks Model-Checker. 2006.

3.
BARBOSA, P. E. S.; SILVA, P. C. ; MAGALHAES, A. A. S. . Test Case Designer. 2005.

4.
BARBOSA, P. E. S.; RODRIGUES, C. L. . RPOO Model Checker. 2004.

5.
BARBOSA, P. E. S.; SILVA, T. M. ; TAVARES, R. O. . Simulador de Sistemas de Objetos. 2003.

Trabalhos técnicos


Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Gurjão, E. C.; BARBOSA, PAULO. Participação em banca de Ennyo José Barros de Araújo. Uso de Aprendizado de Máquina para a Detecção de Fraudes no Sistema Odontológico do SUS. 2017. Dissertação (Mestrado em Tecnologias para a Saúde) - Universidade Estadual da Paraíba.

2.
BRITO, A. V.; NIGAM, V.; BARBOSA, PAULO E.S.. Participação em banca de José de Sousa Barros. Uma Ferramenta para Avaliar Estratégias de Voos de VANTs usando Cossimulação. 2017. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

3.
BARBOSA, PAULO E.S.. Participação em banca de Tiago Emilio de Sousa Araujo. Avaliando o Desempenho dos Sistemas de Detecção de Intrusão Snort e Suricata em Ataques de Negação de Serviço. 2017. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

4.
OLIVEIRA, E. J. V.; BARBOSA, PAULO E.S.; CARVALHO FILHO, D. M.. Participação em banca de Manoel Pereira de Andrade Filho. Proposta de Metodologia para Implantação da Tecnologia de RFID-Chip no Controle de Evasão de Enxoval Hospitalar. 2016. Dissertação (Mestrado em Tecnologias para a Saúde) - Universidade Estadual da Paraíba.

5.
MORAIS, M. E.; BARBOSA, PAULO E.S.; SILVA, J. V. L.. Participação em banca de MARCUS VINÍCIUS DE OLIVEIRA RÉGIS. GESTÃO SEMI-AUTOMATIZADA PARA MODELAGENS 3D EM PLANEJAMENTOS CIRÚRGICOS. 2016. Dissertação (Mestrado em Tecnologias para a Saúde) - Universidade Estadual da Paraíba.

6.
BRITO, A. V.; NASCIMENTO, T. P.; BARBOSA, P. E. S.. Participação em banca de Rivaldo do Ramos Simão. Estudo de resiliência em comunicação entre sistemas Multirrobôs utilizando HLA. 2016. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

7.
BARBOSA, PAULO E.S.; Gurjão, E. C.; Luciano, B. A.; FREIRE, R. C. S.; LOPES, W. T. A.. Participação em banca de Sidney Aciole Rodrigues. Acionamento para Bombas de Infusão de Múltiplos Canais. 2014. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Qualificações de Mestrado
1.
OLIVEIRA, E. J. V.; CARVALHO FILHO, D. M.; BARBOSA, PAULO E.S.. Participação em banca de Manoel Pereira de Andrade Filho. Proposta de Implantação da Tecnologia de RFID-chip no Controle da Evasão de Enxoval em Estabelecimentos de Saúde. 2015. Exame de qualificação (Mestrando em Tecnologias para a Saúde) - Universidade Estadual da Paraíba.

2.
BARBOSA, PAULO E.S.; RAMALHO, F.; Gurjão, E. C.. Participação em banca de Raphael Mendonça da Nóbrega. Um Modelo de Decomposição de Requisitos de Segurança para a Indústria de Dispositivos Médicos. 2015. Exame de qualificação (Mestrando em Tecnologias para a Saúde) - Universidade Estadual da Paraíba.

Trabalhos de conclusão de curso de graduação
1.
BARBOSA, PAULO E.S.. Participação em banca de José Chaves Firmo Neto.Transferência de Tecnologia Universidade, Indústria e Governo: Um Panorama do Brasil. 2017. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

2.
BARBOSA, PAULO E.S.. Participação em banca de Lukas Teles de Lima Ramos.Flexinect: Um Sistema para Avaliação de Flexibilidade Corporal em Tempo Real Utilizando Sensores. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

3.
Damasio, J. F.; OLIVEIRA NETO, J. A.; BARBOSA, PAULO E.S.. Participação em banca de Rafael Virginio Amaral.Solução Interoperável com o Padrão HL7 para a Clínica de Psicologia. 2014. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba.

4.
BARBOSA, P. E. S.. Participação em banca de Francisco Ioneiton da Silva.Weblivro: Desenvolvimento e Avaliação de um Protótipo para aprendizagem colaborativa Utilizando Multimídia. 2012. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Estadual da Paraíba.

5.
BARBOSA, P. E. S.; NUNES, I. D.; NETTO, A. V. S.. Participação em banca de Antônio Avelino de Sousa Neto.Suporte à Avaliação de uma Técnica de Geração de Código para Sistemas Embarcados Controlados por Microcontroladores PIC. 2012. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Faculdade de Ciências Sociais Aplicadas.

6.
BARBOSA, P. E. S.. Participação em banca de Wagner Anton Wolff.TI Verde: A Proposta de Implantação de Políticas Sustentáveis em Conselhos Regionais de Medicina do Brasil. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário de João Pessoa.

7.
BARBOSA, P. E. S.. Participação em banca de Márcio José da Cunha Souza.Avaliação de Usabilidade de Redes Sociais com Foco na Terceira Idade. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento.

8.
BARBOSA, P. E. S.. Participação em banca de Francisco Hertz Aragão Farias.Ferramenta Auxiliar para a Administração. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento.

9.
BARBOSA, P. E. S.. Participação em banca de Lisieux Marie M. dos S. Andrade.Hibridizações Aplicadas ao Problema do Ciclo Mediano sem Restrição de Capacidade. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário de João Pessoa.

10.
BARBOSA, P. E. S.. Participação em banca de Valney Neves Sales.Estudo de Caso entre os Bancos de Dados ORAACLE e MYSQL. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento.

11.
BARBOSA, P. E. S.. Participação em banca de João Paulo Bandeira de matos Brito.WIMAX: A Evolução da Conexão sem Fio. 2009. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento.



Participação em bancas de comissões julgadoras
Professor titular
1.
GALDINO, K. E.; BARBOSA, P. E. S.; SOUSA, R. P.. Banca Examinadora do Desempenho Docente. 2013. Universidade Estadual da Paraíba.

Concurso público
1.
BARBOSA, P. E. S.; NAKAGAWA, E. Y.; PIRES, C. E. S.. Edital Nº 02/UEPB/2015. 2016. Universidade Estadual da Paraíba.

2.
BARBOSA, PAULO E.S.. Banca de seleção para professor substituto UEPB - Edital 004/2016. 2016.

3.
BARBOSA, P. E. S.; SOUZA, E. P. R.; TRINDADE, C. C.. Concurso para Professor Efetivo UAST/UFRPE. 2014. Universidade Federal Rural de Pernambuco.

4.
BARBOSA, P. E. S.; MOTA, J. C.. Concurso para Professor Substituto. 2013. Universidade Estadual da Paraíba.

5.
PEREIRA, E. T.; BARBOSA, P. E. S.. Concurso para Professor Substituto. 2012. Universidade Estadual da Paraíba.

6.
PEREIRA, E. T.; BARBOSA, P. E. S.. Concurso para Professor Substituto. 2012. Universidade Estadual da Paraíba.

Outras participações
1.
BARBOSA, PAULO E.S.. Avaliação de Projetos de Iniciação Científica - UEPB. 2016.

2.
BARBOSA, PAULO E.S.. Avaliação do Programa de Iniciação Científica - PIBIC. 2014. Universidade Estadual da Paraíba.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Fórum de Coordenadores da Faculdade São Francisco de Barreiras. Visão Geral do NUTES. 2017. (Exposição).

2.
Brazilian Conference on Software: Theory and Practice. Uma Ferramenta para Rastreabilidade da Informação em Análises de Riscos. 2015. (Congresso).

3.
CIMES - Congresso de Inovação em Materiais e Equipamentos para Saúde. Rodada de Negociação com empresas do setor da saúde. 2015. (Congresso).

4.
Feira Hospitalar. Interação com empresas do setor de dispositivos médicos. 2015. (Feira).

5.
Feira Medica. Apresentação do NUTES para empresas de dispositivos médicos. 2015. (Feira).

6.
V Brazilian Symposium on Computing Systems Engineering. A Model for Architecture Centric Development of Automated External DefibrillatorsA Model for Architecture Centric Development of Automated External Defibrillators. 2015. (Congresso).

7.
VI Brazilian Symposium on Computing Systems Engineering. Dispositivo de Monitoramento Cardiorrespiratório. 2015. (Olimpíada).

8.
Feira Hospitalar. Interação com empresas do setor de dispositivos médicos. 2014. (Feira).

9.
Feira Medica. 2014. (Congresso).

10.
IEEE Healthcom. Are the Current Architectural Practices Suitable for Safety Aspects of Medical Devices? An Exploratory Investigation. 2014. (Congresso).

11.
Feira Hospitalar. 2013. (Feira).

12.
Feira Medica. 2013. (Feira).

13.
The 26th International Symposium on Computer-Based Medical Systems. Towards Medical Device Behavioral Validation Using Petri Nets. 2013. (Congresso).

14.
DoCEIS '10. Semantic Equations for Formal Models in the Model-Driven Architecture. 2010. (Congresso).

15.
the 35th Annual Conference oh the IEEE Industrial Electronics Society. Modeling Complex Petri Nets Operations in the Model-Driven Architecture. 2009. (Congresso).

16.
ICSOFT2008 - Third International Conference on Software and Data Technologies. Incorporating Semantic Algebra in The MDA Framework. 2008. (Congresso).

17.
I Semana Acadêmica do CCHE.Desenvolvimento Formal. 2008. (Encontro).

18.
ISOLA 2008.An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. 2008. (Simpósio).

19.
The 33rd Annual Conference of the IEEE Industrial Electronics Society. Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. 2007. (Congresso).

20.
SBMF 2006.Distributed Model-Checking using Computational Grids. 2006. (Simpósio).

21.
XI Workshop de Teses e Dissertações em Engenharia de Software.Verificação Distribuída de Modelos: Uma Abordagem com Grades Computacionais. 2006. (Simpósio).

22.
SBMF 2003. 2003. (Simpósio).

23.
XI Encontro de Iniciação Científica da UFPB.Simulação de Modelos RPOO - Entrada de Dados e Parsers, Interface Gráfica, simulador de Redes de Petri e Integração de Ferramentas. 2003. (Encontro).

24.
2ª Oficina de Programação de Universidade Federal de Campina Grande. 2002. (Oficina).

25.
X Encontro de Iniciação Científica da UFPB.simulação de Modelos RPOO - Interface Gráfica e Integração de Ferramentas. 2002. (Encontro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Ana Emilia Oliveira. Avaliação de uma Solução de Internet das Coisas em uma UBS em Campina Grande. Início: 2018. Dissertação (Mestrado profissional em Tecnologias para a Saúde) - Universidade Estadual da Paraíba. (Orientador).

2.
Isabelle Cordeiro. Modelo de Obesidade e Internet das Coisas. Início: 2017. Dissertação (Mestrado profissional em Tecnologias para a Saúde) - Universidade Estadual da Paraíba. (Orientador).

3.
Paulo Cesar Oliveira Brito. Avaliação de Algoritmos de Aprendizagem de Máquina para Modelos de Obesidade. Início: 2017. Dissertação (Mestrado profissional em Tecnologias para a Saúde) - Universidade Estadual da Paraíba. (Orientador).

4.
Eder Rodrigues Araujo. Implantação de um Sistema de Monitoramento Remoto em UTIs. Início: 2017. Dissertação (Mestrado profissional em Tecnologias para a Saúde) - Universidade Estadual da Paraíba. (Orientador).

5.
Eujessika Katielly Rodrigues Silva. Desenvolvimento de um Sistema de Detecção de Quedas em Idosos. Início: 2016. Dissertação (Mestrado profissional em Tecnologias para a Saúde) - Universidade Estadual da Paraíba. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
JULIA CIBELLE FREIRE DE QUEIROZ ARNAUD. Processo de Engenharia de Requisitos para Sistemas de Informação em Saúde: Lidando com Práticas Ágeis e Rastreabilidade. 2017. Dissertação (Mestrado em Tecnologias para a Saúde) - Universidade Estadual da Paraíba, . Orientador: Paulo Eduardo e Silva Barbosa.

2.
NIVIAN MIRELLY MORAES FELICIANO. ANÁLISE DE FATORES HUMANOS COMO FONTES DE RISCOS EM VENTILADORES MECÂNICOS PULMONARES. 2016. Dissertação (Mestrado em Tecnologias para a Saúde) - Universidade Estadual da Paraíba, . Coorientador: Paulo Eduardo e Silva Barbosa.

3.
YANG MEDEIROS CARDOSO. UTILIZAÇÃO DO FILTRO DE KALMAN PARA FILTRAGEM DE ECG EM DESFI-BRILADORES EXTERNOS AUTOMÁTICOS. 2016. Dissertação (Mestrado em Tecnologias para a Saúde) - Universidade Estadual da Paraíba, . Coorientador: Paulo Eduardo e Silva Barbosa.

4.
Renata Italiano da Nóbrega Figueiredo. AVALIAÇÃO EMPÍRICA DE CAUSAS SOBRE DADOS DE FALHAS DE VENTILADORES PULMONARES EM HOSPITAIS REGIONAIS. 2016. Dissertação (Mestrado em Tecnologias para a Saúde) - Universidade Estadual da Paraíba, . Orientador: Paulo Eduardo e Silva Barbosa.

5.
Raphael Mendonça da Nóbrega. UM MODELO DE DECOMPOSIÇÃO DE REQUISITOS DE SEGURANÇA PARA PROJETOS NA INDÚSTRIA DE DISPOSITIVOS MÉDICOS. 2015. Dissertação (Mestrado em Tecnologias para a Saúde) - Universidade Estadual da Paraíba, Financiadora de Estudos e Projetos. Orientador: Paulo Eduardo e Silva Barbosa.

Trabalho de conclusão de curso de graduação
1.
Lucas Barbosa Oliveira. Desenvolvimento de um Agregador de Dados para Dispositivos Médicos Pessoais. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba. Orientador: Paulo Eduardo e Silva Barbosa.

2.
Alisson Santos de Souza. Especificação de uma Interface de Comunicação entre um Agregador de Dados em Saúde e um Ambiente Clínico Integrado. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba. Orientador: Paulo Eduardo e Silva Barbosa.

3.
Melquisedec Albert Einstein Andrade de Lima. Implementação de um Sistema de Coleta e Análise de Dados de Envelhecimento e Saúde. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba. Orientador: Paulo Eduardo e Silva Barbosa.

4.
José Izaac Leite de Amorim. Desenvolvimento de Protótipo: Sistemas de Acionamento para Bombas de Infusão de Seringa. 2014. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba. Orientador: Paulo Eduardo e Silva Barbosa.

5.
André Anderson Araújo Cavalcante. Proposta de Metodologia de Análise de Risco na Operação e no Suporte de Marcapassos Cardíacos Implantáveis. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Centro Universitário de João Pessoa. Orientador: Paulo Eduardo e Silva Barbosa.

6.
Arthur Felipe Thamay Medeiros. VALIDAÇÃO DO ELETROESTIMULADOR EMC-01 PELA PREVISÃO DE CONFIABILIDADE. 2013. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Universidade Estadual da Paraíba. Orientador: Paulo Eduardo e Silva Barbosa.

7.
Antônio Avelino de Sousa Neto. Suporte à Avaliação de uma Técnica de Geração de Código para Sistemas Embarcados Controlados por Microcontroladores com Arquitetura PIC. 2012. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento. Orientador: Paulo Eduardo e Silva Barbosa.

8.
Alessandro Augusto de Souza. Ambiente de Interação M2: Um ambiente de interação de desenvolvimento de compiladores com a máquina virtual M2. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Centro Universitário de João Pessoa. Orientador: Paulo Eduardo e Silva Barbosa.

9.
Maria Thais Martins Ferreira. Inspeção de Ergonomia do Sistema Master Tools de Acordo com o padrão Ergolist. 2009. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento. Orientador: Paulo Eduardo e Silva Barbosa.

10.
Larissa Barbosa Leoncio Pinheiro. Investigação de Técnicas de Representação de Requisitos em UML. 2009. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento. Orientador: Paulo Eduardo e Silva Barbosa.

11.
Waleska Paes Cordeiro. Investigação de Técnicas de Mapeamento entre o Mundo Relacional e Orientado a Objetos. 2008. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento. Orientador: Paulo Eduardo e Silva Barbosa.

12.
Rodrigo Meira de Almeida. Avaliação Empírica e Estudo de Caso entre dois Processos de Desenvolvimento de Software: XP e MDD. 2008. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Centro de Ensino Superior e Desenvolvimento. Orientador: Paulo Eduardo e Silva Barbosa.

Iniciação científica
1.
Fernanda Lima Jordão. Construção de uma Ferramenta Genérica de Agregação de Dados em Saúde. 2017. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Eduardo e Silva Barbosa.

2.
Alisson Santos de Souza. Modelagem de um Protótipo de Desfibrilador no Enterprise Architect Fazendo Uso do Modelo de Rastreabilidade. 2016. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Eduardo e Silva Barbosa.

3.
Mesquisedec Andrade. Análise de Propriedades Críticas em Bombas de Infusão. 2012. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Paulo Eduardo e Silva Barbosa.

4.
Anderson Renoir. Modelo de Qualidade para Avaliação de Código de Dispositivos Médicos. 2012. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba, Financiadora de Estudos e Projetos. Orientador: Paulo Eduardo e Silva Barbosa.

5.
Allan Thercio. Modelo de Qualidade para Avaliação de Arquiteturas de Marcapassos Cardíacos Implantáveis. 2012. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba. Orientador: Paulo Eduardo e Silva Barbosa.

6.
Francisco Ferreira. Avaliação de Engenharia de Segurança de Marcapasso Cardíacos Implantáveis. 2012. Iniciação Científica. (Graduando em Ciências da Computação) - Universidade Estadual da Paraíba, Financiadora de Estudos e Projetos. Orientador: Paulo Eduardo e Silva Barbosa.

Orientações de outra natureza
1.
Antônio Dias dos Santos Júnior. Identificação de Oportunidades em Validação de Dispositivos Médicos. 2013. Orientação de outra natureza - Universidade Estadual da Paraíba, Financiadora de Estudos e Projetos. Orientador: Paulo Eduardo e Silva Barbosa.



Inovação



Programa de computador sem registro
1.
BARBOSA, P. E. S.; S. JUNIOR, A. D. . NUTES ProLS - Product Line Solution. 2014.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico

Projeto de extensão


Educação e Popularização de C & T



Livros e capítulos
1.
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.


Programa de Computador sem registro de patente
1.
BARBOSA, P. E. S.; S. JUNIOR, A. D. . NUTES ProLS - Product Line Solution. 2014.



Outras informações relevantes


Bolsista de INICIAÇÃO CIENTÍFICA do Departamento de Sistemas e Computação(DSC) do Campus II da UFCG. Título do Projeto: "Simulador Sistemas de Objetos" Entidade de Apoio à pesquisa: CNPq Orientador: Prof. Dr. Jorge César Abrantes de Figueiredo Vigência da Bolsa: agosto/2002 a julho/2003



Bolsista de INICIAÇÃO CIENTÍFICA do Departamento de Sistemas e Computação(DSC) do Campus II da UFCG. Título do Projeto: "Verificação de Modelos RPOO" Entidade de Apoio à pesquisa: CNPq Orientador: Prof. Dr. Jorge César Abrantes de Figueiredo Vigência da Bolsa: agosto/2003 a julho/2004

Monitor da Disciplina Lógica Matemática DSC/UFCG durante os períodos 2003.1 e 2003.2 com a professora Joseluce Farias



Página gerada pelo Sistema Currículo Lattes em 23/01/2019 às 14:52:51