Accepted Papers - WTF

Below you can find the list of accepted papers for presentation at WTF 2012.

Aplicando Modelos de Markov para Injeção de Perdas de Pacotes no Sistema Android

  • Alexandre Gindri (UFRGS)
  • Taisy Weber (UFRGS)
  • Sérgio Luis Cechin (UFRGS)

Emulação de Ataques do Tipo XPath Injection para Testes de Web Services usando Injeção de Falhas

  • Marcelo Palma (UNICAMP)
  • Eliane Martins (UNICAMP)

Análise do Impacto de Ataques de Poluição Combinado com Whitewashing em Sistemas P2P de Live Streaming

  • Ana Paula Couto Silva (UFJF)
  • Alex Borges Vieira (UFJF)

Exclusão Mútua Distribuída e Robusta para k Recursos Compartilhados

  • Luiz Antonio Rodrigues (UNIOESTE/UFPR)
  • Elias P. Duarte Jr. (UFPR)
  • Luciana Arantes (Université de Paris VI)

Memória Compartilhada em Sistemas Bizantinos Dinâmicos

  • Eduardo Alchieri (UFSC)
  • Alysson Bessani (Universidade de Lisboa)
  • Fabíola Greve (UFBA)
  • Joni da Silva Fraga (UFSC)

Caracterização de uma Jornada Máxima em MANETs

  • Alex Santana (UFBA)
  • Fabíola Greve (UFBA)
  • José Garcia (UFBA)

Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos

  • Leandro Teodoro Costa (PUCRS)
  • Flávio Oliveira (PUCRS)
  • Elder Rodrigues (PUCRS)
  • Maicon da Silveira (PUCRS)
  • Avelino Zorzo (PUCRS)

Modeling Communication Semantics for Distributed Systems in Event-B

  • Fernando Dotti (PUCRS)
  • Leila Ribeiro (UFRGS)

Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos

  • Claiton Correa (PUCRS)
  • Fernando Dotti (PUCRS)
  • Paulo Fernandes (PUCRS)
  • Eli Maruani (PUCRS)
  • Lucas Giaretta Oleksinski (PUCRS)
  • Afonso Sales (PUCRS)

Detecção de Falhas em Autômatos Grid

  • Gilson Junior (Universidade Estadual de Londrina)
  • Adilson Bonifácio (Universidade Estadual de Londrina)

Promotion

Organization

Sbc
Larc
Dcc
Ufmg

Support

Ufop
Inweb
CNPq

Sponsors

cgi.br
nic.br
Capes
Ministerio da Educacao
Google
Engetron
Hp
Globo.com
Ativas
Petrobras
CPqD
NET
Intel
Fapemig
Technicolor