Markus A. Kuppe

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Business Intelligence

Cooperative Learning

Top Venues

Publications

Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks
Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols. CoRR (2024)
Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
Validating Traces of Distributed Programs Against TLA+ Specifications. CoRR (2024)
Markus A. Kuppe
Teaching TLA+ to Engineers at Microsoft. FMTea (2023)
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
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR (2023)
Markus A. Kuppe
Teaching TLA+ to Engineers at Microsoft. FMTea (2022)