publicações selecionadas Contribution à la Définition d'un Environnement pour la Conception de Protocoles Avaliação e Aplicação de Métodos para Identificação de Processos para Computador Digital
theses/dissertations advising Uma Metodologia para a Síntese de Alto Nível de Protocolos a partir de uma Descrição Formal Uma Plataforma de Teste de Funções de Gerenciamento para Redes ATM Plataforma de Software para Desenvolvimento de Algoritmos de Busca Um Editor Visula para o Auxílio à Especificação de Protocolos de Comunicação com Restrições Temporais Implementação Semi-automática de Protocolos em Plataformas UNIX Frederico Sauer Guimarães Oliveira - Uma Arquitetura para Suporte à Mobilidade e Segurança na Internet - M.Sc., COPPE/UFRJ, Eng. Elétrica, 1999. Projeto de Protocolos de Comunicação Visando a Implementação em Hardware: Aplicação ao Protocolo IPv6 no Âmbito da Abordagem IP over ATM Uma Ferramenta para a Síntese de Protocolos em ESTELLE Verificação de Protocolos de Comunicação com Lógica Nebulosa Protocolo para Gerenciamento Hierárquico de Redes de Telecomunicações Uma Linguagem para Especificação de Sistemas Distribuídos em Alto Nível de Abstração Um Ambiente Distribuído para Desenvolvimento de Protocolos PROJETO DE UM COMPILADOR DE ESTELLE PARA VHDL Um Implementador Semi-Automático de Protocolos de Comunicação sobre Sistema Aberto Um Simulador para a Linguagem ESTELLE Projeto de Protocolos de Comunicação Visando a Implementação em Hardware: Aplicação ao caso do Protocolo AAL5 para Redes ATM
