Peter Zeller

12 papers B 1C 1Journal 3Unranked 6

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