Markus Alexander Kuppe

According to our database, Markus Alexander Kuppe authored at least 12 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2025

Does Every Computer Scientist Need to Know Formal Methods?

Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan

Formal Aspects Comput., 2025

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

Validating Traces of Distributed Programs Against TLA+ Specifications.

Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz

CoRR, 2024

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

Sarah Fakhoury, Markus Kuppe, 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

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

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, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger

Proc. VLDB Endow., 2023

Teaching TLA+ to Engineers at Microsoft.

Markus A. Kuppe

Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023

Understanding Inconsistency in Azure Cosmos DB with TLA+.

A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023

2022

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

Igor Konnov, Markus Kuppe, Stephan Merz

CoRR, 2022

The TLA⁺ Debugger.

Markus Alexander Kuppe

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

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

Igor Konnov, Markus Kuppe, Stephan Merz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2019

The TLA+ Toolbox.

Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019