| The TLA+ toolbox MA Kuppe, L Lamport, D Ricketts arXiv preprint arXiv:1912.10633, 2019 | 60 | 2019 |
| Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS I Konnov, M Kuppe, S Merz International Symposium on Leveraging Applications of Formal Methods, 88-105, 2022 | 8 | 2022 |
| The tla debugger MA Kuppe International Conference on Software Engineering and Formal Methods, 174-180, 2022 | 4 | 2022 |
| A Verified and Scalable Hash Table for the TLC Model Checker MA Kuppe Master’s thesis. University of Hamburg, 2017 | 4 | 2017 |
| Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability H Howard, F Alder, E Ashton, A Chamayou, S Clebsch, M Costa, ... arXiv preprint arXiv:2310.11559, 2023 | 3 | 2023 |
| Let TLA+ RiSE MA Kuppe RiSE group all-hands meeting, 2018 | 3 | 2018 |
| Debuggable Design with TLA+ MA Kuppe Hyperscale Verification.(March 2019). Retrieved November 8, 2019, 2019 | 2 | 2019 |
| TLC Github.(Nov. 2019) MA Kuppe Retrieved November 8, 2019, 2019 | 2 | 2019 |
| Understanding Inconsistency in Azure Cosmos DB with TLA+ F Hackett, J Rowe, MA Kuppe 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 1 | 2023 |
| Validating Traces of Distributed Programs Against TLA+ Specifications H Cirstea, MA Kuppe, B Loillier, S Merz arXiv preprint arXiv:2404.16075, 2024 | | 2024 |
| 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers S Fakhoury, M Kuppe, SK Lahiri, T Ramananandro, N Swamy arXiv preprint arXiv:2404.10362, 2024 | | 2024 |
| Going Beyond an Incident Report with TLA F Hackett, J Rowe, MA Kuppe | | 2023 |
| Teaching TLA+ to Engineers at Microsoft MA Kuppe Formal Methods Teaching Workshop, 66-81, 2023 | | 2023 |
| Turning an Incident Report into a Design Issue with {TLA+} AF Hackett, MA Kuppe | | 2023 |
| Weeks of debugging can save you hours of TLA MA Kuppe SREcon20 Americas (SREcon20 Americas), 2020 | | 2020 |
| A Verified and Scalable Hash Table for the TLC Model Checker: Towards an Order of Magnitude Speedup MA Kuppe University of Hamburg, 2017 | | 2017 |
| Modeling Dijkstra’s Termination Detection Algorithm in TLA+ L Freitas, S Hallerstede, D Hansen, M Kuppe, F Mejia, S Merz, H Vanzetto, ... Integration of Tools for Rigorous Software Construction and Analysis …, 2014 | | 2014 |
| Current state of (distributed) TLC MA Kuppe TLA 2012: International Workshop On The TLA Method And Tools, 5, 2012 | | 2012 |
| Secure service discovery in open networks with SLP MA Kuppe, V Amann | | |
| Tutorial: Distributed OSGi–The ECF way MA Kuppe, S Lewis | | |
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
