1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.DB2018
ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases
Mathias Weber, Annette Bieniusa
Scalable and highly available systems often require data stores that offer weaker consistency guarantees than traditional relational databases systems. The correctness of these app…
cs.LO2017★ 1 cited
EPTL - A temporal logic for weakly consistent systems
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
The high availability and scalability of weakly-consistent systems attracts system designers. Yet, writing correct application code for this type of systems is difficult; even how…