Workshop de Teses e Dissertações
São Paulo, SP - Outubro de 2003

Programation - Auditorium of Administration - 8:30-13:15

8:30-8:55 Definição e Validação de um Modelo de Replicação Híbrida para Sistemas Distribuídos
Emerson Rogério de Oliveira Junior (II/UFRGS)

9:00-9:25 Towards an Approach for Verifying Distributed Object-Based Systems
Osmar Marchi dos Santos (PPGCC/PUCRS)

9:30-9:55 Safety Analysis using Fluid Stochastic Petri Nets in the New Paradigm of Safety-Critical Systems
Lúcio Flávio Vismari (Poli/USP)

10:00-10:25 Modelling Fault-Tolerant Systems using BDI Agents
Felipe Rech Meneguzzi (PPGCC/PUCRS)

10:25-10:50 Coffee break

10:50-11:15 Localização de Falhas em Sistemas Distribuídos através de Redes Neurais
Claudio Macoto Hazome Hayashi (Poli/USP)

11:20-11:45 Um Mecanismo Adaptativo para Tolerância a Falhas em Sistemas Distribuídos com QoS
Sérgio Gorender (CIN/UFPE)

11:50-12:15 An Architectural Solution for Component-System Integration with Exception Handling
Ricardo de Mendonça da Silva (IC/UNICAMP)

12:20-12:45 Towards Healing Partitioned Networks
Andréa Weber (DI/UFPR)

12:50-13:15 Projeto e Implementação de um Módulo Síncrono para a Implementação de um Serviço de Detecção de Falhas com Semântica Perfeita para Redes Locais
Andrey E. M. Brito (DSC/UFCG)

Programation - Poli Virtual Room - Administration - 8:30-12:45

8:30-8:55 Análise do Impacto de Defeitos sobre Algoritmo Probabilístico para Localização de Recursos em Redes de Larga Escala
Mario Domenech Goulart (PPGC/UFRGS)

9:00-9:25 Avaliação de Desempenho de Protocolos de Consenso Adaptativos Baseados em Slowness Oracles
Lívia Maria Rodrigues Sampaio (CEE/UFCG)

9:30-9:55 Implementação de um Algoritmo de Recuperação por Retorno Baseado em Checkpointing em Sistemas Distribuídos Assíncronos
Clairton Buligon (PPGC/UFRGS)

10:00-10:25 BCS-SNB: Um Protocolo de Checkpointing Síncrono Não Bloqueante
Tiemi C. Sakata (IC/UNICAMP)

10:25-10:50 Coffee break

10:50-11:15 Uma Estratégia para os Testes Funcionais de Aplicações Web
Daniele Constant Guimarães (IC/UNICAMP)

11:20-11:45 Teste de Conformidade para Software de Sistemas Espaciais
Ana Maria Ambrosio (INPE)

11:50-12:15 Serviços de Pertinência para Clusters de Alta Disponibilidade
Nélio Alves Pereira Filho (IME/USP)

12:20-12:45 Desenvolvimento de Circuitos Integrados Tolerantes a Falhas de Projeto através de Processadores de Asserções
José Augusto Miranda Nacif (DCC/UFMG)