The TLA+ Toolbox. - Markus Alexander Kuppe; Leslie Lamport; Daniel Ricketts 001 (F-IDE@FM, 2019)

Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. - Igor Konnov 001; Markus Kuppe 001; Stephan Merz (ISoLA (1), 2022)

The TLA+ Debugger. - Markus Alexander Kuppe (SEFM Workshops, 2022)

Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. - Igor Konnov 001; Markus Kuppe 001; Stephan Merz (CoRR, 2022)

Understanding Inconsistency in Azure Cosmos DB with TLA+. - A. Finn Hackett; Joshua Rowe; Markus Alexander Kuppe (ICSE-SEIP, 2023)

Teaching TLA+ to Engineers at Microsoft. - Markus A. Kuppe (FMTea, 2023)

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. - Heidi Howard; Fritz Alder; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Manuel Costa; Antoine Delignat-Lavaud; Cédric Fournet; Andrew Jeffery; Matthew Kerner; Fotios Kounelis; Markus A. Kuppe; et al. (Proc. VLDB Endow., 2023)

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. - Sarah Fakhoury; Markus Kuppe 001; Shuvendu K. Lahiri; Tahina Ramananandro; Nikhil Swamy (CoRR, 2024)

Validating Traces of Distributed Programs Against TLA+ Specifications. - Horatiu Cirstea; Markus A. Kuppe; Benjamin Loillier; Stephan Merz (CoRR, 2024)

Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols. - Heidi Howard; Markus A. Kuppe; Edward Ashton; Amaury Chamayou; Natacha Crooks (CoRR, 2024)