11 citations · 49 across the 11 of their papers we have counts for
12 papers
JepREST: Functional tests for distributed REST applications
Sara Simoes, Ana Ribeiro, Carla Ferreira +1
Application services often support mobile and web applications with REST interfaces, implemented using a set of distributed components that interact with each other. This approach…
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…
A coordination-free, convergent, and safe replicated tree
Sreeja Nair, Filipe Meirim, Mário Pereira +2
The tree is an essential data structure in many applications. In a distributed application, such as a distributed file system, the tree is replicated.To improve performance and ava…
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…
Antidote SQL: Relaxed When Possible, Strict When Necessary
Pedro Lopes, João Sousa, Valter Balegas +5
Geo-replication poses an inherent trade-off between low latency, high availability and strong consistency. While NoSQL databases favor low latency and high availability, relaxing c…
IPA: Invariant-preserving Applications for Weakly-consistent Replicated Databases
Valter Balegas, Nuno Preguiça, Sérgio Duarte +2
Storage systems based on Weak Consistency provide better availability and lower latency than systems that use Strong Consistency, especially in geo-replicated settings. However, un…
Preventing Atomicity Violations with Contracts
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira +1
Software developers are expected to protect concurrent accesses to shared regions of memory with some mutual exclusion primitive that ensures atomicity properties to a sequence of…
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants
Valter Balegas, Diogo Serra, Sérgio Duarte +5
Geo-replicated databases often operate under the principle of eventual consistency to offer high-availability with low latency on a simple key/value store abstraction. Recently, so…
Concurrent Development of Model and Implementation
A. Gravell, Y. Howard, J. C. Augusto +2
This paper considers how a formal mathematically-based model can be used in support of evolutionary software development, and in particular how such a model can be kept consistent…
Model-Based Trace-Checking
Y. Howard, S. Gruner, A. Gravell +2
Trace analysis can be a useful way to discover problems in a program under test. Rather than writing a special purpose trace analysis tool, this paper proposes that traces can usef…
Towards Automated Verification of Web Services
C. Vaz, C. Ferreira
This paper proposes the use of model-checking software technology for the verification of workflows and business processes behaviour based on web services, namely the use of the SP…