Follow
Peter Zeller
Peter Zeller
TU Kaiserslautern, AG Softwaretechnik
Verified email at cs.uni-kl.de - Homepage
Title
Cited by
Cited by
Year
Formal Specification and Verification of CRDTs
P Zeller, A Bieniusa, A Poetzsch-Heffter
Formal Techniques for Distributed Objects, Components, and Systems, 33-48, 2014
352014
Testing properties of weakly consistent programs with repliss
P Zeller
Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017
122017
Fmke: a real-world benchmark for key-value data stores
G Tomás, P Zeller, V Balegas, D Akkoorath, A Bieniusa, J Leitão, ...
Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017
102017
A Highly Dynamic Engine Test Bed with Vehiele and Driver Simulation
P Zeller
Antomobile Industrie 1, 2002
92002
Combining state-and event-based semantics to verify highly available programs
P Zeller, A Bieniusa, A Poetzsch-Heffter
International Conference on Formal Aspects of Component Software, 213-232, 2019
52019
Towards a proof framework for information systems with weak consistency
P Zeller, A Poetzsch-Heffter
International Conference on Software Engineering and Formal Methods, 277-283, 2016
32016
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+
P Zeller, A Bieniusa, C Ferreira
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 14-23, 2020
22020
Ensuring referential integrity under causal consistency
M Shapiro, A Bieniusa, P Zeller, G Petri
Proceedings of the 5th Workshop on the Principles and Practice of …, 2018
22018
Specification and Verification of Convergent Replicated Data Types
P Zeller
Master’s thesis, TU Kaiserslautern, Germany, 2013
22013
Combining state-and event-based semantics to verify highly available applications
P Zeller, A Bieniusa, A Poetzsch-Heffter
Science of Computer Programming 210, 102687, 2021
12021
Collaborative Work Management with a Highly-Available Kanban Board
A Bieniusa, P Zeller, S Barke
Principled Software Development, 59-72, 2018
12018
A Backward Compatibility Verifier for Java Libraries
Y Welsch, M Weber, P Zeller, A Poetzsch-Heffter
Internal report, available at https://softech. informatik. u ni-kl. de/twiki …, 0
1
Tool Supported Specification and Verification of Highly Available Applications
P Zeller
Technische Universität Kaiserslautern, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–13