activity
20112023
most citedModel-Based Trace-Checking

11 citations · 49 across the 11 of their papers we have counts for

collaborators
Showing cs.DCShow all

5 papers · 1 filter

cs.DC2023

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…

cs.DC2021★ 5 cited

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…

cs.DC2018★ 1 cited

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…

cs.DC2015★ 5 cited

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…

cs.DC2015★ 11 cited

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…