Markus Kuppe

According to our database, Markus Kuppe authored at least 3 papers between 1998 and 2022.

Collaborative distances:

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

2022

Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS.

Igor Konnov, Markus Kuppe, Stephan Merz

CoRR, 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

1998

Global reparametrization for curve approximation.

Thomas Speer, Markus Kuppe, Josef Hoschek

Comput. Aided Geom. Des., 1998