Formal Specification and Verification of CRDTs P Zeller, A Bieniusa, A Poetzsch-Heffter Formal Techniques for Distributed Objects, Components, and Systems, 33-48, 2014 | 50 | 2014 |
Testing properties of weakly consistent programs with repliss P Zeller Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017 | 14 | 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 | 11 | 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 Formal Aspects of Component Software: 16th International Conference, FACS …, 2020 | 8 | 2020 |
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 | 4 | 2020 |
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 | 3 | 2016 |
Untersuchungen zum Trag-und Verformungsverhalten oberflächennaher Verbunddübelleisten Y Broschart Technische Universität Kaiserslautern, 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 |
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 | 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 |
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 | |