Login / Signup
Markus A. Kuppe
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Microsoft Business Intelligence
Temporal Logic
Distance Education
Computer Scientists
Top Venues
FMTea
CoRR
</>
Publications
</>
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)