Peter Zeller

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 10

Top Topics

Normal Logic Programs

Referential Integrity

Distributed Breakout

Top Venues

Sci. Comput. Program.

Publications

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
Combining state- and event-based semantics to verify highly available applications. Sci. Comput. Program. 210 (2021)
Peter Zeller, Annette Bieniusa, Carla Ferreira
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. Erlang Workshop (2020)
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
Combining State- and Event-Based Semantics to Verify Highly Available Programs. FACS (2019)
Peter Zeller
Szpilrajn Extension Theorem. Arch. Formal Proofs 2019 (2019)
Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
Ensuring referential integrity under causal consistency. CoRR (2018)
Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri
Ensuring referential integrity under causal consistency. PaPoC@EuroSys (2018)
Annette Bieniusa, Peter Zeller, Shraddha Barke
Collaborative Work Management with a Highly-Available Kanban Board. Principled Software Development (2018)
Peter Zeller
Testing properties of weakly consistent programs with Repliss. PaPoC@EuroSys (2017)
Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, João Leitão, Nuno M. Preguiça
FMKe: a Real-World Benchmark for Key-Value Data Stores. PaPoC@EuroSys (2017)
Peter Zeller, Arnd Poetzsch-Heffter
Towards a Proof Framework for Information Systems with Weak Consistency. SEFM (2016)
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
Formal Specification and Verification of CRDTs. FORTE (2014)