Aloysio de Castro Pinto Pedroza

Professor
Dr., Univ. Paul-Sabatier, LAAS, 1985

Atua em Teleinformática e Automação

Currículo nas bases de dados:

LATTES

Sigma

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)