Markus Alexander Kuppe

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Cloud Computing

Top Venues

Publications

A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe
Understanding Inconsistency in Azure Cosmos DB with TLA+. ICSE-SEIP (2023)
Markus Alexander Kuppe
Debugger. SEFM Workshops (2022)
A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe
Understanding Inconsistency in Azure Cosmos DB with TLA+. CoRR (2022)
Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts
The TLA+ Toolbox. F-IDE@FM (2019)