Markus Alexander Kuppe

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

Collaborative distances:

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

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

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