Markus Alexander Kuppe
Orcid: 0000-0002-6972-2031Affiliations:
- Microsoft Research, Redmond, WA, USA
According to our database1,
Markus Alexander Kuppe
authored at least 11 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
3
1
1
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024
2023
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability.
Proc. VLDB Endow., 2023
Proceedings of the Formal Methods Teaching: 5th International Workshop, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023
2022
CoRR, 2022
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
Specification and Verification with the TLA<sup>+</sup> Trifecta: TLC, Apalache, and TLAPS.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
2019
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019