Search Results - "Bieniusa, Annette"

LoRe: A Programming Model for Verifiably Safe Local-first Software.

Authors: Haas, Julian Mogk, Ragnar Yanakieva, Elena et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2024, Vol. 46 Issue 1, p1-26, 26p

Combining state- and event-based semantics to verify highly available applications.

Authors: Zeller, Peter Bieniusa, Annette Poetzsch-Heffter, Arnd

Source: Science of Computer Programming. Oct2021, Vol. 210, pN.PAG-N.PAG. 1p.

Subjects: Evidence, Technical specifications, Prototypes, Databases