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
472014
Testing properties of weakly consistent programs with repliss
P Zeller
Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017
132017
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
112017
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
Formal Aspects of Component Software: 16th International Conference, FACS …, 2020
72020
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
32020
Towards a proof framework for information systems with weak consistency
P Zeller, A Poetzsch-Heffter
Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016
32016
Untersuchungen zum Trag-und Verformungsverhalten oberflächennaher Verbunddübelleisten
Y Broschart
Technische Universität Kaiserslautern, 2020
22020
Collaborative work management with a highly-available Kanban board
A Bieniusa, P Zeller, S Barke
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter …, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–13