Peter Zeller

According to our database, Peter Zeller authored at least 11 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Tool Supported Specification and Verification of Highly Available Applications.

Peter Zeller

PhD thesis, 2021

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

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter

Sci. Comput. Program., 2021

2020

Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.

Peter Zeller, Annette Bieniusa, Carla Ferreira

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 2020

2019

Szpilrajn Extension Theorem.

Peter Zeller

Arch. Formal Proofs, 2019

Combining State- and Event-Based Semantics to Verify Highly Available Programs.

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Ensuring referential integrity under causal consistency.

Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri

Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

Collaborative Work Management with a Highly-Available Kanban Board.

Annette Bieniusa, Peter Zeller, Shraddha Barke

Proceedings of the Principled Software Development, 2018

2017

Testing properties of weakly consistent programs with Repliss.

Peter Zeller

Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

FMKe: a Real-World Benchmark for Key-Value Data Stores.

Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, João Leitão, Nuno M. Preguiça

Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

2016

Towards a Proof Framework for Information Systems with Weak Consistency.

Peter Zeller, Arnd Poetzsch-Heffter

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2014

Formal Specification and Verification of CRDTs.

Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014