Nelson Souto Rosa
possui doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (2001) e atualmente é professor Titular do Centro de Informática da UFPE (CIn-UFPE). Tem experiência na área de Sistemas Distribuídos, com ênfase em (1) projeto e desenvolvimento de sistemas de middleware, (2) implementação de sistemas distribuídos adaptativos 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, foi professor visitante na University of British Columbia, Canadá (2014/2015) e pesquisador visitante na KU Leuven, Bélgica (Nov/2022 a Fev/2023).
Informações coletadas do Lattes em 21/05/2024
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
1996 - 2001
Universidade Federal de Pernambuco
Título: NFi: An Architecture-Based Approach for Treating Non-Functional Properties of Dynamic Distributed Systems
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
Mestrado em Ciências da Computação
1994 - 1996
Centro de Ciências Exatas e da Natureza
Título: Implementando projetos formais LOTOS na plataforma de distribuicao ANSAware, Ano de Obtenção: 1996
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
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.
2022 - 2023
Pós-Doutorado. , Katholieke Universiteit Leuven, KU LEUVEN, Bélgica. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, 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: Control Theory. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Internet of Things.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Libras
Compreende Bem, Fala Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Middleware.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Técnicas de Descrição Formal.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Adaptativos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Computação Orientada a Serviço.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Requisitos Não Funcionais.
Organização de eventos
ROSA, N. S. ; ROSA, N. S. ; CSBC 2017 - Concurso de Teses e Dissertações (30 CTD) - Comitê de Programa. 2017. (Congresso).
Participação em eventos
Escola Potiguar de Computação e suas Aplicações.Desenvolvimento de Middleware. 2008. (Outra).
V SIGES 2008 (Semana de Informática, Geotecnologias e Encontro de Software Livre em Santarém).Sistemas de Middleware. 2008. (Outra).
XII Workshop de Sistemas de Informação.Hardware, Software, Middleware.... 2008. (Outra).
XI Workshop de Sistemas de Informação.O que fazer após a Graduação?. 2008. (Outra).
Participação em bancas
ROSA, N. S.FERRAZ, Carlos André Guimarães; SETTE, I. S.. Zero Trust and service meshes on microservice cloud-based applications: A comparative study. 2024. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; Oliveira, Luciana P.;SADOK, Djamel F.. Utilizando modelos de Machine Learning para classificar Fake News de COVID-19. 2023. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; Souza, E.;FERRAZ, Carlos A G. COSTA - Uma Solução Adaptativa Ciente de Custo para Migração de Aplicações entre Provedores de Nuvem. 2023. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; OLIVEIRA, J. P.;LINS, F. A. A.; CORREIA NETO, J. S.. Avaliação de Conformidade de Requisitos de Autenticação em Gateways IoT. 2022. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.
ROSA, N. S.; DIAS, K. L.; CARVALHO, T. C.. Autenticação no Ambiente IoV baseada em Blockchain com suporte a Computação de Borda (ABE- IoV). 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj; GONCALVES, G. E.. Um Estudo de Consumo de Energia de LoRaWAN. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.SADOK, Djamel F.; GONCALVES, G. E.. Experimental Evaluation on Packet Processing Frameworks under Virtual Environments. 2021. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; GONCALVES, G. E.;SADOK, Djamel F.. Uma Análise Experimental de Desempenho do Protocolo QUIC. 2020. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.LINS, F. A. A.GARCIA, V. C.. Adaptação de Aplicações Baseadas em Microsserviços Usando. 2020. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; Callou, G.; MARINHO, M. L. M.;LINS, F. A. A.. MSCHORE: Uma Solução para Execução de Processos de Negócio através da Composição de Microsserviços. 2020. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.
ROSA, N. S.KELNER, Judith; LYNN, T. G.. Modeling the availability and performance of the integration between edge, fog and cloud infrastructures. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.SADOK, Djamel F.; Callou, G.. Identifying the most critical components and maximizing their availability subject to limited cost in cooling subsystems. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; Nabor das Chagas Mendonça; Americo Tadeu Falcone Sampaio. Kubow: Um Serviço de Automação Baseado em Arquitetura para Aplicações Implantadas no Docker e Kubernetes. 2019. Dissertação (Mestrado em Informática Aplicada) - Universidade de Fortaleza.
ROSA, N. S.LINS, F. A. A.GARCIA, V. C.. Rbinder: Uma Solução para Monitoramento Transparente de Aplicações Baseadas em Microsserviços. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; Callou, G.;MEDEIROS, R. W. A.LINS, F. A. A.. Planejamento de Capacidade em Nuvens Educacionais Privadas Considerando Aspectos de Desempenho e Custo. 2019. Dissertação (Mestrado em Informática Aplicada) - Universidade Federal Rural de Pernambuco.
ROSA, N. S.; BASTISTA, Thaís;GAMA, KIEV SANTOS DA. A Performance Analysis of a Reactive-based Complex Event Processing Library. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.SADOK, Djamel F.; ASCHOFF, R. R.. A comparison between OSV unikernels and docker container as building blocks for an Intenet of Things platform. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; DIAS, K. L.; GOMES, R. C. M.. EdgeFul: Arquitetura Multicamadas como suporte ao processamento e compratilhamento de conteúdo na borda da rede para a Internet de veículos. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; DIAS, K. L.; GOMES, D. G.. 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.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj;MEDEIROS, R. W. A.. Migração de Microserviços em Tempo de Execução. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.CALLADO, A. C.KELNER, Judith. Software-Defined Cluster: An SDN-Based Cluster Architecture for IoT. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.KELNER, Judith; ANDRADE, Rossana. A High-level Authorization Framework for Software Defined Networks. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.SADOK, Djamel F.; ENDO, P. T.. 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.
ROSA, N. S.MACIEL, P. R. M.LINS, F. A. A.. XPresumo: Um Middleware Orientado à Mensagem para Internet das Coisas. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N; SILVA, R. M. A.; CARVALHO, F. F.. 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.
ROSA, N. S.MACIEL, P. R. M.; MELO, R. M.. 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.
ROSA, N. S.; CYSNEIROS FILHO, G. A. A.;LINS, F. A. A.MEDEIROS, R. W. A.. 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.
ROSA, N. S.; NASCIMENTO, R. P. C.; SOARES, M. S.; MACEDO, D. D. J.. 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.
ROSA, N. S.; DIAS, K. L.; VASCONCELOS, E. M.. 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.
ROSA, N. S.LINS, F. A. A.; SOUZA, R. A. C.; SOUZA, E. T. G.. 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.
ROSA, N. S.GAMA, KIEV SANTOS DABUREGIO, V.. 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.
ROSA, N. S.; NEPOMUCENO, N. V.; Americo Tadeu Falcone Sampaio. 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.
ROSA, N. S.MACIEL, Paulo Romero MartinsLINS, Fernando Antonio Aires. FLiMSy: Um Middleware Funcional em Scala. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.MACIEL, Paulo Romero Martins; ALBUQUERQUE JUNIOR, G. A.. 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.
MACIEL, Paulo Romero Martins; ALBUQUERQUE JUNIOR, G. A.; Callou, G.;ROSA, N. S.. 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.
ROSA, N. S.GAMA, KIEV SANTOS DA; LOPES, A. B.. ECAMID: UM MIDDLEWARE PARA NUVEM COMPUTACIONAL COM SUPORTE À ELASTICIDADE. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.LIMA, Ricardo Massa F.LINS, F. A. A.. REFLex - Rule Engine for Flexible Processes. 2014. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Rosa, Nelson SoutoGARCIA, V. C.; BRASILEIRO, F. V.. Monext: An Accounting Framework for Federated Clouds. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; KULESZA, U.; LOPES, A. B.; SILVA, C. E.. 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.
ROSA, N. S.; ALBUQUERQUE JUNIOR, G. A.;MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.GARCIA, V. C.; ASSAD, R. E.. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins; Rivalino Matias Júnior. 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.
ROSA, N. S.LIMA, Ricardo Massa F.. 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.
ROSA, N. S.; COSTA, F. M.; ROCHA, R. C. A.. 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.
SADOK, Djamel F.ROSA, N. S.SOUTO, Eduardo James Pereira. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins; Salgueiro, R. J. P. B.. 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.
ROSA, N. S.; LIMA FILHO, F. J. C.;RIBEIRO, Cláudia Maria Fernandes. 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.
ROSA, N. S.Alves, CarinaRIBEIRO, Cláudia Maria Fernandes. 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.
ROSA, N. S.; LOPES, A. B.; KULESZA, U.. 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.
LIMA FILHO, F. J. C.;ROSA, N. S.; CRUZ, M. L. P. M.. 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.
ROSA, N. S.MACIEL, Rita Suzana PitangueiraLIMA, Ricardo Massa F.. 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.
Rosa, N. S.MACIEL, Rita Suzana Pitangueira; SOARES, SÉRGIO. 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.
SOUTO, Eduardo James Pereira; SADOK, Djamel Fawzi Hadj;ROSA, N. S.. 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.
ROSA, N. S.RIBEIRO, Cláudia Maria Fernandes; Neto, Pedro. 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.
Nabor das Chagas Mendonça;ROSA, N. S.Alves, Carina. 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.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira;RIBEIRO, Cláudia Maria Fernandes Araujo. 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.
ROSA, N. S.; LIMA FILHO, F. J. C.; Bastos Filho, C. J. A,. Um Detector de Defeitos Cumulativo Baseado em uma Abordagem Difusa. 2010. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj;FERNANDES, Stênio F. L.. Semi-Automated Service Creation for Cloud Computing. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; SILVEIRA, Gledson Elias da; SOUZA FILHO, Guido Lemos de. 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.
ROSA, N. S.; LIMA FILHO, F. J. C.; Bastos Filho, C. J. A,. Um Arcabouço de Tolerância a Falhas para Grades Computacionais. 2010. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.
ROSA, N. S.; Salgueiro, R. J. P. B.;MACIEL, Paulo Romero Martins. Energy Consumption and Execution Time Estimation of Embedded System Applications. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
Americo Tadeu Falcone Sampaio; Nabor das Chagas Mendonça;ROSA, N. S.. 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.
FERRAZ, Carlos A G; SILVEIRA, Gledson Elias da;ROSA, N. S.. 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.
ROSA, N. S.; Admilson de Ribamar Lima Ribeiro; Ruy José Guerra Barretto de Queiroz. Middleware Seguro Para Redes de Sensores Sem-Fio. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.SOUTO, Eduardo James PereiraKELNER, Judith. 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.
SOUTO, Eduardo James PereiraROSA, N. S.KELNER, Judith. Estudo e Avaliação de Redes Convergentes de Voz. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
MACIEL, Rita Suzana Pitangueira; SOARES, SÉRGIO;ROSA, N. S.. 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.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj; MAGALHÃES, Maurício Ferreira. 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.
CUNHA, Paulo R. F.RIBEIRO, Cláudia M F AROSA, N. S.. 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.
SILVEIRA, Gledson Elias da; SADOK, Djamel Fawzi Hadj;ROSA, N. S.. 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.
FROTA, CARINA;RIBEIRO, Cláudia Maria FernandesROSA, N. S.. 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.
RIBEIRO, Cláudia M F ACUNHA, Paulo R. F.ROSA, N. S.. Composição Adaptativa de Web Services. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
KELNER, JudithROSA, N. S.; TORI, R.. 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.
ROSA, N. S.KELNER, Judith; ANDRADE, Rossana. 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.
ROSA, N. S.; VASCONCELOS, Alexandre Marcos Lins; SOARES, S.. Um Processo para Gerenciamento de Arquitetura de Software. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; FERNANDES, S. M. M.;MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins; Oliveira, Meuse. 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.
ROSA, N. S.FERRAZ, Carlos André Guimarães; SILVEIRA, Gledson Elias da. Um Middleware Reconfigurável para Rede de Sensores. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; SILVEIRA, Gledson Elias da; SILVA, Ivan Saraiva. 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.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira;MACIEL, Paulo Romero Martins. 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.
CUNHA, Paulo R. F.; SILVEIRA, Gledson Elias da;ROSA, N. S.. 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.
FERRAZ, Carlos A G; ENDLER, M.;ROSA, N. S.. 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.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira;MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.; BARROS, Edna Natividade da Silva; NOVAES, Magdala de Araújo. 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.
ROSA, N. S.; GOMES, Alex Sandro; NOVAES, Magdala de Araújo. Design de Componentes Educacionais Síncronos. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.KELNER, Judith; KAMIENSKI, Carlos Alberto. Heurísticas para Posicionamento de Conversores em Redes Ópticas. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.KELNER, Judith; ANDRADE, Rossana. 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.
ROSA, N. S.FERRAZ, Carlos André Guimarães; BASTISTA, Thaís Vasconcelos. Utilizando CCM no Suporte a Sessões Síncronas. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.FERRAZ, Carlos A G; BASTISTA, Thaís Vasconcelos. 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.
ROSA, N. S.; BATISTA, Thaís Vasconcelos; SOUZA FILHO, Guido Lemos de; CAMPOS, André Maurício Cunha. 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.
ROSA, N. S.; SILVEIRA, Gledson Elias da;FERRAZ, Carlos André Guimarães. Hermes: Um Middleware Orientado a Mensagem para Ambientes Coorporativos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; VASCONCELOS, Alexandro Marcos Lins; ALENCAR, Fernanda Maria Ribeiro de. 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.
ROSA, N. S.; COSTA, Fábio Moreira;CUNHA, Paulo Roberto Freire. Um Modelo de Middleware Adaptativo. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.FERRAZ, Carlos A G; LOUREIRO, Antonio. A Comprehensive CORBA Model for Embedded System. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.SADOK, Djamel; SOUZA, J. N.. 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.
ROSA, N. S.KELNER, Judith; ALBUQUERQUE, E.. Análise de Desempenho do Protocolo SCTP Utilizando DiffServ. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; MADEIRA, Edmundo Roberto M; LOUREIRO, Antonio;MACIEL, P. R. M.; Bastos Filho, C. J. A,. An Artificial Intelligence Powered Framework for Automatic Service Function Chain Placement in Distributed Scenarios. 2023. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; MOTA, Alexandre Cabral; MELO, C. A. B.; OLIVEIRA, M. V. M.; SIMAO, A. S.. A framework for testing cyber-physical systems: input generation and causal analysis. 2023. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; BRINKMANN, A.; SOUZA, E. T. G.; OLIVEIRA, L. A. H. G.; MORAES, R. M.. STOCHASTIC MODELING OF DATA STORAGE SYSTEMS FOR EVALUATING PERFORMANCE, DEPENDABILITY, AND ENERGY CONSUMPTION. 2023. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; BASTISTA, Thaís; SOARES, SÉRGIO; MIRANDA, B. A. F.; SOUZA, P. S. L.. Testing Guidelines for Data Stream Processing Applications. 2023. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; ARAUJO, Aluizio Fausto Ribeiro;SOUTO, Eduardo James Pereira; GONCALVES, G. E.; AZEVEDO, G. M. S.. Gerenciamento de energia elétrica de uma indústria de resinas termoplásticas. 2022. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; ARAUJO, Aluizio Fausto Ribeiro; GONCALVES, G. E.; DURAND-PETITEVILLE, A.; MOREIRA, A. L. C.. A MAS-based Architecture for IIoT Safety Applications. 2022. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; SOUZA, J. N.; TAVARES, E. A. G.; ENDO, P. T.; VASCONCELOS, G. C.. Modelos de Machine Learning baseados no padrão de uso do usuário para estimar consumo energético e utilização de dispositivos do smartphone. 2022. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; CAMPELO, D. R. S.; BONFIM, M. S.; FEITOSA, E. L.; NOBREGA, O. O.. Beholder: Um Sistema de Detecção e Prevenção Contra Intrusão em Ambientes da Internet das Coisas Baseado em Processamento de Eventos Complexos. 2022. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.MACIEL, Paulo Romero Martins; ALMEIDA JUNIOR, R. C. A.; DRUMMOND, A. C.; FIGUEIREDO, G. B.. Algoritmos RMLSA cientes de Imperfeições de Camada Física em Redes Ópticas Elásticas. 2021. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; UEYAMA, J.; ALMEIDA, Virgílio Augusto Fernandes; DIAS, K. L.; Callou, G.. Planejamento de infraestruturas computacionais para o provimento de serviços baseados em blockchain. 2021. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; OLIVEIRA, A. G.; GRANVILLE, L. Z.; DIAS, K. L.; COSTA, R. E. O.. A Solution for Goal-oriented Policy Refinement in NFV Management and Orchestration Systems. 2020. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; FIDALGO, R. N.; GONCALVES, G. E.; SOUSA, D. M. T.; ANTONELLO, R. T.. Modelos em Tempo de Execução para Redes Definidas por Software. 2020. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.SADOK, Djamel F.; QUEIROZ, W. J. L.; FONTGALAND, G.; VENANCIO NETO, A. J.. Contributions to Industrial Wireless Sensor Networks. 2020. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.
ROSA, N. S.MACIEL, P. R. M.; Callou, G.; NOGUEIRA, B. C. E. S.; DANTA, J. R.. Modelos Analíticos e Método de Tomada de Decisão para Avaliação e Seleção de Estratégias de Recuperação de Desastres. 2020. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; ARAUJO, Aluizio Fausto Ribeiro;CALLADO, A. C.; FEITOSA, E. L.; GOMES, R. C. M.. Otimização Multi-objetivo para Classificação de Tráfego de Redes. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; LOUREIRO, H. P. L.; TAVARES, E. A. G.; OLIVEIRA, L. A. H. G.; ANDRADE, E. C.. Estratégias para Analisar e Estimar a Eficiência do Consumo de Energia em Centros de Dados. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; SIQUEIRA, F. A.; FRAGA, J. S.; RABELO, RICARDO J.. Uma Proposta de Arquitetura de Resiliência Computacional para Infraestruturas baseadas em SOA de Empresas Virtuais. 2019. Tese (Doutorado em Pós Graduação em Engenharia de Automação e Sistemas) - Universidade Federal de Santa Catarina.
ROSA, N. S.LIMA, Ricardo Massa F.; Salgueiro, R. J. P. B.; Ziviani, Artur;SADOK, Djamel F.. Tomada de Decisão Multicritério em Infraestruturas como Serviço em Nuvem: Uma Abordagem baseada em Modelos de Dependabilidade, Peformabilidade e Custo. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; TRINTA, F. A. M.; SOUZA, J. N.;GARCIA, V. C.; ROCHA, L. S.; CONCEICAO, D. V.. Sistema de Apoio à Decisão com Base em Economicidade para Implantar uma Aplicação Baseada em Microsserviços Distribuída em Múltiplas Nuvens. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.
ROSA, N. S.SADOK, Djamel F.CUNHA, P; LOUREIRO, Antonio; MADEIRA, Edmundo Roberto M. Availability and Capacity Modelling for Service Function Chains based on Rejuvenation and Live Migration. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; BASTISTA, Thaís; COSTA, F. M.;LIMA, Ricardo Massa F.; CAMPELO, D. R. S.. Gito: Uma Arquitetura baseada em Políticas para Coordenação de Processamento de Eventos. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; COSTA, F. M.; ROCHA, R. C. A.; MADEIRA, Edmundo Roberto M; LONGO, H. J.; MARTINS, W. S.. Seleção de Serviços Sensível a QoS e à Capacidade para Implantação de Múltiplas Coreografias de Serviços. 2018. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Goiás.
ROSA, N. S.CUNHA, Paulo R. F.MACIEL, P. R. M.; SOUZA, J. N.; Souza, E.. Moderador: Uma Ferramenta para o Mapeamento de Redes Virtuais Confiáveis de Computadores Considerando Consumo de Energia. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; SOUZA, J. N.; TAVARES, E. A. G.; MORAES, R. M.; MEI, A.. Improving Mobile Cloud Performance using Offload Techniques and Sthocastic Models. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; MONTEIRO, José Augusto Suruagy; MADEIRA, Edmundo Roberto M;CUNHA, Paulo R. F.; UEYAMA, J.. 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.
ROSA, N. S.CALLADO, A. C.; MONTEIRO, José Augusto Suruagy; SILVA, R. M. A.; BARCELLOS, A. M. P.. 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.
ROSA, N. S.; SOUZA, J. N.; MADEIRA, Edmundo Roberto M;SADOK, Djamel F.; TAVARES, E. A. G.. 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.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; VALENTE, M. T. O.; ALVES, V. R.. Assessing Security in Software Product Lines. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; WIERINGA, R. J.; QUARTEL, D.; HILLEGERSBERG, J. V.; PIRES, L. F.; AIELLO, M.; RINDERLE, S.. Cost Management of Service Composition. 2017. Tese (Doutorado em PhD in Computer Science) - University of Twente.
ROSA, N. S.CUNHA, Paulo Roberto FreireLIMA, Ricardo Massa F.; ZIMMERMANN, A.; GOMES, D. G.. 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.
ROSA, N. S.; MADEIRA, Edmundo Roberto M;CUNHA, Paulo R. F.; TAVARES, E.; BRINKMANN, A.. 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.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; MOTA, Alexandre Cabral; RIBEIRO, L.; BRAGA, C. O.. Constructive Extensibility of Trustworthy Component-based Systems. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.GARCIA, V. C.; DIAS, K. L.; FRAGA, J. S.; GOMES, A. T.. Access Control in IaaS Multi Cloud Heterogeneous Environment. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.MACIEL, Paulo Romero MartinsFERNANDES, Stênio F. L.; LOUREIRO, Antonio; MADEIRA, Edmundo Roberto M. Role-based Self-Appointment for Resource Management in Distributed Environments. 2014. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; LOUREIRO, H. P. L.; ALMEIDA, Virgílio Augusto Fernandes; MAGNANI, F. S.;CUNHA, Paulo R. F.. 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.
ROSA, N. S.Vasconcelos, Alexandre; KULESZA, U.; CRUZ, M. L. P. M.; MASIERO, P. C.. Business Process Configuration with NFRs and Context. 2013. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Rosa, N. S.; MADEIRA, Edmundo Roberto M;FERNANDES, Stênio F. L.; ANDRADE, Rossana; DANTAS, R. A. S.. 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.
ROSA, N. S.LIMA, Ricardo Massa F.; LOUREIRO, H. P. L.; MAGNANI, F. S.; TUTSCH, D.. 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.
ROSA, N. S.; IYODA, U. M.; BORBA, Paulo Henrique Monteiro; SIMAO, A. S.; MACHADO, P. D. L.. Test Generation and Compositional Conformance Verification with Input-Output CSP Models. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
MUSICANTE, M. A.; LUCENA, M. J. N. R.; CASTRO, V.; VERGILIO, S. R.; SOLAR, G. V.;ROSA, N. S.. 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.
FERNANDES, Stênio F. L.; DIAS, K. L.; BASTISTA, Thaís; MADEIRA, Edmundo Roberto M;ROSA, N. S.. Quality-aware Automated Service Composition using Reverse Engineering and Incomplete Information. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; DIAS, K. L.; MAGALHÃES, Maurício Ferreira; Ziviani, Artur;MACIEL, PAULO. Optimizing Finite Automata for DPI Engines. 2012. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; TEDESCO, P.;FERRAZ, Carlos André Guimarães; SOUZA, J. N.; Ziviani, Artur. A Guidance Approach for Network Users Support. 2011. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
SANTORO, F. M.; RABELO, RICARDO J.; SIQUEIRA, F. A.; MONTEZ, C. B.; SOBRAL, J. B. M.;ROSA, N. S.. 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.
ROSA, N. S.CUNHA, Paulo Roberto FreireMACIEL, Paulo Romero MartinsFERNANDES, Stênio F. L.SOUTO, Eduardo James Pereira. Inter-domain Negotiation. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.. An Orchestration Approach for Unwanted Internet Traffic Identification. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
SADOK, Djamel Fawzi Hadj; KAMIENSKI, Carlos Alberto; Ziviani, Artur;ROSA, N. S.; REZENDE, José Ferreira de. Traffic Identification in IP Networks. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
CUNHA, Paulo R F; Zorzo, Avelino F.; LIMA, Ricardo Massa Ferreira;ROSA, N. S.; ALMEIDA, Virgílio Augusto Fernandes. ISPN: Modelagem e Avaliação Estocástica Intervalar. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
SONG, Siang Wun;ROSA, N. S.CUNHA, Paulo Roberto Freire; LIMA, Ricardo Massa Ferreira; REIS, Ricardo A.. SOFTWARE SYNTHESIS FOR ENERGY-CONSTRAINED HARD REAL-TIME EMBEDDED SYSTEMS'. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.FERRAZ, Carlos A G; BASTISTA, Thaís Vasconcelos; TEDESCO, P.; GOMES, F. A. C.. 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.
ROSA, N. S.. 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.
Cláudia Werner; BORGES, Marcos Roberto da Silva; FERRAZ, Carlos; RAMALHO, Geber;ROSA, N. S.. Context-sensitive systems, context modeling, context management, metamodeling and software process.. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
TEDESCO, P.; RAMALHO, Geber;ROSA, N. S.; NOVAES, Magdala de Araújo; BATISTA, Thaís Vasconcelos. 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.
ROSA, N. S.CUNHA, Paulo R. F.; LIMA, Ricardo Massa Ferreira; FERNANDES, Antônio Otávio; ABDLOUAHAB, Z.. 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.
ROSA, N. S.; SANTOS, André Luís de Medeiros;MEIRA, S. R. L.; BATISTA, Thaís Vasconcelos; NEVES, A. M. M.. 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.
LOUREIRO, Antonio; SADOK, Djamel Fawzi Hadj; REZENDE, José Ferreira de;MACIEL, Paulo Romero MartinsROSA, N. S.. Arquiteturas Cross-Layer para Rede de Sensores Sem Fio. 2007. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; WOODCOCK, James Charles Paul;MACIEL, Paulo Romero Martins; BIGONHA, Roberto da Silva; MOTA, Alexandre Cabral. 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.
ROSA, N. S.; CARDOZO, Eleri; RICARTE, Ivan Marques; MAGALHÃES, Maurício Ferreira; RODRIGUEZ, Noemi. 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.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira;CUNHA, Paulo Roberto Freire; MARRANCHELLO, Norian; BARROS, Tomaz de Carvalho. 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.
ROSA, N. S.; GUIMARÃES, Kátia; MACEDO, Raimundo Jose; PORTO, Ingrid Jansch; FERRAZ, Carlos. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins; ARAUJO, Aluizio Fausto Ribeiro; SILVEIRA, Gledson Elias da; KAMIENSKI, Carlos Alberto. Uma Arquitetura de Computação Pervasiva para Trabalho de Campo. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira;CUNHA, Paulo Roberto Freire; SONG, Siang Wun; FERNANDES, Antônio Otávio. 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.
ROSA, N. S.CUNHA, Paulo Roberto Freire; REZENDE, José Ferreira; MADEIRA, Edmundo Roberto M;KELNER, Judith. 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.
ROSA, N. S.SADOK, Djamel F.; REZENDE, José Ferreira;MACIEL, Paulo Romero Martins; MAGALHÃES, Maurício Ferreira. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins; MONTEIRO, José Augusto Suruagy; ALMEIDA, Virgílio Augusto Fernandes; SENA JÚNIOR, Manuel Raimundo de. 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.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro;SADOK, Djamel F.; SILVEIRA, Gledson Elias da; BASTISTA, Thaís Vasconcelos. 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.
ROSA, N. S.FERRAZ, Carlos André Guimarães; VASCONCELOS, Alexandre Marcos Lins; SOUZA, J. N.; MACEDO, Raimundo José de Araújo. Arquitetura de Software e Estilos Arquiteturais Distribuídos. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; FERNANDES, Edil Severiano;LIMA, Ricardo Massa F.; SONG, Siang Wun;MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.MACIEL, P.; ARAUJO, C. G.. MODELAGEM ESTOCÁSTICA DE SISTEMAS INTELIGENTE DE ILUMINAÇÃO PÚBLICA. 2024. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; MADEIRA, Edmundo Roberto M; LOUREIRO, Antonio. Exploring Edge Computing and Code Offloading for Enhanced Augmented Reality Systems. 2024. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.SADOK, Djamel F.; ARAUJO, J. C. T.. A Performance and Performability Modeling Framework for Microservices-Based Cloud Infrastructures. 2023. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; GONCALVES, G. E.;CALLADO, A. C.. A Machine Learning-based Monitoring and Recommendation System for Time-Sensitive Networks. 2023. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; SOARES, SÉRGIO; GEYER, C. F. R.. Guidelines for Data Stream Processing Applications Testing. 2021. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; MADEIRA, Edmundo Roberto M; LOUREIRO, Antonio. An Artificial Intelligence Powered Framework for Automatic Service Function Chain Placement in Distributed Scenarios. 2021. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; QUEIROZ, W. J. L.; VENANCIO NETO, A. J.; FONTGALAND, G.. Método de Adaptação de Canal e Estimação de Qualidade de Enlace em Redes de Sensores sem Fio Industriais. 2020. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.
ROSA, N. S.; VASCONCELOS, G. C.; SOUZA, J. N.. Otimização do Consumos Energético de Smartphones Baseado em Modelos de Perfil de Uso. 2020. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; CAMPELO, D. R. S.; BONFIM, M. S.. Beholder: Uma Arquitetura Baseada em Processamento de Eventos Complexos para Detecção e Prevenção de Intrusão em Ambientes da Internet das Coisas. 2020. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.MACIEL, P. R. M.. Avaliação de desempenho de algoritmos IA-RMLSA considerando sobrevivência, agregação e consumo de energia em redes ópticas elásticas. 2019. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; ALMEIDA, Virgílio Augusto Fernandes; DIAS, K. L.. Planejamento de Infraestruturas de Computação em Nuvem para o Provimento de Serviços Baseados em Blockchain. 2019. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; ENDO, P. T.;MACIEL, P. R. M.. 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.
ROSA, N. S.; DIAS, K. L.; Salgueiro, R. J. P. B.. 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.
ROSA, N. S.GARCIA, V. C.; ENDLER, M.. 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.
ROSA, N. S.; ENDLER, M.;GARCIA, V. C.. A Self-Adaptive Approach for Complex Event Processing Rules in IoT Middleware. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; SOUZA, J. N.; FIDALGO, R. N.. Planejamento de infraestruturas Hadoop baseado em modelos de desempenho e disponibilidade. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.MACIEL, P. R. M.; SOUZA, E. T. G.. 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.
ROSA, N. S.; GONCALVES, G. E.; FIDALGO, R. N.. 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.
ROSA, N. S.CUNHA, Paulo R. F.; MADEIRA, Edmundo Roberto M. HIGH AVAILABILITY MODELING FOR VIRTUALIZED NETWORK FUNCTIONS ANALYSIS. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; FRAGA, J. S.; SIQUEIRA, F. A.. 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.
ROSA, N. S.SADOK, Djamel F.; MEI, A.. 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.
ROSA, N. S.; COSTA, Fábio Moreira;LIMA, Ricardo Massa F.. 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.
ROSA, N. S.; TAVARES, E.; SOUZA, J. N.. 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.
ROSA, N. S.FERNANDES, Stênio F. L.; TUTSCH, D.. 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.
ROSA, N. S.BUREGIO, V.; CHAVEZ, C. V. F. G.. 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.
ROSA, N. S.SOUTO, Eduardo James PereiraGonçalves, Glauco. 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.
ROSA, N. S.CUNHA, Paulo R. F.; MADEIRA, Edmundo Roberto M. 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.
ROSA, N. S.LIMA, Ricardo Massa F.; ZIMMERMANN, A.. 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.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; KUSLEZA, U.. 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.
ROSA, N. S.GARCIA, V. C.; CHADWICK, D. W.. Authorisation Policy Federations for Heterogeneous IaaS Clouds. 2015. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ALENCAR, Fernanda Maria Ribeiro de;LIMA, Ricardo Massa F.ROSA, N. S.; ARAUJO JUNIOR, J. B. S.. MULAS - Multi-Level Adaptation for Software Systems. 2014. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
MAGNANI, F. S.;ROSA, N. S.; TUTSCH, D.. 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.
ROSA, N. S.FERNANDES, Stênio F. L.; FEITOSA, E. L.; KAMIENSKI, Carlos Alberto. Facilitating Service Creation via Automated Composition. 2011. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; ALMEIDA, Virgílio Augusto Fernandes; MAGNANI, F. S.. 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.
ROSA, N. S.FERRAZ, Carlos André Guimarães; DIAS, K. L.; LIMA, Ricardo Massa Ferreira; MACEDO, Raimundo José de Araújo. 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.
KAMIENSKI, Carlos Alberto;ROSA, N. S.; REZENDE, José Ferreira de. An Orchestration Approach for Unwanted Internet Traffic Identification. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj;SOUTO, Eduardo James PereiraCUNHA, Paulo R F. An Automatic Inter-Domain Negotiation Mechanism. 2009. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.CUNHA, Paulo Roberto Freire; SONG, Siang Wun. 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.
ROSA, N. S.. Traffic Identification in IP Networks. 2008. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.. Routing Solutions for Future Dynamics Networks. 2008. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.. Peer-To-Peer Technology for Video Content DistributionJ. 2008. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.CUNHA, Paulo R. F.; Zorzo, Avelino F.. 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.
ROSA, N. S.; BATISTA, Thaís Vasconcelos; GONÇALVES, Paulo André da Silva; SANTOS, André Luís de Medeiros. Suporte à Pervasividade em Jogos Massivamente Multiusuários. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.FERRAZ, Carlos André Guimarães; BATISTA, Thaís Vasconcelos. 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.
ROSA, N. S.FERRAZ, Carlos André Guimarães; BORGES, Marcos Roberto da Silva. Gerenciamento de Contexto em Sistemas Colaborativos. 2006. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro; DEHARBE, David Boris Paul. 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.
ROSA, N. S.; LOUREIRO, Antonio; REZENDE, José Ferreira;MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.CUNHA, Paulo Roberto Freire; FERNANDES, Antônio Otávio; THOMAZ. 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.
ROSA, N. S.CUNHA, Paulo Roberto Freire; SONG, Siang Wun. 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.
ROSA, N. S.; MACEDO, Raimundo José de Araújo; PORTO, Ingrid Jansch; GUIMARÃES, Kátia. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.. 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.
ROSA, N. S.. Especificação, Mapeamento e Realização de QoS. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.; VASCONCELOS, Alexandre Marcos Lins; SOUZA, J. N.. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins; FERNANDES, Edil Severiano Tavares. 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.
ROSA, N. S.; VASCONCELOS, Alexandro Marcos Lins; XIMENES, Itana Maria. 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.
ROSA, N. S.; REZENDE, José Ferreira de;KELNER, Judith. 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.
ROSA, N. S.SADOK, Djamel; BORBA, Paulo Henrique Monteiro; BASTISTA, Thaís. 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.
ROSA, N. S.; BORBA, Paulo Henrique Monteiro;SADOK, Djamel F.; BATISTA, Thaís Vasconcelos. 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.
ROSA, N. S.. 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.
ROSA, N. S.GARCIA, V. C.. Automação de Canary Deployments em Clusters de Kubernetes usando Istio e GitHub Actions. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.GARCIA, V. C.. Proposta de Arquitetura para Monitoramento e Reprocessamento de Mensagens de Dead Letter Queue do Amazon Simple Queue Service. 2021. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.
ROSA, N. S.GARCIA, V. C.. Em direção a uma ferramenta para gerar relatórios de métricas de desempenho de funções serverless a partir da realização de testes de carga configuráveis. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
GARCIA, V. C.ROSA, N. S.. Uma Extensão do Docker para Auxiliar a Adaptação de Aplicações Baseadas em Microsserviços. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.GARCIA, V. C.. Em direção a um Framework Serverless para Docker Swarm. 2018. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.
ROSA, N. S.MACIEL, Paulo Romero Martins. 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.
GAMA, KIEV SANTOS DAROSA, N. S.. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.FERRAZ, Carlos André Guimarães. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.; DIAS, K. L.. 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.
Rosa, N. S.; LIMA FILHO, F. J. C.. 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.
ROSA, N. S.; SALGADO, A. C. B.. 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.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. Otimização de Redes WAN. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.FERRAZ, Carlos A G. 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.
ROSA, N. S.; LIMA, Ricardo Massa Ferreira. 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.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. Automatic Signature Generation. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
SADOK, Djamel F.ROSA, N. S.. 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.
ROSA, N. S.SADOK, Djamel F.. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins; MACIEL, Thiago A.. 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.
MACIEL, Paulo Romero MartinsROSA, N. S.. 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.
SADOK, Djamel Fawzi Hadj;ROSA, N. S.. 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.
SADOK, Djamel Fawzi Hadj;ROSA, N. S.. 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.
SADOK, Djamel Fawzi Hadj;ROSA, N. S.. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins. 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.
SADOK, Djamel Fawzi Hadj;ROSA, N. S.. On the Optimization of Deep Packet Inspection. 2008. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.
ROSA, N. S.MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. 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.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. 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.
ROSA, N. S.MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. 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.
ROSA, N. S.FERRAZ, Carlos A G. 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.
ROSA, N. S.KELNER, Judith; ALMEIDA, G. F.. F-FORCE - A Framework for Collaborative Environments. 2006. Trabalho de Conclusão de Curso (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco.
ROSA, N. S.; SADOK, Djamel Fawzi Hadj. 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.
ROSA, N. S.KELNER, Judith. Gerenciamento de Redes de Ambiente. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.FERRAZ, Carlos A G. 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.
ROSA, N. S.SADOK, Djamel F.. 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.
ROSA, N. S.FERRAZ, Carlos A G. 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.
ROSA, N. S.SADOK, Djamel. Protomake: Um Compilador de Protocolos. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
ROSA, N. S.MACIEL, Paulo Romero Martins. 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.
ROSA, N. S.FERRAZ, Carlos André Guimarães. 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.
ROSA, N. S.MEIRA, S. R. L.. 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.
ROSA, N. S.; SOUZA, J. N.; BRASILEIRO, F. V.; BARROSO, G. C.. Banca de Professor Titular. 2022. Universidade Federal Rural do Semi-Árido.
ROSA, N. S.; PRUDENCIO, R.; GREVE, F. G. P.. Banca de Professor Titular. 2022. Universidade Federal de Sergipe.
ROSA, N. S.. Concurso Público para Professor Assistente (Sistemas Distribuídos). 2010. Universidade Federal de Alagoas.
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.
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.
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.
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.
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.
ROSA, N. S.; ROSIMERE, A.; MACIEL, L.. Concurso Público para Professor Assitente do Departamento de Informatica e Estatistica. 2002. Universidade Federal de Sergipe.
ROSA, N. S.; SOARES, A. R.; LUDERMIR, T. B.. Concurso Público para Professor Assistente. 1997. Universidade Federal de Sergipe.
ROSA, N. S.. CONSELHO COORDENADOR DE ENSINO E, PESQUISA E EXTENSÃO (CCEPE) DA UFPE. 2006. Universidade Federal de Pernambuco.
ROSA, N. S.. Membro da Comissão Interna do PIBIC, UFPE. 2002. Universidade Federal de Pernambuco.
Orientou
Incorporando Controlabilidade ao DAPR; Início: 2023; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
Middleware Adaptativo em Go; Início: 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
Sistemas adaptativos com Human-in-the-loop; Início: 2023; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
Adaptação de Aplicações Baseadas em Microsserviços Usando Teroria de Controlar; Início: 2023; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
Uma solução para melhoria de segurança de sistemas IoT através do uso de Blockchain; Início: 2021; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);
ADAPTAÇÃO DINÂMICA DE APLICAÇÕES BASEADAS EM MICROSSERVIÇOS; Início: 2020; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; (Orientador);
Uma abordagem para garantia e melhoria da qualidade em ambientes de IoT; Início: 2020; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);
Sistemas adaptativos em Smart Homes; Início: 2019; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
UP-Home: Uma Solução Autoadaptativa para Segurança de Casas Inteligentes; Início: 2018; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
Sistemas de Middleware Adaptativos para IoT; Início: 2018; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco; (Orientador);
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);
COSTA - Uma Solução Adaptativa Ciente de Custo para Migração de Aplicações entre Provedores de Nuvem; 2023; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Nelson Souto Rosa;
Adaptação de Aplicações Baseadas em Microsserviços Usando Aprendizagem de Máquina; ; 2020; 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;
Rbinder: Uma Solução para Monitoramento Transparente de Aplicações Baseadas em Microsserviços; 2019; 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;
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;
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;
FLiMSy: Um Middleware Funcional em Scala; 2015; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Nelson Souto Rosa;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
Multi-Cloud-Aware Middleware; 2021; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Nelson Souto Rosa;
A Modeling Framework for Infrastructure Planning of Workflow-as-a-Service Environments; 2019; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco,; Coorientador: Nelson Souto Rosa;
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;
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;
Runtime Adaptation of Microservices; 2018; Tese (Doutorado 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;
Cost Management of Service Composition; 2017; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Nelson Souto Rosa;
Multicloud Adaptive Middleware; 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: Nelson Souto Rosa;
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;
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;
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;
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;
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;
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;
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;
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;
Avaliação Comparativa de Controladores para Adaptação do RabbitMQ; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
Sistema de autenticação para casas inteligentes utilizando device fingerprinting; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
Avaliação do Impacto de Balanceadores de Carga sobre o gRPC; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
Adaptação do RabbitMQ utilizando teoria do controle; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
Avaliação comparativa do OpenTelemetry versus Istio para monitoramento de microsserviços; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
Um estudo da correlação entre parâmetros de configuração no Kafka; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
Extensão de segurança para gRPC; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
RPC-QUIC: Middleware baseado em RPC utilizando protocolo QUIC; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciencia da Computacao) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
ESPWater- Uma solução IoT para gerenciamento automático de água; 2021; Trabalho de Conclusão de Curso; (Graduação em Engenharia da Computação) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
Uma Extensão do Docker para Auxiliar a Adaptação de Aplicações Baseadas em Microsserviços TG: aqui; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pernambuco; Orientador: Nelson Souto Rosa;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
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;
Produções bibliográficas
-
SANTOS, W. R. M. ; CAVALCANTI, G. D. C. ; ROSA, N. S. ; ROSA, N. S. ; SAMPAIO JUNIOR, A. R. . Microservices performance forecast using dynamic Multiple Predictor Systems. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE , v. 129, p. 107649, 2024.
-
SILVA, JOSIVAL ; Rosa, Nelson ; AIRES, FERNANDO . UP-Home: A Self-Adaptive Solution for Smart Home Security. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , v. 30, p. 502-530, 2024.
-
MELO DE MORAIS, ANDERSON ; ANTONIO AIRES LINS, FERNANDO ; SOUTO ROSA, NELSON . Survey on Integration of Consensus Mechanisms in IoT-based Blockchains. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , v. 29, p. 1139-1160, 2023.
-
JUNIO, M. S. S. ; LINS, F. A. A. ; ROSA, N. S. ; ROSA, N. S. . An execution environment as a service for adaptive long-running workflows. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS (PRINT) , v. ahead-of-print, p. 1-25, 2021.
-
Rosa, Nelson ; CAVALCANTI, DAVID ; CAMPOS, GLÁUCIA ; SILVA, ANDRÉ . Adaptive middleware in go - a software architecture-based approach. JOURNAL OF INTERNET SERVICES AND APPLICATIONS , v. 11, p. 3, 2020.
-
OLIVEIRA, D. M. ; BRINKMANN, A. ; MACIEL, P. R. M. ; ROSA, N. S. ; ROSA, N. S. . Performability Evaluation and Optimization of Workflow Applications in Cloud Environments. Journal of Grid Computing , v. 1, p. 1-22, 2019.
-
SAMPAIO JUNIOR, A. R. ; BESCHASTNIKH, I. ; RUBIN, J. ; ROSA, N. S. ; ROSA, N. S. . Improving microservice-based applications with runtime placement adaptation. JOURNAL OF INTERNET SERVICES AND APPLICATIONS , v. 10, p. 1-30, 2019.
-
OLIVEIRA, DANILO ; DANTAS, JAMILSON ; Rosa, Nelson ; MACIEL, PAULO ; MATOS, RUBENS ; BRINKMANN, ANDRÉ . A dependability and cost optimisation method for private cloud infrastructures. International Journal of Web and Grid Services , v. 15, p. 367, 2019.
-
LINS, F. A. A. ; SOUZA, E. T. G. ; ROSA, N. S. ; 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.
-
ROSA, N. S. ; ROSA, N. S. ; CAMPOS, G. M. M. ; CAVALCANTI, DAVID J. M. . Lightweight Formalisation of Adaptive Middleware. JOURNAL OF SYSTEMS ARCHITECTURE , v. 1, p. 1-14, 2018.
-
SOUZA, Fábio Nogueira de ; CAVALCANTI, DAVID J. M. ; SILVA, T. ; ROSA, N. S. ; ROSA, N. S. . Monitoring solution in a dynamic Service-Oriented Platform. COMPUTERS & ELECTRICAL ENGINEERING , v. 1, p. 1-19, 2017.
-
MAAMAR, Z. ; BUREGIO, V. ; SELLAMI, M. ; ROSA, N. S. ; 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.
-
Damaso, Antonio ; MACIEL, P. R. M. ; ROSA, N. S. ; ROSA, N. S. . Integrated Evaluation of Reliability and Power Consumption of Wireless Sensor Networks. SENSORS , v. 17, p. 2547-2774, 2017.
-
MEDEIROS, R. W. A. ; PIRES, L. F. ; ROSA, N. S. ; ROSA, N. S. . Cost Management of Service Compositions. International Journal of Services Computing , v. 4, p. 35-50, 2016.
-
LINS, 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.
-
Bispo, Kalil ; Rosa, Nelson ; CUNHA, PAULO . SITRUS: Semantic Infrastructure for Wireless Sensor Networks. SENSORS , v. 15, p. 27436-27469, 2015.
-
Damaso, Antonio ; ROSA, N. S. ; 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.
-
TELES, FABRICIO ; ROSA, N. S. ; 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.
-
LINS, 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.
-
DÂMASO, ANTÔNIO ; Rosa, Nelson ; MACIEL, PAULO . Reliability of Wireless Sensor Networks. SENSORS , v. 14, p. 15760-15785, 2014.
-
SADOK, 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.
-
LINS, 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.
-
LINS, 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.
-
Domingues, 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.
-
LINS, 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.
-
Jú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.
-
ROSA, N. S. ; CUNHA, Paulo Roberto Freire . A formal framework for middleware behavioural specification. Software Engineering Notes , v. 32, p. 1-7, 2007.
-
FAGUNDES, 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.
-
Galdino, 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.
-
Assad, André Elia ; Rosa, Nelson Souto . Device Middleware for Mobile Applications. IEEE Distributed Systems Online , v. 8, p. 1-1, 2007.
-
Rosa, Nelson ; CUNHA, PAULO . Using LOTOS for FormalisingWireless Sensor Network Applications. SENSORS , v. 7, p. 1447-1461, 2007.
-
LINS, 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.
-
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.
-
Rosa, Nelson Souto ; Freire Cunha, Paulo Roberto . Behavioural specification of middleware systems. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO) , v. 12, p. 63-74, 2006.
-
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.
-
ROSA, N ; CUNHA, P . A Software Architecture-Based Approach for Formalising Middleware Behaviour. Electronic Notes in Theoretical Computer Science , v. 108, p. 39-51, 2004.
-
OLIVEIRA, J. P. ; Damaso, Antonio ; ROSA, N. S. ; 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.
-
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. -.
-
ROSA, N. S. ; ROSA, N. S. ; CAVALCANTI, D. J. M. . A Control-Theoretical Approach to Adapt Message Brokers. In: AINA, 2023, Juiz de Fora, MG. Proceedings of the 37th International Conference on Advanced Information Networking and Applications (AINA-2023). Cham, Switzerland: Springer, 2023. v. 1. p. 261-273.
-
SILVA, L. C. ; MEDEIROS, R. W. A. ; ROSA, N. S. ; ROSA, N. S. . COSTA: A cost-driven solution for migrating applications in multi-cloud environments. In: SAC, 2023, Tallinn. The 38th ACM/SIGAPP Symposium On Applied Computing, 2023. v. 1. p. 57-63.
-
MORAIS, A. M. ; LINS, F. A. A. ; ROSA, N. S. ; ROSA, N. S. . Integration and Evaluation of Blockchain Consensus Algorithms for IoT Environments. In: AINA, 2023, Juiz de Fora. Proceedings of the 37th International Conference on Advanced Information Networking and Applications. Cham, Switzerland: Springer, 2023. v. 2. p. 1-13.
-
CAVALCANTI, DAVID ; HUGHES, DANNY ; Rosa, Nelson . An Adaptive Energy Saving Mechanism for Middleware of Things. In: 2023 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2023, Split. 2023 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 2023. p. 1-6.
-
BUI, V. V. ; ADAM, S. M. ; MACKENZIE, B. J. ; THANGARAJAN, A. S. ; LIU, M. ; MICHIELIS, S. ; PHUONG, H. N. B. ; HUGHES, DANNY ; ROSA, N. S. ; ROSA, N. S. . FLUTE: Transforming IoT Boards to Battery-free Energy Harvesting Devices. In: MobiQuitous, 2023, Melbourne. Eighteenth Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2023), 2023. v. 1. p. 1-10.
-
BRANDÃO, DANIEL ; Rosa, Nelson . Multiple transport protocols in an adaptive RPC-based framework. In: Hawaii International Conference on System Sciences, 2022, Virtual Conference, 2022.
-
Rosa, Nelson S. ; CAVALCANTI, DAVID J. M. . Using Controllers to Adapt Messaging Systems: An Initial Experience. In: Workshop de Visualização, Evolução e Manutenção de Software, 2022, Brasil. Anais do X Workshop de Visualização, Evolução e Manutenção de Software (VEM 2022). v. 1. p. 46-52.
-
CAVALCANTI, DAVID ; CARVALHO, RANIERI ; Rosa, Nelson . Adaptive Middleware of Things. In: 2021 IEEE Symposium on Computers and Communications (ISCC), 2021, Athens. 2021 IEEE Symposium on Computers and Communications (ISCC), 2021. p. 1-10.
-
ANDRADE, RICHARDSON ; Rosa, Nelson . MidSecThings: Assurance Solution for Security Smart Homes in IoT. In: 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), 2019, Hangzhou. 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE). New York: IEEE, 2019. p. 171-178.
-
SANTANA, MATHEUS ; SAMPAIO, ADALBERTO ; ANDRADE, MARCOS ; Rosa, Nelson S. . Transparent tracing of microservice-based applications. In: the 34th ACM/SIGAPP Symposium, 2019, Limassol. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19, 2019. p. 1252.
-
SILVA, ANDRÉ ; Rosa, Nelson . AFIrM. In: the 18th Workshop, 2019, Davis. Proceedings of the 18th Workshop on Adaptive and Reflexive Middleware - ARM '19. New York: ACM Press, 2019. p. 13-19.
-
Rosa, Nelson ; CAMPOS, GLÁUCIA ; CAVALCANTI, DAVID . An adaptive middleware in Go. In: the 19th Workshop, 2018, Rennes. Proceedings of the 19th Workshop on Adaptive and Reflexive Middleware - ARM '18. New York: ACM Press, 2018. p. 1-6.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
ROSA, N. S. ; 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. v. 69. p. 67-85.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
MACIEL, Rita Suzana Pitangueira ; MAGALHAES, ANA ; SILVA, Bruno Carreiro da ; ROSA, N. S. ; ROSA, N. S. . An Approach to Model-driven Development Process Specification. In: ICEIS, 2009, MIlan, Italy. 11th International Conference on Enterprise Information Systems, 2009. p. 27-32.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
RIBEIRO, Cláudia M F A ; ROSA, N. S. ; CUNHA, Paulo R. F. . Adding Meaning to QoS Negotiation. In: ICEIS, 2006, Paphos. Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, 2006. p. 106-111.
-
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.
-
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.
-
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.
-
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.
-
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.
-
ROSA, N. S. ; CUNHA, Paulo Roberto Freire . A LOTOS Framework for Middleware 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.
-
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.
-
MACIEL, Rita Suzana Pitangueira ; ROSA, N. S. ; ROSA, N. S. ; FERRAZ, Carlos A G ; SILVA, Bruno Carreiro da . Um Processo de Desenvolvimento de Componentes através da MDA para a Interoperabilidade entre Aplicações de Autoria Colaborativa. In: WDBC, 2006. 6o. Workshop de Desenvolvimento Baseado em Componentes (WDBC), 2006. p. 63-70.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
MACIEL, Rita Suzana Pitangueira ; FERRAZ, Carlos A G ; ROSA, N. S. ; ROSA, N. S. . A MODEL-DRIVEN ARCHITECTURE FOR INTEROPERABLE DOCUMENT SUPPORTING ENVIRONMENTS. In: IADIS International Conference Applied Computing, 2004, Lisbon, POrtugal. IADIS International Conference Applied Computing, 2004. p. 4016-4020.
-
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.
-
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.
-
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.
-
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.
-
MORAES, M. A. F. ; VASCONCELOS, A. M. L. ; ROSA, N. S. ; 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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: OD2001, 2001, São Paulo. I Workshop em Tendências de Objetos Distribuídos, 2001.
-
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: OD2001, 2001, São Paulo. I Workshop em Tendências de Objetos Distribuídos, 2001.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
SOUZA, A. R. S. ; BARROS SILVA, B. L. ; LINS, F. A. A. ; DAMASCENO, J. ; MACIEL, Paulo Romero Martins ; MEDEIROS, R. W. A. ; STEPHENSON, Bryan ; MOTAHARI, Hamid ; Li, J ; Northfleet, C ; ROSA, N. S. ; ROSA, N. S. . Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition. In: ICSOC-ServiceWave, 2009, Stokolm. Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave, 2009. p. 649-650.
-
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.
-
TAVARES, G. J. S. ; ROSA, N. S. ; ROSA, N. S. . A Survey on Human in the Loop for Self-Adaptive Systems. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , 2024.
Outras produções
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.
ROSA, N. S. . ACM Symposium on Applied Computing. 2003.
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores. 2003.
ROSA, N. S. . ACM Symposium on Applied Computing. 2002.
ROSA, N. S. . ACM Symposium on Applied Computing. 2001.
ROSA, N. S. ; ROSA, N. S. ; Concurso de Teses e Dissertações - SBRC. 2024. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2022 - Salão de Ferramentas. 2022. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; 19th ACS/IEEE AICSA 2022 - International Conference on Computer Systems and Applications. 2022. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2021 - Salão de Ferramentas. 2021. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; 18th ACS/IEEE AICSA 2021 - International Conference on Computer Systems and Applications. 2021. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2020 - Simpósio Brasileiro de Redes de Computadores. 2020. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2020 - Salão de Ferramentas. 2020. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CTIC 2020 - 39o. Concurso de Trabalhos de Iniciação Científica. 2020. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CTIC 2020 - 39o. Concurso de Iniciação Científica. 2020. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; 17th ACS/IEEE International Conference on Computer Systems and Applications. 2020. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; IEEE Sensors 2020. 2020. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2020 - Salão de Ferramentas. 2019. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2019 - Simpósio Brasileiro de Redes de Computadores. 2019. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2018 - Simpósio Brasileiro de Rede de Computadores. 2018. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; ICTAC - 15th International Colloquium on Theoretical Aspects of Computing (ICTAC). 2018. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; CSBC 2018 - Concurso de Teses e Dissertações (31 CTD). 2018. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CSBC 2018 - Concurso de Teses e Dissertações (31 CTD). 2018. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; 1st International Workshop on Cloud Computing Economic Impacts. 2018. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CSBC 2017 - Concurso de Teses e Dissertações (30 CTD). 2017. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2017 - Salão de Ferramentas. 2017. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CSBC 2017 - Concurso de Teses e Dissertações (30 CTD). 2017. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2017 - Salão de Ferramentas. 2017. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; CSBC CTD 2016. 2016. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2016 - Salao de Ferramentas. 2016. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2016. 2016. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2016 - Salao de Ferramentas. 2016. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; CBSoft 2015 - SBES 2015 - Insightful Ideas. 2015. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CBSoft 2015 - SBES 2015 - Technical Research. 2015. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2015 - Salão de Ferramentas. 2015. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; 2nd Workshop on Formal Verification for Self-* Systems (VERY*SCART'2015), affiliated with SEFM 2015.. 2015. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CBSoft 2015 - SBES 2015 - Insightful Ideas. 2015. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; CBSoft 2015 - SBES 2015 - Technical Research. 2015. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2015 - Salão de Ferramentas. 2015. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2014 Salão de Ferramentas. 2014. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBES 2014. 2014. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; IEEE OrChor First International Workshop on Service Orchestration and Choreography for the Future Internet. 2014. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBES 2014. 2014. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2014. 2014. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; CBSoft 2013 - VII Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2013. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CBSoft 2013 - SBES 2013. 2013. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CSBC 2013 - CTD. 2013. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2013. 2013. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2013 - Salão de Ferramentas. 2013. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SEMISH 2013. 2013. (Membro do Comitê de Programa).
ROSA, N. S. ; 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).
ROSA, N. S. ; ROSA, N. S. ; CBSoft 2013 - SBES 2013. 2013. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; CSBC 2013 - CTD. 2013. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2013. 2013. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2013 - Salão de Ferramentas. 2013. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; SEMISH 2013. 2013. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; CBSoft 2012 - SBES. 2012. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; XXXI Concurso de Trabalhos de Iniciação Científica (CSBC 2012 - CTIC). 2012. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; XXXVIV Seminário Integrado de Software e Hardware (CSBC 2012 - SEMISH). 2012. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2012. 2012. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; SBRC 2012 - Salao de Ferramentas. 2012. (Membro do Comitê de Programa).
ROSA, N. S. ; ROSA, N. S. ; CBSoft 2012 - SBES. 2012. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; XXXI Concurso de Trabalhos de Iniciação Científica (CSBC 2012 - CTIC). 2012. (Revisão de Artigos).
ROSA, N. S. ; ROSA, N. S. ; XXXVIV Seminário Integrado de Software e Hardware (CSBC 2012 - SEMISH). 2012. (Revisão de Artigos).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC 2011). 2011. (Membro do Comitê de Programa).
ROSA, N. S. . XXXVIII Seminário Integrado de Software e Hardware (SEMISH 2011). 2011. (Membro do Comitê de Programa).
ROSA, N. S. . Congresso Brasileiro de Software (CBSOFT 2011). 2011. (Membro do Comitê de Programa).
ROSA, N. S. . Congresso Brasileiro de Software (CBSOFT 2011). 2011. (Revisão de Artigos).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC 2011). 2011. (Revisão de Artigos).
ROSA, N. S. . XXXVIII Seminário Integrado de Software e Hardware (SEMISH 2011). 2011. (Revisão de Artigos).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC'2010). 2010. (Membro do Comitê de Programa).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC'2010). 2010. (Revisão de Artigos).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC'2010) - Salão de Ferramentas. 2010. (Membro do Comitê de Programa).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC'2010) - Salão de Ferramentas. 2010. (Revisão de Artigos).
ROSA, N. S. . Congresso Brasileiro de Software (CBSOFT 2010). 2010. (Membro do Comitê de Programa).
ROSA, N. S. . XXXVII Seminário Integrado de Software e Hardware (SEMISH'2010). 2010. (Membro do Comitê de Programa).
ROSA, N. S. . XXXVII Seminário Integrado de Software e Hardware (SEMISH'2010). 2010. (Revisão de Artigos).
ROSA, N. S. . Information Science Journal. 2009. (Revisão de Artigos).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC'2009). 2009. (Membro do Comitê de Programa).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC'2009). 2009. (Revisão de Artigos).
ROSA, N. S. . Simpósio Brasileiro de Engenharia de Software (SBES'2009). 2009. (Membro do Comitê de Programa).
ROSA, N. S. . Simpósio Brasileiro de Engenharia de Software (SBES'2009). 2009. (Revisão de Artigos).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC'2009) - Salão de Ferramentas. 2009. (Membro do Comitê de Programa).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC'2009) - Tutoriais. 2009. (Revisão de Artigos).
ROSA, N. S. . Simpósio Brasileiro de Redes de Computadores (SBRC'2009) - Salão de Ferramentas. 2009. (Revisão de Artigos).
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).
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).
ROSA, N. S. . Sistemas de Middleware. 2008. (Curso de curta duração ministrado/Outra).
ROSA, N. S. . Membro do Comitê de Programa - Simpósio Brasileiro de Redes de Computadores (SBRC'08). 2008. (Membro do Comitê de Programa).
ROSA, N. S. . Revisão de Artigos - Simpósio Brasileiro de Redes de Computadores (SBRC'08). 2008. (Revisão de Artigos).
ROSA, N. S. . Membro do Comitê de Programa - Simpósio Brasileiro de Engenharia de Software (SBES08). 2008. (Membro do Comitê de Programa).
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).
ROSA, N. S. . Membro do Comitê de Programa - Euro America Conference on Telematics and Information Systems (EATIS'08). 2008. (Membro do Comitê de Programa).
ROSA, N. S. . Simpósio Brasileiro de Engenharia de Software (SBES'2008). 2008. (Revisão de Artigos).
ROSA, N. S. . Collaborative Electronic Communications and eCommerce Technology Research (COLLECTER'2008). 2008. (Revisão de Artigos).
ROSA, N. S. . Membro do Comitê de Programa - Euro America Conference on Telematics and Information Systems (EATIS'07). 2007. (Membro do Comitê de Programa).
ROSA, N. S. . Revisão de Artigos - Euro America Conference on Telematics and Information Systems (EATIS'07). 2007. (Revisão de Artigos).
ROSA, N. S. . Membro do Comitê de Programa - Simpósio Brasileiro de Redes de Computadores (SBRC'07). 2007. (Membro do Comitê de Programa).
ROSA, N. S. . Revisão de Artigos - Simpósio Brasileiro de Redes de Computadores (SBRC'07). 2007. (Revisão de Artigos).
ROSA, N. S. . Membro do Comitê de Programa - Euro America Conference on Telematics and Information Systems (EATIS' 06). 2006. (Membro do Comitê de Programa).
ROSA, N. S. . Membro do Comitê de Programa - Simpósio Brasileiro de Engenharia de Software (SBES'06). 2006. (Membro do Comitê de Programa).
ROSA, N. S. . Revisão de Artigos - Simpósio Brasileiro de Redes de Computadores (SBRC'06). 2006. (Revisão de Artigos).
ROSA, N. S. . Membro do Comitê de Programa - Simpósio Brasileiro de Redes de Computadores (SBRC'06). 2006. (Membro do Comitê de Programa).
ROSA, N. S. . Revisão de Artigos - Simpósio Brasileiro de Engenharia de Software (SBES'06). 2006. (Revisão de Artigos).
ROSA, N. S. . Revisão de Artigos - Euro America Conference on Telematics and Information Systems (EATIS' 06). 2006. (Revisão de Artigos).
ROSA, N. S. . Revisão de Artigos - Simpósio Brasileiro de Redes de Computadores (SBRC'05). 2005. (Revisão de Artigos).
ROSA, N. S. . Membro do Comitê de Programa - Simpósio Brasileiro de Redes de Computadores (SBRC'05). 2005. (Membro do Comitê de Programa).
ROSA, N. S. . Membro do Comitê de Programa - Simpósio Brasileiro de Engenharia de Software (SBES'05). 2005. (Membro do Comitê de Programa).
ROSA, N. S. . Revisão de Artigos - Simpósio Brasileiro de Engenharia de Software (SBES'05). 2005. (Revisão de Artigos).
ROSA, N. S. . Introdução a Ambientes Middleware. 2002. (Curso de curta duração ministrado/Outra).
ROSA, N. S. . Sistemas Distribuídos. 1999. .
PAULA, V. C. C. ; ROSA, N. S. ; CUNHA, Paulo R F . Introdução à Arquitetura de Software. 1998. (Curso de curta duração ministrado/Outra).
ROSA, N. S. . Introdução a Sistemas Distribuídos. 1997. (Curso de curta duração ministrado/Extensão).
ROSA, N. S. . Membro do Colegiado da Pós-Graduação do Centro de Informática. 2002 (Demais trabalhos relevantes) .
ROSA, N. S. . Membro da Comissão de Iniciação Científica da Universidade Federal de Pernambuco. 2002 (Demais trabalhos relevantes) .
Projetos de pesquisa
-
2022 - Atual
Desenvolvimento de Middleware Adaptativo Usando Teoria de Controle, Descrição: O objetivo geral deste projeto é desenvolver uma solução para implementação e execução de sistemas de middleware adaptativos que usa princípios e mecanismos de teoria de controle e computação autonômica. Esta solução estenderá a versão atual do gMidArch incorporando a ?controlabilidade? como elemento de primeira classe no desenvolvimento do middleware.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (6) . , Integrantes: Nelson Souto Rosa - Coordenador / Nelson S Rosa - Integrante / André Gustavo Pereira da Silva - Integrante / David Júnio Mota Cavalcanti - Integrante / Wellison Raul Mariz Santos - Integrante / Daniel da Cruz Brandão - Integrante / Anderson Melo de Morais - Integrante / Vladimir Gualberto da Silva - Integrante / Josival dos Santos Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2018 - 2021
MidArch: Um Framework de Middleware Adaptativo Baseado em Métodos Formais, Descrição: O objetivo geral deste projeto é desenvolver uma solução para implementação (framework) e execução (ambiente de execução) de sistemas de middleware adaptativos. A solução proposta deve ser projetada para executar adaptações baseadas em verificações formais e realizadas de forma segura. O framework proposto deverá combinar estratégias de desenvolvimento de middleware (e.g., padrões de projeto arquiteturais), o uso leve (lightweight) de técnicas formais integradas ao desenvolvimento e a execução do middleware, e mecanismos de estruturação do middleware que facilitem a sua adaptação. Ao final do projeto, o framework deverá reduzir o tempo e o esforço de implementação de sistemas de middleware adaptativos e integrará modelos formais que garantam maior precisão e segurança nas adaptações realizadas em tempo de execução. Por sua vez, o ambiente de execução será responsável por executar e adaptar o middleware dinamicamente, i.e., sem a sua parada completa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (5) . , Integrantes: Nelson Souto Rosa - Integrante / Nelson S Rosa - Coordenador / Gláucia Melissa Medeiros Campos - Integrante / Adalberto Ribeiro Sampaio Junior - Integrante / David Júnio Mota Cavalcanti - Integrante / Wellison Raul Mariz Santos - Integrante / Edmundo Matheus Barbosa Santana - Integrante.
-
2017 - 2020
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: Concluído; 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 produções C, T & A: 5
Prêmios
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).
Histórico profissional
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:
Experiência profissional
2019 - Atual
Universidade Federal de PernambucoVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Professor Associado 4 desde Março/2017.
1998 - 1999
Universidade Federal de PernambucoVí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.
1995 - 1995
Universidade Federal de PernambucoVí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
Ensino, Ciencia da Computacao, Nível: Graduação,Disciplinas ministradas, Progamação Concorrente e Distribuída
-
08/2018
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Plataformas de Distribuição
-
10/2015
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
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
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).
-
06/2002
Pesquisa e desenvolvimento, Centro de Informática, Departamento de Engenharia da Computação.,Linhas de pesquisa
-
06/2002
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)
-
06/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)
-
04/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)
-
09/2005 - 03/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)
-
09/2005 - 03/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.
-
04/2005 - 08/2005
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Infra-estrutura de Comunicação
-
04/2005 - 08/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 - 03/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 - 03/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)
-
05/2004 - 09/2004
Ensino, Ciclo Básico Área II, Nível: Graduação,Disciplinas ministradas, Computação Eletrônica, Computação L
-
05/2004 - 09/2004
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Infra-Estrutura de Comunicação
-
05/2004 - 09/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)
-
05/2003 - 03/2004
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Avançados em Sistemas Distribuídos 1
-
07/2003 - 08/2003
Ensino, Ciência da Computação, Nível: Especialização,Disciplinas ministradas, Internet
-
04/2003 - 08/2003
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Redes de Computadores 1, Redes de Computadores 2
-
04/2003 - 08/2003
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Avaliação de Desempenho de Sistemas
-
10/2002 - 03/2003
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Redes de Computadores 1, Redes de Computadores 2
-
10/2002 - 03/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 - 02/2003
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Redes de Computadores 1, Redes de Computadores 2
-
10/2002 - 02/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 - 01/2003
Ensino, Ciência da Computação, Nível: Especialização,Disciplinas ministradas, Internet
-
06/2002 - 10/2002
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Redes de Computadores 1, Infra-Estrutura de Computação
-
04/2002 - 08/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
1997 - 1998
Universidade Federal de SergipeVí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 - 02/1998
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados II, Sistemas Distribuídos
1999 - 1999
University Of WestminsterVí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)
2000 - 2002
Faculdade Integrada do RecifeVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 40
Atividades
-
01/2002 - 06/2002
Pesquisa e desenvolvimento, Curso de Sistemas de Informação, Núcleo de Pesquisa.,Linhas de pesquisa
-
09/2000 - 06/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
1992 - 1994
Instituto de Tecnologia Em InformaticaVínculo: Celetista, Enquadramento Funcional: Programador, Carga horária: 40
Atividades
-
03/1992 - 01/1994
Serviços técnicos especializados .,Serviço realizado, Programador.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Nelson Souto Rosa e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?