3 papers
cs.PL2019
Análise de Segurança Baseada em Roles para Fábricas de Software
Miguel Loureiro, Luísa Lourenço, Lúcio Ferrão +1
Most software factories contain applications with sensitive information that needs to be protected against breaches of confidentiality and integrity, which can have serious consequ…
cs.PL2019
CISE3: Verificação de aplicações com consistência fraca em Why3
Filipe Meirim, Mário Pereira, Carla Ferreira
In this article we present a tool for the verification of programs built on top replicated databases. The tool evaluates a sequential specification and deduces which operations nee…
cs.DS2019
Set CRDT com Múltiplas Políticas de Resolução de Conflitos
André Rijo, Carla Ferreira, Nuno Preguiça
Um CRDT é um tipo de dados que pode ser replicado e modificado concorrentemente sem coordenação, garantindo-se a convergência das réplicas através da resolução automática de confli…