Author

Markus A. Kuppe

Observed names: Kuppe, Markus A., Kuppe, Markus Alexander, Markus Alexander Kuppe, Markus Kuppe

Observed institution: Microsoft (United States)

ORCID: 0000-0002-6972-2031

Observed ORCID: 0000-0002-6972-2031

OpenAlex ID: A5046033920

2019 · Markus Alexander Kuppe, Leslie Lamport, et al. · Electronic Proceedings in Theoretical Computer Science · 62

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

2023 · Heidi Howard, Fritz Alder, et al. · Proceedings of the VLDB Endowment · 35

PDF

Does Every Computer Scientist Need to Know Formal Methods?

2024 · Manfred Broy, Achim D. Brucker, et al. · Formal Aspects of Computing · 34

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

2025 · Sarah Fakhoury, Markus Kuppe, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 16

PDF

Understanding Inconsistency in Azure Cosmos DB with TLA+

2023 · Finn Hackett, Joshua Rowe, et al. · IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · 16

PDF

Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS

2022 · Igor Konnov, Markus Kuppe, et al. · Lecture notes in computer science · 14

PDF

Validating Traces of Distributed Programs Against TLA+ Specifications

2024 · Horatiu Cirstea, Markus A. Kuppe, et al. · Lecture notes in computer science · 10

PDF

Smart Casual Verification of the Confidential Consortium Framework

2024 · Howard, Heidi, Kuppe, Markus A., et al. · arXiv (Cornell University) · 6

PDF

The TLA$$^{+}$$ Debugger

2023 · Markus A. Kuppe · Lecture notes in computer science · 5

Teaching TLA+ to Engineers at Microsoft

2023 · Markus A. Kuppe · Lecture notes in computer science · 4

Weeks of Debugging Can Save You Hours of TLA

2020 · Markus A. Kuppe · 1

TLAPS-Bench: Formally Proving Correctness of Real-World System Specifications with TLA+ Proof System

2026 · Cheng, Qian, Tang, Ruize, et al. · arXiv (Cornell University)

PDF

Works count: 12

Citation count: 203

H-index: 7

I10-index: 7