Nelson Souto Rosa

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


possui doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (2001) e atualmente é professor Associado 4 do Centro de Informática da UFPE (CIn-UFPE). Tem experiência na área de Sistemas Distribuídos, com ênfase em (1) projeto de sistemas de middleware adaptativos para desktops, celulares, redes de sensores e nuvens computacionais, (2) computação orientada a serviço e (3) formalização de sistemas distribuídos. Foi coordenador do Programa de Pós-Graduação do CIn-UFPE, coordenou projetos em cooperação com o HP Labs (Palo Alto, EUA) entre 2009 e 2011 e foi professor visitante na University of British Columbia, Canadá (2014/2015). (Texto informado pelo autor)


Identificação


Nome
Nelson Souto Rosa
Nome em citações bibliográficas
ROSA, N. S.;Rosa, Nelson Souto;ROSA, N;Rosa, Nelson;Rosa, Nelson S.;Rosa, N. S.;ROSA, N.;SOUTO ROSA, NELSON

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática, Departamento de Engenharia da Computação.
Av. Jornalista Anibal Fernandes, s/n
Cidade Universitaria
50740560 - Recife, PE - Brasil - Caixa-postal: 7851
Telefone: (81) 21268430
Ramal: 4075
Fax: (81) 21268438
URL da Homepage: http://www.cin.ufpe.br


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


1996 - 2001
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: NFi: An Architecture-Based Approach for Treating Non-Functional Properties of Dynamic Distributed Systems, Ano de obtenção: 2001.
Orientador: Paulo Roberto Freire Cunha.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Arquitetura de Software; Propriedades Não-Funcionais; Sistemas Distribuídos Dinâmicos.
Grande área: Ciências Exatas e da Terra
1994 - 1996
Mestrado em Ciências da Computação.
Centro de Ciências Exatas e da Natureza, UFPE, Brasil.
Título: Implementando projetos formais LOTOS na plataforma de distribuicao ANSAware,Ano de Obtenção: 1996.
Orientador: Paulo Roberto Freire Cunha.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Sistemas Distribuídos; Especificação Formal; Refinamento; Plataformas de Distribuição; LOTOS; ANSAware.
Grande área: Ciências Exatas e da Terra
1988 - 1992
Graduação em Ciencia da Computacao.
Departamento de Informática, UFPE, Brasil.


Pós-doutorado


2014
Pós-Doutorado.
University of British Columbia, UBC, Canadá.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Parallel Computing.


Atuação Profissional



Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2002 - Atual
Vínculo: , Enquadramento Funcional: Professor Associado 4, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor Associado 4 desde Março/2017.

Vínculo institucional

1998 - 1999
Vínculo: Outro, Enquadramento Funcional: Professor Substituto, Carga horária: 20
Outras informações
Contrato Temporário de Professor Substituto entre Março/1998 a Fevereiro/1999.

Vínculo institucional

1995 - 1995
Vínculo: Outro, Enquadramento Funcional: Auxiliar de Ensino e Pesquisa, Carga horária: 20
Outras informações
Auxiliar de Ensino e Pesquisa, Área II, Disciplina de Computação Eletrônica, Agosto/1995 a Dezembro/1995.

Atividades

08/2018 - Atual
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Progamação Concorrente e Distribuída
08/2018 - Atual
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Plataformas de Distribuição
10/2015 - Atual
Conselhos, Comissões e Consultoria, Centro de Informática, .

Cargo ou função
Membro do Colegiado da Graduação em Ciência da Computação.
08/2005 - Atual
Conselhos, Comissões e Consultoria, Centro de Informática, .

Cargo ou função
Representante do Centro de Informática junto ao Conselho Coordenador de Ensino, Pesquisa e Extensão da UFPE (CCEPE).
08/2005 - Atual
Conselhos, Comissões e Consultoria, Pró-Reitoria de Pesquisa e Pós-Graduação, .

Cargo ou função
Membro das Câmaras de Pesquisa e Pós-graduação (CPPG).
6/2002 - Atual
Pesquisa e desenvolvimento , Centro de Informática, Departamento de Engenharia da Computação.

6/2002 - Atual
Conselhos, Comissões e Consultoria, Centro de Informática, Departamento de Engenharia da Computação.

Cargo ou função
Membro de colegiado da Pós-Graduação.
02/2018 - 06/2018
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Programação Concorrente e Distribuída
02/2018 - 06/2018
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Plataformas de Distribuição
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
IF711 - Programação Concorrente e Distribuída
08/2017 - 12/2017
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
IN1118 - Plaatformas de Distribuição
03/2017 - 07/2017
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
IN1118 - Plataformas de Distribuição
03/2017 - 07/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
IF711 - Programação Concorrente e Distribuída
08/2016 - 12/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
IF711 - Programação Concorrente e Distribuída
08/2016 - 12/2016
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
IN1118 - Plataformas de Distribuição
03/2016 - 07/2016
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
IN1118 - Plataformas de Distribuição
03/2016 - 06/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
IF711 - Programação Concorrente e Distribuída
08/2015 - 12/2015
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas de Informação 5
08/2015 - 12/2015
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Plataformas de Distribuição (IN1118)
12/2012 - 08/2014
Direção e administração, Centro de Informática, .

Cargo ou função
Membro do Conselho Universitário da UFPE.
03/2014 - 07/2014
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Programação Concorrente e Distribuída (IF 711)
03/2014 - 07/2014
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 2 (IF998)
03/2014 - 07/2014
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Plataformas de Distribuição (IN1118)
09/2013 - 12/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos (IF749)
09/2013 - 12/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação Concorrente e Distribuída (IF711)
09/2013 - 12/2013
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Ciência de Serviços (IN1130)
03/2013 - 07/2013
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos - IF749
03/2013 - 07/2013
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Plataformas de Distribuição - IN1118
Tópicos Avançados em Sistemas Distribuídos 1 - IN1060
08/2012 - 12/2012
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 2
08/2009 - 09/2012
Direção e administração, Centro de Informática, .

Cargo ou função
Coordenador de Programa de Pós-Graduação.
02/2012 - 06/2012
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1 - Computação Orientada a Serviços
02/2012 - 06/2012
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Plataformas de Distribuição
02/2012 - 06/2012
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1 - Computação Orientada a Serviço
08/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1 - Computação Orientada a Serviço
02/2011 - 06/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Computação Orientada a Serviço
02/2011 - 06/2011
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Plataformas de Distribuição
08/2010 - 12/2010
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos
08/2010 - 12/2010
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Infra-Estrutura de Distribuição
02/2010 - 07/2010
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Plataformas de Distribuição
08/2005 - 08/2009
Direção e administração, Centro de Informática, .

Cargo ou função
Vice-Coordenador de Pós-Graduação.
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1 (Middleware)
08/2008 - 12/2008
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 2 (IN1062)
08/2008 - 12/2008
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Trabalho Individual em Sistemas Distribuídos (IN1075)
02/2008 - 07/2008
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1
02/2008 - 07/2008
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Plataformas de Distribuição
09/2007 - 02/2008
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1
09/2007 - 02/2008
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1 (IN1060)
05/2007 - 08/2007
Ensino, Ciencia da Computacao, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1
05/2007 - 08/2007
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1 (Middleware)
11/2006 - 04/2007
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1 (Infra-Estrutura de Distribuição)
11/2006 - 04/2007
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 2 (Middleware)
6/2006 - 10/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Infra-estrutura de Comunicação
Tópicos Avançados em Sistemas Distribuídos (Infra-estrutura de Distribuição)
4/2006 - 08/2006
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 2 (SIstemas Comunicantes)
9/2005 - 3/2006
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Infra-estrutura de Comunicação
Tópicos Avançados em Sistemas Distribuídos (Infra-estrutura de Distribuição)
9/2005 - 3/2006
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos (Middleware)
12/2002 - 09/2005
Conselhos, Comissões e Consultoria, Centro de Informática, Departamento de Engenharia da Computação.

Cargo ou função
Representante do Centro de Informática na Comissão Interna do PIBIC da UFPE.
4/2005 - 8/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Infra-estrutura de Comunicação
4/2005 - 8/2005
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Avaliação de Desempenho
Tópicos Avançados em Sistemas Distribuídos (Sistemas Comunicantes)
10/2004 - 3/2005
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Infra-Estrutura de Comunicação
Iniciação Científica 1
Redes de Computadores 1
10/2004 - 3/2005
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1 (Middleware)
5/2004 - 9/2004
Ensino, Ciclo Básico Área II, Nível: Graduação

Disciplinas ministradas
Computação Eletrônica
Computação L
5/2004 - 9/2004
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Infra-Estrutura de Comunicação
5/2004 - 9/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Avaliação de Desempenho
Tópicos Avançados em Sistemas Distribuídos 2 (Sistemas Comunicantes)
5/2003 - 3/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos 1
7/2003 - 8/2003
Ensino, Ciência da Computação, Nível: Especialização

Disciplinas ministradas
Internet
4/2003 - 8/2003
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Redes de Computadores 1
Redes de Computadores 2
4/2003 - 8/2003
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Avaliação de Desempenho de Sistemas
10/2002 - 3/2003
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Redes de Computadores 1
Redes de Computadores 2
10/2002 - 3/2003
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos (Middleware)
10/2002 - 2/2003
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Redes de Computadores 1
Redes de Computadores 2
10/2002 - 2/2003
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Tópicos Avançados em Sistemas Distribuídos (Middleware)
12/2002 - 1/2003
Ensino, Ciência da Computação, Nível: Especialização

Disciplinas ministradas
Internet
6/2002 - 10/2002
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Redes de Computadores 1
Infra-Estrutura de Computação
4/2002 - 8/2002
Ensino, Ciência da Computação, Nível: Especialização

Disciplinas ministradas
Internet
03/1998 - 03/1999
Ensino, Departamento de Comunicação Social, Nível: Graduação

Disciplinas ministradas
Introdução a Computação
Seminários em Comunicação
07/1997 - 07/1997
Extensão universitária , Centro de Ciências Exatas e da Natureza, Departamento de Informática.

Atividade de extensão realizada
Professor do curso Internet e Correio Eletrônico (InfoCampus).
02/1997 - 02/1997
Extensão universitária , Centro de Ciências Exatas e da Natureza, Departamento de Informática.

Atividade de extensão realizada
Profesor do Curso Conhecendo a Internet (Verao no Campus).
02/1996 - 02/1996
Extensão universitária , Centro de Ciências Exatas e da Natureza, Departamento de Informática.

Atividade de extensão realizada
Monitor do Curso Conhecendo a Internet (Verao no Campus).
08/1995 - 12/1995
Ensino, Ciclo Básico Área II, Nível: Graduação

Disciplinas ministradas
Computação Eletrônica

Universidade Federal de Sergipe, UFS, Brasil.
Vínculo institucional

1997 - 1998
Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Regime: Dedicação exclusiva.

Atividades

01/1999 - 01/1999
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.

Atividade realizada
Memebro da Banca Examinadora de Concurso Público.
08/1997 - 2/1998
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Estrutura de Dados II
Sistemas Distribuídos

University of Westminster, UOW, Grã-Bretanha.
Vínculo institucional

1999 - 1999
Vínculo: Pesquisador Visitante, Enquadramento Funcional: Tutor, Carga horária: 4
Outras informações
Tutor das Disciplinas de Graduação: Data Structures e Introduction to Java

Atividades

03/1999 - 09/1999
Ensino, Software Engineering, Nível: Graduação

Disciplinas ministradas
Data Structure (Tutor)

Faculdade Integrada do Recife, FIR, Brasil.
Vínculo institucional

2000 - 2002
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 40

Atividades

1/2002 - 6/2002
Pesquisa e desenvolvimento , Curso de Sistemas de Informação, Núcleo de Pesquisa.

Linhas de pesquisa
Sistemas Distribuídos
09/2000 - 6/2002
Ensino, Sistemas de Informação, Nível: Graduação

Disciplinas ministradas
Autômatos e Linguagens Formais
Teoria da Computação
Sistemas Distribuídos
Comunicação de Dados
Sistemas Operacionais

Instituto de Tecnologia em Informática, ITECI, Brasil.
Vínculo institucional

1992 - 1994
Vínculo: Celetista, Enquadramento Funcional: Programador, Carga horária: 40

Atividades

03/1992 - 01/1994
Serviços técnicos especializados .

Serviço realizado
Programador.


Linhas de pesquisa


1.
Formalização de Sistemas Distribuídos
2.
Projeto e Implementação de Sistemas de Middleware

Objetivo: Projeto de implementação de sistemas de middleware para desktops, sensores e nuvens computacionais..
Grande área: Ciências Exatas e da Terra
Palavras-chave: Middleware; Redes de Sensores Sem Fio; Computação em Nuvem.
3.
Computação Orientada a Serviço
4.
Sistemas Distribuídos


Projetos de pesquisa


2017 - Atual
Reconfiguração Dinâmica de Middleware para Nuvem Baseada em Métodos Formais
Descrição: O objetivo geral desta proposta é projetar e implementar um mecanismo de reconfiguração dinâmica de middleware, chamado MIstRAL, apoiado no uso de métodos formais. O mecanismo proposto será utilizado para implementar sistemas de middleware adaptativos para nuvem e guiará o processo de adaptação utilizando notações e ferramentas formais como tecnologia de software. Neste caso, os métodos formais serão utilizados de forma lightweight, ou seja, desenvolvedores de middleware e de aplicações distribuídas que se utilizem do mecanismo proposto se beneficiarão do uso de métodos formais, mas não precisarão estar cientes deste uso..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) .
Integrantes: Nelson Souto Rosa - Coordenador / Tércio de Morais Sampaio Silva - Integrante / André Gustavo Pereira da Silva - Integrante / Edmundo Matheus B Santana - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2012 - 2014
Modelagem e Execução de Composição de Serviços Cientes de Qualidade em Nuvens Computacionais
Descrição: O objetivo geral desta proposta é desenvolver um ambiente de (1) modelagem e (2) execução de aplicações orientadas a serviço cientes de qualidade em ambientes de computação em nuvem. A ?ciência de qualidade? refere-se ao fato de que o desenvolvedor poderá fazer anotações que definam a qualidade exigida dos serviços usados na aplicação. Por exemplo, definindo que um determinado serviço realize a funcionalidade que lhe é exigida, mas que também seja ?seguro? ou ?confiável?. O ambiente proposto consistirá de dois componentes principais que auxiliarão no desenvolvimento e a na execução: um editor para definição da composição de serviços anotada com requisitos de qualidade (desenvolvimento) e uma infra-estrutura de suporte à execução desta composição em uma nuvem computacional (execução)..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Mestrado acadêmico: (1) / Doutorado: (3) .
Integrantes: Nelson Souto Rosa - Integrante / Nelson S Rosa - Coordenador / Fernando Antonio Aires Lins - Integrante / Júlio César Damasceno - Integrante / Tércio de Morais Sampaio Silva - Integrante / Diego Liberalquino Soares Lima - Integrante.
2010 - 2010
SSC4CLoud: Security Service Composition for Cloud
Descrição: O objetivo principal deste projeto é permitir que pessoas possam criar processos de negócio na nuvem implementados por composições de serviços e anotados com requisitos de segurança e informações sobre serviços. Para alcançar este objetivo principal, os seguintes objetivos específicos precisam ser atingidos: (a) construir ferramentas de modelagem, transformação de modelos e implantação de composições de serviço na nuvem compuational, (b) realizar mecanismos de segurança no ambiente da nuvem computacional (c) usar o ambiente de teste do Open Cirrus para avaliar a escalabilidade da solução; e (d) disponibilizar a solução como um serviço na nuvem..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Nelson Souto Rosa - Coordenador / Fernando Antonio Aires Lins - Integrante / Bryan Stephenson - Integrante / Jun Li - Integrante / Andre Ricardo da Silva Souza - Integrante / Bruno Leornardo Barros da Silva - Integrante / Robson Wagner Albuquerque de Medeiros - Integrante / Davi Aragão - Integrante.
2009 - 2009
Sec-MoSC: Security Model Oriented Service Composition
Descrição: O objetivo deste projeto é tratar requisitos não-funcionais de segurança e privacidade na composição de serviços. Para alcançar este objetivo geral, alguns objetivos específicos precisam ser alcançados: (1) criar modelos para expressar requisitos de segurança/privacidade de processos de negócio e modelos para descrever a qualidade de serviço de segurança/privacidade providas por serviços; (2) avaliar e compor serviços que atendam aos requisitos de segurança e privacidade definidos nos modelos; (3) mapear os requisitos de segurança e privacidade em políticas e ações concretas que devem ser distribuídas e incluídas nos serviços e na composição; (4) definir mecanismos de monitoramento de requisitos de segurança e privacidade da composição em tempo de execução; e (5) definir métodos de avaliação experimental da pesquisa..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Nelson Souto Rosa - Coordenador / Fernando Antonio Aires Lins - Integrante / Júlio César Damasceno - Integrante / Bryan Stephenson - Integrante / Jun Li - Integrante / Hamid Motahari - Integrante.
2008 - 2010
S4S: Monitoramento Remoto de Ambientes Usando Redes de Sensores Sem-Fio
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Nelson Souto Rosa - Coordenador / Jobson Ronan Jerônimo da Silva - Integrante / Rita C. A. Lima - Integrante / Igor Marques - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 1
2008 - 2008
MoSC: Composição de Serviços Baseada em Modelos
Descrição: No contexto de SOC/SOA, SaaS, composição de serviços e evolução composicional, este projeto tem dois objetivos gerais: propor um mecanismo para composição de serviços baseada em modelos; e definir os requisitos necessários à evolução deste tipo de composição..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (1) .
Integrantes: Nelson Souto Rosa - Integrante / Nelson S Rosa - Coordenador / Fernando Antonio Aires Lins - Integrante / Júlio César Damasceno - Integrante / Andre Ricardo da Silva Souza - Integrante / Bruno Leornardo Barros da Silva - Integrante.
2007 - 2009
Projeto e Implementação de Framework de Middleware
Descrição: O objetivo geral deste projeto é desenvolver um framework para a implementação de middleware orientados por princípios de arquitetura de software. Os elementos utilizados como base para o framework são elementos arquiteturais que incluem componentes (elementos de computação), conectores (elementos de comunicação), configuração (composição de componentes e conectores) e estilos (restrições na composição composição). Este framework funcionará como uma pré-implementação para a construção de middleware..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Nelson Souto Rosa - Coordenador / Osmany Barros de Freitas - Integrante.Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Auxílio financeiro.
2007 - 2009
Toolkit Para Desenvolvimento de Middleware Ubíquo para Dispositivos Móveis
Descrição: O objetivo geral deste projeto é a construção de um conjunto de ferramentas (Toolkit) para desenvolvimento de frameworks de aplicações e de middleware para dispositivos móveis. A adoção de frameworks permite um aumento da produtividade no desenvolvimento de aplicativos e serviços para usuários finais, desenvolvidos sobre plataformas de distribuição (middleware) também geradas com o toolkit.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Nelson Souto Rosa - Coordenador / Gledson Elias da Silveira - Integrante / André Elias Assad - Integrante.Financiador(es): Não informado / Financiadora de Estudos e Projetos - Bolsa.
2003 - 2005
Um Modelo de Customização de Middleware
Descrição: O objetivo geral deste projeto é definir um modelo de customização para middlewares. A customização neste caso refere-se a forma de composição dos serviços fornecidos pelo middleware para atender os requisitos não-funcionais definidos pela aplicação. Os objetivos específicos do projeto são: * definir um conjunto de serviços básicos necessários às aplicações distribuídas que possam ser combinados para definir serviços mais avançados; * propor um modelo (semi-)formal que possa ser adotado para especificar os serviços e suas interações, permitindo a verificação da corretude da customização, i.e., verificar se a customização do middleware viola a semântica da aplicação; * implementar o modelo proposto em um middleware real (.e.g, CORBA, EJB, .NET, DCOM, etc.) para validar o modelo; e * analisar o uso de arquitetura de software dinâmica distribuídas que podem ser implementadas nos middlewares customizados..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Nelson Souto Rosa - Coordenador / Marcos Andre da Silva Costa - Integrante / Mardoqueu de Souza Vieira - Integrante.Número de orientações: 5


Outros Projetos


2005 - 2006
R-Tool:Análise Precisa de Confiabilidade em Plantas Abertas
Descrição: O objetivo geral deste projeto é desenvolver uma sistemática de modelagem e de avaliação precisa da confiabilidade da infra-estrutura de comunicação da automação em transmissão de energia elétrica em plantas de usinas e subestações de transmissão. A infra-estrutura de comunicação é composta por padrões de redes de comunicação e sistemas de middleware. Para realizar os objetivos gerais apresentados, metas claras devem ser traçadas para garantir objetividade e economia nas ações de pesquisa, desenvolvimento e transferência de tecnologia. Nesse sentido, este projeto deve atingir as metas seguintes: 1. Desenvolver e adaptar métodos de modelagem da infra-estrutura de comunicação de plantas de transmissão de energia elétrica em usinas e subestações; 2. Definir e adaptar um conjunto de métricas e métodos para a avaliação da confiabilidade da infra-estrutura de comunicação de plantas de transmissão de energia elétrica em usinas e subestações; 3. Desenvolver e adaptar métodos de análise qualitativa da infra-estrutura de comunicação de plantas de transmissão de energia elétrica em usinas e subestações; e 4. Desenvolver um protótipo computacional para auxiliar no processo de modelagem e de análise da confiabilidade da infra-estrutura de comunicação de plantas de transmissão de energia em usinas e subestações..
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (1) .
Integrantes: Nelson Souto Rosa - Coordenador / Paulo Romero Martins Maciel - Integrante / Roberto Arteiro Delgado - Integrante / Sérgio Murilo Maciel Fernandes - Integrante.Financiador(es): Agência Nacional de Energia Elétrica - Auxílio financeiro.


Revisor de periódico


2007 - 2008
Periódico: Journal of Universal Computer Science (0948-695X)
2008 - 2008
Periódico: International Journal of Network Management
2010 - 2011
Periódico: IET Software (Print)
2010 - 2010
Periódico: IET Software (Print)
2015 - 2015
Periódico: Journal of Software Engineering Research and Development
2016 - 2016
Periódico: IEEE Transactions on Services Computing
2016 - 2016
Periódico: DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS
2015 - 2015
Periódico: JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT
2009 - 2009
Periódico: JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO)
2009 - 2009
Periódico: INFORMATION SCIENCES
2005 - 2005
Periódico: REVISTA DE INFORMÁTICA TEÓRICA E APLICADA (IMPRESSO)
2017 - 2017
Periódico: IEEE SOFTWARE
2017 - 2017
Periódico: COMPUTER COMMUNICATIONS
2017 - 2017
Periódico: SENSORS


Revisor de projeto de fomento


2013 - 2013
Agência de fomento: Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Middleware.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Técnicas de Descrição Formal.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Adaptativos.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computação Orientada a Serviço.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Requisitos Não Funcionais.


Idiomas


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


Prêmios e títulos


2011
Melhor artigo na IEEE Services Cup 2011, IEEE.
2007
SIGCOMM GeoDiversity Travel Grants, ACM.
2003
Professor Homenageado, Turma de Bacharelado em Ciência da Computação, Centro de Informática - UFPE.
2001
Menção Honrosa, Sociedade Brasileira de Computação (SBRC).


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:107
Total de citações:88
Fator H:5
Rosa, Nelson Souto  Data: 08/10/2018

SCOPUS
Total de trabalhos:82
Total de citações:558

Outras
Total de trabalhos:116
Total de citações:1324
Rosa, Nelson S.; Rosa, Nelson Souto; Rosa, N. S.; Rosa, Nelson  Data: 15/10/2018

Artigos completos publicados em periódicos

1.
LINS, F. A. A.2018LINS, F. A. A. ; SOUZA, E. T. G. ; ROSA, N. S. . A survey on automation of security requirements in service-based business processes. INTERNATIONAL JOURNAL OF WEB ENGINEERING AND TECHNOLOGY, v. 13, p. 3, 2018.

2.
SOUZA, Fábio Nogueira de2017SOUZA, Fábio Nogueira de ; CAVALCANTI, DAVID J. M. ; SILVA, T. ; ROSA, N. S. . Monitoring solution in a dynamic Service-Oriented Platform. COMPUTERS & ELECTRICAL ENGINEERING, v. 1, p. 1-19, 2017.

3.
MAAMAR, Z.2017MAAMAR, Z. ; BUREGIO, V. ; SELLAMI, M. ; ROSA, N. S. ; PENG, Z. ; SUBIN, Z. ; PRAKASH, N. ; BENSLIMANE, D. ; SILVA, R. . Bridging the Gap between the Business and Social Worlds: A Data Artifact-driven Approach. INTERNATIONAL JOURNAL ON TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS (TLDKS), v. 10680, p. 27-49, 2017.

4.
Damaso, Antonio2017Damaso, Antonio ; MACIEL, P. R. M. ; ROSA, N. S. . Integrated Evaluation of Reliability and Power Consumption of Wireless. SENSORS, v. 17, p. 1-27, 2017.

5.
MEDEIROS, R. W. A.2016MEDEIROS, R. W. A. ; PIRES, L. F. ; ROSA, N. S. . Cost Management of Service Compositions. International Journal of Services Computing, v. 4, p. 35-50, 2016.

6.
LINS, FERNANDO2016LINS, FERNANDO ; DAMASCENO, JULIO ; MEDEIROS, ROBSON ; SOUSA, ERICA ; Rosa, Nelson . Automation of service-based security-aware business processes in the Cloud. COMPUTING, v. 98, p. 847-870, 2016.

7.
Bispo, Kalil2015Bispo, Kalil ; Rosa, Nelson ; CUNHA, PAULO . SITRUS: Semantic Infrastructure for Wireless Sensor Networks. SENSORS, v. 15, p. 27436-27469, 2015.

8.
Damaso, Antonio2014Damaso, Antonio ; ROSA, N. S. ; MACIEL, PAULO . Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks. International Journal of Distributed Sensor Networks, v. 2014, p. 1-13, 2014.

9.
TELES, FABRICIO2014TELES, FABRICIO ; ROSA, N. S. ; LINS, Fernando Antonio Aires . Towards a model-driven approach for treating quality attributes of service-based business processes. INTERNATIONAL JOURNAL OF WEB ENGINEERING AND TECHNOLOGY, v. 9, p. 330-364, 2014.

10.
LINS, F. A. A.2014LINS, F. A. A. ; ROSA, N. S. . A Survey on QoS-Aware Evolutionary Web Service Composition. INTERNATIONAL JOURNAL OF SCIENTIFIC AND ENGINEERING RESEARCH, v. 05, p. 172-180, 2014.

11.
SADOK, Djamel2012SADOK, Djamel ; Oliveira, Luciana P. ; Gonçalves, Glauco ; KELNER, Judith ; Rosa, Nelson ; Souto, Eduardo . Aspects for untangling cross-layer design and policy support. International Journal of Communication Systems (Print), p. n/a-n/a, 2012.

12.
LINS, Fernando Antonio Aires2012LINS, Fernando Antonio Aires ; Damaso, A. V. L. ; SOUZA, A. R. S. ; SILVA, B. L. B. ; ARAGÃO, D. ; MEDEIROS, R. W. A. ; Souza, E. ; ROSA, N . Towards Automation of SOA-based Business Processes. International Journal of Computer Science, Engineering and Applications, v. 2, p. 1-17, 2012.

13.
LINS, FERNANDO2012LINS, FERNANDO ; DAMASCENO, JULIO ; SILVA, BRUNO ; MEDEIROS, ROBSON ; SOUZA, ANDRE ; TELES, FABRICIO ; ARAGAO, DAVID ; SOUSA, ERICA ; Rosa, Nelson ; STEPHENSON, Bryan ; NEZHAD, HAMID MOTAHARI ; LI, JUN . Towards an approach to design and enforce security in web service composition. International Journal of Web Engineering and Technology, v. 7, p. 323-357, 2012.

14.
Domingues, Jeisa2011Domingues, Jeisa ; Damaso, Antonio ; Nascimento, Rilter ; Rosa, Nelson . An Energy-Aware Middleware for Integrating Wireless Sensor Networks and the Internet. International Journal of Distributed Sensor Networks, v. 2011, p. 1-19, 2011.

15.
LINS, Fernando Antonio Aires2009LINS, Fernando Antonio Aires ; Júlio César Damasceno ; SOUZA, A. R. S. ; SILVA, B. L. B. ; STEPHENSON, Bryan ; LI, JUN ; NORTHFLEET, Caio ; MACIEL, Paulo Romero Martins ; ROSA, N. S. . An Approach for Reducing the Gap between BPMN Models and Implementation Artifacts. Revista de Informática Teórica e Aplicada, v. 16, p. 83-86, 2009.

16.
Júlio César Damasceno2009Júlio César Damasceno ; SILVA, B. L. B. ; MEDEIROS, R. W. A. ; LINS, Fernando Antonio Aires ; ROSA, N ; MACIEL, Paulo Romero Martins . Towards Generating Richer Code by Binding Security Abstractions to BPMN Task Types. Revista de Informática Teórica e Aplicada (Impresso), v. 16, p. 97-98, 2009.

17.
LINS, Fernando Antônio Aires2007LINS, Fernando Antônio Aires ; dos Santos Júnior, José Carlos ; Rosa, Nelson Souto . Adaptive web service composition. Software Engineering Notes, v. 32, p. 6, 2007.

18.
FAGUNDES, Roberta Andrade de Araújo2007FAGUNDES, Roberta Andrade de Araújo ; MACIEL, Paulo Romero Martins ; ROSA, N. S. . Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets. Revista de Informática Teórica e Aplicada, v. 14, p. 1-25, 2007.

19.
Galdino, Sérgio2007Galdino, Sérgio ; MACIEL, Paulo Romero Martins ; ROSA, N. S. . Interval Markovian Models in Dependability Evaluation. International Journal of Pure and Applied Mathematics, v. 41, p. 151-176, 2007.

20.
Assad, André Elia2007Assad, André Elia ; Rosa, Nelson Souto . Device Middleware for Mobile Applications. IEEE Distributed Systems Online, v. 8, p. 1-1, 2007.

21.
ROSA, N. S.;Rosa, Nelson Souto;ROSA, N;Rosa, Nelson;Rosa, Nelson S.;Rosa, N. S.;ROSA, N.;SOUTO ROSA, NELSON2007ROSA, N. S.; CUNHA, Paulo Roberto Freire . A formal framework for middleware behavioural specification. Software Engineering Notes, v. 32, p. 1-7, 2007.

22.
SOUTO, Eduardo James Pereira2006 SOUTO, Eduardo James Pereira ; VASCONCELOS, Glauco Pimentel ; GUIMARÃES, Germano de Freitas ; VIEIRA, Mardoqueu de Souza ; ROSA, N. S. ; FERRAZ, Carlos André Guimarães . Mires: A Publish/subscribe Middleware for Sensor Networks. Personal and Ubiquitous Computing (Print), Springer Verlag, v. 10, n.1, p. 37-44, 2006.

23.
Rosa, Nelson Souto2006Rosa, Nelson Souto; Freire Cunha, Paulo Roberto . Behavioural specification of middleware systems. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO), v. 12, p. 63-74, 2006.

24.
Rosa, Nelson Souto2004 Rosa, Nelson Souto; Freire Cunha, Paulo Roberto ; Ribeiro Justo, George Roger . An approach for reasoning and refining non-functional requirements. Journal of the Brazilian Computer Society (Impresso), v. 10, n.1, p. 62-84, 2004.

25.
ROSA, N2004ROSA, N; CUNHA, P . A Software Architecture-Based Approach for Formalising Middleware Behaviour. Electronic Notes in Theoretical Computer Science, v. 108, p. 39-51, 2004.

Capítulos de livros publicados
1.
OLIVEIRA, J. P. ; Damaso, Antonio ; ROSA, N. S. . A Framework for Integrating Wireless Sensor Networks and the Internet. In: Mohammad Matin. (Org.). A Framework for Integrating Wireless Sensor Networks and the Internet. 1ed.: INTECH, 2012, v. 7, p. 141-168.

2.
ROSA, N. S.. Behaviour Specifications of Middleware Systems. In: Michael Alexander, William Gardner. (Org.). Process Algebra for Parallel and Distributed Processing. : Computational Science Series by Chapman and Hall/CRC, 2008, v. , p. -.

Trabalhos completos publicados em anais de congressos
1.
Rosa, Nelson. Middleware Adaptation through Process Mining. In: 2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), 2017, Taipei. 2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), 2017. p. 244-25.

2.
SAMPAIO, ADALBERTO R. ; KADIYALA, HARSHAVARDHAN ; HU, BO ; STEINBACHER, JOHN ; ERWIN, TONY ; Rosa, Nelson ; BESCHASTNIKH, IVAN ; RUBIN, JULIA . Supporting Microservice Evolution. In: 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2017, Shanghai. 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME). New York: IEEE, 2017. p. 539.

3.
DE MORAIS, TERCIO ; Rosa, Nelson Souto . Towards an application level elasticity by middleware. In: 2017 IEEE Symposium on Computers and Communications (ISCC), 2017, Heraklion. 2017 IEEE Symposium on Computers and Communications (ISCC), 2017. p. 730-735.

4.
Rosa, Nelson; CAMPOS, GLÁUCIA ; CAVALCANTI, DAVI . Using software architecture principles and lightweight formalisation to build adaptive middleware. In: the 16th Workshop, 2017, Las Vegas. Proceedings of the 16th Workshop on Adaptive and Reflective Middleware - ARM '17. New York: ACM Press, 2017. p. 1-7.

5.
MEDEIROS CAMPOS, GLAUCIA MELISSA ; SOUTO ROSA, NELSON ; FERREIRA PIRES, LUIS . Adaptive Service Composition Based on Runtime Verification of Formal Properties. In: Hawaii International Conference on System Sciences, 2017, Honolulu, 2017.

6.
SILVA, ANDRE ; Rosa, Nelson . FIrM: Functional Middleware with Support to Multi-tenancy. In: 2015 IEEE 29th International Conference on Advanced Information Networking and Applications (AINA), 2015, Gwangiu. 2015 IEEE 29th International Conference on Advanced Information Networking and Applications, 2015. p. 650-657.

7.
BURÉGIO, VANILSON ; BRITO, KELLYTON ; Rosa, Nelson ; NETO, MISAEL ; GARCIA, VINÍCIUS ; MEIRA, SILVIO . Towards Government as a Social Machine. In: the 24th International Conference, 2015, Florence. Proceedings of the 24th International Conference on World Wide Web - WWW '15 Companion. p. 1131-1136.

8.
MEDEIROS, ROBSON W.A. DE ; Rosa, Nelson S. ; PIRES, LUIS FERREIRA . Predicting Service Composition Costs with Complex Cost Behavior. In: 2015 IEEE International Conference on Services Computing (SCC), 2015, New York City. 2015 IEEE International Conference on Services Computing. p. 419-426.

9.
SOUZA, FABIO N. ; SILVA, TARCISIO C. ; CAVALCANTI, DAVID J.M. ; Rosa, Nelson S. ; LIMA, RICARDO M.F. . A Meta-model for QoS Monitoring in a Dynamic Service-Component Platform. In: 2015 IEEE International Conference on Services Computing (SCC), 2015, New York City. 2015 IEEE International Conference on Services Computing, 2015. p. 459-466.

10.
Rosa, Nelson. Middleware Reconfiguration Relying on Formal Methods. In: 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing (CIT/IUCC/DASC/PICOM), 2015, LIVERPOOL. 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing, 2015. p. 648-655.

11.
ROSA, N. S. ; WAGNER, A. ; KAMAL, H. . Towards Lightweight Formal Development of MPI Applications. In: Communicating Process Architectures (CPA), 2015, Kent, UK. Communicating Process Architectures (CPA 2015), 2015. p. 1-18.

12.
JUNIOR, MILTON S. S. ; Rosa, Nelson S. ; LINS, FERNANDO A. A. . xLONGWisE: An environment to support the execution of Long Running Workflows. In: 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA), 2015, Marrakech. 2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA), 2015. p. 1-8.

13.
ARAUJO, SAULO MEDEIROS DE ; GAMA, KIEV SANTOS DA ; Rosa, Nelson Souto ; MEIRA, SILVIO LEMOS . Afluentes Concurrent I/O Made Easy with Lazy Evaluation. In: 2014 22nd Euromicro International Conference on Parallel, Distributed and NetworkBased Processing (PDP), 2014, Torino. 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2014. p. 279.

14.
BISPO, KALIL A. ; Rosa, Nelson S. ; CUNHA, Paulo R. F. . A semantic message oriented middleware for wireless sensor networks. In: the 7th Euro American Conference, 2014, Valparaiso. Proceedings of the 7th Euro American Conference on Telematics and Information Systems - EATIS '14. New York: ACM Press, 2014. p. 1-4.

15.
SOUZA, FABIO NOGUEIRA ; CAVALCANTI, DAVID JUNIO MOTA ; SILVA, TARCISIO COUTINHO DA ; Rosa, Nelson Souto . Ranking Strategies for Quality-Aware Service Selection. In: 2014 IEEE International Conference on Services Computing (SCC), 2014, Anchorage. 2014 IEEE International Conference on Services Computing. p. 115-122.

16.
MEDEIROS, ROBSON WAGNER ALBUQUERQUE DE ; Rosa, Nelson Souto ; CAMPOS, GLAUCIA MELISSA MEDEIROS ; PIRES, LUIS FERREIRA . A Survey of Cost Accounting in Service-Oriented Computing. In: 2014 IEEE World Congress on Services (SERVICES), 2014, Anchorage. 2014 IEEE World Congress on Services. p. 77-8.

17.
CAMPOS, GLAUCIA MELISSA MEDEIROS ; Rosa, Nelson Souto ; PIRES, LUIS FERREIRA . A Survey of Formalization Approaches to Service Composition. In: 2014 IEEE International Conference on Services Computing (SCC), 2014, Anchorage. 2014 IEEE International Conference on Services Computing. p. 179-186.

18.
JUNIOR, MILTON S.S. ; Rosa, Nelson S. ; LINS, FERNANDO A.A. . Execution Support to Long Running Workflows. In: 2014 IEEE International Conference on Computer and Information Technology (CIT), 2014, Xi'an. 2014 IEEE International Conference on Computer and Information Technology. v. 1. p. 496-503.

19.
TELES, FABRICIO DE SIQUEIRA ; LINS, Fernando Antonio Aires ; Rosa, Nelson Souto . Realizing Quality Attributes of Service-Based Business Processes: A Model-Driven Approach. In: 2014 IEEE International Conference on Computer and Information Technology (CIT), 2014, Xi'an. 2014 IEEE International Conference on Computer and Information Technology. p. 450-457.

20.
DE MEDEIROS, ROBSON W. A. ; Rosa, Nelson S. ; PIRES, LUS FERREIRA . A metamodel for modeling cost behavior in service composition. In: 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), 2014, Doha. 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), 2014. p. 84-91.

21.
SILVA, B. ; TAVARES, E. ; MACIEL, P. ; NOGUEIRA, B. ; OLIVEIRA, J. ; DAMASO, A. ; ROSA, N. . AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems. In: 2014 IEEE International Conference on Systems, Man and Cybernetics SMC, 2014, San Diego. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2014. p. 3364-3369.

22.
BUREGIO, VANILSON ; NASCIMENTO, LEANDRO ; Rosa, Nelson ; MEIRA, SILVIO . Personal APIs as an enabler for designing and implementing people as social machines. In: the 23rd International Conference, 2014, Seoul. Proceedings of the 23rd International Conference on World Wide Web - WWW '14 Companion. New York: ACM Press, 2014. p. 867.

23.
MARQUES, IGOR L. ; DA SILVA TEOFILO, MAURO RICARDO ; Rosa, Nelson Souto . Durin: A development environment for Wireless Sensor Network. In: 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, San Francisco. 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA). p. 19-6.

24.
CAVALCANTI, DAVID J. M. ; SOUZA, FABIO N. ; Rosa, Nelson S. . Adaptive and Dynamic Quality-Aware Service Selection. In: 2013 21st Euromicro International Conference on Parallel, Distributed and NetworkBased Processing (PDP), 2013, Belfast. 2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. p. 323-327.

25.
Rosa, Nelson Souto. Formalising Middleware Systems: A Design Pattern-Based Approach. In: 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC), 2013, Kyoto. 2013 IEEE 37th Annual Computer Software and Applications Conference. p. 658-667.

26.
LINS, FERNANDO ; DAMASCENO, JULIO ; MEDEIROS, ROBSON ; SOUSA, ERICA ; Rosa, Nelson . Comparative Study of Service-Based Security-Aware Business Processes Automation Tools. In: 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013), 2013, Manchester. 2013 IEEE International Conference on Systems, Man, and Cybernetics. p. 1413-1418.

27.
DE MORAIS, TERCIO ; LIBERALQUINO, DIEGO ; Rosa, Nelson . Cloud-Aware Middleware. In: 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA), 2013, Barcelona. 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA), 2013. p. 780-787.

28.
BUREGIO, VANILSON ANDRE ; MEIRA, SILVIO ROMERO ; Rosa, Nelson Souto ; GARCIA, VINICIUS CARDOSO . Moving towards "Relationship-Aware" Applications and Services: A Social Machine-Oriented Approach. In: 2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2013, Vancouver. 2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013. p. 43.

29.
BUREGIO, VANILSON ; MEIRA, SILVIO ; Rosa, Nelson . Social machines. In: the 22nd International Conference, 2013, Rio de Janeiro. Proceedings of the 22nd International Conference on World Wide Web - WWW '13 Companion. New York: ACM Press, 2013. p. 885.

30.
BISPO, KALIL A. ; Rosa, Nelson S. ; CUNHA, Paulo R. F. . A semantic solution for saving energy in wireless sensor networks. In: 2012 IEEE Symposium on Computers and Communications (ISCC), 2012, Cappadocia. 2012 IEEE Symposium on Computers and Communications (ISCC), 2012. p. 000492-000499.

31.
STEPHENSON, Bryan ; LI, JUN ; WU, E. ; Júlio César Damasceno ; LINS, Fernando Antonio Aires ; MEDEIROS, R. W. A. ; SILVA, Bruno Carreiro da ; SOUZA, A. R. S. ; ARAGÃO, D. ; ROSA, N. S. ; MACIEL, Paulo Romero Martins . Experience Using Open Cirrus for a Security-Aware Cloud-Based Business Process Modeling and Execution Environment. In: Open Cirrus Summit, 2011, Moscou. Open Cirrus Summit, 2011. p. 1-6.

32.
ROSA, N. S.; SOUZA, Fábio Nogueira de ; LIMA, Ricardo Massa F. . Dynamic Event-based Monitoring in a SOA Environment. In: International Symposium on Distributed Objects and Application, 2011, Creta. 13th International Symposium on Distributed Objects and Application, 2011. v. 7045. p. 498-506.

33.
LINS, F. ; MEDEIROS, R. ; SILVA, B. ; SOUZA, A. ; ARAGÃO, D. ; DAMASCENO, J. ; MACIEL, P. ; ROSA, N. ; STEPHENSON, B. ; LI, J. . SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud. In: 2011 IEEE World Congress on Services (SERVICES), 2011, Washington. 2011 IEEE World Congress on Services, 2011. p. 53-60.

34.
DAMASCENO, J. ; LINS, F. ; MEDEIROS, R. ; SILVA, B. ; SOUZA, A. ; ARAGÃO, D. ; MACIEL, P. ; ROSA, N. ; STEPHENSON, B. ; LI, J. . Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud. In: 2011 IEEE International Conference on Web Services (ICWS), 2011, Washington. 2011 IEEE International Conference on Web Services, 2011. p. 137-144.

35.
Callou, G. ; Souza, E. ; TAVARES, E. ; ARAUJO, C. ; SILVA, B. ; ROSA, N. S. ; MARWAH, M ; SHARMA, R. ; SHAH, A. . Impact Analysis of Maintenance Policies on Data Center Power Infrastructure. In: IEEE International Conference on Systems_Man and Cybernetics, 2010, Istanbul, Turkey. 2010 IEEE International Conference on Systems Man and Cybernetics (SMC), 2010. p. 526-533.

36.
SILVA, B. ; MACIEL, Paulo Romero Martins ; Callou, G. ; TAVARES, E. ; ARAUJO, C. ; ROSA, N. S. ; MARWAH, M ; SHARMA, R. ; SHAH, A. . ASTRO: A tool for dependability evaluation of Data Center infrastructures. In: IEEE International Conference on Systems_Man and Cybernetics, 2010, Istanbul, Turkey. 2010 IEEE International Conference on Systems Man and Cybernetics (SMC), 2010. p. 783-790.

37.
Damaso, A. V. L. ; OLIVEIRA, J. P. ; ROSA, N. S. . SAGe: Sensor Advanced Gateway for Integrating Wireless Sensor Networks and Internet. In: International Conference on Advanced Information Networking and Applications, 2010, Perth, Australia. 2010 IEEE 24th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2010. p. 698-703.

38.
OLIVEIRA, J. P. ; Damaso, A. V. L. ; ROSA, N. S. . WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet. In: IFIP International Conference on Distributed Applications and Interoperable Systems, 2010, Amsterdam, Netherlands. 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS), 2010. v. 6515. p. 70-83.

39.
OLIVEIRA, J. P. ; Damaso, A. V. L. ; ROSA, N. S. . Smart: Service Model for Integrating Wireless Sensor Networks and the Internet. In: International Parallel and Distributed Systems (ICPADS), 2010, Shangai, China. The 16th International Conference on Parallel and Distributed Systems, 2010. p. 1-8.

40.
OLIVEIRA, D. J. ; ROSA, N. S. . Evaluating Product Line Architecture for Grid Computing Middleware Systems: Ubá Experience. In: Intenational Conference on Advanced Information Networking and Applications Workshop, 2010, Perth, Australia. 2010 IEEE 24th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2009. p. 257-262.

41.
Batista, Vando ; ROSA, N. S. . Spontaneousware: Middleware Framework for Mobile Ad Hoc Networks. In: International Workshop on Middleware for Pervasive Mobile and Embedded Computing, 2009, Urbana Camphaing. International Workshop on Middleware for Pervasive Mobile and Embedded Computing, 2009. p. 1-4.

42.
OLIVEIRA, D. J. ; ROSA, N. S. . Ubá: A Software Product Line Architecture for Grid-Oriented Middleware. In: IEEE Middleware Engineering, 2009, ME'2009. 1stIEEE International Workshop on Middleware Engineering, 2009. p. 1-8.

43.
Freitas, Luiz H. A. ; Bispo, Kalil ; ROSA, N. S. ; CUNHA, Paulo R F . SM- Sens: Security Middleware for Wireless Sensor Networks. In: IEEE GIIS 2009, 2009, Hammamet. IEEE Global Information Infrastructure Symposium (IEEE GIIS 2009), 2009.

44.
MARQUES, IGOR ; SILVA, Jobson Ronan Jerônimo da ; ROSA, N. S. . TinyReef: a Register-Based Virtual Machine for Wireless Sensor Networks. In: IEEE Sensors, 2009, Christchurch, Nova Zelândia. The 8th Annual IEEE Conference on Sensors, 2009. p. 1-6.

45.
MACIEL, Rita Suzana Pitangueira ; SILVA, Bruno Carreiro da ; MAGALHAES, ANA ; ROSA, N. S. . An Integrated Approach for Model Driven Process Modeling and Enactment. In: Simpósio Brasileiro de Engenharia de Software, 2009, Fortaleza. XXIV Simpósio Brasileiro de Engenharia de Software, 2009. p. 104-114.

46.
Bispo, Kalil ; Freitas, Luiz H. A. ; ROSA, N. S. ; CUNHA, Paulo R. F. . A Reconfiguration Approach using Ontologies to save energy on WSN. In: UBICOMM, 2009, Sliema. Third International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, 2009. p. 182-187.

47.
ROSA, N. S.; MACIEL, Paulo Romero Martins ; SOUZA, A. R. S. ; SILVA, B. L. B. ; Robson Medeiros ; MOTAHARI, Hamid ; STEPHENSON, Bryan ; LI, JUN ; NORTHFLEET, Caio ; Júlio César Damasceno ; LINS, Fernando Antônio Aires . Incorporating Security Requirements into Service Composition: From Modelling to Execution. In: International Conference of Service Oriented Computing, 2009, Estocolmo. 7th International Conference of Service Oriented Computing (ICSOC), 2009. v. 5900. p. 373-388.

48.
ASSAD, A. E. ; ROSA, N. S. . Device Middleware for Heterogeneous Access to Java Services. In: Fourth International Symposium on Frontiers in Networking with Applications (FINA2008), 2008, Ginowan, Okinawa. Fourth IEEE International Symposium on Frontiers, 2008. p. 211-216.

49.
LIMA, R. C. A. ; ROSA, N. S. . TS-Mid: Middleware for Wireless Sensor Networks Based on Tuple Space. In: Fourth IEEE International Workshop on Heterogeneous Wireless Networks (HWISE2008), 2008, Ginowan, Okinawa. Fourth IEEE International Workshop on Heterogeneous Wireless Networks, 2008. p. 886-891.

50.
SOUZA, Fábio Nogueira de ; ARTEIRO, Roberto Delgado ; ROSA, N. S. ; MACIEL, Paulo Romero Martins . Performance Models for the Instance Pooling Mechanism of the JBoss Application Server. In: IPCCC, 2008, Austin, Texas, USA. 27th IEEE International Performance Computing and Communications Conference, 2008. p. 135-143.

51.
LINS, Fernando Antonio Aires ; SANTOS JUNIOR, José Carlos dos ; ROSA, N. S. . Improving Transparent Adaptability in Web Service Composition. In: SOCA'07, 2007, Newport Beach. IEEE International Conference on Service-Oriented Computing, 2007. p. 80-87.

52.
ROSA, N. S.; CUNHA, Paulo R. F. . Behavioural Specification of Wireless Sensor Network Applications. In: IEEE GIIS, 2007, Marrakech. IEEE International Global Information Infrastructure Symposium, 2007. p. 66-72.

53.
ARTEIRO, Roberto Delgado ; SOUZA, Fábio Nogueira de ; ROSA, N. S. ; MACIEL, Paulo Romero Martins . Utilizando Redes de Petri para Modelagem de Desempenho de Middleware Orientado a Mensagem. In: WPerformance, 2007, Rio de Janeiro. WPerformance 2007, 2007. p. 1-21.

54.
Galdino, Sérgio ; MACIEL, Paulo Romero Martins ; ROSA, N. S. . Interval Generalized Stochastic Petri Net Models in Dependability Evaluation. In: SMC, 2007, Montreal. 2007 IEEE International Conference on Systems, Man, and Cybernetics, 2007. p. 1-6.

55.
RIBEIRO, Cláudia Maria Fernandes Araujo ; ROSA, N. S. ; CUNHA, Paulo Roberto Freire . An Ontological Approach for Personalized Services. In: AINA (FINA), 2006, Viena, Áustria. The IEEE 20th International Conference on Advanced Information Networking and Applications, 2006. v. 2. p. 729-733.

56.
SOUZA, Fábio Nogueira de ; ARTEIRO, Roberto Delgado ; ROSA, N. S. ; MACIEL, Paulo Romero Martins . Using Stochastic Petri Nets for Performance Modelling of Application Servers. In: 5th International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (IEEE IPDPS), 2006, Rhodes Island. PMEO-PDS'06, 2006.

57.
GUIMARÃES, Germano de Freitas ; SOUTO, Eduardo James Pereira ; VIEIRA, Mardoqueu de Souza ; VASCONCELOS, Glauco Pimentel ; ROSA, N. S. ; FERRAZ, Carlos André Guimarães . Middleware para Redes de Sensores Sem-Fio: Projeto, Implementação e Avaliação de Consumo de Energia. In: SBRC, 2006, Curitiba. 24o. Simpósio Brasileiro de Redes de Computadores, 2006. p. 1-16.

58.
LINS, Fernando Antonio Aires ; SANTOS JUNIOR, José Carlos dos ; SILVA, Arnoldo Nunes da ; ROSA, N. S. ; MACIEL, Paulo Romero Martins ; QUENTAL, Nivia Cruz . Avaliação de Desempenho da Composição de Web Services Usando Redes de Petri. In: SBRC, 2006, Curitiba. 24o. Simpósio Brasileiro de Redes de Computadores, 2006. p. 1-16.

59.
SOUZA, Fábio Nogueira de ; DELGADO, Roberto Arteiro ; ROSA, N. S. ; MACIEL, Paulo Romero Martins . Using Stochastic Petri Nets for Performance Modelling of JBoss Application Server. In: WPerformance, 2006, Campo Grande. V Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance), 2006. p. 221-238.

60.
ROSA, N. S.; CUNHA, Paulo Roberto Freire . A LOTOS Framework for Middleware Behaviour Specification. In: Forte, 2006, Paris. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems. Paris: Lecture Notes in Computer Science, 2006. v. 4229. p. 136-142.

61.
LINS, Fernando Antonio Aires ; SANTOS JÚNIOR, José Carlos dos ; ROSA, N. S. . Policy-driven Adaptive Web Service Composition. In: Fourth International Workshop on SOA and Web Services, 2006, Portland, Oregon. Fourth International Workshop on SOA and Web Services (OOPSLA 2006), 2006. p. 40-51.

62.
MACIEL, Rita Suzana Pitangueira ; ROSA, N. S. ; FERRAZ, Carlos André Guimarães ; SILVA, Bruno Carreiro da . Um Processo MDA para o Desenvolvimento de Componentes e Serviços Específicos de Middleware. In: WDBC, 2006, Recife. VI Workshop de Desenvolvimento Baseado em Componentes, 2006. p. 63-70.

63.
MACIEL, Rita Suzana Pitangueira ; ROSA, N. S. ; FERRAZ, Carlos André Guimarães . InterDOC: Reference Architecture. In: CSCWD 2005, 2005, Conventry. 9th International Conference on CSCW in Design, 2005. v. 1. p. 289-295.

64.
MACIEL, Rita Suzana Pitangueira ; FERRAZ, Carlos André Guimarães ; ROSA, N. S. . An MDA Domain Specific Architecture to Provide Interoperability Among Collaborative Environments. In: Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. 19o. Simpósio Brasileiro de Engenharia de Software, 2005.

65.
ROSA, N. S.; MACIEL, Paulo Romero Martins ; BARROS, Roberto Souto Maior de ; SANTOS, Helio Lopes dos . Managing Petri Nets in MOF Repositories. In: ODBASE 2005, 2005, Agia Napa. The 4th International Conference on Ontologies, DataBases, and Applications of Semantics (Proceedings Part II ), 2005. v. 3761. p. 1381-189.

66.
VIEIRA, Mardoqueu Souza ; ROSA, N. S. . A Reconfigurable Group Management Middleware Service for Wireless Sensor Networks. In: MPAC'2005, 2005, Grenoble. Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing (Middleware'06), 2005. v. 115. p. 1-8.

67.
MACIEL, Rita Suzana Pitangueira ; ROSA, N. S. ; FERRAZ, Carlos André Guimarães ; SILVA, Bruno Carreiro da . An MDA-EDOC based Development Process for Distributed Applications. In: ICEIS'05, 2005, MIami. 7th International Conference on Enterprise Information Systems, 2005. p. 3-10.

68.
RIBEIRO, Cláudia Maria Fernandes Araujo ; ROSA, N. S. ; CUNHA, Paulo Roberto Freire . Towards a Model for Personalized Communication Services. In: AINA, 2004, Fukuoka. 18th International Conference on Advanced Information Networking and Applications, 2004. v. 2. p. 99-102.

69.
FERNANDES, Stênio F. L. ; SILVA, Wellington João da ; SILVA, Mauro J. C. ; ROSA, N. S. ; MACIEL, Paulo Romero Martins ; SADOK, Djamel F. . On the Generalised Stochastic Petri Net Modelling of Message-Oriented Middleware Systems. In: IPCCC, 2004, Phoenix. 23rd IEEE International Performance, Computing, and Communications Conference, 2004. p. 783-788.

70.
ROSA, N. S.; CUNHA, Paulo R. F. . A Software Architecture-Based Approach for Formalising Middleware Behaviour. In: FESCA, 2004, Barcelona. Formal Foundations of Embedded Software and Component-Based Software Architectures Workshop, 2004. p. 24-37.

71.
FERNANDES, Stênio F. L. ; SILVA, Mauro J. C. ; SILVA, Wellington João da ; ROSA, N. S. ; MACIEL, Paulo Romero Martins ; SADOK, Djamel F. . Performance Analysis of Message-Oriented Middleware Using Stochastic Petri Nets. In: SBRC, 2004, Gramado. XXII Simpósio Brasileiro de Redes de Computadores, 2004. v. 1. p. 279-292.

72.
ROSA, N. S.; CUNHA, Paulo R F . Adopting LOTOS and Software Architecture Principles for Formalising Middleware Behaviour. In: SBRC 2004, 2004, Gramado. XXII Simpósio Brasileiro de Redes de Computadores, 2004. v. 1. p. 525-538.

73.
SOUTO, Eduardo James Pereira ; VASCONCELOS, Glauco Pimentel ; GUIMARÃES, Germano de Freitas ; VIEIRA, Mardoqueu de Souza ; ROSA, N. S. ; FERRAZ, Carlos André Guimarães . A Message-Oriented Middleware for Sensor Networks. In: MPAC'2004, 2004, Toronto. 2nd Workshop on MIddleware for Pervasive and Ad-Hoc Computing, 2004. p. 127-134.

74.
RIBEIRO, Cláudia M F A ; ROSA, N. S. ; CUNHA, Paulo R. F. . Meaningful SLA: Towards a QoS Contract-based on User Perception. In: CoALa, 2004, Monterey. Workshop on Contract Architectures and Languages, 2004.

75.
RIBEIRO, Cláudia Maria Fernandes Araujo ; ROSA, N. S. ; CUNHA, Paulo Roberto Freire . Towards a Model for Personalized Communication Services based on User Perception. In: ICEIS, 2004, Porto. 6th International Conference on Enterprise Information Systems, 2004. v. 5. p. 211-215.

76.
BARROS, Juliana Regueira Bastos Diniz ; SILVA, Adriana ; BARROS, Roberto Souto Maior de ; FERRAZ, Carlos André Guimarães ; ROSA, N. S. . Um Serviço de Registro de Seleção de Canais para TV Digital Baseado em XML. In: WebMedia & LA-Web, 2004, Ribeirão Preto. WebMedia & LA-Web 2004 - Joint Conference, 2004.

77.
BARROS, Juliana Regueira Bastos Diniz ; SILVA, Adriana Rodrigues ; BARROS, Roberto Souto Maior de ; FERRAZ, Carlos André Guimarães ; ROSA, N. S. . Projetando um Serviço de Descoberta de Canais para TV Digital. In: CLEI, 2004, Lima. 30ma Conferencia Latinoamericana de Informática, 2004. p. 255-265.

78.
SGOTTI, Virgínia A C ; ROSA, N. S. ; SILVA, Wellington João da . A MOM-based Solution for Remote Monitoring of Equipment in Mines. In: EDOC, 2003, Brisbane. Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. p. 321-326.

79.
RIBEIRO, Cláudia Maria Fernandes ; ROSA, N. S. ; CUNHA, Paulo Roberto Freire . User Quality of Perception: Towards a Model for Personalised Communication Services. In: SBSE, 2003, Pisa, Itália. Workshop on Service-Based Software Engineering, 2003. p. 31-46.

80.
ROSA, N. S.; JUSTO, G. R. R. ; CUNHA, Paulo R. F. . Process-NFL: A Language for Describing Non-Functional Properties. In: HICSS, 2002, Kona, Hawaii, EUA. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, 2002. p. 3676-3675.

81.
ROSA, N. S.; CUNHA, Paulo Roberto Freire ; JUSTO, George Roger Ribeiro . An Approach for Refining Non-Functional Software Architectures. In: FLOCASA, 2002, Brno. Workshop on Foundation of Coordination Languages and Software Architecture, 2002. p. 237-257.

82.
MORAES, M. A. F. ; VASCONCELOS, A. M. L. ; ROSA, N. S. . Uma Abordagem para Integrar Técnicas de Reuso no Processo de Desenvolvimento Tradicional de Software. In: WDBC, 2002, Itaipava. Segundo Workshop em Desenvolvimento Baseado em Componentes, 2002. p. 1-10.

83.
RIBEIRO, Cláudia M F A ; ROSA, N. S. ; CUNHA, Paulo R F . An Approach for the Systematic Mapping of Non-Functional Requirements onto QoS Parameters. In: SBMIDIA, 2002, Fortaleza. VIII Brazilian Symposium on Multimedia and Hypermedia Systems, 2002. p. 105-110.

84.
ROSA, N. S.; CUNHA, Paulo R. F. ; JUSTO, G. R. R. . Treating Non-Functional Properties of Dynamic Distributed Software Architectures. In: Simposio Brasileiro de Redes de Computadores, 2001, Florianopolis. Simposio Brasileiro de Redes de Computadores - SBRC, 2001. p. 711-726.

85.
ROSA, N. S.; CUNHA, Paulo R. F. ; JUSTO, G. R. R. ; Castro, Jaelson ; Alves, Carina . Using Non-Functional Requirements to Select Components: A Formal Approach. In: Workshop Iberoamerican on Software Engineering and Software Environment, 2001, San Jose. Fourth Workshop Iberoamerican on Software Engineering and Software Environment, 2001.

86.
ROSA, N. S.; CUNHA, Paulo R. F. ; JUSTO, G. R. R. . A Framework for Building Non-Functional Software Architectures. In: ACM Symposium on Applied Computing, 2001, Las vegas. 16th ACM SAC, 2001. p. 141-147.

87.
ROSA, N. S.; JUSTO, G. R. R. ; CUNHA, Paulo R. F. . On the Treatment of Non-Functional Properties of Dynamic Distributed Software Architectures. In: International Conference on Parallel and Distributed Systems, 2001, Dallas, USA. 14th International Conference on Parallel and Distributed Systems, 2001. p. 62-67.

88.
ROSA, N. S.; JUSTO, G. R. R. ; CUNHA, Paulo R. F. . Expressing Real-Time Performance in Software Radios. In: IEEE Real-Time Systems Symposium, 2001, Londres. 22nd IEEE Real-Time Systems Symposium, 2001. p. 57-60.

89.
TENÓRIO, L. E. F. ; CALLADO, A. C. ; AQUINO JÚNIOR, G. S. ; FERRAZ, Carlos André Guimarães ; ROSA, N. S. . Implementação de um Serviço de Segurança em CORBA. In: OD´2001, 2001, São Paulo. I Workshop em Tendências de Objetos Distribuídos, 2001.

90.
FARIAS, A. C. ; SIMÕES, M. A. C. ; OLIVEIRA, J. P. ; ALMEIDA, M. P. ; FERRAZ, Carlos A G ; ROSA, N. S. . TNS - Um Serviço de Nomes CORBA Tolerante a Falhas. In: OD´2001, 2001, São Paulo. I Workshop em Tendências de Objetos Distribuídos, 2001.

91.
ROSA, N. S.; Vasconcelos, Alexandre ; Castro, Jaelson . Relating Function Point Analysis to Software Architecture. In: Ibero-American Workshop on Software Engineering and Software Environment, 2000, Cancun. Third Workshop Ibreroamerican on Software Engineering and Software Environment, 2000. p. 302-312.

92.
ROSA, N. S.; JUSTO, G. R. R. ; CUNHA, Paulo R. F. . Incorporating Non-Functional Requirements on Software Architectures. In: International Workshop on Formal Methods for Parallel Progrmamming: Theory and Applications, 2000, Cancun. Lecture Notes in Computer Science, 2000. v. 1800. p. 1009-1018.

93.
ROSA, N. S.; CUNHA, Paulo R. F. ; JUSTO, G. R. R. . Uso de E-LOTOS na Descricao de Arquiteturas de Software de Sistemas Distribuidos. In: WoSiD - Workshop em Sistemas Distribuídos, 1998, Curitiba, Paraná. WoSiD'98, 1998. p. 89-96.

94.
ROSA, N. S.; CUNHA, Paulo R. F. ; SADOK, Djamel F. . A methodology for realization of LOTOS specifications in the ANSAware. In: ICDP'96, 1996, Dresden, Alemanha. IFIP/IEEE International Conference on Distributed Platforms, 1996. p. 204-209.

95.
ROSA, N. S.; CUNHA, Paulo R. F. . Implementacao do multiway rendezvous LOTOS na plataforma de distribuicao ANSAware. In: Seminário Integrado de Software e Hardware - SEMISH, 1996, Recife, Pernambuco. XXIII Seminário Integrado de Software e Hardware, 1996. p. 83-94.

96.
ROSA, N. S.; CUNHA, Paulo R. F. ; SADOK, Djamel F. . Implementando Especificacoes LOTOS na Plataforma de Distribuicao ANSAware. In: SBRC'96, 1996, Fortaleza, Ceará. Simpósio Brasileiro de Redes de Computadores, 1996.

Resumos expandidos publicados em anais de congressos
1.
ROSA, N. S.; LINS, Fernando Antonio Aires ; Júlio César Damasceno ; SOUZA, A. R. S. ; LEMOS, L. A. ; STEPHENSON, Bryan ; LI, JUN ; NORTHFLEET, Caio ; MACIEL, Paulo Romero Martins ; Robson Medeiros . Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. In: International Conference of Service Oriented Computing, 2009, Estocolmo. 7th International Conference of Service Oriented Computing (ICSOC), 2009. v. 5900. p. 649-650.

2.
Batista, Vando ; ROSA, N. S. . High-level specification of a middleware framework for mobile ad hoc networks: spontaneousware case. In: ACM Symposium on Applied Computing, 2009, Honolulu. 2009 ACM symposium on Applied Computing, 2009. p. 1-2.

Resumos publicados em anais de congressos
1.
ROSA, N. S.; JUSTO, G. R. R. ; CUNHA, Paulo R. F. . NFI: An Architecture-based Framework for Dealing with Non-Functional Properties During Development and Runtime. In: Workshop on Fault-Tolerance in Asynchronous Distributed Systems, 2001, Salvador, Bahia. First Workshop on Fault-Tolerance in Asynchronous Distributed Systems, 2001. p. 16-18.

Artigos aceitos para publicação
1.
ROSA, N. S. ; CAMPOS, G. M. M. ; CAVALCANTI, DAVID J. M. . Lightweight Formalisation of Adaptive Middleware. JOURNAL OF SYSTEMS ARCHITECTURE, 2018.


Produção técnica
Processos ou técnicas
1.
ROSA, N. S.; LINS, Fernando Antonio Aires ; Júlio César Damasceno ; MEDEIROS, R. W. A. ; ARAGÃO, D. ; SOUZA, A. R. S. ; SILVA, B. L. B. ; STEPHENSON, Bryan ; LI, JUN . Modeling Business Process Reg. No. 200904484-1 (HPC.1018US). 2010.

Trabalhos técnicos
1.
ROSA, N. S.. ACM Symposium on Applied Computing. 2003.

2.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores. 2003.

3.
ROSA, N. S.. ACM Symposium on Applied Computing. 2002.

4.
ROSA, N. S.. ACM Symposium on Applied Computing. 2001.


Demais tipos de produção técnica
1.
ROSA, N. S. . SBRC 2018 - Simpósio Brasileiro de Rede de Computadores. 2018. (Revisão de Artigos).

2.
ROSA, N. S. . ICTAC - 15th International Colloquium on Theoretical Aspects of Computing (ICTAC). 2018. (Revisão de Artigos).

3.
ROSA, N. S. . CSBC 2018 - Concurso de Teses e Dissertações (31º CTD). 2018. (Membro do Comitê de Programa).

4.
ROSA, N. S. . CSBC 2018 - Concurso de Teses e Dissertações (31º CTD). 2018. (Revisão de Artigos).

5.
ROSA, N. S. . 1st International Workshop on Cloud Computing Economic Impacts. 2018. (Membro do Comitê de Programa).

6.
ROSA, N. S. . CSBC 2017 - Concurso de Teses e Dissertações (30º CTD). 2017. (Membro do Comitê de Programa).

7.
ROSA, N. S. . SBRC 2017 - Salão de Ferramentas. 2017. (Membro do Comitê de Programa).

8.
ROSA, N. S. . CSBC 2017 - Concurso de Teses e Dissertações (30º CTD). 2017. (Revisão de Artigos).

9.
ROSA, N. S. . SBRC 2017 - Salão de Ferramentas. 2017. (Revisão de Artigos).

10.
ROSA, N. S. . CSBC CTD 2016. 2016. (Membro do Comitê de Programa).

11.
ROSA, N. S. . SBRC 2016 - Salao de Ferramentas. 2016. (Membro do Comitê de Programa).

12.
ROSA, N. S. . SBRC 2016. 2016. (Revisão de Artigos).

13.
ROSA, N. S. . SBRC 2016 - Salao de Ferramentas. 2016. (Revisão de Artigos).

14.
ROSA, N. S. . CBSoft 2015 - SBES 2015 - Insightful Ideas. 2015. (Membro do Comitê de Programa).

15.
ROSA, N. S. . CBSoft 2015 - SBES 2015 - Technical Research. 2015. (Membro do Comitê de Programa).

16.
ROSA, N. S. . SBRC 2015 - Salão de Ferramentas. 2015. (Membro do Comitê de Programa).

17.
ROSA, N. S. . 2nd Workshop on Formal Verification for Self-* Systems (VERY*SCART'2015), affiliated with SEFM 2015.. 2015. (Membro do Comitê de Programa).

18.
ROSA, N. S. . CBSoft 2015 - SBES 2015 - Insightful Ideas. 2015. (Revisão de Artigos).

19.
ROSA, N. S. . CBSoft 2015 - SBES 2015 - Technical Research. 2015. (Revisão de Artigos).

20.
ROSA, N. S. . SBRC 2015 - Salão de Ferramentas. 2015. (Revisão de Artigos).

21.
ROSA, N. S. . SBRC 2014 Salão de Ferramentas. 2014. (Membro do Comitê de Programa).

22.
ROSA, N. S. . SBES 2014. 2014. (Membro do Comitê de Programa).

23.
ROSA, N. S. . IEEE OrChor First International Workshop on Service Orchestration and Choreography for the Future Internet. 2014. (Membro do Comitê de Programa).

24.
ROSA, N. S. . SBES 2014. 2014. (Revisão de Artigos).

25.
ROSA, N. S. . SBRC 2014. 2014. (Revisão de Artigos).

26.
ROSA, N. S. . CBSoft 2013 - VII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2013. (Membro do Comitê de Programa).

27.
ROSA, N. S. . CBSoft 2013 - SBES 2013. 2013. (Membro do Comitê de Programa).

28.
ROSA, N. S. . CSBC 2013 - CTD. 2013. (Membro do Comitê de Programa).

29.
ROSA, N. S. . SBRC 2013. 2013. (Membro do Comitê de Programa).

30.
ROSA, N. S. . SBRC 2013 - Salão de Ferramentas. 2013. (Membro do Comitê de Programa).

31.
ROSA, N. S. . SEMISH 2013. 2013. (Membro do Comitê de Programa).

32.
ROSA, N. S. . CBSoft 2013 - VII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (CBSoft 2013 - SBCARS 2013). 2013. (Revisão de Artigos).

33.
ROSA, N. S. . CBSoft 2013 - SBES 2013. 2013. (Revisão de Artigos).

34.
ROSA, N. S. . CSBC 2013 - CTD. 2013. (Revisão de Artigos).

35.
ROSA, N. S. . SBRC 2013. 2013. (Revisão de Artigos).

36.
ROSA, N. S. . SBRC 2013 - Salão de Ferramentas. 2013. (Revisão de Artigos).

37.
ROSA, N. S. . SEMISH 2013. 2013. (Revisão de Artigos).

38.
ROSA, N. S. . CBSoft 2012 - SBES. 2012. (Membro do Comitê de Programa).

39.
ROSA, N. S. . XXXI Concurso de Trabalhos de Iniciação Científica (CSBC 2012 - CTIC). 2012. (Membro do Comitê de Programa).

40.
ROSA, N. S. . XXXVIV Seminário Integrado de Software e Hardware (CSBC 2012 - SEMISH). 2012. (Membro do Comitê de Programa).

41.
ROSA, N. S. . SBRC 2012. 2012. (Membro do Comitê de Programa).

42.
ROSA, N. S. . SBRC 2012 - Salao de Ferramentas. 2012. (Membro do Comitê de Programa).

43.
ROSA, N. S. . CBSoft 2012 - SBES. 2012. (Revisão de Artigos).

44.
ROSA, N. S. . XXXI Concurso de Trabalhos de Iniciação Científica (CSBC 2012 - CTIC). 2012. (Revisão de Artigos).

45.
ROSA, N. S. . XXXVIV Seminário Integrado de Software e Hardware (CSBC 2012 - SEMISH). 2012. (Revisão de Artigos).

46.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC 2011). 2011. (Membro do Comitê de Programa).

47.
ROSA, N. S.. XXXVIII Seminário Integrado de Software e Hardware (SEMISH 2011). 2011. (Membro do Comitê de Programa).

48.
ROSA, N. S.. Congresso Brasileiro de Software (CBSOFT 2011). 2011. (Membro do Comitê de Programa).

49.
ROSA, N. S.. Congresso Brasileiro de Software (CBSOFT 2011). 2011. (Revisão de Artigos).

50.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC 2011). 2011. (Revisão de Artigos).

51.
ROSA, N. S.. XXXVIII Seminário Integrado de Software e Hardware (SEMISH 2011). 2011. (Revisão de Artigos).

52.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC'2010). 2010. (Membro do Comitê de Programa).

53.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC'2010). 2010. (Revisão de Artigos).

54.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC'2010) - Salão de Ferramentas. 2010. (Membro do Comitê de Programa).

55.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC'2010) - Salão de Ferramentas. 2010. (Revisão de Artigos).

56.
ROSA, N. S.. Congresso Brasileiro de Software (CBSOFT 2010). 2010. (Membro do Comitê de Programa).

57.
ROSA, N. S.. XXXVII Seminário Integrado de Software e Hardware (SEMISH'2010). 2010. (Membro do Comitê de Programa).

58.
ROSA, N. S.. XXXVII Seminário Integrado de Software e Hardware (SEMISH'2010). 2010. (Revisão de Artigos).

59.
ROSA, N. S.. Information Science Journal. 2009. (Revisão de Artigos).

60.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC'2009). 2009. (Membro do Comitê de Programa).

61.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC'2009). 2009. (Revisão de Artigos).

62.
ROSA, N. S.. Simpósio Brasileiro de Engenharia de Software (SBES'2009). 2009. (Membro do Comitê de Programa).

63.
ROSA, N. S.. Simpósio Brasileiro de Engenharia de Software (SBES'2009). 2009. (Revisão de Artigos).

64.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC'2009) - Salão de Ferramentas. 2009. (Membro do Comitê de Programa).

65.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC'2009) - Tutoriais. 2009. (Revisão de Artigos).

66.
ROSA, N. S.. Simpósio Brasileiro de Redes de Computadores (SBRC'2009) - Salão de Ferramentas. 2009. (Revisão de Artigos).

67.
ROSA, N. S.. XXVIII Concurso de Trabalhos de Iniciação Científica (CTIC'2009) do Congresso da Sociedade Brasileira de Computação. 2009. (Membro do Comitê de Programa).

68.
ROSA, N. S.. XXVIII Concurso de Trabalhos de Iniciação Científica (CTIC'2009) do Congresso da Sociedade Brasileira de Computação. 2009. (Revisão de Artigos).

69.
ROSA, N. S.. Sistemas de Middleware. 2008. (Curso de curta duração ministrado/Outra).

70.
ROSA, N. S.. Revisão de Artigos - Simpósio Brasileiro de Redes de Computadores (SBRC'08). 2008. (Revisão de Artigos).

71.
ROSA, N. S.. Membro do Comitê de Programa - Simpósio Brasileiro de Engenharia de Software (SBES´08). 2008. (Membro do Comitê de Programa).

72.
ROSA, N. S.. Membro do Comitê de Programa - Collaborative Electronics Communications and e-Commerce Technology and Research (CollECteR Iberoamérica'08). 2008. (Membro do Comitê de Programa).

73.
ROSA, N. S.. Membro do Comitê de Programa - Euro America Conference on Telematics and Information Systems (EATIS'08). 2008. (Membro do Comitê de Programa).

74.
ROSA, N. S.. Simpósio Brasileiro de Engenharia de Software (SBES'2008). 2008. (Revisão de Artigos).

75.
ROSA, N. S.. Collaborative Electronic Communications and eCommerce Technology Research (COLLECTER'2008). 2008. (Revisão de Artigos).

76.
ROSA, N. S.. Membro do Comitê de Programa - Simpósio Brasileiro de Redes de Computadores (SBRC'08). 2008. (Membro do Comitê de Programa).

77.
ROSA, N. S.. Membro do Comitê de Programa - Euro America Conference on Telematics and Information Systems (EATIS'07). 2007. (Membro do Comitê de Programa).

78.
ROSA, N. S.. Revisão de Artigos - Euro America Conference on Telematics and Information Systems (EATIS'07). 2007. (Revisão de Artigos).

79.
ROSA, N. S.. Membro do Comitê de Programa - Simpósio Brasileiro de Redes de Computadores (SBRC'07). 2007. (Membro do Comitê de Programa).

80.
ROSA, N. S.. Revisão de Artigos - Simpósio Brasileiro de Redes de Computadores (SBRC'07). 2007. (Revisão de Artigos).

81.
ROSA, N. S.. Membro do Comitê de Programa - Euro America Conference on Telematics and Information Systems (EATIS' 06). 2006. (Membro do Comitê de Programa).

82.
ROSA, N. S.. Membro do Comitê de Programa - Simpósio Brasileiro de Engenharia de Software (SBES'06). 2006. (Membro do Comitê de Programa).

83.
ROSA, N. S.. Revisão de Artigos - Simpósio Brasileiro de Redes de Computadores (SBRC'06). 2006. (Revisão de Artigos).

84.
ROSA, N. S.. Membro do Comitê de Programa - Simpósio Brasileiro de Redes de Computadores (SBRC'06). 2006. (Membro do Comitê de Programa).

85.
ROSA, N. S.. Revisão de Artigos - Simpósio Brasileiro de Engenharia de Software (SBES'06). 2006. (Revisão de Artigos).

86.
ROSA, N. S.. Revisão de Artigos - Euro America Conference on Telematics and Information Systems (EATIS' 06). 2006. (Revisão de Artigos).

87.
ROSA, N. S.. Revisão de Artigos - Simpósio Brasileiro de Redes de Computadores (SBRC'05). 2005. (Revisão de Artigos).

88.
ROSA, N. S.. Membro do Comitê de Programa - Simpósio Brasileiro de Redes de Computadores (SBRC'05). 2005. (Membro do Comitê de Programa).

89.
ROSA, N. S.. Membro do Comitê de Programa - Simpósio Brasileiro de Engenharia de Software (SBES'05). 2005. (Membro do Comitê de Programa).

90.
ROSA, N. S.. Revisão de Artigos - Simpósio Brasileiro de Engenharia de Software (SBES'05). 2005. (Revisão de Artigos).

91.
ROSA, N. S.. Introdução a Ambientes Middleware. 2002. (Curso de curta duração ministrado/Outra).

92.
ROSA, N. S.. Sistemas Distribuídos. 1999. .

93.
PAULA, V. C. C. ; ROSA, N. S. ; CUNHA, Paulo R F . Introdução à Arquitetura de Software. 1998. (Curso de curta duração ministrado/Outra).

94.
ROSA, N. S.. Introdução a Sistemas Distribuídos. 1997. (Curso de curta duração ministrado/Extensão).

Demais trabalhos
1.
ROSA, N. S.. Membro do Colegiado da Pós-Graduação do Centro de Informática. 2002 (Demais trabalhos relevantes) .

2.
ROSA, N. S.. Membro da Comissão de Iniciação Científica da Universidade Federal de Pernambuco. 2002 (Demais trabalhos relevantes) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
ROSA, N. S.; DIAS, K. L.; GOMES, D. G.. Participação em banca de Maria Atrícia Sabino Maciel. SDVN-vC - Uma Arquitetura Flexível com Suporte à Escalabilidade para Redes Veiculares Definidas por Software usando NFV. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj; MEDEIROS, R. W. A.. Participação em banca de Marcos Vinícius de Araújo Andrade. Migração de Microserviços em Tempo de Execução. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
ROSA, N. S.; CALLADO, A. C.; KELNER, Judith. Participação em banca de Daniel Bezerra. Software-Defined Cluster: An SDN-Based Cluster Architecture for IoT. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
ROSA, N. S.; KELNER, Judith; ANDRADE, Rossana. Participação em banca de Daniel Rosendo. A High-level Authorization Framework for Software Defined Networks. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
ROSA, N. S.; SADOK, Djamel F.; ENDO, P. T.. Participação em banca de Janderson Silva de Souza. Módulo de Resolução de Conflitos de Forma Semiautomática em Modelo Or-BAC. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
ROSA, N. S.; MACIEL, P. R. M.; LINS, F. A. A.. Participação em banca de Winder Faik de Souza. XPresumo: Um Middleware Orientado à Mensagem para Internet das Coisas. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
ROSA, N; SILVA, R. M. A.; CARVALHO, F. F.. Participação em banca de Milton Vinícius Morais de Lima. Uma Metodologia para Apoiar Políticas de Segurança em Ambientes de Data Center: Uma Estrutura Sistemática com Múltiplas Perspectivas. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

8.
ROSA, N. S.; MACIEL, P. R. M.; MELO, R. M.. Participação em banca de Aline Santana Oliveira. SIMF: Um Framework de Injeção e Monitoramento de Falhas de Nuvens Computacionais Utilizando SPN. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
ROSA, N. S.; CYSNEIROS FILHO, G. A. A.; LINS, F. A. A.; MEDEIROS, R. W. A.. Participação em banca de Josival dos Santos Silva. Uma Metodologia para Avaliação do Consumo de Energia de Aplicações Baseadas em Ambientes de Computação Móvel em Nuvem. 2017. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.

10.
ROSA, N. S.; NASCIMENTO, R. P. C.; SOARES, M. S.; MACEDO, D. D. J.. Participação em banca de Sérgio Antônio Alves Barbosa. i9ITS: Uma Proposta de Arquitetura de Software para Armazenamento de Dados Abertos e Integração de Serviços para ITS em Cidades Inteligentes. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Sergipe.

11.
ROSA, N. S.; DIAS, K. L.; VASCONCELOS, E. M.. Participação em banca de Ricardo Jorge Luiz Rufino. OpenDevice: Uma Plataforma Aberta e Framework para Internet da Coisas (IoT). 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

12.
ROSA, N. S.; LINS, F. A. A.; SOUZA, R. A. C.; SOUZA, E. T. G.. Participação em banca de Klever Regis Pires Cavalcanti. Uma Solução Integrada para a Melhoria da Segurança de Dispositivos Móveis Baseada na Plataforma Android. 2016. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.

13.
ROSA, N. S.; GAMA, KIEV SANTOS DA; BUREGIO, V.. Participação em banca de Emanoel Carlos Gomes Ferraz Silva. Um Catálogo de Provedores de Dados para Internet das Coisas. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

14.
ROSA, N. S.; NEPOMUCENO, N. V.; Americo Tadeu Falcone Sampaio. Participação em banca de Tiago Rolim Pereira. Uma Abordagem para Avaliação de Topologias de Aplicações em Nuvem Baseada em TOSCA. 2016. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza.

15.
ROSA, N. S.; MACIEL, Paulo Romero Martins; LINS, Fernando Antonio Aires. Participação em banca de Luiz Artur Botelho da Silva. FLiMSy: Um Middleware Funcional em Scala. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

16.
ROSA, N. S.; MACIEL, Paulo Romero Martins; ALBUQUERQUE JUNIOR, G. A.. Participação em banca de Verônica Conceição Oliveira da Silva. Avaliação de Confiabilidade de Dispositivos Móveis em Mobile Cloud Computing. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

17.
MACIEL, Paulo Romero Martins; ALBUQUERQUE JUNIOR, G. A.; Callou, G.; ROSA, N. S.. Participação em banca de D'Eça Torquato de Melo. Modelos de Disponibilidae para Nuvens Privadas: Rejuvenescimento de Software Habilitado por Agendamento de Migração de VMs. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

18.
ROSA, N. S.; GAMA, KIEV SANTOS DA; LOPES, A. B.. Participação em banca de Diego Liberalquino Soares Lima. ECAMID: UM MIDDLEWARE PARA NUVEM COMPUTACIONAL COM SUPORTE À ELASTICIDADE. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

19.
ROSA, N. S.; LIMA, Ricardo Massa F.; LINS, F. A. A.. Participação em banca de Natália Cabral Silva. REFLex - Rule Engine for Flexible Processes. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

20.
Rosa, Nelson Souto; GARCIA, V. C.; BRASILEIRO, F. V.. Participação em banca de Francisco Airton Pereira da Silva. Monext: An Accounting Framework for Federated Clouds. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

21.
ROSA, N. S.; KULESZA, U.; LOPES, A. B.; SILVA, C. E.. Participação em banca de José Augusto Nascimento de Medeiros. Reengenharia do Framework Cosmos: Uma Solução para Prover Suporte a Adaptações Abertas. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

22.
ROSA, N. S.; ALBUQUERQUE JUNIOR, G. A.; MACIEL, Paulo Romero Martins. Participação em banca de Débora Stefani Lima de Souza. FlaxLoadGenerator - Um Franework para Apoiar o Desenvolvimento de Ferramentas Voltadas a Estudos de Avaliação de Desempenho e Dependabilidade. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

23.
ROSA, N. S.; GARCIA, V. C.; ASSAD, R. E.. Participação em banca de José Lutiano Costa da Silva. A Adoção de Computação em Nuvem em uma Empresa de Processamento de Dados Estadua: Os Impacos de Implantação em seu Ambiente Corporativo. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

24.
ROSA, N. S.; MACIEL, Paulo Romero Martins; Rivalino Matias Júnior. Participação em banca de Jean Carlos Teixeira de Araujo. Software Aging Monitoring Strategies and Rejuvenation Policies for Eucalyptus Cloud Computing Platform. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

25.
ROSA, N. S.; LIMA, Ricardo Massa F.. Participação em banca de Danilo Vieira Lopes. QosPolicy: Política de Ligação entre Serviços baseada em Eventos de QoS. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

26.
ROSA, N. S.; COSTA, F. M.; ROCHA, R. C. A.. Participação em banca de Gustavo Cipriano Mota Souza. Desenvolvimento dirigido por modelos de máquinas de execução específicas de domínio. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Goiás.

27.
SADOK, Djamel F.; ROSA, N. S.; SOUTO, Eduardo James Pereira. Participação em banca de Leonardo Henrique Vilça Silva. Um Esquema de Manipulação de Alertas em Detectores de Anomalias e Intrusões. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

28.
ROSA, N. S.; MACIEL, Paulo Romero Martins; Salgueiro, R. J. P. B.. Participação em banca de Rubens de Souza Matos Júnior. An Automated Approach for Systems Performance and Dependability Improvement through Sensitiviity Analysis of Markov Chain. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

29.
ROSA, N. S.; LIMA FILHO, F. J. C.; RIBEIRO, Cláudia Maria Fernandes. Participação em banca de Antônio Vicente Lourenço Dâmaso. SAGe: Sensor Advanced Gateway for Integrating Wireless Sensor Networks and Internet. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

30.
ROSA, N. S.; Alves, Carina; RIBEIRO, Cláudia Maria Fernandes. Participação em banca de Róbson Wagner Albuquerque de Medeiros. SSC4CLOUD Editor - Uma Ferramenta para Modelagem de Processos de Negócio com Anotações de Segurança para Cloud. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

31.
ROSA, N. S.; LOPES, A. B.; KULESZA, U.. Participação em banca de Felipe Alves Pereira Pinto. Um Framework Baseado em Modelos para Desenvolvimento de Sistemas Multimídia Distribuídos Autoadaptativos. 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

32.
LIMA FILHO, F. J. C.; ROSA, N. S.; CRUZ, M. L. P. M.. Participação em banca de Marcos Luiz Lins Filho. Uma Metodologia para Desenvolvimento de Aplicações Orientadas a Serviço. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

33.
ROSA, N. S.; MACIEL, Rita Suzana Pitangueira; LIMA, Ricardo Massa F.. Participação em banca de Bruno Leonardo Barros Silva. Sec-MoSC Translation Framework: An APproach to Transform Business Process Models into Executable Process Considerding Security Requirements. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

34.
Rosa, N. S.; MACIEL, Rita Suzana Pitangueira; SOARES, SÉRGIO. Participação em banca de André Ricardo de Souza e Silva. Sec-MoSC Editor: Modelando composições de serviço com requisitos não funcionais usando BPMN. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

35.
SOUTO, Eduardo James Pereira; SADOK, Djamel Fawzi Hadj; ROSA, N. S.. Participação em banca de Ricardo de Oliveira Schmidt. SooA: Self-organization of Addresses Protocol for Supporting Autoconfiguration in Autonomous Networks. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

36.
ROSA, N. S.; RIBEIRO, Cláudia Maria Fernandes; Neto, Pedro. Participação em banca de Francisco Cassimiro Neto. SEMSUS: Middleware para Redes de Sensores Sem Fio Baseado em Serviços Semânticos. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal Rural do Semi-Árido.

37.
Nabor das Chagas Mendonça; ROSA, N. S.; Alves, Carina. Participação em banca de Julio César Damasceno. SecMosc-Engine: Um Ambiente de Suporte à Execução Segura de Composição de Serviços. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

38.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira; RIBEIRO, Cláudia Maria Fernandes Araujo. Participação em banca de Igor Roberto Lopes Marques. Um Ambiente para Desenvolvimento de Aplicações de Redes de Sensores Sem Fio. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

39.
ROSA, N. S.; LIMA FILHO, F. J. C.; Bastos Filho, C. J. A,. Participação em banca de Joás Evangelista de Souza. Um Detector de Defeitos Cumulativo Baseado em uma Abordagem Difusa. 2010. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

40.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj; FERNANDES, Stênio F. L.. Participação em banca de Ernani Madureira de Azevedo. Semi-Automated Service Creation for Cloud Computing. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

41.
ROSA, N. S.; SILVEIRA, Gledson Elias da; SOUZA FILHO, Guido Lemos de. Participação em banca de Daniel Charles Ferreira Porto. MLSD: Um Protocolo de Divulgação de Estados dos Enlaces para Redes em Malha Sem Fio Infraestruturadas. 2010. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba.

42.
ROSA, N. S.; LIMA FILHO, F. J. C.; Bastos Filho, C. J. A,. Participação em banca de Rafael Lucas de Melo Farias. Um Arcabouço de Tolerância a Falhas para Grades Computacionais. 2010. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.

43.
ROSA, N. S.; Salgueiro, R. J. P. B.; MACIEL, Paulo Romero Martins. Participação em banca de Gustavo Rau de Almeida Callou. Energy Consumption and Execution Time Estimation of Embedded System Applications. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

44.
Americo Tadeu Falcone Sampaio; Nabor das Chagas Mendonça; ROSA, N. S.. Participação em banca de Leandro Sales Holanda Pinto. Projeto, Implementação e Avaliação de uma Camada de Comunicação em Grupo. 2009. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza.

45.
FERRAZ, Carlos A G; SILVEIRA, Gledson Elias da; ROSA, N. S.. Participação em banca de Roberto Arteiro Delgado. JMSCAPACITY Um Toolkit para Auxiliar no Planejamento de Capacidade de Middlware Orientado a Mensagem. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

46.
ROSA, N. S.; Admilson de Ribamar Lima Ribeiro; Ruy José Guerra Barretto de Queiroz. Participação em banca de Luiz Henrique Albuquerque de Freitas. Middleware Seguro Para Redes de Sensores Sem-Fio. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

47.
ROSA, N. S.; SOUTO, Eduardo James Pereira; KELNER, Judith. Participação em banca de Marcelino Santos Nascimento. Mitigando Ataques de Negação de Serviços em Redes de Sensores Sem Fio com Jogos Infinitamente Repetidos. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

48.
SOUTO, Eduardo James Pereira; ROSA, N. S.; KELNER, Judith. Participação em banca de Fabrício Barros Cabral. Estudo e Avaliação de Redes Convergentes de Voz. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

49.
MACIEL, Rita Suzana Pitangueira; SOARES, SÉRGIO; ROSA, N. S.. Participação em banca de Davi Junio Silva de Oliveira. UBÁ: UMA ARQUITETURA DE LINHA DE PRODUTO DE SOFTWARE PARA DESENVOLVIMENTO DE MIDDLEWARE PARA COMPUTAÇÃO EM GRADE. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

50.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj; MAGALHÃES, Maurício Ferreira. Participação em banca de Luciana Pereira Oliveira. Future Internet Architecture to Structure and to Manage Dynamic Autonomous Systems, Internet Service Providers and Customers. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

51.
CUNHA, Paulo R. F.; RIBEIRO, Cláudia M F A; ROSA, N. S.. Participação em banca de Rita de Cássia Acioli Lima. Middeware para Rede de Sensores Sem Fio Baseado em Espaço de Tuplas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

52.
SILVEIRA, Gledson Elias da; SADOK, Djamel Fawzi Hadj; ROSA, N. S.. Participação em banca de André Elia Assad. D-MID: Middleware de Dispositivo para Acesso a Serviços em Java. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

53.
FROTA, CARINA; RIBEIRO, Cláudia Maria Fernandes; ROSA, N. S.. Participação em banca de Vando de freitas Batista. Spontaneousware: Um Framework de Middleware para Redes Móveis Ad Hoc. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

54.
RIBEIRO, Cláudia M F A; CUNHA, Paulo R. F.; ROSA, N. S.. Participação em banca de FErnando Antônio Aires Lins. Composição Adaptativa de Web Services. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

55.
KELNER, Judith; ROSA, N. S.; TORI, R.. Participação em banca de Thiago Souto Mairo de Farias. Um Modelo de Referência para Aplicações de Realidade Aumentada em Redes de Ambiente. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

56.
ROSA, N. S.; KELNER, Judith; ANDRADE, Rossana. Participação em banca de Igor Chaves Cananea. A Service-based Access Selection Algorithm for Always best Connected Networks. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

57.
ROSA, N. S.; VASCONCELOS, Alexandre Marcos Lins; SOARES, S.. Participação em banca de Diego de Azevedo Ribeiro. Um Processo para Gerenciamento de Arquitetura de Software. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

58.
ROSA, N. S.; FERNANDES, S. M. M.; MACIEL, Paulo Romero Martins. Participação em banca de Adilson de Oliveira Arcoverde. Avaliação de Desempenho de Sistemas de Manufatura Utilizando GSPN com Anotações de Consumo de Energia e Alocação de Recursos Humanos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

59.
ROSA, N. S.; MACIEL, Paulo Romero Martins; Oliveira, Meuse. Participação em banca de Ângelo Roncalli de Novaes Pires Ribeiro. Estimativa de Consumo de Energia de Código ANSI-C para sistemas embarcados: Uma Abordagem Baseada em Simulação Estocástica. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

60.
ROSA, N. S.; FERRAZ, Carlos André Guimarães; SILVEIRA, Gledson Elias da. Participação em banca de Mardoqueu Souza Vieira. Um Middleware Reconfigurável para Rede de Sensores. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

61.
ROSA, N. S.; SILVEIRA, Gledson Elias da; SILVA, Ivan Saraiva. Participação em banca de Frederico Borelli de Souza. BRICKS - Um Modelo de Componentes com Suporte à Composição Baseada em Negociações de Propriedades de Interfaces. 2006. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

62.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira; MACIEL, Paulo Romero Martins. Participação em banca de Leonardo Amorim de Barros. Mapping Live Sequence Charts to Coloured Petri Net for Analysis and Verification of Embedded Systems. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

63.
CUNHA, Paulo R. F.; SILVEIRA, Gledson Elias da; ROSA, N. S.. Participação em banca de Fábio Nogueira de Souza. Avaliação de Servidores de Aplicação Utilizando Redes de Petri ? O Caso JBOSS. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

64.
FERRAZ, Carlos A G; ENDLER, M.; ROSA, N. S.. Participação em banca de Fernando da Cunha Andrade Neto. Uma Arquitetura para Suporte a Ciência de Contexto em TV Digital Móvel. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

65.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira; MACIEL, Paulo Romero Martins. Participação em banca de Wellington João da Silva. Um Ambiente de Suporte a Modelagem Hierárquica por Redes de Petri para Sistemas de Produção. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

66.
ROSA, N. S.; BARROS, Edna Natividade da Silva; NOVAES, Magdala de Araújo. Participação em banca de Glauco Pimentel Vasconcelos Junior. TinyMonitor - Um framework para Desenvolvimento de Aplicações de Monitoramento de Sinais Vitais de Pacientes. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

67.
ROSA, N. S.; GOMES, Alex Sandro; NOVAES, Magdala de Araújo. Participação em banca de Enoque Calvino Melo Alves. Design de Componentes Educacionais Síncronos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

68.
ROSA, N. S.; KELNER, Judith; KAMIENSKI, Carlos Alberto. Participação em banca de Anderson Fabiano Batista Ferreira da Costa. Heurísticas para Posicionamento de Conversores em Redes Ópticas. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

69.
ROSA, N. S.; KELNER, Judith; ANDRADE, Rossana. Participação em banca de Jeísa Pereira de Oliveira. Análise de Desempenho de TCP sobre GPRS em um Ambiente Fim a Fim. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

70.
ROSA, N. S.; FERRAZ, Carlos André Guimarães; BASTISTA, Thaís Vasconcelos. Participação em banca de Cláudia Brito Lyra Nunes da Silva. Utilizando CCM no Suporte a Sessões Síncronas. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

71.
ROSA, N. S.; FERRAZ, Carlos A G; BASTISTA, Thaís Vasconcelos. Participação em banca de Luiz Eugênio Fernandes Tenório. Transformlets: Desenvolvimento e Integração de Aplicações Utilizando um Framework de Componentes para Transformação de Modelos MDA. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

72.
ROSA, N. S.; BATISTA, Thaís Vasconcelos; SOUZA FILHO, Guido Lemos de; CAMPOS, André Maurício Cunha. Participação em banca de Caio Sérgio de Vasconcelos Batista. Um Serviço de Certificação Digital para Plataformas de Middleware. 2004. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

73.
ROSA, N. S.; SILVEIRA, Gledson Elias da; FERRAZ, Carlos André Guimarães. Participação em banca de Eduardo Gonçalves Calábria. Hermes: Um Middleware Orientado a Mensagem para Ambientes Coorporativos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

74.
ROSA, N. S.; VASCONCELOS, Alexandro Marcos Lins; ALENCAR, Fernanda Maria Ribeiro de. Participação em banca de Milton Secundino de Souza Junior. MDSA: Uma Proposta de Integração de Elementos de Arquitetura de Software a Model Driven Architecture. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

75.
ROSA, N. S.; COSTA, Fábio Moreira; CUNHA, Paulo Roberto Freire. Participação em banca de Marcos André da Silva Costa. Um Modelo de Middleware Adaptativo. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

76.
ROSA, N. S.; FERRAZ, Carlos A G; LOUREIRO, Antonio. Participação em banca de Genaina Nunes Rodrigues. A Comprehensive CORBA Model for Embedded System. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

77.
ROSA, N. S.; SADOK, Djamel; SOUZA, J. N.. Participação em banca de Fábio Cézar Massoud Salame da Silva. Avaliação de uma Rede de Rádio Celular de Duas Camadas: GSM-DECT. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

78.
ROSA, N. S.; KELNER, Judith; ALBUQUERQUE, E.. Participação em banca de Constantino Augusto Dias Neto. Análise de Desempenho do Protocolo SCTP Utilizando DiffServ. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Teses de doutorado
1.
ROSA, N. S.; BASTISTA, Thaís; COSTA, F. M.; LIMA, Ricardo Massa F.; CAMPELO, D. R. S.. Participação em banca de Jorge Cavalcanti Barbosa Fonsêca. Gito: Uma Arquitetura baseada em Polícticas para Coordenação de Processamento de Eventos. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
ROSA, N. S.; SOUZA, J. N.; TAVARES, E. A. G.; MORAES, R. M.; MEI, A.. Participação em banca de Francisco Airton Pereira da Silva. Improving Mobile Cloud Performance using Offload Techniques and Sthocastic Models. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
ROSA, N. S.; MONTEIRO, José Augusto Suruagy; MADEIRA, Edmundo Roberto M; CUNHA, Paulo R. F.; UEYAMA, J.. Participação em banca de Edson Adriano Maravalho Avelar. MobiCache: Mobilidade de Provedor e Armazenamento Eficiente em Redes sem Fio Orientadas a Conteúdo. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
ROSA, N. S.; CALLADO, A. C.; MONTEIRO, José Augusto Suruagy; SILVA, R. M. A.; BARCELLOS, A. M. P.. Participação em banca de Petrônio Gomes Lopes Júnior. Classificação de Tráfego Distribuída: Construindo uma Arquitetura baseada em Redes Vistualizadas. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
ROSA, N. S.; SOUZA, J. N.; MADEIRA, Edmundo Roberto M; SADOK, Djamel F.; TAVARES, E. A. G.. Participação em banca de Jean Carlos Teixeira de Araújo. Planejamento de Infraestruturas de Mobile Cloud Computing Baseado em Modelos Estocásticos. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; VALENTE, M. T. O.; ALVES, V. R.. Participação em banca de Paulo ANselmo da Mota Silveira Neto. Assessing Security in Software Product Lines. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
ROSA, N. S.; WIERINGA, R. J.; QUARTEL, D.; HILLEGERSBERG, J. V.; PIRES, L. F.; AIELLO, M.; RINDERLE, S.. Participação em banca de Robson Wagner Albuquerque de Medeiros. Cost Management of Service Composition. 2017. Tese (Doutorado em PhD in Computer Science) - University of Twente.

8.
ROSA, N. S.; CUNHA, Paulo Roberto Freire; LIMA, Ricardo Massa F.; ZIMMERMANN, A.; GOMES, D. G.. Participação em banca de Bruno Silva. A Framework for Availability, Performance and Survivability Evaluation of Disaster Tolerant Cloud Computing Systems. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
ROSA, N. S.; MADEIRA, Edmundo Roberto M; CUNHA, Paulo R. F.; TAVARES, E.; BRINKMANN, A.. Participação em banca de Rubens de Souza Matos. Identification of Availability and Performance Bottlenecks in Cloud Computing Systems: An Approach Based on Hierarchical Models and Sensitivity Analysis. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; MOTA, Alexandre Cabral; RIBEIRO, L.; BRAGA, C. O.. Participação em banca de José Dihego da Silva Oliveira. Constructive Extensibility of Trustworthy Component-based Systems. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
ROSA, N. S.; GARCIA, V. C.; DIAS, K. L.; FRAGA, J. S.; GOMES, A. T.. Participação em banca de Ioram Schechtman Sette. Access Control in IaaS Multi Cloud Heterogeneous Environment. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

12.
ROSA, N. S.; MACIEL, Paulo Romero Martins; FERNANDES, Stênio F. L.; LOUREIRO, Antonio; MADEIRA, Edmundo Roberto M. Participação em banca de Patrícia Takako Endo. Role-based Self-Appointment for Resource Management in Distributed Environments. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

13.
ROSA, N. S.; LOUREIRO, H. P. L.; ALMEIDA, Virgílio Augusto Fernandes; MAGNANI, F. S.; CUNHA, Paulo R. F.. Participação em banca de Gabriel Alves de Albuquerque Junior. Modelagem e Avaliação de Desempenho Operacional e Ambiental em Cadeias de Suprimentos Verdes. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

14.
ROSA, N. S.; Vasconcelos, Alexandre; KULESZA, U.; CRUZ, M. L. P. M.; MASIERO, P. C.. Participação em banca de Emanuel Batista dos Santos. Business Process Configuration with NFRs and Context. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

15.
Rosa, N. S.; MADEIRA, Edmundo Roberto M; FERNANDES, Stênio F. L.; ANDRADE, Rossana; DANTAS, R. A. S.. Participação em banca de Luciana Pereira Oliveira. Framework ProNet: Suporte ao Desenvolvimento de Soluções para Gerenciamento de Redes Utilizando Semântica. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

16.
ROSA, N. S.; LIMA, Ricardo Massa F.; LOUREIRO, H. P. L.; MAGNANI, F. S.; TUTSCH, D.. Participação em banca de Gustavo Rau de Almeida Callou. Assessment to Support the Planning of Sustainable Data Centers with high Availability. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

17.
ROSA, N. S.; IYODA, U. M.; BORBA, Paulo Henrique Monteiro; SIMAO, A. S.; MACHADO, P. D. L.. Participação em banca de Sidney de Carvalho Nogueira. Test Generation and Compositional Conformance Verification with Input-Output CSP Models. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

18.
MUSICANTE, M. A.; LUCENA, M. J. N. R.; CASTRO, V.; VERGILIO, S. R.; SOLAR, G. V.; ROSA, N. S.. Participação em banca de Plácido Antônio de Souza Neto. A Methodology for Building Service-Oriented Applications in the presence of non-functional properties. 2012. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

19.
FERNANDES, Stênio F. L.; DIAS, K. L.; BASTISTA, Thaís; MADEIRA, Edmundo Roberto M; ROSA, N. S.. Participação em banca de Ramide Augusto Sales Dantas. Quality-aware Automated Service Composition using Reverse Engineering and Incomplete Information. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

20.
ROSA, N. S.; DIAS, K. L.; MAGALHÃES, Maurício Ferreira; Ziviani, Artur; MACIEL, PAULO. Participação em banca de Rafael Thyago Antonello. Optimizing Finite Automata for DPI Engines. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

21.
ROSA, N. S.; TEDESCO, P.; FERRAZ, Carlos André Guimarães; SOUZA, J. N.; Ziviani, Artur. Participação em banca de Leobino Nascimento Sampaio. A Guidance Approach for Network Users Support. 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

22.
SANTORO, F. M.; RABELO, RICARDO J.; SIQUEIRA, F. A.; MONTEZ, C. B.; SOBRAL, J. B. M.; ROSA, N. S.. Participação em banca de Alexandre Perin de Souza. Um Modelo de Descoberta Dinâmica de Serviços de software Baseado no COntexto de Processode Negócios em Qualidade de Serviço. 2011. Tese (Doutorado em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.

23.
ROSA, N. S.; CUNHA, Paulo Roberto Freire; MACIEL, Paulo Romero Martins; FERNANDES, Stênio F. L.; SOUTO, Eduardo James Pereira. Participação em banca de Reinaldo Cézar de Morais Gomes. Inter-domain Negotiation. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

24.
ROSA, N. S.. Participação em banca de Eduardo Luzeiro Feitosa. An Orchestration Approach for Unwanted Internet Traffic Identification. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

25.
SADOK, Djamel Fawzi Hadj; KAMIENSKI, Carlos Alberto; Ziviani, Artur; ROSA, N. S.; REZENDE, José Ferreira de. Participação em banca de Arthur de Castro Callado. Traffic Identification in IP Networks. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

26.
CUNHA, Paulo R F; Zorzo, Avelino F.; LIMA, Ricardo Massa Ferreira; ROSA, N. S.; ALMEIDA, Virgílio Augusto Fernandes. Participação em banca de Ségio Mário Lins Galdino. ISPN: Modelagem e Avaliação Estocástica Intervalar. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

27.
SONG, Siang Wun; ROSA, N. S.; CUNHA, Paulo Roberto Freire; LIMA, Ricardo Massa Ferreira; REIS, Ricardo A.. Participação em banca de Eduardo Antônio Guimarães Tavares. SOFTWARE SYNTHESIS FOR ENERGY-CONSTRAINED HARD REAL-TIME EMBEDDED SYSTEMS'. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

28.
ROSA, N. S.; FERRAZ, Carlos A G; BASTISTA, Thaís Vasconcelos; TEDESCO, P.; GOMES, F. A. C.. Participação em banca de Luiz Eduardo Cunha Leite. Uma Estategia para Otimizacao de Sistemas Interativos para Televisão Digital Usando Repositorios Ativos de Componentes. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

29.
ROSA, N. S.. Participação em banca de Hélio Lopes dos Santos. PIMOBILE: Uma Abordagem de Desenvolvimento Dirigida pro Modelo para Aplicações Móveis. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

30.
Cláudia Werner; BORGES, Marcos Roberto da Silva; FERRAZ, Carlos; RAMALHO, Geber; ROSA, N. S.. Participação em banca de Vaninha Vieira dos Santos. Context-sensitive systems, context modeling, context management, metamodeling and software process.. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

31.
TEDESCO, P.; RAMALHO, Geber; ROSA, N. S.; NOVAES, Magdala de Araújo; BATISTA, Thaís Vasconcelos. Participação em banca de Juliana Regueira Basto Diniz. UbiDoctor: Arquitetura de Serviços para Gerenciamento de Sessão e Adaptação de conteúdo em Ambientes de Medicina Ubíqua. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

32.
ROSA, N. S.; CUNHA, Paulo R. F.; LIMA, Ricardo Massa Ferreira; FERNANDES, Antônio Otávio; ABDLOUAHAB, Z.. Participação em banca de Sérgio Murilo Maciel Fernandes. Avaliação de Dependabilidade de Sistemas com Mecanismos Tolerantes a Falha: Desenvolvimento de um Método Híbrido Baseado em DSPN e Diagrama de Blocos. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

33.
ROSA, N. S.; SANTOS, André Luís de Medeiros; MEIRA, S. R. L.; BATISTA, Thaís Vasconcelos; NEVES, A. M. M.. Participação em banca de Fernando Antônio Mota Trinta. Definindo e Provendo Serviços de Suporte a Jogos Multiusuários e Multiplataforma: Ruma à Pervasividade. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

34.
LOUREIRO, Antonio; SADOK, Djamel Fawzi Hadj; REZENDE, José Ferreira de; MACIEL, Paulo Romero Martins; ROSA, N. S.. Participação em banca de Eduardo James Pereira Souto. Arquiteturas Cross-Layer para Rede de Sensores Sem Fio. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

35.
ROSA, N. S.; WOODCOCK, James Charles Paul; MACIEL, Paulo Romero Martins; BIGONHA, Roberto da Silva; MOTA, Alexandre Cabral. Participação em banca de Adnan Sherif. A Framework for Specification and Validation of Real Time Systems Using Circus Action. 2006. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

36.
ROSA, N. S.; CARDOZO, Eleri; RICARTE, Ivan Marques; MAGALHÃES, Maurício Ferreira; RODRIGUEZ, Noemi. Participação em banca de Adilson Barboza Lopes. Um Framework para Configuração e Gerenciamento de Recursos e Componentes em Sistemas Multimídia Distribuídos Abertos. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

37.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira; CUNHA, Paulo Roberto Freire; MARRANCHELLO, Norian; BARROS, Tomaz de Carvalho. Participação em banca de Meuse Nogueira de Oliveira Júnior. Estimativa do Consumo de Energia Devido ao Software: Uma Abordagem Baseada em Redes de Petri Coloridas. 2006. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

38.
ROSA, N. S.; GUIMARÃES, Kátia; MACEDO, Raimundo Jose; PORTO, Ingrid Jansch; FERRAZ, Carlos. Participação em banca de Sérgio Gorender. Um Modelo Híbrido e Adaptativo para Siatemas Distribuídos Tlerantes a Falhas. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

39.
ROSA, N. S.; MACIEL, Paulo Romero Martins; ARAUJO, Aluizio Fausto Ribeiro; SILVEIRA, Gledson Elias da; KAMIENSKI, Carlos Alberto. Participação em banca de Thienne de Melo e Silva Mesquita Johnson. Uma Arquitetura de Computação Pervasiva para Trabalho de Campo. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

40.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira; CUNHA, Paulo Roberto Freire; SONG, Siang Wun; FERNANDES, Antônio Otávio. Participação em banca de Raimundo da Silva Barreto. Uma Metodologia Baseada em Rede de Petri Temporizada para Síntese de Software em Sistemas Embarcados e de Tempo Real Críticos. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

41.
ROSA, N. S.; CUNHA, Paulo Roberto Freire; REZENDE, José Ferreira; MADEIRA, Edmundo Roberto M; KELNER, Judith. Participação em banca de Kelvin Lopes Dias. Controle de Admissão de Chamadas e Reserva de Recursos em Redes Móveis Celulares. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

42.
ROSA, N. S.; SADOK, Djamel F.; REZENDE, José Ferreira; MACIEL, Paulo Romero Martins; MAGALHÃES, Maurício Ferreira. Participação em banca de Dênio Mariz Timóteo de Sousa. Algoritmos para Provisionamento de Redes Privadas Virtuais Baseadas em QoS Usando o Modelo Hose. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

43.
ROSA, N. S.; MACIEL, Paulo Romero Martins; MONTEIRO, José Augusto Suruagy; ALMEIDA, Virgílio Augusto Fernandes; SENA JÚNIOR, Manuel Raimundo de. Participação em banca de Jorge Luíz de Castro e Silva. Procon: Prognóstico de Congestionamento de Tráfego de Redes Usando Wavelet. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

44.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; SADOK, Djamel F.; SILVEIRA, Gledson Elias da; BASTISTA, Thaís Vasconcelos. Participação em banca de Cláudia Maria Araújo Fernandes Ribeiro. ESCHER: Uma Arquitetura de Qualidade de Serviço para Tratar a Percepção do Usuário. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

45.
ROSA, N. S.; FERRAZ, Carlos André Guimarães; VASCONCELOS, Alexandre Marcos Lins; SOUZA, J. N.; MACEDO, Raimundo José de Araújo. Participação em banca de Cidcley Teixeira de Souza. Arquitetura de Software e Estilos Arquiteturais Distribuídos. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

46.
ROSA, N. S.; FERNANDES, Edil Severiano; LIMA, Ricardo Massa F.; SONG, Siang Wun; MACIEL, Paulo Romero Martins. Participação em banca de Francisco Heron Carvalho Junior. Programação Paralela de Alto Nível e Eficiente sobre Arquiteturas Distribuídas. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Qualificações de Doutorado
1.
ROSA, N. S.; ENDO, P. T.; MACIEL, P. R. M.. Participação em banca de Júlio Rodrigues de Mendonça Neto. Um Framework para Análise e Otimização de Soluções de Recuperação de Desastres Através de Modelos Analíticos. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

2.
ROSA, N. S.; DIAS, K. L.; Salgueiro, R. J. P. B.. Participação em banca de Carlos Julian Menezes Araújo. Tomada de Decisão Milticritério em Infraestruturas como Serviço em Nuvem: Uma Abordagem baseada em Modelos de Dependabilidade, Performabilidade e Custo. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

3.
ROSA, N. S.; GARCIA, V. C.; ENDLER, M.. Participação em banca de Herbertt Barros Mangueira Diniz. Uma Aboragem Auto-adaptativa para Regras de Processamento de Eventos Complexos em Middleware de IoT. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

4.
ROSA, N. S.; MACIEL, P. R. M.; SOUZA, E. T. G.. Participação em banca de Victor Antônio Ribeiro de Lira Cavalcanti. Uma Abordagem Energeticamente Eficiente para Mapeamento de Redes Virtuais Confiáveis de Computadores. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

5.
ROSA, N. S.; GONCALVES, G. E.; FIDALGO, R. N.. Participação em banca de Felipe Alencar Lopes. Modelos em Tempo de Execução para Redes Definidas por Software Auto-Adaptáveis. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

6.
ROSA, N. S.; CUNHA, Paulo R. F.; MADEIRA, Edmundo Roberto M. Participação em banca de ERICO AUGUSTO CAVALCANTI GUEDES. HIGH AVAILABILITY MODELING FOR VIRTUALIZED NETWORK FUNCTIONS ANALYSIS. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

7.
ROSA, N. S.; FRAGA, J. S.; SIQUEIRA, F. A.. Participação em banca de Roque Oliveira Bezerra. Um Modelo de REsiliência Computacional na Composição e Deployment de Aplicações SOA Baseados em BPM. 2017. Exame de qualificação (Doutorando em Doutorado em Engenharia de Produção & Sistemas - PPGEPS/UFSC) - Universidade Federal de Santa Catarina.

8.
ROSA, N. S.; SADOK, Djamel F.; MEI, A.. Participação em banca de Francisco Airton Pereira da Silva. Improving Mobile Cloud Performance using Offloading Techniques and Stochastic Models. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

9.
ROSA, N. S.; COSTA, Fábio Moreira; LIMA, Ricardo Massa F.. Participação em banca de Jorge Cavalcanti Barbosa Fonsêca. Uma Arquitetura para Sistemas de Processamento de Eventos Complexos Sensíveis a Contexto na Internet das Coisas. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

10.
ROSA, N. S.; TAVARES, E.; SOUZA, J. N.. Participação em banca de Jean Carlos Teixeira de Araújp. Dependabilidade de Sistemas mHealth em Ambientes de Mobilde Cloud Computing: Planejamento de Infraestruturas Através de Modelos Analíticos. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

11.
ROSA, N. S.; FERNANDES, Stênio F. L.; TUTSCH, D.. Participação em banca de João Ferreira da Silva Júnior. Strategies for Efficient Power Consumption and Performance in Data Centers and Provate Clouds. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

12.
ROSA, N. S.; BUREGIO, V.; CHAVEZ, C. V. F. G.. Participação em banca de José Fernando Santos de Carvalho. Uma Abordagem para Adoção de Implantação Contínua em Sistemas de Software de Larga Escala. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

13.
ROSA, N. S.; SOUTO, Eduardo James Pereira; Gonçalves, Glauco. Participação em banca de Ernani Madureira de Azêvedo. Inter-device Offloading to Enable Manifold SLA Fulfillment in Future Heterogeneous Networks. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

14.
ROSA, N. S.; CUNHA, Paulo R. F.; MADEIRA, Edmundo Roberto M. Participação em banca de Rubens de Souza Matos Júnior. Identification of Availability and Performance Bottlenecks in Cloud Computing Systems: Methodology Based on Hierarchical Models and Sensitivity Analysis. 2015. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

15.
ROSA, N. S.; LIMA, Ricardo Massa F.; ZIMMERMANN, A.. Participação em banca de Bruno Silva. Dependability, Performance and Survivability Evaluation of Disaster Tolerant Cloud Computing Systems. 2015. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

16.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; KUSLEZA, U.. Participação em banca de Paulo Anselmo da Mota Silveira Neto. Assessing Security on Software Product Lines: Towards a Decision Model. 2015. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

17.
ROSA, N. S.; GARCIA, V. C.; CHADWICK, D. W.. Participação em banca de Ioram Schechtman Sette. Authorisation Policy Federations for Heterogeneous IaaS Clouds. 2015. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

18.
ALENCAR, Fernanda Maria Ribeiro de; LIMA, Ricardo Massa F.; ROSA, N. S.; ARAUJO JUNIOR, J. B. S.. Participação em banca de João Henrique Correia Pimentel. MULAS - Multi-Level Adaptation for Software Systems. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

19.
MAGNANI, F. S.; ROSA, N. S.; TUTSCH, D.. Participação em banca de Gustavo Rau de Almeida Calou. Assessment Suport the Planning of Sustainable Data Centers with High Availability. 2012. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

20.
ROSA, N. S.; FERNANDES, Stênio F. L.; FEITOSA, E. L.; KAMIENSKI, Carlos Alberto. Participação em banca de Ramide Augusto Sales Dantas. Facilitating Service Creation via Automated Composition. 2011. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

21.
ROSA, N. S.; ALMEIDA, Virgílio Augusto Fernandes; MAGNANI, F. S.. Participação em banca de Gabriel Alves de Albuquerque. Modelagem e Avaliação de Desempenho Operacional e Ambiental de Cadeias de Suprimentos Verdes. 2011. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

22.
ROSA, N. S.; FERRAZ, Carlos André Guimarães; DIAS, K. L.; LIMA, Ricardo Massa Ferreira; MACEDO, Raimundo José de Araújo. Participação em banca de Obionor de Oliveira Nóbrega. Um Framework para Transparência de Handover Vertical Centrada no Usuário en Ambientes de Redes Hetrogêneas Sem Fio de Quarta Geração. 2010. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

23.
KAMIENSKI, Carlos Alberto; ROSA, N. S.; REZENDE, José Ferreira de. Participação em banca de Eduardo Luzeiro Feitosa. An Orchestration Approach for Unwanted Internet Traffic Identification. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

24.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj; SOUTO, Eduardo James Pereira; CUNHA, Paulo R F. Participação em banca de Reinaldo Cézar de Morais Gomes. An Automatic Inter-Domain Negotiation Mechanism. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

25.
ROSA, N. S.; CUNHA, Paulo Roberto Freire; SONG, Siang Wun. Participação em banca de Eduardo Antônio Guimarães Tavares. Automatic Code Generation for Hard Real-Time Embedded Systems with Energy Constraints. 2008. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

26.
ROSA, N. S.. Participação em banca de Arthur de Castro callado. Traffic Identification in IP Networks. 2008. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

27.
ROSA, N. S.. Participação em banca de REINALDO CESAR DE MORAIS GOMES. Routing Solutions for Future Dynamics Networks. 2008. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

28.
ROSA, N. S.. Participação em banca de osilene Aires Moreira. Peer-To-Peer Technology for Video Content DistributionJ. 2008. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

29.
ROSA, N. S.; CUNHA, Paulo R. F.; Zorzo, Avelino F.. Participação em banca de Sérgio Mário Lins Galdino. IGSPN: Um Modelo para Avaliação Estocástica Intervalar. 2007. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

30.
ROSA, N. S.; BATISTA, Thaís Vasconcelos; GONÇALVES, Paulo André da Silva; SANTOS, André Luís de Medeiros. Participação em banca de Fernando Antônio Mota Trinta. Suporte à Pervasividade em Jogos Massivamente Multiusuários. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

31.
ROSA, N. S.; FERRAZ, Carlos André Guimarães; BATISTA, Thaís Vasconcelos. Participação em banca de Luiz Eduardo Cunha Leite. Uma Estratégia para o Desenvolvimento de Sistemas Auto-Otimizáveis Usando Repositório de Componentes. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

32.
ROSA, N. S.; FERRAZ, Carlos André Guimarães; BORGES, Marcos Roberto da Silva. Participação em banca de Vaninha Vieira Santos. Gerenciamento de Contexto em Sistemas Colaborativos. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

33.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; DEHARBE, David Boris Paul. Participação em banca de Adalberto Cajueiro de Farias. Abstraction of Data Dependent and Infinitely Communicanting CSPZ Processes. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

34.
ROSA, N. S.; LOUREIRO, Antonio; REZENDE, José Ferreira; MACIEL, Paulo Romero Martins. Participação em banca de Eduardo James Pereira Souto. Arquiteturas Cross-Layer para Redes de Sensores Sem Fio. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

35.
ROSA, N. S.; CUNHA, Paulo Roberto Freire; FERNANDES, Antônio Otávio; THOMAZ. Participação em banca de Sérgio Murilo Maciel Fernandes. Performance and Dependability for Fault Tolerant Embedded System Evaluation by Decision Making Mechanism. 2005. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

36.
ROSA, N. S.; CUNHA, Paulo Roberto Freire; SONG, Siang Wun. Participação em banca de Raimundo da Silva Barreto. Software Synthesis for Embedded Hard Real-Time Systems in Hardware-Software Co-Design Methodologies. 2004. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

37.
ROSA, N. S.; MACEDO, Raimundo José de Araújo; PORTO, Ingrid Jansch; GUIMARÃES, Kátia. Participação em banca de Sérgio Gorender. Um Modelo Híbrido e Adaptativo para Sistemas Distribuídos Tolerantes a Falhas. 2004. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

38.
ROSA, N. S.; MACIEL, Paulo Romero Martins. Participação em banca de Adnan Sherif. A Framework for Specification and Validation of Real Time Systems using Circus Action. 2004. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

39.
ROSA, N. S.. Participação em banca de Lúcia Rosângela David Bastos. Integração de Engenharia de Requisitos com a Arquitetura de Software. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

40.
ROSA, N. S.. Participação em banca de Cláudia Maria Fernandes Araújo Ribeiro. Especificação, Mapeamento e Realização de QoS. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

41.
ROSA, N. S.; VASCONCELOS, Alexandre Marcos Lins; SOUZA, J. N.. Participação em banca de Cidcley Teixeira de Souza. Arquitetura de Software e Estilos Arquiteturais Distribuídos - Descrição, Validação, Análise e Implementação. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

42.
ROSA, N. S.; MACIEL, Paulo Romero Martins; FERNANDES, Edil Severiano Tavares. Participação em banca de Francisco Heron de Carvalho Júnior. Um Modelo Avançado para Programação Explícita Eficiente e de Alto Nível sobre Clusters Baseado em Haskel. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

43.
ROSA, N. S.; VASCONCELOS, Alexandro Marcos Lins; XIMENES, Itana Maria. Participação em banca de Lúcia Rosângela David Bastos. Proposal for Systematic Integration between Organizational Requirements and Architectural Description. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

44.
ROSA, N. S.; REZENDE, José Ferreira de; KELNER, Judith. Participação em banca de Kelvin Lopes Dias. Controle de Admissão de Chamadas e Reserva de Recursos em Redes Móveis sem Fio Baseadas no Protocolo IP. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

45.
ROSA, N. S.; SADOK, Djamel; BORBA, Paulo Henrique Monteiro; BASTISTA, Thaís. Participação em banca de Cláudia Maria Fenrnandes Araújo Ribeiro. ESCHER: Uma Arquitetura de Qualidade de Serviço para Tratar a Percepção do Usuário. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

46.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; SADOK, Djamel F.; BATISTA, Thaís Vasconcelos. Participação em banca de Cláudia Maria Fernandes Araújo Ribeiro. ESCHER: Uma Arquitetura para Tratar a Percepção de Qualidade de Serviço do Usuário. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Qualificações de Mestrado
1.
ROSA, N. S.. Participação em banca de Sérgio Antônio Alves Barbosa. Uma Proposta de Arquitetura Tecnológica para Armazenamento, Integração e Orquestração de Serviços para ITS em Cidades Inteligentes. 2016. Exame de qualificação (Mestrando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Sergipe.

Trabalhos de conclusão de curso de graduação
1.
ROSA, N. S.; MACIEL, Paulo Romero Martins. Participação em banca de Vandi Alves de Lira Neto.FIDEP - A Fault Injection Framework for Dependability Analysis on Cloud Computing Systems. 2016. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

2.
GAMA, KIEV SANTOS DA; ROSA, N. S.. Participação em banca de Tomer de Lima Simis.Construção de um Middleware Orientado a Mensagem Adaptativo com Uso de Mineração de Processos. 2016. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

3.
ROSA, N. S.; MACIEL, Paulo Romero Martins. Participação em banca de Rodolfo Santos Vera Cruz.COLETA DE DADOS PARA MINERAÇÃO DE PROCESSOS DE MIDDLEWARE. 2016. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

4.
ROSA, N. S.; FERRAZ, Carlos André Guimarães. Participação em banca de Miguel Rodrigues Araújo.Implementação e Análise de um Middleware Baseado em RPC Utilizando Erlang. 2016. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

5.
ROSA, N. S.; MACIEL, Paulo Romero Martins. Participação em banca de Rafael Rocha da Silva.LFD - MPI: Uma Ferramenta para Desenvolvimento de Aplicações Paralelas Utilizando MPI. 2015. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

6.
ROSA, N. S.; DIAS, K. L.. Participação em banca de Rafael Isaías Rodrigues Coelho.Eastern: Um Editor Ciente de Energia para Rede de Sensores Sem Fio. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco.

7.
Rosa, N. S.; LIMA FILHO, F. J. C.. Participação em banca de Guilherme Oliveira Cavalcanti.Uma proposta de arquitetura para serviço de chat em Rede Social Educacional. 2011. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

8.
ROSA, N. S.; SALGADO, A. C. B.. Participação em banca de Rocir Marcos Leite Santiago.Um Simulador de Rede P2P para Testes de Aplicações Distribuídas. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

9.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. Participação em banca de Cirdes Borges Henrique Filho.Otimização de Redes WAN. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

10.
ROSA, N. S.; FERRAZ, Carlos A G. Participação em banca de Caio César Neves de Oliveira.TVision - Ferramenta Gráfica para Desenvolvimento de Aplicações para TV Digital no Formato GINGA-NCL. 2009. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

11.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira. Participação em banca de HUDSON UMMEM VELOSO.UMA EXTENSÃO DA MÁQUINA VIRTUAL TINYREEF PARA ADAPTAÇÃO DINÂMICA DE REDES DE SENSORES SEM FIO. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

12.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. Participação em banca de Allyson Feitoza Santos.Automatic Signature Generation. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

13.
SADOK, Djamel F.; ROSA, N. S.. Participação em banca de Josias Barbosa de Lima Junior.Specification and Evaluation of a Heterogeneous MANET routing protocol. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

14.
ROSA, N. S.; SADOK, Djamel F.. Participação em banca de Thiago Gomes Rodrigues.Uma ferramenta de concentração de informação de segurança de redes e sistemas. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

15.
ROSA, N. S.; MACIEL, Paulo Romero Martins; MACIEL, Thiago A.. Participação em banca de Thiago Alencar Maciel.Metodologia para Análise de Desempenho de Sistemas de Transferência Eletrônica de Fundos. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

16.
MACIEL, Paulo Romero Martins; ROSA, N. S.. Participação em banca de Bruno Silva.Desenvolvimento de um Despachante de Tarefas de Tempo Real Crítico Considerando Restrições de energia. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

17.
SADOK, Djamel Fawzi Hadj; ROSA, N. S.. Participação em banca de Renato Bibiano de Sá Marques.Um Framework de Telemetria Utilizando a Rede GSM. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

18.
SADOK, Djamel Fawzi Hadj; ROSA, N. S.. Participação em banca de Bruno Filipe de Oliveira Lins.ADS-Fusion: Fusão de Dados para Detecção de Anomalias Baseado na Teoria da Evidência de Dempster-Shafer. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

19.
SADOK, Djamel Fawzi Hadj; ROSA, N. S.. Participação em banca de André Guedes Linhares.Interceptação Legal de chamadas VOIP Baseada em SIP. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

20.
ROSA, N. S.; MACIEL, Paulo Romero Martins. Participação em banca de Nelson Azoubel Ramos.Avaliação e Comparação de Desempenho de Computadores: Metodologia e Estudo de Caso. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

21.
SADOK, Djamel Fawzi Hadj; ROSA, N. S.. Participação em banca de Thiago de Barros Lacerda.On the Optimization of Deep Packet Inspection. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

22.
ROSA, N. S.; MACIEL, Paulo Romero Martins. Participação em banca de Bruno Silva.Desenvolvimento de um Despachante de Tarefas de Tempo Real Considerando Restrições de Energia. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

23.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. Participação em banca de Renato Bibiano de Sá Marques.Desenvolvimento de um Dispositivo Embarcado para Monitoramento Remoto via Rede GSM. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

24.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. Participação em banca de André Guedes Linhares.Interceptação Legal de Chamadas VoIP Baseadas em SIP. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

25.
ROSA, N. S.; MACIEL, Paulo Romero Martins. Participação em banca de Nelson Azoubel Ramos.Avaliação e Comparação de Desempenho de Computadores: Metodologia e Estudo de Caso. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

26.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. Participação em banca de Thiago de Barros Lacerda.On the Optimization of Deep Packet Inspection. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

27.
ROSA, N. S.; FERRAZ, Carlos A G. Participação em banca de Pablo de Araújo Borges.Otimização do Carrosel de Dados paar Diminuir o Tempo de Carregamento de Aplicações em TV Digital. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

28.
ROSA, N. S.; KELNER, Judith; ALMEIDA, G. F.. Participação em banca de Gabriel Fernandes de Almeida.F-FORCE - A Framework for Collaborative Environments. 2006. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.

29.
ROSA, N. S.; KELNER, Judith. Participação em banca de Jennifer Silva do Monte Lima.Gerenciamento de Redes de Ambiente. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

30.
ROSA, N. S.; FERRAZ, Carlos A G. Participação em banca de Andrino Soares de Souza Coêlho.Uma Especificação de Desenvolvimento de Serviços para TV Digital. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

31.
ROSA, N. S.; SADOK, Djamel F.. Participação em banca de Luciana Pereira Oliveira.Os Dispositivos Móveis e as Redes Peer-to-Peer (P2P). 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

32.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. Participação em banca de Rodrigo dos Santos Bacelar Gouveia Barbosa.Calculando Métricas Unidirecionais na Internet. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

33.
ROSA, N. S.; FERRAZ, Carlos A G. Participação em banca de Monique Louise dfe Barros Monteiro.Uma Proposta de Categorização para Aplicações de TV Digital. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

34.
ROSA, N. S.; SADOK, Djamel. Participação em banca de Igor Chaves Cananéa.Protomake: Um Compilador de Protocolos. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

35.
ROSA, N. S.; MACIEL, Paulo Romero Martins. Participação em banca de Marília Litwak Neves.Geração Automática de Modelos Temporizados para Geração Off-Line de Escalas. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

36.
ROSA, N. S.; FERRAZ, Carlos André Guimarães. Participação em banca de Wanderley de Oliveira Cansanção.Sistema de Revisão de Diagnóstico Médico Distribuído. 2003. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

37.
ROSA, N. S.; MEIRA, S. R. L.. Participação em banca de Ricardo Araujo Costa.Um Framework para Comunicacao entre Sistemas de Gerenciamento de Conteudo na WEB. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.



Participação em bancas de comissões julgadoras
Concurso público
1.
ROSA, N. S.. Concurso Público para Professor Assistente (Sistemas Distribuídos). 2010. Universidade Federal de Alagoas.

2.
MACIEL, L.; Souza, Fernando da F. de; ROSA, N. S.. Concurso Público para Professor Adjunto (Engenharia de Software, Computação Distribuída e Banco de Dados). 2009. Universidade Federal de Sergipe.

3.
MACIEL, Paulo Romero Martins; Salgueiro, R. J. P. B.; ROSA, N. S.. Concurso Público para Professor Adjunto (Computação Distribuída ou Redes de Computadores ou Hardware). 2009. Universidade Federal de Sergipe.

4.
ROSA, N. S.; LINS, Fernando Antônio Aires; Paiva, Sérgio S L. Concurso Público para Professor Assistente (PROJETO DE SISTEMAS DISTRIBUÍDOS/ PROGRAMAÇÃO PARALELA E DISTRIBUÍDA/ DESENVOLVIMENTO DISTRIBUÍDO DE SOFTWARE/ PROGRAMAÇÃO DE SISTEMAS INTERATIVOS/ DESENVOLVIMENTO DE SISTEMAS WEB/ INFORMÁTICA/ CIÊNCIA DA COMPUTAÇÃO). 2008. Universidade Federal Rural de Pernambuco.

5.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira; OLIVEIRA, Adriano Lorena Inácio de. Concurso Publico para Professor Adjunto (Area de Redes de Computadores). 2006. Universidade de Pernambuco.

6.
ROSA, N. S.; PALMA, Giovanny Fernando Lucero; KODEL, Kenia Cox. Concurso Publico para Professor Assistente - Área de Linguagem de Programação - UFS (Campus de Itabaina). 2006. Universidade Federal de Sergipe.

7.
ROSA, N. S.; ROSIMERE, A.; MACIEL, L.. Concurso Público para Professor Assitente do Departamento de Informatica e Estatistica. 2002. Universidade Federal de Sergipe.

8.
ROSA, N. S.; SOARES, A. R.; LUDERMIR, T. B.. Concurso Público para Professor Assistente. 1997. Universidade Federal de Sergipe.

Outras participações
1.
ROSA, N. S.. CONSELHO COORDENADOR DE ENSINO E, PESQUISA E EXTENSÃO (CCEPE) DA UFPE. 2006. Universidade Federal de Pernambuco.

2.
ROSA, N. S.. Membro da Comissão Interna do PIBIC, UFPE. 2002. Universidade Federal de Pernambuco.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Escola Potiguar de Computação e suas Aplicações.Desenvolvimento de Middleware. 2008. (Outra).

2.
V SIGES 2008 (Semana de Informática, Geotecnologias e Encontro de Software Livre em Santarém).Sistemas de Middleware. 2008. (Outra).

3.
XII Workshop de Sistemas de Informação.Hardware, Software, Middleware.... 2008. (Outra).

4.
XI Workshop de Sistemas de Informação.O que fazer após a Graduação?. 2008. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
ROSA, N. S. . CSBC 2017 - Concurso de Teses e Dissertações (30º CTD) - Comitê de Programa. 2017. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Wellison Raul Mariz Santos. Adaptação de aplicações baseadas em Microserviços. Início: 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. (Orientador).

2.
Edmundo Matheus Barbosa Santana. Middleware para Interoperabilidade Intercloud. Início: 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Tese de doutorado
1.
Josival dos Santos Silva. Middleware para Melhoramento do Estado de Segurança de Ambientes Baseados na Internet das Coisas. Início: 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

2.
David Junio Mota Cavalcanti. Verificação de Middleware em Tempo de Execução. Início: 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

3.
André Gustavo Pereira da Silva. Middleware para Computação em Nuvem baseado no Paradigma Funcional. Início: 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

4.
Glaucia Melissa Medeiros Campos. Composição de Serviços Cientes de Qualidade. Início: 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).

5.
Tércio de Morais Sampaio Silva. Middleware Intercloud. Início: 2016. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Centro de Informática, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

6.
Adalberto Ribeiro Sampaio Junior. Middleware Adaptativo para Ambientes de Nuvem. Início: 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Marcos Vinícius de Araújo Andrade. Migração de Microserviços em Tempo de Execução. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Nelson Souto Rosa.

2.
Winder Faik de Souza. XPresumo: Um Middleware Orientado à Mensagem para Internet das Coisas. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

3.
Luiz Artur Botelho da Silva. FLiMSy: Um Middleware Funcional em Scala. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

4.
Diego Liberalquino Soares Lima. ECAMID: UM MIDDLEWARE PARA NUVEM COMPUTACIONAL COM SUPORTE À ELASTICIDADE. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

5.
David Junio Mota Cavalcanti. Estratégias de Ranqueamento para Seleção Dinâmica de Serviços Baseadas em Atributos de Qualidade. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

6.
Lenin Ernesto Abadié Otero. Uma Arquitetura para a Implantação Automática de Serviços em Infraestruturas de Nuvem. 2013. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco, . Coorientador: Nelson Souto Rosa.

7.
Bruno Leonador Barros Silva. Sec-MoSC Translation Framework: An approach to transform business process models into executable process considering security requirements. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

8.
André Ricardo de Souza e Silva. Sec-MoSC Editor: Modelando composições de serviço com requisitos não funcionais usando BPMN. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

9.
Antônio Vicente Lourenço Dâmaso. SAGe: Um Gateway para Integração de Redes de Sensores Sem Fio e a Internet. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Nelson Souto Rosa.

10.
Róbson Wagner Albuquerque de Medeiros. SSC4CLOUD Editor - Uma Ferramenta para Modelagem de Processos de Negócio com Anotações de Segurança para Cloud. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

11.
Marcos Luiz Lins Filho. Uma Metodologia para Desenvolvimento de Aplicações Orientadas a Serviço. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

12.
Júlio César Damasceno. SecMosc-Engine: Um Ambiente de Suporte à Execução Segura de Composição de Serviços. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

13.
Igor Roberto Lopes Marques. Um Ambiente para Desenvolvimento de Aplicações em Redes de Sensores Sem Fio. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

14.
Igor Roberto Lopes Marques. Um Ambiente para Desenvolvimento de Aplicações de Redes de Sensores Sem Fio. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

15.
Roberto Arteiro Delgado. JMSCAPACITY ? Um Toolkit para Auxiliar no Planejamento de Capacidade de Middlware Orientado a Mensagem. 2009. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

16.
Luiz Henrique Albuquerque de Freitas. Middleware Seguro Para Redes de Sensores Sem-Fio. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

17.
Davi Junio Silva de Oliveira. UBÁ: UMA ARQUITETURA DE LINHA DE PRODUTO DE SOFTWARE PARA DESENVOLVIMENTO DE MIDDLEWARE PARA COMPUTAÇÃO EM GRADE. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Nelson Souto Rosa.

18.
André Elias Assad. D-MID - MIDDLEWARE DE DISPOSITIVO PARA ACESSO A SERVIÇOS EM JAVA. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

19.
Rita de Cássia Acioli Lima. TS-Mid - Middleware Baseado em Espaço de Tuplas paar Redes de Sensores Sem-Fio. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

20.
Vando de Freitas Batista. SPONTANEOUSWARE: UM FRAMEWORK DE MIDDLEWARE PARA REDES MÓVEIS AD HOC. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

21.
Mardoqueu de Souza Vieira. Um Middleware Reconfigurável para Rede de Sensores. 2006. 95 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

22.
Fábio Nogueira de Souza. Avaliação de Desempenho de Servidores de Aplicação Usando Redes de Petri. 2006. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

23.
Fernando Antonio Aires Lins. Composição Adaptativa de Web Services. 2006. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

24.
Roberta Andrade de Araújo Fagundes. Avaliação de Desempenho do Serviço de Controle de Concorrência usando Redes de Petri Estocástica. 2006. 0 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Nelson Souto Rosa.

25.
Marcos Andre da Silva Costa. Um Modelo para Middleware Adaptativo. 2004. 120 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Nelson Souto Rosa.

26.
Eduardo Gonçalves Calábria. Hermes: Um Middleware Orientado a Mensagem para Ambientes Corporativos. 2004. 149 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

27.
Milton Secundino de Souza Júnior. MDSA: Uma Proposta de Integração de Arquitetura de Software ao MDA. 2004. 160 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Nelson Souto Rosa.

28.
Marco A F Moraes. Um Framework de Análise e Projeto Baseado em Arquitetura de Software. 2002. 156 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Nelson Souto Rosa.

Tese de doutorado
1.
Milton Secundino de Souza Junior. LONGWisE4cloud: Um Ambiente Adaptativo Para Execução de Workflows de Longa Duração como Serviço. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

2.
Fabio Nogueira de Souza. DSOA: Uma Plataforma para Composição Dinâmica de Serviços. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

3.
Róbson Wagner Albuquerque de Medeiros. Cost Management of Service Composition. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

4.
Antonio Vicente Lourenço Damaso. Avaliação Integrada de Consumo de Energia e Confiabilidade em Rede de Sensores Sem Fio. 2015. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Centro de Informática, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco. Orientador: Nelson Souto Rosa.

5.
Kalil Araujo Bispo. Utilizando uma Infraestrutura Semântica para Economizar Energia em Rede de Sensores Sem Fio. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Nelson Souto Rosa.

6.
Fabricio Siqueira Teles. Towards a Model-Driven Approach for Treating Quality Attributes of Service-Based Business Processes. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

7.
Vanilson André de Arruda Burégio. Social Machines: A Unified Paradigm to Describe, Design and Implement Emerging Social Systems. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Nelson Souto Rosa.

8.
Fernando Antônio Aires Lins. TOWARDS AUTOMATION OF SECURITY-AWARE SOABASED BUSINESS PROCESSES. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

9.
Jeísa Pereira de Oliveira. Smart: Service Model for Integrating Wireless Sensor Networks and the Internet. 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Orientador: Nelson Souto Rosa.

10.
Rita Suzana Pitangueira Maciel. InterDoc: Uma Arquitetura de Referência Baseada em Serviços de Middleware para Interoperabilidade em Ambientes de Autoria Colaborativa. 2005. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Nelson Souto Rosa.

11.
Cláudia Maria Fernandes Araujo Ribeiro. ESCHER: Uma Arquitetura de Qualidade de Serviço para Tratar a Percepção do Usuário. 2004. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, . Coorientador: Nelson Souto Rosa.

Trabalho de conclusão de curso de graduação
1.
Rubem Fonseca Moura Junior. Implementação de Middleware Baseada em Microserviços. 2018. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

2.
Gustavo Braynner Carvalho. Implementação e Avaliação de Conectores de Middleware Assíncronos. 2018. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

3.
Hugo Rafael Bessa de Andrade. Django-SSTenants - Uma ferramenta para construir aplicações Multi-Tenants. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

4.
Rayana Vasconcelos de Sá Alencar. Utilização de Técnicas de Process Mining em Sistemas de Middleware Adaptativos. 2017. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

5.
Mateus Moury Fernandes da Rosa Borges. Uso de Elixir para a Construção de um Middleware Baseado em RPC. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

6.
Tomer de Lima Simis. Construção de um Middleware Orientado a Mensagem Adaptativo com Uso de Mineração de Processos. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

7.
Rodolfo Santos Vera Cruz. COLETA DE DADOS PARA MINERAÇÃO DE PROCESSOS DE MIDDLEWARE. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

8.
Rafael Rocha da Silva. LFD - MPI: Uma Ferramenta para Desenvolvimento de Aplicações Paralelas Utilizando MPI. 2015. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

9.
Rafael Isaías Rodrigues Coelho. Eastern: Um Editor Ciente de Energia para Rede de Sensores Sem Fio. 2014. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

10.
Flávio Pereira de Araújo. Uma Ferramenta para Monitoramento Remoto de Serviços Distribuídos. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

11.
Rafael Alberto Gomes Pereira Lima. Uma solução para mediação de serviços distribuídos no ambiente DSOA. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

12.
Tarcisio Coutinho da Silva. Um Mecanismo de Monitoramento e Seleção de Serviços Baseado em Atributos de Qualidade para uma Arquitetura Orientada a Serviços. 2011. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

13.
Fábio Almeida Melo. Um mecanismo de monitoramento de serviços na plataforma OSGi. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

14.
Aluisio Rodrigo Fonseca de Santana. Extensão de um Editor BPMN para Anotação de Requisitos Não-Funcionais. 2010. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

15.
Pablo José da Silva. Desenvolvimento de uma ferramenta para integrar sistemas Web em repositórios OSGi. 2010. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Centro de Informática. Orientador: Nelson Souto Rosa.

16.
Husdon Ummem Veloso. UMA EXTENSÃO DA MÁQUINA VIRTUAL TINYREEF PARA ADAPTAÇÃO DINÂMICA DE REDES DE SENSORES SEM FIO. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

17.
Carlos Frederico Medeiros de Souza. Monitoramento e Ações Corretivas de Serviços em Composição de Web Services. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

18.
André Ricardo da Silva Souza. Um Ambiente de Desenvolvimento de Composições de Serviços baseado em Modelos. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

19.
Bruno Leonardo Barros Silva. Estendendo o A-Active BPEL com WS-Policy. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

20.
Rilter Tavares do Nascimento. TOSViz: Ferramenta de Visualização de Simulação para Aplicações de Redes de Sensores Sem Fio Baseadas no TinyOS.. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

21.
Osmany de Barros Freitas. MidasX - Um Framework de Middleware Baseado em Arquitetura de Software. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

22.
Jobson Ronan Jerônimo da Silva. Um sistema de vigilância remoto baseado em Redes de Sensores sem fio. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

23.
Igor Roberto Lopes Marques. Middleware Orientado a Aspecto. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco. Orientador: Nelson Souto Rosa.

Iniciação científica
1.
Jobson Ronan Jerônimo da Silva. Middleware para Rede de Sensores Adaptáveis. 2006. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Nelson Souto Rosa.

2.
Osmany Barros de Freitas. Framework para Desenvolvimento de Middleware baseado em JMX. 2005. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Nelson Souto Rosa.

3.
Eduardo Mazza Batista. IDLCJ: Um Compilador IDL para Customização dos Serviços de Segurança e Transação de CORBA. 2004. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Nelson Souto Rosa.

4.
Diego Azevedo Ribeiro. Construção de Serviços Customizáveis de Segurança e Transação em CORBA. 2004. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Nelson Souto Rosa.



Inovação



Projetos de pesquisa


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



Livros e capítulos
1.
OLIVEIRA, J. P. ; Damaso, Antonio ; ROSA, N. S. . A Framework for Integrating Wireless Sensor Networks and the Internet. In: Mohammad Matin. (Org.). A Framework for Integrating Wireless Sensor Networks and the Internet. 1ed.: INTECH, 2012, v. 7, p. 141-168.



Outras informações relevantes


EXPERIÊNCIA PROFISSIONAL

CIENTÍFICA
Visita ao Centre for Parallel Computing da University of Westminster, Inglaterra

TÉCNICA
Programador do Instituto de Tecnologia em Informatica LTDA

DOCENTE
Auxiliar de ensino e pesquisa da Universidade Federal de Pernambuco
Professor Assistente da Universidade Federal de Sergipe
Professor substituto da Universidade Federal de Pernambuco



Página gerada pelo Sistema Currículo Lattes em 16/10/2018 às 20:51:37