Workshops > WTF



Download do Livro

Seção Técnica 1: Algoritmos Distribuídos


Consenso com Recuperação no Modelo Partitioned Synchronous

  • Sérgio Gorender, Universidade Federal da Bahia (UFBA)
  • Raimundo Macêdo, Universidade Federal da Bahia (UFBA)


Garantindo a Circulação e Unicidade do Token em Algoritmos com Nós Organizados em Anel Sujeitos a Falhas

  • Luciana Arantes, Université de Paris 6, França
  • Julien Sopena, Université de Paris 6, França


Um Serviço Distribuído de Detecção de Falhas Baseado em Disseminação Epidêmica

  • Leandro P. de Sousa, Universidade Federal Paraná (UFPR)
  • Elias P. Duarte Jr., Universidade Federal Paraná (UFPR)


Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas

  • Sérgio Gorender, Universidade Federal da Bahia (UFBA)
  • Raimundo José de Araújo Macêdo, Universidade Federal da Bahia (UFBA)
  • Waltemir Lemos Pacheco Júnior, Universidade Federal da Bahia (UFBA)


Seção Técnica 2: Injeção de Falhas


Injeção de falhas para validar aplicações em ambientes móveis

  • Eduardo Verruck Acker, Universidade Federal do Rio Grande do Sul (UFRGS)
  • Taisy Silva Weber, Universidade Federal do Rio Grande do Sul (UFRGS)
  • Sérgio Luis Cechin, Universidade Federal do Rio Grande do Sul (UFRGS)


Injeção de Falhas de Comunicação em Aplicações Java Multiprotocolo

  • Cristina Ciprandi Menegotto, Universidade Federal do Rio Grande do Sul (UFRGS)
  • Taisy Silva Weber, Universidade Federal do Rio Grande do Sul (UFRGS)


Seção Técnica 3: Testes e Sistemas Embarcados


Um Framework de Geração de Dados de Teste para Critérios Estruturais Baseados em Código Objeto Java

  • Lucilia Yoshie Araki, Universidade Federal Paraná (UFPR)
  • Silvia Regina Vergilio, Universidade Federal Paraná (UFPR)


Redução do Número de Seqüências no Teste de Conformidade de Protocolos

  • Jorge Francisco Cutigi, Universidade de São Paulo (USP)
  • Paulo Henrique Ribeiro, Universidade de São Paulo (USP)
  • Adenilso da Silva Simão, Universidade de São Paulo (USP)
  • Simone do Rocio Senger de Souza, Universidade de São Paulo (USP)


Embedded Critical Software Testing for Aerospace Applications based on PUS

  • Rodrigo P. Pontes, Instituto Tecnológico de Aeronáutica (ITA)
  • Eliane Martins, Universidade Estadual de Campinas (UNICAMP)
  • Ana M. Ambrósio, Instituto Nacional de Pesquisas Espaciais (INPE)
  • Emília Villani, Instituto Tecnológico de Aeronáutica (ITA)


Detecção e Correção de Falhas Transitórias Através da Descrição de Programas Usando Matrizes

  • Ronaldo R. Ferreira, Universidade Federal do Rio Grande do Sul (UFRGS)
  • Álvaro F. Moreira, Universidade Federal do Rio Grande do Sul (UFRGS)
  • Luigi Carro, Universidade Federal do Rio Grande do Sul (UFRGS)


Seção Técnica 4: Serviços Web e Roteamento


Ampliando a Disponibilidade e Confiabilidade em Ambientes de Serviços Web Stateful

  • Igor Nogueira Santos, Universidade Federal da Bahia (UFBA)
  • Daniela Barreiro Claro, Universidade Federal da Bahia (UFBA)
  • Marcelo Luz, Universidade Federal da Bahia (UFBA)


Multi-Priority Alternative Journey and Routing Protocol: um Algoritmo para Roteamento em Redes Tolerantes a Atrasos e Desconexões Previsíveis

  • Gabriel Argolo, Universidade Federal Fluminense (UFF)
  • Lúcia M. A. Drummond, Universidade Federal Fluminense (UFF)
  • Anna Dolejsi, Universidade Federal Fluminense (UFF)
  • Anand Subramanian, Universidade Federal Fluminense (UFF)