Markus Alexander Kuppe

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

Collaborative distances:

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

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

The TLA⁺ Debugger.

Markus Alexander Kuppe

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

2019

The TLA+ Toolbox.

Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts

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