E-mail: aloysio [AT] gta [DOT] ufrj [DOT] br
Professor
Dr., Univ. Paul-Sabatier, LAAS, 1985
Atua em Teleinformática e Automação
Currículo nas bases de dados:
Disciplinas ministradas:
- COE729 - Arquitetura e Protocolos de Comunicação
- COE829 - Tópicos Especiais em Protocolos de Comunicação
- COE884 - Top. Esp em Sistemas Distribuídos
- CPE817 - Tópicos Especiais em Sistemas Distribuídos
- COE708 - Pesquisas de Tese de Mestrado
Teses orientadas até a presente data:
- Análise e Planejamento de Rotas em Redes Viárias (doutorado)
- Uma Avaliação da Influência da Velocidade dos Nós no Estabelecimento de Caminhos em Redes Ad Hoc Veiculares (mestrado)
- Análise de uma Rede Sem Fio Ad Hoc em um Cenário de Missão Militar Tática (mestrado)
- Visualização de Dados do Sistema Elétrico Utilizando Computação em Nuvem (mestrado)
- Sistema de Monitoramento Subaquático para Exploração de Petróleo Usando Redes de Sensores Acústicos (doutorado)
- Sistema de Calibração de Energia Sem Fio Usando ZigBee (mestrado)
- Verificação Formal de Aplicações Concorrentes em Sistemas Elétricos de Potência (doutorado)
- Arquitetura e Serviços para EAD no SBTVD com Escalabilidade (doutorado)
- Redes Acústicas Subaquáticas na Monitoração de Correntes Marítimas (mestrado)
- Um Esquema em Dois Níveis para Suporte à Mobilidade em Redes de Sensores Sem Fio (doutorado)
- RECOLLVE: Um ambiente Virtual Voltado para a Representação de Atividades Colaborativas (doutorado)
- Um Protocolo de Transporte Colaborativo para Redes de Sensores Sem Fio (doutorado)
- Redes de Sensores sem Fio em Monitoramento e Controle (mestrado)
- Projeto de Circuitos Criptográficos para Aplicação em Segurança (doutorado)
- Roteamento com Balanceamento de Consumo de Energia para Redes de Sensores sem Fio (mestrado)
- ANDSR - Protocolo de Roteamento Anônimo para Redes Ad Hoc (mestrado)
- Gerenciamento de Redes em Arquitetura Diffserv com Auxílio de Data Warehouse (mestrado)
- Supervisão e Controle em Tempo Real de Sistemas Elétricos Baseado em Computação GRID (mestrado)
- Síntese de Sistemas Digitais Utilizando Técnicas Evolutivas (doutorado)
- Análise do Roteamento em Redes Móveis Ad Hoc em Cenários de Operações Militares (mestrado)
- Uma Metodologia para Implementação de Protocolos de Comunicação Utilizando Hardware/Software Codesign (doutorado)
- Análise de uma Arquitetura de Segurança em Sistemas Móveis de Terceira Geração (mestrado)
- Análise de Associações Seguras em Sistemas Móveis de Terceira Geração (mestrado)
- Projeto Formal de um Mecanismo Estendido de Suporte à Descoberta de Serviços em Redes Móveis AD HOC (mestrado)
- Projeto Formal de Protocolos de Acesso ao Meio e de Roteamento para Redes Ad-Hoc (mestrado)
- Um Compilador de Restrições Temporais para a Linguagem Estelle (mestrado)
- Provisionamento de Recursos em Arquitetura DiffServ para Melhoria da Qualidade de Serviço (QoS) (doutorado)
- Um Simulador para Estelle Tempo-Real (mestrado)
- Uma Metodologia de HW/SW Codesign de Protocolos de Comunicação Baseada na Otimização de Desempenho por Algoritmos Genéticos (doutorado)
- Implementação de Sistemas com Restrições Temporais a Partir de Uma Especificação Formal (mestrado)
- Um Editor Visual para o Auxílio a Especificação de Protocolos de Comunicação com Restrições Temporais (mestrado)