| Formal Specification and Verification of CRDTs P Zeller, A Bieniusa, A Poetzsch-Heffter Formal Techniques for Distributed Objects, Components, and Systems, 33-48, 2014 | 34 | 2014 |
| Testing properties of weakly consistent programs with repliss P Zeller Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017 | 12 | 2017 |
| 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 | 10 | 2017 |
| A Highly Dynamic Engine Test Bed with Vehiele and Driver Simulation P Zeller Antomobile Industrie 1, 2002 | 9 | 2002 |
| 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 | 4 | 2019 |
| 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 | 3 | 2016 |
| 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 | 2 | 2020 |
| 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 | 2 | 2018 |
| Specification and Verification of Convergent Replicated Data Types P Zeller Master’s thesis, TU Kaiserslautern, Germany, 2013 | 2 | 2013 |
| 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 | 1 | 2021 |
| Collaborative Work Management with a Highly-Available Kanban Board A Bieniusa, P Zeller, S Barke Principled Software Development, 59-72, 2018 | 1 | 2018 |
| 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 |
