Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso para Projetos Exploratórios no âmbito do Programa UTAustin Portugal - 2019

Automação da avaliação das garantias de aplicações de Memória Persistente sujeitas a falhas por paragem

UTA-EXPL/CA/0080/2019

Área Científica Principal
Computação Avançada
Palavras Chave
Memória Persistente
Consistência a falhas por paragem
Injeção de Faltas
Teste de Aplicações
Financiamento
€ 49 752,45
Instituições
Instituição Proponente
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Instituições Participantes
Inesc Tec - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC)
Unidade de Investigação Principal
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Equipa
Investigador Responsável
Miguel Ângelo Marques de Matos
Investigadores
João Pedro Faria Mendonça Barreto
João Tiago de Medeiros Paulo
Fábio André Castanheira Luis Coelho
Alberto Campinho Faria
Co-investigador Responsável
Rodrigo Seromenho Miragaia Rodrigues