11 citations · 49 across the 11 of their papers we have counts for
3 papers · 1 filter
VeriFx: Correct Replicated Data Types for the Masses
Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix
Distributed systems adopt weak consistency to ensure high availability and low latency, but state convergence is hard to guarantee due to conflicts. Experts carefully design replic…
CISE3: Verifying Weakly Consistent Applications with Why3
Filipe Meirim, Mário Pereira, Carla Ferreira
In this paper we present a tool for the formal analysis of applications built on top of replicated databases, where data integrity can be at stake. To address this issue, one can i…
Robust Contract Evolution in a TypeSafe MicroServices Architecture
João Costa Seco, Paulo Ferreira, Hugo Lourenço +2
Microservices architectures allow for short deployment cycles and immediate effects but offer no safety mechanisms when service contracts need to be changed. Maintaining the soundn…