área de pesquisa
- "Ambiente para o teste de frameworks utilizados na implementação de protocolos"
- "Representação Intermediária (RI) para a TDF E-LOTOS e Tradutor E-LOTOS/RI"
- Dorian Amorim
- E-DART - Um Ambiente de Especificação E-LOTOS
- Editor Gráfico para especificações E-LOTOS
- Elza Tânia Moura de Sousa
- Especificação formal e validação de protocolos de comunicação para redes de alta velocidade
- Fernando Teubl Ferreira
- Hugo Roger Bernaola Pena
- Implementação semi-automática de protocolos de comunicação
- Jancleidsson Soares da Silva
- Juliano João Bazzo
- Lisandro Zambenedetti Granville
- METODOLOGIA DE GERAÇÃO DE SEQÜÊNCIAS DE TESTE DE CONFORMIDADE PARA PROTOCOLOS DE COMUNICAÇÃO DE DADOS A PARTIR DE ESPECIFICAÇÃO FORMAL
- Metodologia de Teste para Acelerar o Desenvolvimento de Sistemas de Processamento Paralelo.
- Modelos Baseados em Extensões de Rede de Petri para Análise de Protocolos de Comunicação
- Ricardo Augusto Gomes da Costa
- Ricardo Rios Monteiro do Carmo
- Simulação do protocolo de adaptação ATM tipo 2 (AAL2)
- Sistemas de Comunicação
- Sérgio Roberto Pereira
- Técnicas de Gerenciamen to de Chaves Compartilhadas em Grupos Multicast
- Um Sistema de Multiprojeção Escalável.
- Um compilador para a técnica de descrição formal estelle/83.
- Um Novo Protocolo de Roteamento para Redes em Malha Sem Fio
- Um Protocolo de Descoberta de Serviços para Sistemas Sensíveis ao Contexto
- Uma abordagem para o design de sistemas distribuídos e protocolos de comunicação.
- Uma Abordagem, Baseada na Integração de Arquétipos a Mensagens HL7, para a Comunicação de Aplicações Ubíquas no Cuidado de Saúde Pervasivo
- Uma ferramenta para a validação de protocolos de comunicação
- Uma metodologia para a validação, através de simulação, de protocolos de comunicação
- Utilização de redes com protocolo SIP utilizando arquitetura par-a-par em comparação com as arquiteturas cliente/servidor